Новое приложение для проверки "симметричных" ДЛК. По сути аналогично odlk2, только генератор другой.
Результаты складываются как в общий дневной файл, так и в отдельные в подкаталогах odlk3 и odlksym

---

У-р-р-р-а! Алгоритм для симметричных ДЛК запущен! :)
Progger
вы учитывали уже найденные (в ручном проекте) решения?
Я смотрю, первое решение в моём массиве решений как раз пропущено. Совпадение?

Вот решение:

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 3 5 1 0 9 8 4 6 7
3 8 4 7 9 0 2 5 1 6
8 4 7 9 6 3 0 2 5 1
5 6 9 2 1 8 7 0 3 4
9 7 3 5 8 1 4 6 2 0
7 9 8 6 5 4 3 1 0 2
4 0 6 8 7 2 1 3 9 5
6 5 1 0 2 7 9 8 4 3

Первая уникальная двушечка :)
И есть парная двушка, как всегда для решений от симметричных ДЛК.

Новое приложение для проверки "симметричных" ДЛК. По сути аналогично odlk2, только генератор другой.

Да, используется замечательный генератор симметричных ДЛК (в лексикографическом порядке) Harry White.

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 3 5 1 0 9 8 4 6 7
3 8 4 7 9 0 2 5 1 6
8 4 7 9 6 3 0 2 5 1
5 6 9 2 1 8 7 0 3 4
9 7 3 5 8 1 4 6 2 0
7 9 8 6 5 4 3 1 0 2
4 0 6 8 7 2 1 3 9 5
6 5 1 0 2 7 9 8 4 3

Первая уникальная двушечка :)

Двушка повторная. В списке двушек имеет №16, т.е есть еще 15 меньших двушек.
Наименьшая

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 0 3 5 8 1 4 6 9 7
4 6 9 7 1 8 2 0 3 5
9 7 8 6 5 4 3 1 2 0
3 4 7 8 0 9 1 2 5 6
6 9 4 1 7 2 8 5 0 3
7 8 5 0 6 3 9 4 1 2
5 3 1 9 2 7 0 8 6 4
8 5 6 2 9 0 7 3 4 1

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 3 5 1 0 9 8 4 6 7
3 8 4 7 9 0 2 5 1 6
8 4 7 9 6 3 0 2 5 1
5 6 9 2 1 8 7 0 3 4
9 7 3 5 8 1 4 6 2 0
7 9 8 6 5 4 3 1 0 2
4 0 6 8 7 2 1 3 9 5
6 5 1 0 2 7 9 8 4 3

Первая уникальная двушечка :)

Двушка повторная. В списке двушек имеет №16, т.е есть еще 15 меньших двушек.
Наименьшая

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 0 3 5 8 1 4 6 9 7
4 6 9 7 1 8 2 0 3 5
9 7 8 6 5 4 3 1 2 0
3 4 7 8 0 9 1 2 5 6
6 9 4 1 7 2 8 5 0 3
7 8 5 0 6 3 9 4 1 2
5 3 1 9 2 7 0 8 6 4
8 5 6 2 9 0 7 3 4 1

citerra
вы, наверное, забываете, что ваш "список" не совпадает с БД, составляемой в нашем проекте.
Относительно нашей БД это уникальная двушка.
И все дальнейшие результаты будут, естественно, сравниваться с нашей БД.
Надеюсь, что вы не будете каждый раз писать, что в вашем "списке" эти решения уже есть. Очень надеюсь!

В нашей БД на данный момент имеется 1672 симметричные КФ ОДЛК.
Первые 10:

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  0  3  5  8  1  4  6  9  7 
 4  6  9  7  1  8  2  0  3  5 
 9  7  8  6  5  4  3  1  2  0 
 3  4  7  8  0  9  1  2  5  6 
 6  9  4  1  7  2  8  5  0  3 
 7  8  5  0  6  3  9  4  1  2 
 5  3  1  9  2  7  0  8  6  4 
 8  5  6  2  9  0  7  3  4  1 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  0  8  5  6  3  4  1  9  7 
 4  6  9  7  8  1  2  0  3  5 
 6  5  7  9  1  8  0  2  4  3 
 7  4  6  1  0  9  8  3  5  2 
 9  7  1  6  5  4  3  8  2  0 
 3  8  4  0  7  2  9  5  1  6 
 8  3  5  2  9  0  7  4  6  1 
 5  9  3  8  2  7  1  6  0  4 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  1  0  5  4  9  8  6  7 
 8  4  6  7  9  0  2  3  5  1 
 6  9  4  2  8  1  7  5  0  3 
 7  6  5  1  0  9  8  4  3  2 
 5  0  7  6  1  8  3  2  9  4 
 9  8  3  5  7  2  4  6  1  0 
 3  5  8  9  2  7  0  1  4  6 
 4  7  9  8  6  3  1  0  2  5 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  1  5  0  9  4  8  6  7 
 4  6  8  9  2  7  0  1  3  5 
 8  0  4  7  6  3  2  5  9  1 
 5  7  9  6  1  8  3  0  2  4 
 9  8  6  2  5  4  7  3  1  0 
 3  9  5  1  7  2  8  4  0  6 
 7  4  3  8  9  0  1  6  5  2 
 6  5  7  0  8  1  9  2  4  3 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  4  0  1  8  9  5  6  7 
 9  7  5  8  6  3  1  4  2  0 
 6  5  1  9  7  2  0  8  4  3 
 3  4  7  1  0  9  8  2  5  6 
 7  9  8  6  5  4  3  1  0  2 
 8  0  3  5  2  7  4  6  9  1 
 5  8  6  7  9  0  2  3  1  4 
 4  6  9  2  8  1  7  0  3  5 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  4  8  0  9  1  5  6  7 
 4  9  7  6  8  1  3  2  0  5 
 8  7  6  9  5  4  0  3  2  1 
 9  5  3  1  2  7  8  6  4  0 
 5  6  8  0  7  2  9  1  3  4 
 7  0  1  5  6  3  4  8  9  2 
 3  8  5  7  9  0  2  4  1  6 
 6  4  9  2  1  8  7  0  5  3 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  4  9  1  8  0  5  6  7 
 8  7  6  5  9  0  4  3  2  1 
 9  4  8  2  6  3  7  1  5  0 
 5  8  3  0  2  7  9  6  1  4 
 7  6  9  8  5  4  1  0  3  2 
 3  5  1  7  0  9  2  8  4  6 
 4  0  7  6  8  1  3  2  9  5 
 6  9  5  1  7  2  8  4  0  3 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  4  9  1  8  0  5  6  7 
 9  8  7  6  5  4  3  2  1  0 
 7  5  3  8  9  0  1  6  4  2 
 6  4  9  7  8  1  2  0  5  3 
 5  9  8  2  6  3  7  1  0  4 
 3  0  1  5  2  7  4  8  9  6 
 8  6  5  0  7  2  9  4  3  1 
 4  7  6  1  0  9  8  3  2  5 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  4  9  8  1  0  5  6  7 
 7  9  3  1  5  4  8  6  0  2 
 5  7  6  8  9  0  1  3  2  4 
 8  0  5  7  6  3  2  4  9  1 
 4  6  9  2  1  8  7  0  3  5 
 9  5  1  6  2  7  3  8  4  0 
 6  4  8  0  7  2  9  1  5  3 
 3  8  7  5  0  9  4  2  1  6 

 0  1  2  3  4  5  6  7  8  9 
 1  2  0  4  3  6  5  9  7  8 
 2  3  5  0  1  8  9  4  6  7 
 6  8  4  9  7  2  0  5  1  3 
 4  9  6  2  8  1  7  3  0  5 
 5  0  3  1  2  7  8  6  9  4 
 8  7  9  5  6  3  4  0  2  1 
 7  4  8  6  9  0  3  1  5  2 
 9  6  1  7  5  4  2  8  3  0 
 3  5  7  8  0  9  1  2  4  6 

Последние 10:

 0  1  2  3  4  5  6  7  8  9 
 2  3  0  1  5  4  8  9  6  7 
 4  2  6  0  1  8  9  3  7  5 
 1  5  7  9  3  6  0  2  4  8 
 7  9  5  6  8  1  3  4  0  2 
 3  8  9  4  7  2  5  0  1  6 
 8  0  4  2  6  3  7  5  9  1 
 6  7  8  5  0  9  4  1  2  3 
 9  4  3  8  2  7  1  6  5  0 
 5  6  1  7  9  0  2  8  3  4 

 0  1  2  3  4  5  6  7  8  9 
 2  3  0  1  5  4  8  9  6  7 
 4  7  9  8  6  3  1  0  2  5 
 7  8  4  6  0  9  3  5  1  2 
 6  0  5  2  8  1  7  4  9  3 
 1  9  6  5  2  7  4  3  0  8 
 9  2  8  4  3  6  5  1  7  0 
 5  6  7  0  1  8  9  2  3  4 
 3  5  1  9  7  2  0  8  4  6 
 8  4  3  7  9  0  2  6  5  1 

 0  1  2  3  4  5  6  7  8  9 
 2  3  0  1  5  4  8  9  6  7 
 8  4  7  0  3  6  9  2  5  1 
 6  7  5  9  8  1  0  4  2  3 
 5  0  1  6  2  7  3  8  9  4 
 4  9  3  2  1  8  7  6  0  5 
 1  2  6  5  9  0  4  3  7  8 
 9  6  4  8  7  2  1  5  3  0 
 7  8  9  4  6  3  5  0  1  2 
 3  5  8  7  0  9  2  1  4  6 

 0  1  2  3  4  5  6  7  8  9 
 2  3  0  4  1  8  5  9  6  7 
 8  2  4  9  3  6  0  5  7  1 
 6  9  5  8  2  7  1  4  0  3 
 9  7  1  5  6  3  4  8  2  0 
 1  4  9  6  7  2  3  0  5  8 
 5  8  6  2  9  0  7  3  1  4 
 3  5  8  7  0  9  2  1  4  6 
 7  0  3  1  5  4  8  6  9  2 
 4  6  7  0  8  1  9  2  3  5 

 0  1  2  3  4  5  6  7  8  9 
 2  3  0  4  8  1  5  9  6  7 
 3  2  5  8  0  9  1  4  7  6 
 5  9  1  2  3  6  7  8  0  4 
 8  5  9  6  7  2  3  0  4  1 
 9  6  8  7  5  4  2  1  3  0 
 7  4  6  0  1  8  9  3  5  2 
 4  7  3  1  9  0  8  6  2  5 
 6  8  4  9  2  7  0  5  1  3 
 1  0  7  5  6  3  4  2  9  8 

 0  1  2  3  4  5  6  7  8  9 
 2  3  1  4  0  9  5  8  6  7 
 1  5  6  0  7  2  9  3  4  8 
 7  6  8  5  9  0  4  1  3  2 
 6  9  4  2  8  1  7  5  0  3 
 9  8  7  6  5  4  3  2  1  0 
 3  0  5  7  1  8  2  4  9  6 
 4  7  0  8  3  6  1  9  2  5 
 5  2  9  1  6  3  8  0  7  4 
 8  4  3  9  2  7  0  6  5  1 

 0  1  2  3  4  5  6  7  8  9 
 2  3  1  4  0  9  5  8  6  7 
 1  5  6  0  7  2  9  3  4  8 
 7  6  8  5  9  0  4  1  3  2 
 6  9  5  7  8  1  2  4  0  3 
 9  8  7  6  5  4  3  2  1  0 
 3  0  4  2  1  8  7  5  9  6 
 4  2  0  8  3  6  1  9  7  5 
 5  7  9  1  6  3  8  0  2  4 
 8  4  3  9  2  7  0  6  5  1 

 0  1  2  3  4  5  6  7  8  9 
 2  3  1  4  0  9  5  8  6  7 
 1  5  6  9  2  7  0  3  4  8 
 6  0  4  7  1  8  2  5  9  3 
 7  6  8  5  9  0  4  1  3  2 
 8  4  3  0  7  2  9  6  5  1 
 5  7  9  1  3  6  8  0  2  4 
 3  9  5  2  8  1  7  4  0  6 
 9  8  7  6  5  4  3  2  1  0 
 4  2  0  8  6  3  1  9  7  5 

 0  1  2  3  4  5  6  7  8  9 
 2  3  1  4  0  9  5  8  6  7 
 3  9  4  2  8  1  7  5  0  6 
 9  8  7  6  5  4  3  2  1  0 
 8  5  6  0  7  2  9  3  4  1 
 6  0  5  7  1  8  2  4  9  3 
 4  7  9  8  3  6  1  0  2  5 
 5  2  0  1  6  3  8  9  7  4 
 1  4  3  9  2  7  0  6  5  8 
 7  6  8  5  9  0  4  1  3  2 

 0  1  2  3  4  5  6  7  8  9 
 2  3  1  4  0  9  5  8  6  7 
 4  7  9  1  3  6  8  0  2  5 
 7  6  8  5  9  0  4  1  3  2 
 6  9  5  2  8  1  7  4  0  3 
 9  8  7  6  5  4  3  2  1  0 
 3  0  4  7  1  8  2  5  9  6 
 1  5  3  0  2  7  9  6  4  8 
 5  2  0  8  6  3  1  9  7  4 
 8  4  6  9  7  2  0  3  5  1 

Всё, что не входит в эти 1672 КФ, считается уникальным относительно нашей БД и будет в неё добавляться.

Всё, что не входит в эти 1672 КФ, считается уникальным относительно нашей БД и будет в неё добавляться.

А какое отношение имеет частная "БД" к данному проекту? И "уникальность" данного ОДЛК говорит только о дырявости оной.

А какое отношение имеет частная "БД" к данному проекту? И "уникальность" данного ОДЛК говорит только о дырявости оной.

citerra
вы забываетесь!
Посмотрите на мой статус в данном BOINC-проекте.

"Частная "БД" (как вы выражаетесь) объединяется с решениями данного BOINC-проекта.
Эта "частная "БД" - результат огромного труда коллектива, участвующего в моём ручном проекте, который (проект) действовал больше года и сейчас продолжает действовать.

Посмотрите на мой статус в данном BOINC-проекте..

Очков: 0

Посмотрите на мой статус в данном BOINC-проекте..

Очков: 0

Думаю, что на это отвечать не стоит.

Думаю, что на это отвечать не стоит.

Хорошенько подумайте

citerra
вы действительно не знаете, что такое статус? Или просто валяете дурака?
Очки есть у кранчеров. Вот вы - кранчер (это ваш статус), и у вас есть очки.
Я не кранчер, у меня другой статус, и поэтому нет очков.

Если опять не поняли, объясняю. Этот BOINC-проект запущен под моим научным руководством. Это мой статус - научный руководитель проекта.
Опять не поняли?
Тогда обратитесь, пожалуйста, за разъяснениями к администратору проекта.

Взяла решения от симметричных ДЛК за 14 июля, их всего 19.
Уникальных 7 штук:

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 3 4 8 9 0 1 5 6 7
4 7 9 6 1 8 3 0 2 5
7 0 3 5 8 1 4 6 9 2
6 8 5 7 0 9 2 4 1 3
9 5 8 2 6 3 7 1 4 0
5 9 6 1 2 7 8 3 0 4
3 4 1 9 7 2 0 8 5 6
8 6 7 0 5 4 9 2 3 1

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 3 5 1 0 9 8 4 6 7
3 8 4 7 9 0 2 5 1 6
8 4 7 9 6 3 0 2 5 1
5 6 9 2 1 8 7 0 3 4
9 7 3 5 8 1 4 6 2 0
7 9 8 6 5 4 3 1 0 2
4 0 6 8 7 2 1 3 9 5
6 5 1 0 2 7 9 8 4 3

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 9 1 5 2 7 4 8 0 6
9 5 3 7 8 1 2 6 4 0
7 4 9 1 6 3 8 0 5 2
4 3 7 0 1 8 9 2 6 5
8 7 5 6 9 0 3 4 2 1
2 6 4 8 0 9 1 5 3 7
6 0 8 2 5 4 7 1 9 3
5 8 6 9 7 2 0 3 1 4

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 9 1 5 2 7 4 8 0 6
9 6 5 7 1 8 2 4 3 0
6 4 9 2 8 1 7 0 5 3
4 0 7 8 6 3 1 2 9 5
8 5 3 0 7 2 9 6 4 1
7 8 4 6 9 0 3 5 1 2
2 3 8 9 5 4 0 1 6 7
5 7 6 1 0 9 8 3 2 4

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 9 4 1 2 7 8 5 0 6
8 4 7 6 9 0 3 2 5 1
5 6 9 7 8 1 2 0 3 4
6 7 5 8 0 9 1 4 2 3
9 5 1 2 6 3 7 8 4 0
2 0 6 5 1 8 4 3 9 7
7 8 3 0 5 4 9 6 1 2
4 3 8 9 7 2 0 1 6 5

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 9 4 1 7 2 8 5 0 6
9 7 8 5 6 3 4 1 2 0
6 5 7 8 9 0 1 2 4 3
5 0 3 7 1 8 2 6 9 4
4 6 1 2 0 9 7 8 3 5
2 8 6 0 5 4 9 3 1 7
7 3 5 9 8 1 0 4 6 2
8 4 9 6 2 7 3 0 5 1

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 9 8 5 7 2 4 1 0 6
8 4 9 7 6 3 2 0 5 1
2 5 6 1 9 0 8 3 4 7
6 7 5 9 8 1 0 4 2 3
4 8 7 6 0 9 3 2 1 5
9 6 4 8 2 7 1 5 3 0
7 3 1 0 5 4 9 8 6 2
5 0 3 2 1 8 7 6 9 4

Все эти КФ ОДЛК дают двушки.
Начало положено.
Сейчас обрабатываю эти решения. Тут можно очень долго обрабатывать. Как я уже говорила, методы вторичной обработки решений реализованы плохо (выполняются программы долго).
Кручу свою карусель (это реализация перестановки элементов). До программ В. Чиркова ещё не дошла. В них тоже не всё хорошо в смысле скорости выполнения. Но зато есть ещё и перестановка строк в ДЛК, в дополнение к перестановке элементов, а также комбинация этих преобразований.
Программа Белышева Канонизатор ЛК по ДЛК тоже оставляет желать лучшей реализации. А это очень важная программа - ищет все парные решения.
В общем, работы много по обработке решений от симметричных ДЛК и вряд ли удастся выжать всё. Это огорчает.

Добралась до программы В. Чиркова. Скормила ей показанные выше 7 симметричных КФ ОДЛК.
Выбрала вид преобразования 3 - перестановка строк в комбинации с перестановкой элементов.
Ну и... уже примерно час программа обрабатывает первый ДЛК из 7 введённых.

Имя входного файла (без расширения): a26
Вид преобразований (STR=1, SQ=2, STR&SQ=3): 3
1 -> 152881

И это может продолжаться до вечера - только для одного ДЛК. Такая скорость выполнения программы никуда не годится.
При этом в преобразованных ДЛК может оказаться куча одинаковых, что тоже не есть хорошо. Эти ДЛК надо сразу выбрасывать программой сортировки перед проверкой на ОДЛК. И после всех этих многочасовых поисков в результате может оказаться ноль уникальных КФ. Но могут и найтись уникальные КФ. Как повезёт.
Моя карусель работает всё же несколько быстрее, хотя очень далека от совершенства.
Иногда делаю так: в программе Чиркова переставляю только строки (преобразование 1), а потом полученные ДЛК обрабатываю на своей карусели. Это получается быстрее.

Сегодня в BOINC-проекте от симметричных ДЛК найдена первая четвёрка
(и вообще - первая четвёрка в проекте; пока не учтены решения за июль).

Вот симметричная КФ ОДЛК, дающая четвёрку:

 0 1 2 3 4 5 6 7 8 9
 1 2 0 4 3 6 5 9 7 8
 2 9 3 1 5 4 8 6 0 7
 9 6 7 5 1 8 4 2 3 0
 7 5 9 8 6 3 1 0 4 2
 8 7 4 6 0 9 3 5 2 1
 4 0 6 2 8 1 7 3 9 5
 6 4 1 9 2 7 0 8 5 3
 3 8 5 7 9 0 2 4 1 6
 5 3 8 0 7 2 9 1 6 4

а это сама четвёрка:

 0 1 2 3 4 5 6 7 8 9
 3 9 1 7 8 4 2 6 0 5
 1 8 6 2 0 9 7 5 3 4
 7 0 8 4 5 6 1 3 9 2
 9 7 5 1 3 2 8 4 6 0
 4 2 3 9 7 1 0 8 5 6
 2 6 7 8 9 0 5 1 4 3
 8 5 4 0 6 3 9 2 1 7
 5 3 9 6 2 8 4 0 7 1
 6 4 0 5 1 7 3 9 2 8
sq1

 0 1 2 3 4 5 6 7 8 9
 4 9 3 7 5 1 2 8 0 6
 5 6 4 2 0 9 7 3 1 8
 7 0 6 8 3 4 5 1 9 2
 9 3 5 1 7 6 8 4 2 0
 3 4 1 9 8 2 0 6 7 5
 6 5 8 4 9 0 1 2 3 7
 2 8 7 0 6 3 9 5 4 1
 8 2 9 5 1 7 3 0 6 4
 1 7 0 6 2 8 4 9 5 3
sq2

 0 1 2 3 4 5 6 7 8 9
 3 9 1 7 8 4 2 6 0 5
 1 8 6 2 9 0 7 5 3 4
 7 0 8 4 5 6 1 3 9 2
 9 7 5 1 3 2 8 4 6 0
 4 2 3 9 7 1 0 8 5 6
 2 6 7 8 0 9 5 1 4 3
 8 5 4 0 6 3 9 2 1 7
 5 3 0 6 2 8 4 9 7 1
 6 4 9 5 1 7 3 0 2 8
sq3

 0 1 2 3 4 5 6 7 8 9
 4 9 3 7 5 1 2 8 0 6
 5 6 4 2 9 0 7 3 1 8
 7 0 6 8 3 4 5 1 9 2
 9 3 5 1 7 6 8 4 2 0
 3 4 1 9 8 2 0 6 7 5
 6 5 8 4 0 9 1 2 3 7
 2 8 7 0 6 3 9 5 4 1
 8 2 0 5 1 7 3 9 6 4
 1 7 9 6 2 8 4 0 5 3
sq4

Square:
 0 1 2 3 4 5 6 7 8 9
 1 2 0 4 3 6 5 9 7 8
 2 9 3 1 5 4 8 6 0 7
 9 6 7 5 1 8 4 2 3 0
 7 5 9 8 6 3 1 0 4 2
 8 7 4 6 0 9 3 5 2 1
 4 0 6 2 8 1 7 3 9 5
 6 4 1 9 2 7 0 8 5 3
 3 8 5 7 9 0 2 4 1 6
 5 3 8 0 7 2 9 1 6 4

Напомню: четвёркой мы кратко нызываем группу из 4-х пар ОДЛК.
Четвёрка такая в нашей БД уже имеется (то есть она не уникальная), но всё равно интересна - для истории, потому что первая.

Интересно, что от симметричных ДЛК в основном получаются двушки (группы из двух пар ОДЛК), четвёрки - намного реже.
Ждём другие группы пар ОДЛК: шестёрки, восьмёрки... может быть, и из нечётного количества пар ОДЛК что-то найдётся.

Вот симметричная КФ ОДЛК, дающая четвёрку:

 0 1 2 3 4 5 6 7 8 9
 1 2 0 4 3 6 5 9 7 8
 2 9 3 1 5 4 8 6 0 7
 9 6 7 5 1 8 4 2 3 0
 7 5 9 8 6 3 1 0 4 2
 8 7 4 6 0 9 3 5 2 1
 4 0 6 2 8 1 7 3 9 5
 6 4 1 9 2 7 0 8 5 3
 3 8 5 7 9 0 2 4 1 6
 5 3 8 0 7 2 9 1 6 4

Чтобы лучше увидеть симметрию и блоки (подквадраты 2х2), раскрасила этот ДЛК



Тут хорошо видно и перестановки элементов, это простые перестановки: в каждом блоке можно переставить элементы (равносильно повороту блока на 90 градусов). Вариантов новых ДЛК будет очень много, получить их все проблематично. Но нужно получать не все, а только не изоморфные. В этом сложность алгоритма.

За 15 июля найдено 82 решения от симметричных ДЛК. Уникальных 32 решения, все двушки.
Первичная обработка дала 67 уникальных КФ.
Во вторичной обработке пока применила программу Белышева Канонизатор ЛК по ДЛК и свою программу-карусель.
Обработка этими программами дала ещё 76 уникальных КФ.
Всего от 32 симметричных КФ ОДЛК получено 143 уникальные КФ ОДЛК.

Пока идут первые решения, повторений будет много, потому что в массиве решений, полученных в ручном проекте, в основном решения с самого начала (в лексикографическом порядке). Дальше повторений должно быть меньше.

Несколько примеров очень близких симметричных КФ ОДЛК (два решения в одном задании) из решений за 15 июля

odlksym_13139_1500014936.467140, 548
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 7 4 9 1 8 0 5 2 6
8 5 6 7 9 0 2 3 4 1
9 3 8 2 5 4 7 1 6 0
7 9 5 6 8 1 3 4 0 2
4 6 9 1 2 7 8 0 3 5
2 8 3 5 0 9 4 6 1 7
5 0 7 8 6 3 1 2 9 4
6 4 1 0 7 2 9 8 5 3

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 7 4 9 1 8 0 5 2 6
8 5 6 7 9 0 2 3 4 1
9 6 1 2 5 4 7 8 3 0
7 9 5 6 8 1 3 4 0 2
4 3 9 1 7 2 8 0 6 5
2 8 3 5 0 9 4 6 1 7
5 0 7 8 6 3 1 2 9 4
6 4 8 0 2 7 9 1 5 3

odlksym_14765_1500015152.081850, 489
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 4 9 2 7 0 5 1 6
7 3 5 1 9 0 8 4 6 2
8 5 9 2 6 3 7 0 4 1
4 7 3 8 0 9 1 6 2 5
5 9 7 6 8 1 3 2 0 4
6 0 1 5 7 2 4 8 9 3
9 4 6 7 1 8 2 3 5 0
2 6 8 0 5 4 9 1 3 7

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 4 9 2 7 0 5 1 6
7 3 5 1 9 0 8 4 6 2
8 5 9 2 6 3 7 0 4 1
5 7 3 8 0 9 1 6 2 4
4 0 7 6 8 1 3 2 9 5
6 9 1 5 7 2 4 8 0 3
9 4 6 7 1 8 2 3 5 0
2 6 8 0 5 4 9 1 3 7

odlksym_15142_1500015203.739455, 489
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 5 7 0 9 2 4 1 6
2 4 6 9 1 8 0 3 5 7
6 0 4 2 8 1 7 5 9 3
5 3 8 0 2 7 9 1 6 4
9 7 1 5 6 3 4 8 2 0
7 5 3 8 9 0 1 6 4 2
4 6 9 1 7 2 8 0 3 5
8 9 7 6 5 4 3 2 0 1

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 5 7 0 9 2 4 1 6
2 4 6 9 8 1 0 3 5 7
5 3 8 0 7 2 9 1 6 4
6 9 4 2 1 8 7 5 0 3
4 7 1 6 9 0 3 8 2 5
7 0 3 8 5 4 1 6 9 2
9 5 7 1 6 3 8 2 4 0
8 6 9 5 2 7 4 0 3 1

odlksym_5209_1500013989.692629, 31
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 9 3 8 5 4 1 6 0 7
4 6 9 1 7 2 8 0 3 5
9 8 7 5 6 3 4 2 1 0
7 4 6 0 1 8 9 3 5 2
3 5 8 2 0 9 7 1 4 6
8 3 4 9 2 7 0 5 6 1
6 0 5 7 8 1 2 4 9 3
5 7 1 6 9 0 3 8 2 4

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 9 3 8 5 4 1 6 0 7
4 6 9 1 7 2 8 0 3 5
9 8 7 5 6 3 4 2 1 0
7 4 6 9 1 8 0 3 5 2
6 5 8 2 0 9 7 1 4 3
8 3 4 0 2 7 9 5 6 1
3 0 5 7 8 1 2 4 9 6
5 7 1 6 9 0 3 8 2 4

odlksym_16037_1500015328.892498, 31
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 9 7 5 4 2 0 1 6
2 0 3 5 1 8 4 6 9 7
7 4 1 9 6 3 0 8 5 2
8 6 4 0 2 7 9 5 3 1
5 9 6 1 7 2 8 3 0 4
4 3 8 2 0 9 7 1 6 5
9 5 7 6 8 1 3 2 4 0
6 7 5 8 9 0 1 4 2 3

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 9 7 5 4 2 0 1 6
2 0 3 5 1 8 4 6 9 7
7 4 1 9 6 3 0 8 5 2
8 6 5 0 2 7 9 4 3 1
5 9 6 1 7 2 8 3 0 4
4 3 8 2 9 0 7 1 6 5
9 5 7 6 8 1 3 2 4 0
6 7 4 8 0 9 1 5 2 3

За 16 июля найдено 74 симметричные КФ ОДЛК, из них 14 уникальных.
Есть две уникальные четвёрки, причём очень близкие - найдены в одном задании

odlksym_14643_1500015136.483732, 26, 307
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 4 7 0 9 2 5 1 6
7 5 3 9 8 1 0 6 4 2
2 0 1 6 5 4 3 8 9 7
5 6 7 0 1 8 9 2 3 4
6 4 8 2 9 0 7 1 5 3
4 9 6 8 7 2 1 3 0 5
9 3 5 1 2 7 8 4 6 0
8 7 9 5 6 3 4 0 2 1

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
3 8 4 7 0 9 2 5 1 6
7 5 3 9 8 1 0 6 4 2
2 0 8 6 5 4 3 1 9 7
5 6 7 0 1 8 9 2 3 4
6 4 1 2 9 0 7 8 5 3
4 9 6 8 7 2 1 3 0 5
9 3 5 1 2 7 8 4 6 0
8 7 9 5 6 3 4 0 2 1

Удача - две четвёрки в одном задании!
Первичная обработка 14 решений дала 37 уникальных КФ ОДЛК.
Интересно: четвёрки клонировались уже при первичной обработке, их стало четыре.

Начинаю вторичную обработку.

Этот BOINC-проект запущен под моим научным руководством. Это мой статус - научный руководитель проекта.
Опять не поняли?

Если научный руководитель подходит к своим исследованиям под девизом "и так сойдет", то действительно не стоит тратит время на сообщения такого научного руководителя. За информацией стоит обращаться к другим источникам.