Удивительно красивые троечки прибыли в очередной порции решений от XAVER в эксперименте PADLS rule 51

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

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

Тройки повторены, раньше были найдены Demis в этом же эксперименте, когда в нём работал только один генератор псевдоассоциативных ДЛК.
Тогда я не обратила внимания на эти красивые троечки (в первом формате они не так красивы!).

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

Новый алгоритм предназначен для постобработки КФ ОДЛК второго формата.
Вот сколько у нас есть в БД марьяжных КФ второго формата - все их можно обрабатывать данным алгоритмом.
Программа обработки порции из 100 КФ ОДЛК работает быстро, из 100 КФ ОДЛК она продуцирует около 300 000 СН ДЛК, среди них очень мало изоморфных. Проверенные уже порции вообще не содержали изоморфных ДЛК. Это отлично - почти нет потерь ДЛК.
Ну и далее, как всегда, проверка полученных СН ДЛК на марьяжные ДЛК программой Белышева family_mar.
Программу писала долго, она длиннющая - много преобразований.
Потом долго отлаживала: в длинной программе неизбежны опечатки.
Но теперь уже всё работает. Сегодня черепашка целый день тестировала программу.
Решения находятся, но пока только однушки.
Для тестирования я взяла марьяжные КФ из линейки 51, то есть это ещё и псевдоассоциативные ОДЛК.

Узорчатость получается офигенная!



Оба ОДЛК из линейки 51, оба дают однушку.
Посмотрите какой сложной перестановкой элементов один ДЛК получается из другого!
Очевидно, что преобразования не затрагивают диагонали ДЛК.

---

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

Ещё покажу пример



Поясню: ОДЛК 1 - это марьяжная КФ из БД второго формата, ОДЛК 2 - это полученный программой марьяжный СН ДЛК.
ОДЛК 2 всегда будет сильно нормализованный (диагонали ДЛК не затрагиваются преобразованием), но, конечно, он не всегда будет КФ.
В обоих приведённых примерах и исходный ОДЛК, и полученный программой ОДЛК являются КФ.

---

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

В проекте TBEG эксперимент PADLS TOTAL rule 51 работает всё-таки

21 tot5-i 78 1742 0 0 0
22 tot5-m 597 2589 6 209 90

https://boinc.tbrada.eu/server_status.php

Томаш, видимо, передумал останавливать совсем этот подпроект :)

Вот бы и подключить в подпроект постобработку получаемых ОДЛК.
Проблема генерации заданий исчезнет навсегда!

---

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

Вот такой сильной узорчатости мне удалось достичь не сразу



Здесь уже переставляются элементы и в побочной диагонали; незыблемы главная диагональ и последняя строка.
Сиреневым цветом окрашены ячейки, в которых элементы остались на месте.
Оба ОДЛК дают однушки.

Вспомните мою гипотезу о том, что для любого ОДЛК существует другой ОДЛК, получаемый из него некоторой перестановкой элементов.
Переставляемых элементов может быть мало, а может быть и очень много, как в показанном примере.

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

---

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

И ещё один новый алгоритм постобработки!

Вчера дописала программу шахматного алгоритма.
Этот алгоритм у меня родился при составлении БД КФ ОДЛК 9-го порядка.
Для порядка 9 алгоритм работает отлично.
Решила попробовать его для порядка 10.
Ну вот, вчера попробовала. Работает, но по сравнению с порядком 9 менее эффективно.
Однако новые КФ ОДЛК появляются в каждой обработанной порции, хотя и мало.
Обрабатываю порциями по 5000 КФ ОДЛК. Можно и больше заложить порцию, только ДЛК сгенерируется больше и дальнейшая обработка затрудняется.

В общем, можно алгоритм использовать и делать из известных КФ ОДЛК новые безо всяких усилий.
Если учесть размер имеющейся у нас БД КФ ОДЛК 10-го порядка, можно понять, что постобработкой можно получить достаточно много новых КФ ОДЛК.

Алгоритмов постобработки для порядка 10 у меня уже несколько, все они работают и дают результаты.
Я использую некоторые алгоритмы для постобработки БД ручного проекта.
Обрабатывать всю БД я не могу, нет ресурсов.

PS. А для порядка 9 написала программу постобработки аналогично последнему алгоритму постобработки для порядка 10 (см. предыдущий пост).
И сейчас этот алгоритм у меня в работе. Работает отлично! Даёт много новых КФ ОДЛК.
Вот так параллельно исследую КФ ОДЛК порядков 9 и 10.

---

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