Ой! Ой!
Кажется, получилось добавить новые симметрии в программу get_standard.
В своё время читала, как Белышев писал: "Добавьте свои симметрии".
Но тогда у меня почему-то не получилось.
А теперь вот какие очевидные симметрии вывела мне программа get_snadard после добавления в файл standart.txt нужных автоморфизмов

(21,21,21)
1 0 2 8 3 7 5 9 6 4
3 1 0 9 4 5 6 2 8 7
5 3 9 2 7 4 8 6 0 1
0 4 8 6 1 3 9 7 5 2
9 5 7 1 6 2 0 3 4 8
6 7 3 5 0 8 2 4 1 9
7 9 1 3 8 6 4 0 2 5
2 8 5 4 9 0 3 1 7 6
8 6 4 7 2 9 1 5 3 0
4 2 6 0 5 1 7 8 9 3

(21,36,36)
1 0 9 8 6 2 7 5 3 4
3 1 2 6 9 0 8 7 4 5
7 3 8 0 2 9 6 4 5 1
0 4 5 7 8 6 9 3 1 2
9 7 3 4 1 5 0 2 8 6
8 5 4 1 7 3 2 6 0 9
5 9 0 2 3 1 4 8 6 7
2 6 1 5 4 7 3 0 9 8
6 8 7 3 5 4 1 9 2 0
4 2 6 9 0 8 5 1 7 3

(10,10,10)
0 1 2 3 4 5 6 7 8 9
1 2 8 9 7 4 5 3 6 0
2 0 6 7 9 3 8 4 5 1
8 6 9 0 1 2 4 5 3 7
6 8 7 4 3 9 0 2 1 5
7 3 1 5 8 0 9 6 2 4
9 5 3 1 2 6 7 0 4 8
5 9 4 2 0 8 3 1 7 6
3 4 5 8 6 7 1 9 0 2
4 7 0 6 5 1 2 8 9 3

(41,41,41)
0 2 3 8 7 9 4 6 1 5
8 5 0 2 6 1 3 9 4 7
7 9 4 6 5 0 1 3 8 2
9 4 6 1 0 2 7 8 5 3
5 6 1 3 2 7 9 4 0 8
3 8 5 0 4 6 2 7 9 1
2 7 9 5 8 4 6 1 3 0
4 0 2 7 1 3 8 5 6 9
6 1 7 9 3 8 5 0 2 4
1 3 8 4 9 5 0 2 7 6

(41,42,42)
0 9 8 2 1 5 4 3 7 6
8 2 1 5 9 3 7 6 0 4
6 5 4 3 2 1 0 9 8 7
4 3 2 1 0 9 8 7 6 5
2 1 5 9 3 7 6 0 4 8
5 4 3 7 6 0 9 8 2 1
3 7 6 0 4 8 2 1 5 9
1 0 9 8 7 6 5 4 3 2
9 8 7 6 5 4 3 2 1 0
7 6 0 4 8 2 1 5 9 3

(30,30,30)
0 1 2 3 4 5 6 7 8 9
1 0 8 4 6 9 5 3 2 7
2 8 0 9 5 7 1 6 4 3
3 4 9 0 1 6 8 2 7 5
4 6 5 1 0 2 7 9 3 8
5 9 7 6 2 0 3 8 1 4
6 5 1 8 7 3 0 4 9 2
7 3 6 2 9 8 4 0 5 1
8 2 4 7 3 1 9 5 0 6
9 7 3 5 8 4 2 1 6 0

Осталось ещё узнать, что сии "очевидные" симметрии означают.
Ну, по поводу симметрии (30,30,30) вроде всё ясно. В своей недавно выложенной статье я предположила, что данная симметрия как-то связана с диагонально-симметричными ЛК.
Если полученная мной очевидная симметрия правильная, то предположение подтверждается. Очевидная симметрия действительно является диагонально-симметричным ЛК.
Симметрией (30,30,30) обладает ЛК Лямзина одновременно с симметрией (27,27,27). Об этом ЛК написано в статье в связи с симметрией (27,27,27). Но в статье нет очевидной симметрии для симметрии (30,30,30), в тот момент программа get_standard её не выводила.
А теперь выводит.
Ещё бы узнать, правильно ли я добавила эти симметрии. Надеюсь, что правильно.

Т-э-к-с, работа с алгоритмом "мультисимметрия" сама по себе очень интересная. Вот новые ракурсы открылись уже.
А поиск ОДЛК в этом алгоритме - это дополнительный интерес, о-ч-е-н-ь хороший интерес :)
КФ ОДЛК идут!

---

My new article "SOLS and SODLS"
in Russian https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg

Есть первое решение от нового генератора в алгоритме "мультисимметрия"!
Это всего лишь одушечка, но с оригинальной симметрией

*T 6537298014 7842910365 0123456789 -> (1,42,42)+

Проверено от нового генератора 334464 КФ ЛК, все они "симметричные"; найдено 14 видов симметрий, кроме тождественной.

Определитель симметрий

Введено ЛК                 : 334464
73931
151829
226183
302305
Из них симметричных        : 334464

Найдено различных симметрий: 15
Время работы               : 22.635 сек

Список симметрий

(1,1,1)
(2,31,31)
(4,31,31)
(8,8,8)
(8,31,31)
(10,10,10)
(16,16,16)
(16,31,31)
(19,19,19)
(21,21,21)
(21,36,36)
(22,22,22)
(22,37,37)
(27,27,27)
(28,28,28)

А КФ ОДЛК найдено пока всего 2 (однушка).
Но мультисимметрия в этих ЛК мне определённо нравится.
Все ЛК "симметричные"! И симметрий куча!

Добавила ещё для 4-х видов симметрий автоморфизмы, и теперь программа get_standard выводит и для них очевидные симметрии:
(19,19,19), (22,22,22), (22,37,37), (28,28,28).
Правда, не уверена, правильные ли автоморфизмы я добавила. Ну, программа не смущается введёнными автоморфизмами и очевидные симметрии выводит :)
Авось, всё правильно.

И ещё одна однушечка найдена от нового генератора с оригинальной симметрией

C* 5891637204 0123456789 5891637204 -> (1,41,41)+

Пока улов невелик, но... как знать, что будет дальше.

Вот для этого симпатичного ЛК



высветилась ещё одна новая (для меня) симметрия: (31,41,42).
Сейчас попробую для неё добавить автоморфизм.
Вот какая очевидная симметрия выдалась

(31,41,42)
0 5 1 6 2 7 3 8 4 9
5 0 6 1 7 2 8 3 9 4
1 6 2 7 3 8 4 9 0 5
6 1 7 2 8 3 9 4 5 0
2 7 3 8 4 9 0 5 1 6
7 2 8 3 9 4 5 0 6 1
3 8 4 9 0 5 1 6 2 7
8 3 9 4 5 0 6 1 7 2
4 9 0 5 1 6 2 7 3 8
9 4 5 0 6 1 7 2 8 3

Однако... совпадает с исходным ЛК.
Попутно добавила автоморфизмы для симметрий (1,41,41) и (1,42,42).
Такие выдались очевидные симметрии, для симметрии (1,41,41) аж две очевидные симметрии

(1,41,41)
0 4 3 2 1 5 9 8 7 6
2 1 0 4 3 7 6 5 9 8
4 3 2 1 0 9 8 7 6 5
1 0 4 3 2 6 5 9 8 7
3 2 1 0 4 8 7 6 5 9
5 9 8 7 6 0 4 3 2 1
7 6 5 9 8 2 1 0 4 3
9 8 7 6 5 4 3 2 1 0
6 5 9 8 7 1 0 4 3 2
8 7 6 5 9 3 2 1 0 4

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

(1,42,42)
0 5 1 6 2 7 3 8 4 9
1 6 2 7 3 8 4 9 0 5
2 7 3 8 4 9 0 5 1 6
3 8 4 9 0 5 1 6 2 7
4 9 0 5 1 6 2 7 3 8
5 0 6 1 7 2 8 3 9 4
6 1 7 2 8 3 9 4 5 0
7 2 8 3 9 4 5 0 6 1
8 3 9 4 5 0 6 1 7 2
9 4 5 0 6 1 7 2 8 3

Цитата

Ну, по поводу симметрии (30,30,30) вроде всё ясно. В своей недавно выложенной статье я предположила, что данная симметрия как-то связана с диагонально-симметричными ЛК.
Если полученная мной очевидная симметрия правильная, то предположение подтверждается. Очевидная симметрия действительно является диагонально-симметричным ЛК.

И всё-таки с симметрией (30,30,30) не всё понятно.
Почему диагонально-симметричный ЛК Лямзина этой симметрией обладает, а вот этот диагонально-симметричный ЛК

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

не обладает?
Список симметрий для данного ЛК такой:

(1,1,1)
(1,31,31)
(1,41,41)
(1,42,42)
(16,16,16)
(16,31,31)
(21,21,21)
(21,36,36)
(31,41,42)
(41,41,41)
(41,42,42)

И где здесь симметрия (30,30,30)??? Нету её.

Напомню: если я правильно добавила автоморфизм для симметрии (30,30,30), очевидная симметрия такая выводится программой get_standard

(30,30,30)
0 1 2 3 4 5 6 7 8 9
1 0 8 4 6 9 5 3 2 7
2 8 0 9 5 7 1 6 4 3
3 4 9 0 1 6 8 2 7 5
4 6 5 1 0 2 7 9 3 8
5 9 7 6 2 0 3 8 1 4
6 5 1 8 7 3 0 4 9 2
7 3 6 2 9 8 4 0 5 1
8 2 4 7 3 1 9 5 0 6
9 7 3 5 8 4 2 1 6 0

Что-то ещё нужно для симметрии (30,30,30)? Только свойства диагональной симметрии мало?

Сегодня в эксперименте "мультисимметрия" найдена уникальная двушка с симметрией (16,31,31)

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

Но это не всё!
Проверка на симметрии

Определитель симметрий

Введено ЛК                 : 34
Из них симметричных        : 2

Найдено различных симметрий: 2
Время работы               : 0.015 сек

При этом -

Поиск чистых симметрий

Введено ЛК: 34
Введите код симметрии:
(16,31,31)
Квадратов с симметрией (16,31,31) найдено: 1
они записаны в файл symm_16_31_31.txt
Время поиска: 0.032 сек

Таким образом, "симметричных" решений найдено 2, решение с симметрией (16,31,31) найдено одно, различных симметрий - 2, включая тождественную, то есть:
(1,1,1)
(16,31,31)

Чувствуется намёк на какую-то ещё симметрию :)
Намёк поняла, сейчас попробую определить вторую симметрию.

Вот оно - второе "симметричное" решение

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

Программа avtoizor выводит для этой КФ ОДЛК

** 0123456789 0123456789 0123456789 -> (1,1,1)
C* 7480359261 0123456789 7480359261 -> (1,30,30)+

О симметрии (1,41,41)...
Добавила в программу get_standard эту симметрию (не знаю, правильно ли добавила), и вот что получила как очевидную симметрию

(1,41,41)
0 4 3 2 1 5 9 8 7 6
2 1 0 4 3 7 6 5 9 8
4 3 2 1 0 9 8 7 6 5
1 0 4 3 2 6 5 9 8 7
3 2 1 0 4 8 7 6 5 9
5 9 8 7 6 0 4 3 2 1
7 6 5 9 8 2 1 0 4 3
9 8 7 6 5 4 3 2 1 0
6 5 9 8 7 1 0 4 3 2
8 7 6 5 9 3 2 1 0 4

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

Первый ЛК мне понятен, его структура прозрачна: два подквадрата 5х5.
Согласно теореме Манна такие ЛК не могут иметь ОЛК. Значит, и ОДЛК от таких ЛК искать бесполезно.
А вот что означает второй ЛК???

Если симметрия с кодом (1,41,41) (чистая) для ОДЛК не существует, а с кодом (1,41,41)+ вот он - ОДЛК

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

Автоморфизм (или, может быть, это уже не автоморфизм, а парострофия?) от avtoizor

C* 5891637204 0123456789 5891637204 -> (1,41,41)+

Ну прям как у Высоцкого: все извилины заплела :)
с этими парастрофиями, автотопиями и автоморфизмами.

Ну, программа сообщает, что найдено 2 автоморфизма

Программа Автоизор

Найдено автоморфизмов: 2
Время работы         : 2.612 сек

И вот они

** 0123456789 0123456789 0123456789 -> (1,1,1)
C* 5891637204 0123456789 5891637204 -> (1,41,41)+

Цитата

А вот что означает второй ЛК???

Вот этот

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

А смотрите, как интересно в этом ЛК

1-ая строка
0 5 1 6 2 7 3 8 4 9
3-я строка
1 6 2 7 3 8 4 9 0 5
5-ая строка
2 7 3 8 4 9 0 5 1 6
2-ая строка
3 8 4 9 0 5 1 6 2 7
4-ая строка
4 9 0 5 1 6 2 7 3 8

Ничего не заметили?

В группе из других пяти строк ЛК аналогично.

Вчера проверила БД ручного проекта на симметрии

Определитель симметрий

Введено ЛК                 : 68100
Из них симметричных        : 13586

Найдено различных симметрий: 7
Время работы               : 4.633 сек

Список симметрий

(1,1,1)
(1,31,31)
(2,31,31)
(4,31,31)
(8,31,31)
(16,16,16)
(16,31,31)

Обратила внимание на симметрию с кодом (1,31,31).

Насколько я поняла из сообщений Белышева, симметрия с кодом (1,31,31) соответствует симметричным по Гергели/Брауну решениям.
Такие решения были ранее найдены по алгоритму, разработанному Белышевым. Этот эксперимент выполнялся и в нашем BOINC-проекте.

Возникает вопрос: откуда у меня в ручном проекте появились уникальные ОДЛК с симметрией (1,31,31)???
Выше у меня этот вопрос уже возникал и я его озвучивала [это было при поиске симметрии с кодом (4,31,31)].
В своё время Белышев выкладывал на форуме boinc.ru все решения (ОДЛК) симметричные по Гергели/Брауну.
Эти данные у меня сохранились.
Там были решения из линеек №1 и №6. И всего ОДЛК приведено 2749 штук.

Так вот, я сейчас выудила все ОДЛК с симметрией (1,31,31) в БД ручного проекта, их 9 штук, и... этих ОДЛК нет в наборе, приведённом Белышевым.
Показываю эти 9 КФ ОДЛК

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

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

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

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

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

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

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

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

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

Итак, вопрос: все ли решения с симметрией (1,31,31) были найдены в эксперименте по поиску симметричных по Гергели/Брауну решений?
Мои решения дают отрицательный ответ.
Интересно: мои решения не являются симметричными по Гергели/Брауну (ни вертикально, ни горизонтально).
Однако... они обладают симметрией (1,31,31), и с очевидной симметрией у них всё как надо.

Например, беру самый первый ОДЛК из приведённых в предыдущем посте

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

Программа get_standard выдаёт для этого ОДЛК

(1,1,1)
(1,31,31)

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

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

Всё в полном порядке.

От нового генератора порция ЛК была большая - 300000 КФ ЛК с хвостиком.
Пыхтела программа family_mar всё утро :) нашла два марьяжных ДЛК.
Проверяю эти ДЛК на симметрии

Определитель симметрий

Введено ЛК                 : 2
Из них симметричных        : 2

Найдено различных симметрий: 1
Время работы               : 0.015 сек

Оба "симметричные". А в списке симметрий одна тождественная симметрия!
Значит, опять какие-то симметрии, у которых код с плюсом.
Сейчас буду определять, что за симметрии.

Интересно: от нового генератора все решения с симметриями с кодом с плюсом.

avtoizor диагностирует такие симметрии

R* 0123456789 7290485316 7290485316 -> (1,28,28)+
C* 9345802671 0123456789 9345802671 -> (1,41,41)+

Симметрия с кодом (1,41,41)+ у меня уже была; возможно, повторилась.
На уникальность я ещё не проверила решения.
А вот с кодом (1,28,28)+ ещё не было решений.

Интересно: замыкание от этих двух марьяжных ДЛК даёт 4 однушки и при этом 4 уникальных КФ

. . . . . . .
Найдено марьяжных КФ:
count[1] = 4
Всего: 4
Найдено соквадратов: 4
КФ соквадратов: 4

И на уникальность проверила. все 4 КФ уникальные!
Значит, код симметрии (1,41,41)+ уже два раз встретился.

Т-э-к-с, продолжим поиск оригинальных симметрий в эксперименте мультисимметрия.

Ещё новый генератор в эксперименте мультисимметрия отличается высоким содержанием не изоморфных ЛК.

Вот, например, сгенерировано новым генератором 500000 ЛК.
Канонизирую программой Белышева kanonizator_lk

Канонизатор ЛК10

Введено ЛК   : 500000
94225
187161
274978
367485
459601
Найдено КФ ЛК: 338313
Время работы : 28.392 сек

Больше половины ЛК уникальные! Это отлично! Есть что проверять.

И ещё одна однушечка с оригинальной симметрией

*T 3708945621 2980567134 0123456789 -> (1,40,40)+

И вновь продолжается бой! (С)

Ах, какие уникальные однушечки найдены от нового генератора, вот с такими симметриями

*T 4320759861 3921058476 0123456789 -> (1,22,22)+
*T 9753148602 8493527160 0123456789 -> (1,30,30)+
*T 9186437205 8175493620 0123456789 -> (1,22,22)+

И очень интересно замыкание:

. . . . . 
Найдено марьяжных КФ:
count[1] = 6
Всего: 6
Найдено соквадратов: 6
КФ соквадратов: 6

Шесть однушек, а КФ всего шесть.

Хм...
Смотрела, смотрела на 6 однушек в замыкании.
Почему их 6, если у меня их всего 3?
Похоже, что каждая однушка дважды считается в замыкании.
Если однушка A --> B, то и однушка B -->A.
Так что ли?

За сегодняшний рабочий день от второго генератора больше ничего не найдено, кроме трёх однушек, о которых сказано в предыдущем посте.
Зато первый генератор дал отличные результаты!
61 уникальная КФ ОДЛК, в том числе 10 двушек, из них 3 "симметричные" с симметрией (16,31,31), и ещё одна "симметричная" однушка с этой же симметрией.

Из протокола работы скрипта zamyk.bat

. . . . . 
Найдено марьяжных КФ:
count[1] = 51
count[2] = 10
Всего: 61
Найдено соквадратов: 71
КФ соквадратов: 61

Итак, оба генератора в эксперименте мультисимметрия дали сегодня 67 уникальных КФ ОДЛК. Неплохо.
Второй генератор отнимает много времени, а решений даёт очень мало. Ну, зато эти решения с оригинальной симметрией - с кодами с плюсом.

Проверка на симметрии БД ручного проекта

Определитель симметрий

Введено ЛК                 : 68224
Из них симметричных        : 13599

Найдено различных симметрий: 7
Время работы               : 4.633 сек

Список симметрий

(1,1,1)
(1,31,31)
(2,31,31)
(4,31,31)
(8,31,31)
(16,16,16)
(16,31,31)

Плюс симметрии, которые не выводятся этой программой (коды симметрий с плюсом).
Львиная доля всех симметрий приходится на симметрию (4,31,31), потому что решения с этой симметрией искались в специальном эксперименте, выполняемом мной и Demis. Сейчас этот эксперимент остановлен.
Вместо него работает эксперимент мультисимметрия.
Ну и эксперимент с псевдоассоциативными ДЛК продолжается, он у меня не останавливался.