Активный Эскадрон(Задача)

для доказательства активности эскадрона используем следующие леммы:
1)Эскадрон активен, если он может сдвинуться со своего начального положение на 1 клетку на C-B или C-З  а так же на 1 клетку на В или на З, при этом перевернувшить (ось вращение OX)
2)активный Эскадрон может двигаться только на 1 клетку на C-B или C-З  а так же на 1 клетку на В или на З, при этом перевернувшить (ось вращение OX), и никуда больше, все остальные вариации ходов его коней приведут к тупиковой ситуации
 
итак, при каждом новом положении коней эскадрон нуждаеться в проверке на активность
не забывая про 2 леммы  эскадрон начинает перемещаться
в последствии перемещения он может переместиться только в 2 положения (см. Лемму2)
и переместившись в 1 из положений мы получаем половину доказательства(получили доказательство 1,1)
запомнив это положение мы ставим эскадрон в первоначальное положение 
и проделываем ту же операцию до тех пор, пока не получим второе положение(дказательство 1,2)
при поиске доказательства 1,2 мы не повторяем ходы эскадрона когда искали доказательство 1,1
\\ПОяснение разница как сходит эскадрон в доказательство 1,1 или в доказательство 1,2 в самом первом ходу, так что смело исключаем все последующие ходы
и получив 2 доказательства мы смело заявляем что эскадрон активен
 
цикл увеличения количества коней
{
цикл расстановки коней
{
цикл ходов коней
{
проверка на активность эскадрона
{
копирование матрицы четырежды(создание еще четырех таких же матриц)
корректировка первой матрицы: замена координат всех коней на координаты x+1 y+1, (то есть до этого были координаты N и M то сейчас N+1;M+1)
корректировка второй матрицы: замена координат всех коней на координаты x-1 y+1(аналогично как при корректировке первой матрицы)
корректировка третей матрицы: замена координат всех коней на координаты x+1 y+1(аналогично как при корректировке первой матрицы)
корректировка четвертой матрицы: замена координат всех коней на координаты x+1 y+1(аналогично как при корректировке первой матрицы)
цикл хода коней // естветсвенно по всем правилам типа ходы не должны повторяться и ходы откатываються если все заходит в тупик
{
после каждой новой позиции идет сравнение с четырьмя другими матрицами
если есть совпадение отлично 0,5 доказательства готово
}
в противном случае
{ 
мы возвращаемся к пердыдущим переборам и выходим из проверка данного эскадрона
}
// следующий шаг я не знаю как осуществить програмно,
// вообщем нада чтобы первым ходил не тот конь который который был в первой части доказательства (а то мы докажем снова первую часть)
// а именно другой конь, чтобы доказать вторую часть
цикл хода коней
{
 после каждой новой позиции идет сравнение с четырьмя другими матрицами
и когда снова мы получаем совпадение то мы с уверенностью можем сказать что этот эскадрон активен
}
в противном случае
{ 
мы возвращаемся к пердыдущим переборам и выходим из проверка данного эскадрона
}
}
}
}
}
}
}
}
 
 
 
этот алгоритм проверки расчитан на 1 единственный активный эскадрон
я давал картинку, дак вот он изображен на картинке #1 
и еще меня оч смущает насчет пункта где должен ходить другой конь, а не этот же