В чём суть метода интервалов

КФ ОДЛК в БД (обоих форматов) располагаются в лексикографическом порядке.
Я много занималась методом интервалов для КФ ОДЛК первого формата. Напомню, что это нормализованные ДЛК.
Создала градацию уровней сложности интервалов. Проверила вместе с помощниками много интервалов 1-го, 2-го и 3-го уровней сложности.
У одного помощника и сейчас находится в проверке интервал 3-го уровня сложности.
Всё это подробно описано в теме «Ортогональные латинские квадраты 10-го порядка» на форуме Math Help Planet
http://mathhelpplanet.com/viewtopic.php?f=57&t=46638

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

Итак, в БД имеются две соседние КФ ОДЛК второго формата, например:

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

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

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

Длину интервала надо определять по количеству совпадающих в КФ элементов, начиная с первого элемента первой строки (сверху).
Чем больше совпадающих элементов, тем короче будет интервал.
В приведённом примере в КФ совпадают 30 элементов (полностью три строки сверху). Это короткий интервал.

Для определения количества ДЛК и КФ в интервале служит программа А. Белышева Мощнометр, о которой рассказано здесь
https://boinc.progger.info/odlk/forum_thread.php?id=27

Проверка интервала выполняется тоже по программе Белышева Генератор КФ ОДЛК. Эта программа работает и в нашем BOINC-проекте.

В приведённом выше интервале найдено одно решение:

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

Для проверки в данный момент мы с помощником используем массив известных решений из линейки №1.
Я выбрала этот массив из БД КФ ОДЛК второго формата с помощью специальной программы.
О найденных на данный момент решениях сообщила здесь
https://boinc.progger.info/odlk/forum_thread.php?id=15&postid=420#420

Важный момент: начальный и конечный ДЛК интервала должны принадлежать одной линейке.
В массиве решений, с которым мы сейчас работаем, все КФ ОДЛК из линейки №1 (так выбран массив).
Однако в БД КФ идут из разных линеек вперемешку. При выборе интервалов непосредственно из БД надо следить за принадлежностью КФ одной линейке.

---

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

Поскольку линейка №1 уже добавлена в проверку в Приложении odlk3, нам с помощником необходимо выбрать другую линейку для эксперимента по методу интервалов.
Ищу подходящую линейку, "пристреливаюсь", так сказать :)
Ну вот выбрала все решения из линейки №58. Эта линейка привлекательна тем, что в ней стопроцентное содержание КФ.
Решений в этой линейке на данный момент 4312 штук. Но разброс решений удивительный.
Вот посмотрите - начало массива решений:

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

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

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

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

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

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

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

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

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

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

Даже первая строка долго не держится!
Поразительный разброс. Интервалы-то получаются огромные.
Пока не знаю, сильно ли это плохо или, наоборот, хорошо.
Экспериментирую. Одно решение уже нашла:

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

---

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

И ещё одно решение нашлось в линейке №58 методом интервалов:

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

В общем, линейка №58 вполне годится для проверки её методом интервалов. Массив известных решений в ней приличный.
Но посмотрю ещё массивы известных решений в других линейках, которые в нашем BOINC-проекте не проверяются. Может, что получше найдётся, с каким-нибудь интересным свойством, как, например, в линейке №1.

---

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

Сейчас выполняю эксперимент вокруг крупных жемчужин.
В эксперименте задействован метод интервалов. Я этот метод не забываю, потому что он очень даже интересный и полезный.
В методе интервалов прекрасно работает программа Белышева generator_kf_odlk.

Встречаются крутые интервалы.
Вот, например

. . . . . . . 
СНДЛК: 1016996000 КФ: 0 время: 6725 сек
СНДЛК: 1017315000 КФ: 0 время: 6727 сек
СНДЛК: 1017604000 КФ: 0 время: 6729 сек
СНДЛК: 1017900000 КФ: 0 время: 6731 сек
СНДЛК: 1018195000 КФ: 0 время: 6733 сек
СНДЛК: 1018475000 КФ: 0 время: 6735 сек
СНДЛК: 1018776000 КФ: 0 время: 6737 сек
СНДЛК: 1019108000 КФ: 0 время: 6739 сек
СНДЛК: 1019428000 КФ: 0 время: 6741 сек
СНДЛК: 1019743000 КФ: 0 время: 6743 сек
СНДЛК: 1020216000 КФ: 0 время: 6746 сек
СНДЛК: 1020651000 КФ: 0 время: 6748 сек
СНДЛК: 1021074000 КФ: 0 время: 6750 сек
СНДЛК: 1021453000 КФ: 0 время: 6752 сек
. . . . . . .

С самого начала не было ни одной КФ! Уже проверено больше миллиарда СНДЛК. Это линейка №1.
Круто, да! И более крутые интервалы мне уже попадались.
Пока не прерываю, интересно, когда же появятся КФ.

Больше 2 миллиардов СНДЛК проверено!
Ни одной КФ не появилось

. . . . . . . . 
СНДЛК: 2228716000 КФ: 0 время: 12913 сек
СНДЛК: 2229333000 КФ: 0 время: 12915 сек
СНДЛК: 2229942000 КФ: 0 время: 12917 сек
СНДЛК: 2230553000 КФ: 0 время: 12919 сек
СНДЛК: 2231146000 КФ: 0 время: 12921 сек
СНДЛК: 2231725000 КФ: 0 время: 12923 сек
СНДЛК: 2232253000 КФ: 0 время: 12925 сек
СНДЛК: 2232789000 КФ: 0 время: 12927 сек
СНДЛК: 2233390000 КФ: 0 время: 12929 сек
СНДЛК: 2233943000 КФ: 0 время: 12931 сек
СНДЛК: 2234520000 КФ: 0 время: 12933 сек
СНДЛК: 2235073000 КФ: 0 время: 12935 сек
СНДЛК: 2235668000 КФ: 0 время: 12937 сек
СНДЛК: 2236283000 КФ: 0 время: 12939 сек
. . . . . . 

Прервала.

Кстати, выше я писала

В общем, линейка №58 вполне годится для проверки её методом интервалов. Массив известных решений в ней приличный.

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

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

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

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

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

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

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

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

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

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

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

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

А это конец массива КФ ОДЛК линейки №58

. . . . . . 

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

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

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

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

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

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

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

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

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

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

А вот в конце вполне можно прочесать интервалы, тут решения должны быть.

Ну и весьма интересный вопрос: насколько плотно КФ ОДЛК расположились в данный момент в линейке?
Пока КФ ОДЛК не так уж и много в этой линейке, всего 157028. До прогнозируемых мной в среднем 10000000 КФ ОДЛК на линейку, как до Луны.
Линейка со стопроцентным содержанием КФ. Значит, можно ожидать в ней большого количества ОДЛК, по сравнению, скажем, с линейкой №1, в которой на несколько миллиардов СНДЛК нет ни одной КФ.

PS. В результатах проекта ODLK1 решения из линейки №58 не выбирала; они в этом проекте могли появиться только рикошетом, и много их там не должно быть.

Вот посмотрите, какой симпатичный интервальчик в конце массива КФ ОДЛК линейки №58

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

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

Есть ли КФ ОДЛК в этом интервале? Можно проверить между делом.
Программа Белышева generator_kf_odlk справится с этим отлично.
Задаём программе начало интервала и номер линейки. Всё, дальше дело машины.

Проверила этот интервальчик программой Белышева moschnometr_kf

. . . . . . .
СНДЛК: 4000000 КФ: 4000000 время: 18 сек
СНДЛК: 4500000 КФ: 4500000 время: 21 сек
СНДЛК: 5000000 КФ: 5000000 время: 24 сек
СНДЛК: 5500000 КФ: 5500000 время: 26 сек
СНДЛК: 6000000 КФ: 6000000 время: 28 сек
СНДЛК: 6500000 КФ: 6500000 время: 31 сек

Стоп:

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

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

Всего-то 6854700 КФ находится в интервале. Проверка не займёт много времени.

Ну вот и проверился интервальчик, нет в нём пропущенных решений

. . . . . . 
СНДЛК: 6844000 КФ: 6844000 время: 14081 сек
СНДЛК: 6845000 КФ: 6845000 время: 14083 сек
СНДЛК: 6846000 КФ: 6846000 время: 14085 сек
СНДЛК: 6847000 КФ: 6847000 время: 14087 сек
СНДЛК: 6848000 КФ: 6848000 время: 14089 сек
СНДЛК: 6849000 КФ: 6849000 время: 14092 сек
СНДЛК: 6850000 КФ: 6850000 время: 14094 сек
СНДЛК: 6851000 КФ: 6851000 время: 14096 сек
СНДЛК: 6852000 КФ: 6852000 время: 14098 сек
СНДЛК: 6853000 КФ: 6853000 время: 14100 сек
СНДЛК: 6854000 КФ: 6854000 время: 14102 сек
Найден ОДЛК #1:

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

Продолжить? (Y/N):

Хм...
проверила ещё один интервал в конце массива

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

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

В этом интервале тоже нет пропущенных решений.
Плотненько, однако, даже в конце.

Пристально разглядываю линейку №2.

Эта линейка в проектах ODLK и ODLK1 не проверяется, поэтому все решения в ней рикошетные (либо найдены в отдельных экспериментах).
Выбрала КФ ОДЛК данной линейки из результатов проекта ODLK, их оказалось 22309.
Ещё одну КФ ОДЛК нашла в БД ручного проекта; итого 22310 КФ ОДЛК имею для исследования по методу интервалов.

Покажу начало массива КФ ОДЛК линейки №2

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

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

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

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

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

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

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

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

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

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

Обратите внимание, что количество КФ ОДЛК в линейке №2 значительно меньше, чем в линейке №58, о которой рассказано выше.
Потому что линейка №58 проверяется в проекте ODLK.
И интервалы в линейке №2 соответственно намного больше; искать и искать в этих интервалах решения!

PS. Поиском решений в линейке №2 методом интервалов немного занимался Demis.

Оказывается, Demis очень хорошо поработал в линейке №2 методом интервалов! Спасибо ему.
Вчера просмотрела решения, плотных интервалов очень много.
Вот например:

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

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

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

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

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

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

Супер!
Вот такая плотность должна быть достигнута во всех интервалах.
Так как многие решения в линейке появились после работы Demis, возникли новые большие интервалы.
Теперь всё ну очень просто: берём любой интервал, в котором Demis ещё не поработал, и проверяем его.
Очень удобно то, что задания стали порционными. Готовые WU!
Каждый интервал между двумя КФ ОДЛК конечен; он может проверяться быстро, а может и очень долго, но он конечен!
Время проверки, разумеется, зависит от длины интервала, то есть от количества КФ ДЛК в интервале.
Цель предельно ясная: найти все решения (КФ ОДЛК) в выбранном интервале, ежели они в нём имеются.

PS. Собственно, в проектах ODLK и ODLK1 тоже используется метод интервалов - в несколько иной реализации.

Минимальную КФ ОДЛК в любой линейке найти очень просто, максимальную КФ ОДЛК посложнее, но тоже можно найти.
Итак, имеет 67 линеек, во всех на данный момент есть решения.
В тех линейках, которые проверяются в проектах ODLK и ODLK1, решений больше, чем в тех, которые не проверяются.
Мы видели это на примере линеек №2 и №58.

Ну так вот: всего 67 линеек.
Надо 67 мощных групп вычислителей, чтобы имелась мощная техника в группе (кластеры, суперкомпьютеры).
Каждая группа берёт одну линейку и обрабатывает её методом интервалов до полной кондиции.
Это всё, господа! :)

И это гениальный алгоритм Белышева!

Сейчас выбрала подходящий интервальчик

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

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

и запустила его в проверку.
Пыхтит программа Белышева generator_kf_odlk

. . . . .
СНДЛК: 1273000 КФ: 1273000 время: 7778 сек
СНДЛК: 1274000 КФ: 1274000 время: 7784 сек
СНДЛК: 1275000 КФ: 1275000 время: 7790 сек
СНДЛК: 1276000 КФ: 1276000 время: 7796 сек
СНДЛК: 1277000 КФ: 1277000 время: 7802 сек
СНДЛК: 1278000 КФ: 1278000 время: 7809 сек
СНДЛК: 1279000 КФ: 1279000 время: 7815 сек
СНДЛК: 1280000 КФ: 1280000 время: 7821 сек
СНДЛК: 1281000 КФ: 1281000 время: 7827 сек
СНДЛК: 1282000 КФ: 1282000 время: 7833 сек
СНДЛК: 1283000 КФ: 1283000 время: 7839 сек
СНДЛК: 1284000 КФ: 1284000 время: 7846 сек
СНДЛК: 1285000 КФ: 1285000 время: 7852 сек
СНДЛК: 1286000 КФ: 1286000 время: 7856 сек
. . . . 

Интервал длинный, но короче и не попались мне; либо ещё длиннее, либо совсем плотные, где уже Demis поработал.

Ах, какой интервальчик нашла!

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

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

В этом интервале Demis не работал, судя по КФ перед интервалом и после него.
Отличный интервальчик. Программа Белышева moschnometr_kf выдаёт для данного интервала

. . . . . . 
СНДЛК: 9000000 КФ: 9000000 время: 56 сек
СНДЛК: 9500000 КФ: 9500000 время: 59 сек
СНДЛК: 10000000 КФ: 10000000 время: 62 сек
СНДЛК: 10500000 КФ: 10500000 время: 65 сек
СНДЛК: 11000000 КФ: 11000000 время: 68 сек
СНДЛК: 11500000 КФ: 11500000 время: 71 сек

Стоп:

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

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

Реально проверить весь интервал за рабочий день.
Запущу его следующим.

Замечательно работает Генератор ОДЛК! Белышев гений.
В первом интервале уже найдено решение

. . . . . . 
СНДЛК: 4348000 КФ: 4348000 время: 19008 сек
СНДЛК: 4349000 КФ: 4349000 время: 19012 сек
СНДЛК: 4350000 КФ: 4350000 время: 19016 сек
СНДЛК: 4351000 КФ: 4351000 время: 19020 сек
Найден ОДЛК #1:

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

Продолжить? (Y/N):

Пока остановила дальнейшую проверку интервала, потом продолжу.

Запустила второй интервал (см. предыдущий пост). В этом интервале пока не найдено решение. Уже около 3 миллионов КФ СНДЛК проверено.
А ещё один интервал нашла коротенький, уже проверила его полностью, решений в нём не найдено.
Вот этот интервал

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

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

Эх, были бы ресурсы... Негде развернуть эксперимент.

Господа!
А знаете ли вы, почему линеек 67?
Белышев сделал гениальное открытие про линейки в 2017 году, и... было мне в ту пору 67 лет :)))

Может быть, кто-нибудь возьмёт этот эксперимент?
Раньше, как уже отмечено, его прекрасно выполнял Demis.
Выполняется эксперимент ну очень просто - интервальчик за интервальчиком проверяем.
Интервалы надо выбирать сначала более-менее короткие; примеры выше смотрите.
Интервалы-гиганты могут проверяться целый месяц и даже больше.
Однако начать можно проверку любого интервала, скажем, при ограничении: проверить 100 миллионов КФ СНДЛК.

Проверка второго интервала завершилась, решений в интервале нет

. . . . . 
СНДЛК: 11585000 КФ: 11585000 время: 39130 сек
СНДЛК: 11586000 КФ: 11586000 время: 39132 сек
СНДЛК: 11587000 КФ: 11587000 время: 39134 сек
СНДЛК: 11588000 КФ: 11588000 время: 39136 сек
СНДЛК: 11589000 КФ: 11589000 время: 39138 сек
СНДЛК: 11590000 КФ: 11590000 время: 39140 сек
СНДЛК: 11591000 КФ: 11591000 время: 39142 сек
Найден ОДЛК #1:

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

Продолжить? (Y/N):

Завтра ещё какой-нибудь интервальчик проверю, не очень длинный.

Цитата

Замечательно работает Генератор ОДЛК! Белышев гений.
В первом интервале уже найдено решение

. . . . . . 
СНДЛК: 4348000 КФ: 4348000 время: 19008 сек
СНДЛК: 4349000 КФ: 4349000 время: 19012 сек
СНДЛК: 4350000 КФ: 4350000 время: 19016 сек
СНДЛК: 4351000 КФ: 4351000 время: 19020 сек
Найден ОДЛК #1:

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

Продолжить? (Y/N):

Пока остановила дальнейшую проверку интервала, потом продолжу.

Решила ещё чуть-чуть поискать в этом интервале.
Фактически после найденного решения создался новый интервал

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

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

Интервал по-прежнему длинный, в КФ совпадают полностью первые две строки (сверху).
Но можно пытаться его довести до кондиции, то есть проверить полностью и найти все пропущенные решения (КФ ОДЛК).

Итак, поехали

. . . . . . 
СНДЛК: 2635000 КФ: 2635000 время: 10010 сек
СНДЛК: 2636000 КФ: 2636000 время: 10014 сек
СНДЛК: 2637000 КФ: 2637000 время: 10019 сек
СНДЛК: 2638000 КФ: 2638000 время: 10023 сек
СНДЛК: 2639000 КФ: 2639000 время: 10028 сек
СНДЛК: 2640000 КФ: 2640000 время: 10031 сек
СНДЛК: 2641000 КФ: 2641000 время: 10034 сек
. . . . . . .

Интересно: пока количество КФ равно количеству СНДЛК, хотя линейка №2 не со стопроцентным содержанием КФ, отношение КФ к СНДЛК 1:2.

В этом интервале увязла, проверено

. . . . . . 
СНДЛК: 20062000 КФ: 20062000 время: 60447 сек
СНДЛК: 20063000 КФ: 20063000 время: 60449 сек
СНДЛК: 20064000 КФ: 20064000 время: 60451 сек
СНДЛК: 20065000 КФ: 20065000 время: 60453 сек
СНДЛК: 20066000 КФ: 20066000 время: 60455 сек
СНДЛК: 20067000 КФ: 20067000 время: 60457 сек
СНДЛК: 20068000 КФ: 20068000 время: 60459 сек
СНДЛК: 20069000 КФ: 20069000 время: 60461 сек
СНДЛК: 20070000 КФ: 20070000 время: 60463 сек
СНДЛК: 20071000 КФ: 20071000 время: 60465 сек
. . . . . 

Решений не найдено. Прервала.
Вот такие попадаются интервалы, для меня непосильные.

Здесь такой нюанс.
Можно бы и продолжить проверку интервала, но в программе Белышева generator_kf_odlk нет чекпоинта.
Проверила 20 миллионов КФ и прервала программу, а до какой КФ дошла - неизвестно.
Необходимо сделать так, чтобы при прерывании последняя проверенная КФ записывалась в файл start.txt
Или, например, так: при запуске программы сделать запрос "Сколько КФ проверить?"
Тогда программа проверит введённое количество КФ, запишет последнюю проверенную КФ в файл start.txt и остановится сама (прерывание делать не надо).
Можно не делать запрос в программе, а количество КФ для проверки записывать в файл config.txt вместе с номером линейки:
2 10000000
[так делается в программе для генерации КФ]

С такой же проблемой я столкнулась в программе generator_kf_odlk для ОДЛК 9-го порядка (когда немножко работала над составлением БД КФ ОДЛК 9-го порядка).