Циклы, перебор, ребус: "ЛИСА+ВОЛК=ЗВЕРИ"

<?php
 
for($l=1;$l<=9;$l++) {
$L=$l;
  for($i=0;$i<=9;$i++) {
  $I=$i;
    for($s=0;$s<=9;$s++) {
    $S=$s;
      for($a=0;$a<=9;$a++) {
      $A=$a;
        for($v=1;$v<=9;$v++) {
        $V=$v;
          for($o=0;$o<=9;$o++) {
          $O=$o;
            for($k=0;$k<=9;$k++) {
            $K=$k;
              for($e=0;$e<=9;$e++) {
              $E=$e;
                for($r=0;$r<=9;$r++) {
                $R=$r;
                if(($L*1000+$I*100+$S*10+$A)+($V*1000+$O*100+$L*10+$K)==10000+$V*1000+$E*100+$R*10+$I) 
                {$rebus=$L.$I.$S.$A."+".$V.$O.$L.$K."=".$Z.$V.$E.$R.$I;
                echo "Ответ: $rebus";
                }
}
}
}
}
}
}
}
}
}
echo "<p><a href=\"../\">Назад</a>";
?>

<?php
set_time_limit(300);
for($l=2;$l<=9;$l++) {
  for($i=0;$i<=9;$i++) {
  if(($i==1)||($i==$l)) $i++;
    for($s=0, $s!=1;$s<=9;$s++) {
    if(($s==1)||($s==$l)||($s==$i)) $s++;
      for($a=0, $a!=1;$a<=9;$a++) {
      if(($a==1)||($a==$s)||($a==$l)||($a==$i)) $a++;
        for($v=2;$v<=9;$v++) {
        if(($v==$a)||($v==$s)||($v==$i)||($v==$l)) $v++;
          for($o=0;$o<=9;$o++) {
          if(($o==1)||($o==$v)||($o==$a)||($o==$s)||($o==$i)||($o==$l)) $o++;
            for($k=0;$k<=9;$k++) {
            if(($k==1)||($k==$o)||($k==$v)||($k==$a)||($k==$s)||($k==$i)||($k==$l)) $k++;
              for($e=0;$e<=9;$e++) {
              if(($e==1)||($e==$l)||($e==$i)||($e==$s)||($e==$a)||($e==$v)||($e==$o)||($e==$k)) $e++;
                for($r=0;$r<=9;$r++) {
                if(($r==1)||($r==$l)||($r==$i)||($r==$s)||($r==$a)||($r==$v)||($r==$o)||($r==$k)||($r==$e)) $r++;
                if($l*1000+$i*100+$s*10+$a+$v*1000+$o*100+$l*10+$k==10000+$v*1000+$e*100+$r*10+$i)
                {$rebus=$l.$i.$s.$a."+".$v.$o.$l.$k."=1".$v.$e.$r.$i;
                echo "Ответ: $rebus; ";
                }
}
}
}
}
}
}
}
}
}
echo "<p><a href=\"../\">Назад</a>";
?>

<?php
set_time_limit(300);
for($l=2;$l<=9;$l++) {
  for($i=0;$i<=9;$i++) {
  if(($i==1)||($i==$l)) $i++;
    for($s=0;$s<=9;$s++) {
    if(($s==1)||($s==$l)||($s==$i)) $s++;
      for($a=0;$a<=9;$a++) {
      if(($a==1)||($a==$s)||($a==$l)||($a==$i)) $a++;
        for($v=2;$v<=9;$v++) {
        if(($v==$a)||($v==$s)||($v==$i)||($v==$l)) $v++;
          for($o=0;$o<=9;$o++) {
          if(($o==1)||($o==$v)||($o==$a)||($o==$s)||($o==$i)||($o==$l)) $o++;
            for($k=0;$k<=9;$k++) {
            if(($k==1)||($k==$o)||($k==$v)||($k==$a)||($k==$s)||($k==$i)||($k==$l)) $k++;
              for($e=0;$e<=9;$e++) {
              if(($e==1)||($e==$l)||($e==$i)||($e==$s)||($e==$a)||($e==$v)||($e==$o)||($e==$k)) $e++;
                for($r=0;$r<=9;$r++) {
                if(($r==1)||($r==$l)||($r==$i)||($r==$s)||($r==$a)||($r==$v)||($r==$o)||($r==$k)||($r==$e)) $r++;
                if(($l*1000+$i*100+$s*10+$a+$v*1000+$o*100+$l*10+$k==10000+$v*1000+$e*100+$r*10+$i)&&($v<10)&&($o<10)&&($l<10)&&($k<10)&&($i<10)&&($s<10)&&($a<10)&&($e<10)&&($r<10)&&(($i!=$l)&&($s!=$l)&&($s!=$i)&&($a!=$s)&&($a!=$l)&&($a!=$i)&&($v!=$a)&&($v!=$s)&&($v!=$i)&&($v!=$l)&&($o!=$v)&&($o!=$a)&&($o!=$s)&&($o!=$i)&&($o!=$l)&&($k!=$o)&&($k!=$v)&&($k!=$a)&&($k!=$s)&&($k!=$i)&&($k!=$l)&&($e!=$l)&&($e!=$i)&&($e!=$s)&&($e!=$a)&&($e!=$v)&&($e!=$o)&&($e!=$k)&&($r!=$l)&&($r!=$i)&&($r!=$s)&&($r!=$a)&&($r!=$v)&&($r!=$o)&&($r!=$k)&&($r!=$e)))
                {$rebus=$l.$i.$s.$a."+".$v.$o.$l.$k."=1".$v.$e.$r.$i;
                echo "Ответ: $rebus; ";
                }
}
}
}
}
}
}
}
}
}
echo "<p><a href=\"../\">Назад</a>";
?>

<?php
header('Content-Type: text/plain');
 
// ЛИСА + ВОЛК = ЗВЕРИ
// подбор значений нужен только для букв Л, С, А, В, О, К
// значения для букв И, З, Е, Р можно найти в процессе сложения 
$keys = ['Л', 'С', 'А', 'В', 'О', 'К'];
 
$n = 10;
$m = count($keys);
 
$array = range(0, $n - 1);
 
do {
    check(array_combine($keys, array_slice($array, 0, $m)));
} while (NextSet($array, $n, $m));
 
 
 
function check($_) {
 
    // ЛИСА + ВОЛК = ЗВЕРИ
    // находим букву И 
    $i = ($_['А'] + $_['К']) % 10;
    
    // проверяем на повторы цифр
    if (in_array($i, $_)) return;
    $_['И'] = $i;
    
    $arg1 = "{$_['Л']}{$_['И']}{$_['С']}{$_['А']}";
    $arg2 = "{$_['В']}{$_['О']}{$_['Л']}{$_['К']}";
    $summ = (string) ( (int) $arg1 + (int) $arg2 );
    
    if (strlen($summ) == 5
        && $summ[1] == $_['В']
        && !in_array($summ[0], $_)     // З
        && !in_array($summ[2], $_)     // Е
        && !in_array($summ[3], $_)     // Р
    ) {
        echo "$arg1 + $arg2 = $summ \n";
    }
}
 
 
 
 
function swap(&$a, $i, $j) {
  $s = $a[$i];
  $a[$i] = $a[$j]; $a[$j] = $s;
}
 
function NextSet(&$a, $n, $m) {
 
  do { // повторяем пока не будет найдено следующее размещение
    $j = $n - 2;
 
    while ($j != -1 && $a[$j] >= $a[$j + 1]) $j--;
 
    if ($j == -1)
      return false; // больше размещений нет
 
    $k = $n - 1;
    while ($a[$j] >= $a[$k]) $k--;
    swap($a, $j, $k);
    $l = $j + 1; $r = $n - 1; // сортируем оставшуюся часть последовательности
    while ($l < $r)
      swap($a, $l++, $r--);
  } while ($j > $m - 1);
  return true;
}