Интересно: интервал между двумя последними текущими минимальными КФ, проверяется программой moschnometr_kf

. . . . . . . .
СНДЛК: 38000000 КФ: 507 время: 347 сек
СНДЛК: 38500000 КФ: 511 время: 352 сек
СНДЛК: 39000000 КФ: 522 время: 357 сек
СНДЛК: 39500000 КФ: 522 время: 362 сек
СНДЛК: 40000000 КФ: 525 время: 366 сек
СНДЛК: 40500000 КФ: 525 время: 371 сек
СНДЛК: 41000000 КФ: 525 время: 375 сек
СНДЛК: 41500000 КФ: 530 время: 379 сек
СНДЛК: 42000000 КФ: 550 время: 383 сек

Стоп:

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

Найдено СНДЛК:  42025116
Найдено КФ:     584
Время работы:   384.088 сек

Не хилый интервальчик! 42 миллиона с хвостиком СН ДЛК, и всего 584 КФ.

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

Комбинирование трёх методов поиска КФ поистине творит чудеса!
Вот ещё одна текущая минимальная КФ в 3102-й группе линейки №51

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

Уже очень махонькая, но не гарантирую, что совсем махонькая в этой группе.

А комбинировать методы весьма интересно: где генерация вперёд, где генерация назад, где мой новый метод, а где просто прыжок через яму.
И результаты налицо!

Цитата

Предлагаю найти самую максимальную КФ в 3102-й группе линейки №51 с помощью программы Белышева generator_kf.
Искать максимальную КФ надо в этом интервале

текущая максимальная КФ в группе
0 5 4 7 8 6 9 2 3 1
9 1 8 6 0 3 5 4 2 7
4 0 2 9 7 8 1 3 6 5
7 9 5 3 6 2 4 8 1 0
5 8 3 1 4 0 7 6 9 2
6 2 7 0 9 5 8 1 4 3
3 4 0 5 2 1 6 9 7 8
2 3 6 8 1 9 0 7 5 4
1 7 9 2 5 4 3 0 8 6
8 6 1 4 3 7 2 5 0 9

максимальный СН ДЛК в группе - не КФ
0 5 4 7 8 6 9 2 3 1
9 1 8 6 7 4 5 0 2 3
7 9 2 8 6 1 0 3 5 4
6 8 9 3 5 7 4 1 0 2
5 6 7 2 4 0 3 9 1 8
4 3 1 0 9 5 2 8 7 6
3 2 0 5 1 8 6 4 9 7
1 0 6 9 2 3 8 7 4 5
2 7 5 4 3 9 1 6 8 0
8 4 3 1 0 2 7 5 6 9

Никто не решает задачку, а зря :) Задачка интересная, если не тупо запустить программу generator_kf и ждать месяц, когда она из ямы вылезет.
Мне удалось найти новый текущий максимум КФ в 3102-й группе линейки №51 именно с помощью комбинации разных методов, вот он

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

Уже где-то совсем близко и максимальная КФ в этой группе.

Я разрабатываю половину линейки №51, сейчас нахожусь в 3102-й группе линейки, дальше пока не заглядываю.
Ну, в этой группе уже много нашла разных КФ - опорных точек.
Можно вернуться в начало линейки, точнее - в те группы, в которых ещё не найдено ни одной КФ. А таких групп много.

На данный момент мой банк КФ линейки №51 содержит 116891 КФ, из них 104560 "пустышки".
[КФ ОДЛК я взяла из результатов BOINC-проекта ODLK, хорошо пригодились.]
Это опорные точки, они очень нужны для порционной генерации КФ, особенно в тех областях, где КФ генерируются плохо.

Посмотрим, какой прыжок я совершила от предыдущего максимума КФ до нового, вот этот интервал

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

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

Сейчас включу moschnometr_kf

Ой, скучное какое кино :)

. . . . . . . . . . .
СНДЛК: 94000000 КФ: 0 время: 686 сек
СНДЛК: 94500000 КФ: 0 время: 689 сек
СНДЛК: 95000000 КФ: 0 время: 693 сек
СНДЛК: 95500000 КФ: 0 время: 696 сек
СНДЛК: 96000000 КФ: 0 время: 700 сек
СНДЛК: 96500000 КФ: 0 время: 704 сек
СНДЛК: 97000000 КФ: 0 время: 707 сек
СНДЛК: 97500000 КФ: 0 время: 711 сек
СНДЛК: 98000000 КФ: 0 время: 715 сек
СНДЛК: 98500000 КФ: 0 время: 718 сек
СНДЛК: 99000000 КФ: 0 время: 722 сек
СНДЛК: 99500000 КФ: 0 время: 726 сек
СНДЛК: 100000000 КФ: 0 время: 730 сек
СНДЛК: 100500000 КФ: 0 время: 733 сек
СНДЛК: 101000000 КФ: 0 время: 737 сек
СНДЛК: 101500000 КФ: 0 время: 740 сек
СНДЛК: 102000000 КФ: 0 время: 744 сек
СНДЛК: 102500000 КФ: 0 время: 747 сек
. . . . . . . . . . .

Прервала. Желающие могут посмотреть это кино до конца самостоятельно.
Понятно, что яма здесь глубокая.
Любопытно бы измерить её глубину, но жалко время тратить.

Итак, я покидаю 3102-ю группу линейки №51 (уже достаточно много КФ нашла в этой группе) и возвращаюсь в начало линейки.

Попросила Demis по-быстрому определить, какие группы линейки №51 на данный момент не содержат ни одной КФ (в моём банке КФ).
Он это сделал (спасибо ему!).
И вот что мы имеем в начале линейки: до 376-й группы включительно КФ есть во всех группах.
Далее группы, в которых нет пока КФ (за номером группы следует строка, соответствующая данной группе)

№377 0254839671 
№399 0256743891 
№410 0256843971
№430 0257643891 
№440 0257843691 
№441 0257843961 
№448 0258347691 
№461 0258643971 
№462 0258647931 
№470 0258743691 
№471 0258743961 
№488 0259643871 
№489 0259647831 
№496 0259743861 
№504 0259843671 

Дальше пока не смотрела.
В первых 500 группах не так много пустых на данный момент групп, но надо с ними разобраться.
В 377-й группе с ходу нашла КФ.
А вот в 399-й уже застряла. Поиск в лоб программой generator_kf очень тоскливый :(

. . . . . . . . . 
СНДЛК: 365000000 КФ: 0 время: 2790 сек
СНДЛК: 365500000 КФ: 0 время: 2795 сек
СНДЛК: 366000000 КФ: 0 время: 2799 сек
СНДЛК: 366500000 КФ: 0 время: 2803 сек
СНДЛК: 367000000 КФ: 0 время: 2807 сек
СНДЛК: 367500000 КФ: 0 время: 2812 сек
СНДЛК: 368000000 КФ: 0 время: 2816 сек
СНДЛК: 368500000 КФ: 0 время: 2821 сек
СНДЛК: 369000000 КФ: 0 время: 2824 сек
. . . . . . . . . 

Мой новый метод поиска КФ с ходу тоже не нашёл ни одной КФ, но мало пока искала этим методом.
Сейчас ещё рака попробую, то есть генерацию назад.

И опять у меня тот же вопрос: неужели есть целые группы в линейке №51, в которых нет ни одной КФ???

Этот нудный поиск

. . . . . . . . .
СНДЛК: 1097000000 КФ: 0 время: 7356 сек
СНДЛК: 1097500000 КФ: 0 время: 7359 сек
СНДЛК: 1098000000 КФ: 0 время: 7361 сек
СНДЛК: 1098500000 КФ: 0 время: 7363 сек
СНДЛК: 1099500000 КФ: 0 время: 7367 сек
СНДЛК: 1100000000 КФ: 0 время: 7369 сек
СНДЛК: 1100500000 КФ: 0 время: 7372 сек
СНДЛК: 1101000000 КФ: 0 время: 7374 сек
СНДЛК: 1101500000 КФ: 0 время: 7376 сек
СНДЛК: 1102000000 КФ: 0 время: 7378 сек
. . . . . . . 

прерываю.
Второй миллиард СН ДЛК пошёл, ни одной КФ!

Белышев знает механизм формирования КФ СН ДЛК.
Он мог бы установить, возможны ли в линейке №51 КФ с первой строкой

0 2 5 6 7 4 3 8 9 1

Казалось бы: если СН ДЛК есть с такой строкой, то почему бы КФ не быть? Но шут их знает.

Рак пока тоже ничего не дал в 399-й группе.
Вот это максимальный СН ДЛК в данной группе

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

КФ этого СН ДЛК

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

Перепробовала все методы, найти КФ в 399-й группе линейки №51 мне не удалось.

Итак, составляем все СН ДЛК такого вида

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

и канонизируем их. Это и есть все СН ДЛК 399-й группы линейки №51.
Есть ли такой СН ДЛК, который совпадает со своей КФ???
Я такого пока не нашла.

С остальными группами, в которых пока нет КФ (в моём банке КФ), та же история: не нахожу КФ!
Прямо как-то тоскливо: их там пока нет или вообще нет???

Ну, радуемся тому факту, что во всех группах до 398-й включительно КФ имеются, причём в значительных количествах.
Это примерно 16-ая часть линейки (всего групп в линейке 6204).
Эксперимент PADLS TOTAL rule 51 можно начинать (я уже давно его начала).
Составленный мной банк КФ может служить хорошим подспорьем в этом эксперименте.

Вот, например, в 398-й группе линейки №51 минимальная КФ находится в одно мгновение (стандартный способ)

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

Далее от этой КФ генерация порциями по 200000 КФ программой generator_kf - мгновенно!
Вот 6 опорных точек в сгенерированных 6 порциях (последние КФ в каждой порции)

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

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

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

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

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

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

Никаких проблем!
Генерируем КФ и проверяем их программой family_mar.
Так я уже действую в первой группе этой линейки.

Поистине: всё гениальное просто!
Это относится к теории Белышева о линейках.
Остаётся только линейки как следует разработать и проверить.
Важно!
Некоторые линейки обязательно надо проверять программой family_mar, как например, линейки 15, 38, 51, которые содержат псевдоассоциативные ДЛК.
Хотя надо заметить, что это если мы хотим быстрее найти много решений.
Тут Tomas Brada недавно провёл исследование и обнаружил, что все ДЛК, которые производит программа family_mar, принадлежат каким-то линейкам.
Хорошее открытие! :)
Разумеется, все КФ ДЛК принадлежат каким-то линейкам.
И само собой: когда все линейки будут проверены, то и все ДЛК, которые мы хотим проверить раньше (от псевдоассоциативных ДЛК), тоже будут проверены.
Однако... все линейки (коих 67 штук) будут проверены ох как не скоро!
Вот поэтому мы будем при проверке линеек 15, 38, 51 выжимать из них всё возможное, а для этого их надо проверять программой family_mar.

Можем пощупать, как в 398-й группе линейки №51 с КФ ОДЛК.
Записываем минимальную КФ в файл start.txt, в файл config.txt - номер линейки и запускаем программу Белышева generator_kf_odlk.

Вот работает программа

. . . . . . . . . . .
СНДЛК: 1759000 КФ: 722333 время: 2199 сек
СНДЛК: 1760000 КФ: 723030 время: 2202 сек
СНДЛК: 1761000 КФ: 723545 время: 2204 сек
СНДЛК: 1763000 КФ: 724073 время: 2206 сек
СНДЛК: 1764000 КФ: 724649 время: 2209 сек
СНДЛК: 1765000 КФ: 725302 время: 2211 сек
СНДЛК: 1767000 КФ: 726090 время: 2215 сек
СНДЛК: 1769000 КФ: 726968 время: 2218 сек
СНДЛК: 1771000 КФ: 727732 время: 2221 сек
СНДЛК: 1773000 КФ: 728527 время: 2224 сек
СНДЛК: 1775000 КФ: 729419 время: 2226 сек
. . . . . . . . . . 

Пока не нашла КФ ОДЛК. Может долго не найти.

Это, собственно, то самое, что делается в BOINC-проекте ODLK.
Кстати, скоро мой банк КФ пополнится новыми КФ ОДЛК с проекта ODLK; надеюсь, что они в линейке №51 найдены в мае.
Можно заглянуть в результаты и посмотреть.

Заглянула сюда
https://boinc.progger.info/odlk_results/2019-05-27_full.txt
вчерашние результаты

из линейки №15
odlk3_17168_1556801399.057443, 1020
0 2 3 4 5 6 7 8 9 1
2 1 4 7 6 3 8 9 0 5
7 0 2 6 8 1 9 3 5 4
5 7 9 3 2 8 4 0 1 6
9 6 1 8 4 2 0 5 3 7
4 3 8 9 7 5 1 2 6 0
3 4 7 5 9 0 6 1 2 8
1 8 6 0 3 9 5 7 4 2
6 9 5 1 0 7 2 4 8 3
8 5 0 2 1 4 3 6 7 9

из линейки №38
odlk3_25398_1556660298.422169, 1820
0 2 3 4 5 7 8 6 9 1
3 1 4 6 0 8 5 9 2 7
5 4 2 7 6 3 9 0 1 8
1 9 7 3 8 2 4 5 0 6
9 8 0 1 4 6 7 3 5 2
6 0 1 9 3 5 2 8 7 4
7 3 8 5 1 9 6 2 4 0
4 5 9 8 2 0 1 7 6 3
2 7 6 0 9 4 3 1 8 5
8 6 5 2 7 1 0 4 3 9

из линейки №51
odlk3_686_1556878136.588149, 1102
0 2 3 4 5 6 7 8 9 1
3 1 4 0 6 7 8 9 2 5
7 0 2 6 1 8 9 3 5 4
9 6 5 3 8 1 4 2 0 7
1 9 8 7 4 0 2 5 3 6
6 4 0 8 9 5 3 1 7 2
2 3 9 5 7 4 6 0 1 8
5 8 6 9 3 2 1 7 4 0
4 7 1 2 0 9 5 6 8 3
8 5 7 1 2 3 0 4 6 9

При этом в линейке №51 решение из первой группы!
[На решения из двух других линеек не смотрела, из какой они группы, но тоже маленькие.]
Ещё первая группа проверяется до сих пор???

PS. Для Tomas Brada: пример доступа к текущим результатам BOINC-проекта ODLK.
В этом проекте результаты открыты для всех, в том числе и текущие.

Программа у меня всё ищет КФ ОДЛК :)

. . . . . . . . 
СНДЛК: 5442000 КФ: 2244956 время: 5965 сек
СНДЛК: 5444000 КФ: 2246165 время: 5967 сек
СНДЛК: 5447000 КФ: 2247618 время: 5970 сек
СНДЛК: 5450000 КФ: 2249117 время: 5974 сек
СНДЛК: 5452000 КФ: 2250243 время: 5976 сек
СНДЛК: 5454000 КФ: 2251798 время: 5979 сек
СНДЛК: 5456000 КФ: 2252881 время: 5981 сек
СНДЛК: 5458000 КФ: 2254140 время: 5984 сек
СНДЛК: 5460000 КФ: 2255559 время: 5987 сек
СНДЛК: 5495000 КФ: 2256749 время: 5989 сек
СНДЛК: 5498000 КФ: 2257836 время: 5991 сек
СНДЛК: 5500000 КФ: 2259302 время: 5994 сек
СНДЛК: 5502000 КФ: 2260749 время: 5997 сек
СНДЛК: 5504000 КФ: 2262192 время: 6000 сек
. . . . . . . 

На 2 с лишним миллиона КФ ни одной КФ ОДЛК.
Прерываю.
А попробуйте-ка проверить эту порцию КФ программой family_mar!

Hi. I would like to point out that all these minimum and maximum CFs of groups will be found as a byproduct of the padls total search run in boinc project. None of the pivot points are necessary to perform the search. The search interval can be split at arbitrary points and re-adjusted dynamically depending on the run time.
That's that. Can you please detail how are your methods of searching for minimum and maximum CF? And how are you searching in reverse?
I really need to add checkpoint function to the program. I think I know how, we will see if it works.

Tomas Brada
я вас не понимаю.
Сначала вы пишете, что никакие опорные точки не нужны.
Потом вы спрашиваете, как я ищу минимальные и максимальные КФ.

Мне, например, опорные точки нужны в тех областях, где генерация КФ затруднительна: на миллиарды СН ДЛК нет ни одной КФ.
Если вы умеете быстро генерировать КФ и в таких проблемных областях, тогда вам опорные точки не нужны.

О генерации КФ назад я уже рассказывала в этой теме. Для этого используется программа Harry White.
Мой метод поиска КФ (в линейках 15, 38, 51) – это четыре моих генератора псевдоассоциативных ДЛК вместе с программой Белышева kanonizator_dlk_1.03.

PS. Кстати, Progger как-то решает проблему генерации КФ в линейках 15, 38, 51 в BOINC-проекте ODLK.
Вы можете попробовать написать ему. Может быть, он вам ответит.

Вот это решение в линейке №51 с проекта ODLK (найдено 27 мая т. г.)

odlk3_686_1556878136.588149, 1102
0 2 3 4 5 6 7 8 9 1
3 1 4 0 6 7 8 9 2 5
7 0 2 6 1 8 9 3 5 4
9 6 5 3 8 1 4 2 0 7
1 9 8 7 4 0 2 5 3 6
6 4 0 8 9 5 3 1 7 2
2 3 9 5 7 4 6 0 1 8
5 8 6 9 3 2 1 7 4 0
4 7 1 2 0 9 5 6 8 3
8 5 7 1 2 3 0 4 6 9

И это первая группа!
Удивительно.

Tomas Brada
лучше всего эксперимент PADLS TOTAL rule 51 начать с самого начала.
Вот первый интервал

минимальная КФ
0 2 3 4 5 6 7 8 9 1
3 1 0 6 7 4 5 9 2 8
1 0 2 7 6 8 9 3 4 5
2 5 1 3 8 9 4 0 6 7
5 3 7 9 4 0 8 2 1 6
6 4 8 0 9 5 2 1 7 3
7 8 9 5 0 1 6 4 3 2
4 9 6 8 1 2 3 7 5 0
9 7 5 1 2 3 0 6 8 4
8 6 4 2 3 7 1 5 0 9

минимальная КФ ОДЛК
0 2 3 4 5 6 7 8 9 1
3 1 0 6 7 4 5 9 2 8
1 0 2 9 6 7 8 3 4 5
7 6 9 3 8 1 4 5 0 2
9 5 8 1 4 0 3 2 6 7
6 3 1 8 9 5 2 4 7 0
2 9 7 5 1 8 6 0 3 4
4 8 6 0 2 9 1 7 5 3
5 7 4 2 0 3 9 1 8 6
8 4 5 7 3 2 0 6 1 9

В этом интервале программой Белышева moschnometr_kf

Найдено СНДЛК:  93562426
Найдено КФ:     93562426

Да, тут нет никаких проблем с генерацией КФ, потому что каждый СН ДЛК является КФ.
Вот и отлично!
Остаётся запустить и проверить все КФ интервала программой family_mar.
Объём работы приличный. Для тестирования вполне годится.
Я уже проверила 11 миллионов КФ в этом интервале. Решений найдено много и все уникальные.

Только одно пожелание: вы не будете экспериментировать с нахождением и удалением "двойных проверок".
Проверяете все КФ программой family_mar. И никаких экспериментов в эксперименте!
Ну, если вы очень хотите, пожалуйста. Но тогда без моего участия.

PS. Минимальная КФ ОДЛК взята с проекта ODLK.

I played for a bit and found that there are no CF from "0 9 8 7 6 4 5 2 3 1 9 1 7 8 5 6 3 4 2 0 7 8 2 6 1" to the end of rules. Nothing extraordinary, I know.
Next, I added a checkpoint feature to the program. It works for me, but I need to verify and prepare it for release.
First SNDLK is in start.txt, like before. Every 10 seconds program writes the most recent SNDLK to file checkpoint.txt. If interrupted, you can copy the checkpoint.txt file to start.txt and resume. Also every 10 seconds all found CF are written.
In the boinc project, workunit will run for limited time, say one hour. Checkpoint and results will be uploaded and then next batch of workunits can continue where the previous left. All will be checked, including double check for rule 51. No experiments. If I do experiments, those will be separate and I will not let it interfere with the results.
But question: What are the groups? I understand that it is the first line, but how number 3102 relates to 0 5 4 7 8 6 9 2 3 1 ?

But question: What are the groups? I understand that it is the first line, but how number 3102 relates to 0 5 4 7 8 6 9 2 3 1 ?

Цитата (определение группы)

Назовём группой СН ДЛК в линейке группу СН ДЛК с одинаковой первой строкой.

Так, в первой группе СН ДЛК в линейке №51 будут все СН ДЛК с первой строкой

0 2 3 4 5 6 7 8 9 1

Согласно списку Harry White в линейке №51 имеется 6204 строк, следовательно, 6204 групп СН ДЛК.
Строка

0 5 3 2 7 8 9 4 6 1

в списке Harry White 2800-ая.
Это близко к середине линейки.

Последняя строка в списке (6204-ая)

0 9 8 7 6 4 5 2 3 1

Последний СН ДЛК в этой группе (максимальный СН ДЛК в линейке)

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

отсюда
https://boinc.progger.info/odlk/forum_thread.php?id=115&postid=3501#3501

В каждой линейке существует конкретное количество первых строк в СН ДЛК.
Это определяется побочной диагональю данной линейки.
Программа нахождения всех первых строк в заданной линейке очень простая, я её написала.
В линейке №51 возможны 6204 первых строк, каждой первой строке соответствует группа СН ДЛК с такой первой строкой.
3102-ая группа - это группа СН ДЛК с первой строкой

0 5 4 7 8 6 9 2 3 1

Все СН ДЛК 3102-й группы имеют вид

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

3102-ая группа - это середина линейки №51.

PS. Если нужно, я выложу программу определения всех строк в линейке по заданной побочной диагонали.

Выше показала первый интервал в линейке №51.
Теперь покажу первую группу в этой линейке

минимальная КФ
0 2 3 4 5 6 7 8 9 1
3 1 0 6 7 4 5 9 2 8
1 0 2 7 6 8 9 3 4 5
2 5 1 3 8 9 4 0 6 7
5 3 7 9 4 0 8 2 1 6
6 4 8 0 9 5 2 1 7 3
7 8 9 5 0 1 6 4 3 2
4 9 6 8 1 2 3 7 5 0
9 7 5 1 2 3 0 6 8 4
8 6 4 2 3 7 1 5 0 9

максимальная КФ
0 2 3 4 5 6 7 8 9 1
9 1 8 7 6 4 5 0 2 3
7 9 2 6 8 1 0 3 5 4
6 8 9 3 7 2 4 5 1 0
5 6 7 9 4 0 8 1 3 2
4 3 1 8 9 5 2 6 0 7
2 4 0 5 1 3 6 9 7 8
3 0 6 1 2 8 9 7 4 5
1 7 5 2 0 9 3 4 8 6
8 5 4 0 3 7 1 2 6 9

Предлагаю пощупать группу программой moschnometr_kf, если есть мощная техника. Сколько здесь КФ? Думаю, что довольно много - несколько миллиардов.

Максимальный СН ДЛК в первой группе совпадает со своей КФ, однако в конце группы уже не все СН ДЛК являются КФ.

Это две последние КФ ОДЛК в первой группе, найденные в BOINC-проекте ODLK

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

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

Между этими КФ ОДЛК огромный интервал.
Ещё больше интервал от последней найденной КФ ОДЛК по максимальной КФ группы.
Думаю, что КФ ОДЛК в этих интервалах ещё есть.

Если проверку первого интервала, показанного выше, вполне можно выполнить в ручном режиме за реальное время, то проверку первой группы выполнить за реальное время вручную невозможно. Ну, разве что на суперкомпьютере или кластере.
Под проверкой подразумевается проверка программой family_mar, то есть эксперимент PADLS TOTAL.
И это только одна группа! А групп в линейке №51 6204.
Благоприятствующее проверке обстоятельство: не во всех группах одинаковое содержание КФ.
Я даже подозреваю, что в некоторых группах КФ вообще нет. Но это пока только гипотеза.

Попробовала поискать КФ ОДЛК от этой КФ ОДЛК

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

программой Белышева generator_kf_dlk.

. . . . . . . . .
СНДЛК: 1498000 КФ: 1496575 время: 5800 сек
СНДЛК: 1499000 КФ: 1497575 время: 5804 сек
СНДЛК: 1500000 КФ: 1498575 время: 5808 сек
СНДЛК: 1501000 КФ: 1499575 время: 5812 сек
СНДЛК: 1502000 КФ: 1500575 время: 5816 сек
СНДЛК: 1503000 КФ: 1501575 время: 5820 сек
СНДЛК: 1504000 КФ: 1502575 время: 5825 сек
СНДЛК: 1505000 КФ: 1503575 время: 5827 сек
СНДЛК: 1506000 КФ: 1504575 время: 5830 сек
СНДЛК: 1507000 КФ: 1505575 время: 5833 сек
СНДЛК: 1508000 КФ: 1506575 время: 5836 сек
СНДЛК: 1509000 КФ: 1507575 время: 5838 сек
СНДЛК: 1510000 КФ: 1508575 время: 5841 сек
. . . . . . . .

Более 1,5 миллионов КФ проверено, не найдено ни одной КФ ОДЛК.
Прервала.
Сейчас ещё попробую от этой КФ ОДЛК генерацией назад с помощью программы Harry White.

Проверила миллион КФ назад, не найдено КФ ОДЛК.
Ещё два миллиона КФ проверила генерацией назад, не найдено КФ ОДЛК.
Дошла генерацией назад до КФ

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

КФ ОДЛК не найдено.
Уже несколько миллионов сгенерировала и проверила.
Да, не густо в этом районе с КФ ОДЛК.