Ещё порцию 300000 КФ ЛК проверила (из полученной программой Белышева порции КФ ЛК); решения есть и уникальные!

Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 300000

Найдено марьяжных ДЛК: 3 они записаны в файл output.txt
Время работы в сек   : 18110.2

Класс!
Продолжу завтра.

PS. Правда, пока только однушечки, но нам всё годится.
Главное в том, что новые решения находятся запросто от уже найденной КФ ОДЛК.
Это алгоритм вторичной обработки результатов.

Проверила очередную порцию КФ ЛК (350000 шт.), найдено 4 уникальные однушки (8 уникальных КФ ОДЛК).
Супер!
Завтра продолжу. Порция у меня хорошая - больше миллиона КФ ЛК.
Напоминаю: эта порция КФ ЛК получена программой Белышева tzs_lk от КФ1 (восьмёрки).
Может быть, порция КФ ЛК и больше получится при увеличении глубины поиска, но я остановилась на глубине 7.

Проверку КФ ЛК, полученных от КФ1 программой Белышева tzs_lk, продолжаю.
Очередная порция из 300000 КФ ЛК не дала марьяжных ДЛК.
Сегодня такая же порция КФ ЛК дала две марьяжные ДЛК (уникальные однушки)

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

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

Осталось проверить всего 354244 КФ ЛК, одна порция.
Завтра проверю.

Уф! Очень долго проверялась последняя порция.
Найдена уникальная однушка

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

Всё, закончился этот мини-эксперимент.

К своей десяточке

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

алгоритм Y я давно применила.
А теперь хочу применить алгоритм Белышева (программа tzs_lk).
Остановлюсь на глубине поиска 7.
Хвост протокола работы программы

. . . . . . . 
1511046 95
1545376 65
1580639 81
1614277 63
1648828 48
1685617 48
1720550 47
1755657 99
1787260 103

Построено КФ ЛК: 1813616
Сохранение     : выполнено
Время работы   : 264.139 сек

Порция хорошая получилась: 1813616 КФ ЛК.
Проверять буду, конечно, порционно, по чуть-чуть, в перерывах между другими экспериментами.

PS. Может быть, получится лучшая порция при глубине поиска 8. Не пробовала.
Мне хватит полученной порции.

Порцию проверяю понемножку.
Решения найдены; есть и повторенные, и уникальные.
Проверять ещё много.

Вот от сегодняшней порции (100000 КФ ЛК) найдена уникальная однушечка

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

И очень хорошо, однушки тоже на дороге не валяются :)
Проверила всего 400000 КФ ЛК из 1813616 КФ ЛК.
А решения уже есть, и уникальные!
Отличный алгоритм изобрёл Белышев! (программа tzs_lk)
Завтра продолжу. Каждое утро сразу проверяю порцийку, чтобы потом не мешать другим экспериментам.

В эксперименте мультисимметрия нашлись полновесные двушки-близняшки



Кажется, у меня не было таких, были не полновесные двушки-близняшки.
Посмотрите, как связаны основные ДЛК двушек.
Опять поворот блоков!

Интересно: каждая из двушек-близняшек даёт вот такое Замыкание

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

То есть здесь две пары двушек-близняшек.
Первая пара - двушки от А и В.
Вторая пара - двушки от sq1 и sq2.
В Замыкании имеем 4 двушки.

Кстати, sq1 и sq2 тоже связаны поворотом блоков.

Цитата

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

Сегодняшняя порцийка дала два марьяжных ДЛК

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

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

Уникальные однушки, 4 уникальных КФ ОДЛК добавились в БД. Легко.

Проверено 500000 КФ ЛК из 1813616 КФ ЛК.
Завтра продолжу.

Моя десятка и через год продолжает давать результаты!
Спасибо Белышеву за новый алгоритм.

Сегодняшняя порцийка дала один марьяжный ДЛК

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

уникальная однушечка.
Проверено 600000 КФ ЛК из 1813616 КФ ЛК.

Сегодняшняя порцийка дала 2 марьяжных ДЛК

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

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

уникальные однушки.

Проверено 700000 КФ ЛК из 1813616 КФ ЛК.

Похоже, поиск выдохся в этом мини-эксперименте.
Во вчерашней порции не найдено ни одного марьяжного ДЛК, в сегодняшней - найден один марьяжный ДЛК, но не уникальный.

Проверено 900000 КФ ЛК из 1813616 КФ ЛК.
Но продолжу ещё завтра, а вдруг...

А сегодня решения есть и уникальные

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

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

Однушечки.

Проверено 1000000 КФ ЛК из 1813616 КФ ЛК.
Завтра продолжу. Осталось меньше половины, на 8 дней.

Моя десяточка с помощью алгоритма Белышева (tzs_lk) произвела на свет ещё уникальную однушечку (2 уникальные КФ ОДЛК)

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

Проверено 1100000 КФ ЛК из 1813616 КФ ЛК.
Завтра продолжу.

Сегодняшняя порцийка 100000 КФ ЛК дала ещё уникальную однушечку, которая произвела две уникальные КФ ОДЛК

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

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

Проверено 1200000 КФ ЛК из 1813616 КФ ЛК.
Завтра продолжу.

Вчера порцийка была пустая, а сегодня найдено 2 марьяжных ДЛК

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

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

Уникальные однушечки, 4 КФ ОДЛК добавлено в БД.

Проверено 1400000 КФ ЛК из 1813616 КФ ЛК.
Осталось чуть-чуть, 4 порцийки.
Отличный получился мини-эксперимент!

Сегодняшняя порцийка дала ещё одну уникальную однушку

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

Здорово! Сколько уже решений получено от моей десятки!

Тэк-с, проверено 1500000 КФ ЛК из 1813616 КФ ЛК.
Осталось три порцийки.

Как всегда с утречка проверила порцийку - 100000 КФ ЛК.
Найдена уникальная однушечка

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

Проверено 1600000 КФ ЛК из 1813616 КФ ЛК.
Осталось две порцийки.

Господа!
Все мои эксперименты обладают главным свойством - повторяемостью.
Это свойство необходимо для независимой проверки результатов любого эксперимента.
Вы можете получить порцию 1813616 КФ ЛК программой Белышева tzs_lk, взяв за исходный ЛК основной ДЛК моей десятки.
[Это показано выше.]
А затем запускаете проверку этой порции КФ ЛК программой Белышева family_mar.
Вы можете не делить порцию на порцийки по 100000 КФ ЛК, как это делаю я.
Я делаю это от жёсткой нехватки вычислительных ресурсов.
В результате проверка порции из 1813616 КФ ЛК у меня растягивается на 18 дней.
А за какое время вы проверите эту порцию? Интересно бы узнать, да некому рассказать :)

Сегодня запустила проверку остатков - 213616 КФ ЛК, не стала делить на две порции.
Ждём последние результаты этого мини-эксперимента.

Всё, проверка завершена

Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 213616

Найдено марьяжных ДЛК: 1 они записаны в файл output.txt
Время работы в сек   : 9392.55

Найдена ещё одна уникальная однушка

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

Алгоритм Белышева (программа tzs_lk) славно поработал с моей десяткой!
Можно продолжать применение этого алгоритма к другим ДЛК, дающим солидные группы пар ОДЛК, и не только к ним, конечно.
Однако применить алгоритм ко всем КФ ОДЛК из БД (как алгоритм вторичной обработки) весьма затруднительно в ручном проекте.

Можно применять алгоритм также к ЛК с частичной блочной структурой, о чём уже писала выше.

В процессе постобработки обнаружила две тройки, исходные ДЛК которых связаны поворотом блоков

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

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

Повёрнуты два блока: (0,3) и (1,2).
Не помню, показывала ли эти тройки раньше.

---

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