Рассмотрим пример.
Вот интервал в минимальной группе БД КФ ОДЛК второго формата

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

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

Обе КФ принадлежат одной линейке, это линейка 13.
Задаём начало интервала и запускаем программу Белышева generator_kf_odlk.
И все дела.
Собираем пропущенные решения, если они есть.
Но! Все эти пропущенные решения будут только из линейки 13.
Пропущенные решения из других трёх линеек (если они имеются) в этой проверке по линейке 13 найдены не будут.

---

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

Кстати, запускаю программу Белышева moschnometr_kf для данного интервала.
Протокол работы программы

Мощьнометр интевалов КФ ДЛК10

Линейка №13 cтарт:

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

СНДЛК: 1000000 КФ: 1000000 время: 4 сек
СНДЛК: 1500000 КФ: 1500000 время: 7 сек
СНДЛК: 2000000 КФ: 2000000 время: 9 сек
СНДЛК: 2500000 КФ: 2500000 время: 11 сек
СНДЛК: 3000000 КФ: 3000000 время: 14 сек
СНДЛК: 3500000 КФ: 3500000 время: 16 сек
СНДЛК: 4000000 КФ: 4000000 время: 19 сек
СНДЛК: 4500000 КФ: 4500000 время: 21 сек
СНДЛК: 5000000 КФ: 5000000 время: 23 сек
СНДЛК: 5500000 КФ: 5500000 время: 25 сек

Стоп:

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

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

Здесь всё чудесно: 5995563 СН ДЛК в данном интервале и все они являются КФ.

Запустила программу generator_kf_odlk

Генератор КФ ОДЛК10

Старт:

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

СНДЛК: 1000 КФ: 1000 время: 2 сек
СНДЛК: 2000 КФ: 2000 время: 4 сек
СНДЛК: 3000 КФ: 3000 время: 6 сек
СНДЛК: 4000 КФ: 4000 время: 8 сек
СНДЛК: 5000 КФ: 5000 время: 10 сек
СНДЛК: 6000 КФ: 6000 время: 12 сек
СНДЛК: 7000 КФ: 7000 время: 14 сек
СНДЛК: 8000 КФ: 8000 время: 16 сек
СНДЛК: 9000 КФ: 9000 время: 18 сек
СНДЛК: 10000 КФ: 10000 время: 20 сек
СНДЛК: 11000 КФ: 11000 время: 22 сек
СНДЛК: 12000 КФ: 12000 время: 24 сек
СНДЛК: 13000 КФ: 13000 время: 26 сек
СНДЛК: 14000 КФ: 14000 время: 28 сек
СНДЛК: 15000 КФ: 15000 время: 30 сек
СНДЛК: 16000 КФ: 16000 время: 32 сек
СНДЛК: 17000 КФ: 17000 время: 34 сек
СНДЛК: 18000 КФ: 18000 время: 36 сек
СНДЛК: 19000 КФ: 19000 время: 38 сек

. . . . . . 

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

---

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

И стало очень любопытно, что сейчас найдено в минимальной группе в проекте ОДЛК, прямо сегодня.
Сейчас загляну в результаты проекта.

Идём по ссылке
https://boinc.progger.info/odlk_results/odlkmin/2020-05-24.txt

Сегодня уже найдено 52 решения в минимальной группе, показываю первые 10

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

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

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

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

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

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

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

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

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

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

В-о-о-о-т! Группа ищется три года, а до конца - как до Луны.
Ну, алгоритм грубой силы ничего лучшего и не может дать.
Надо было подключать другие алгоритмы - более эффективные, но увы!..

Замечу, что в проекте ОДЛК ищется также максимальная группа БД КФ ОДЛК второго формата (Приложение odlkmax).

---

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

Вот и проверился интервал

. . . . . . . 
СНДЛК: 5985000 КФ: 5985000 время: 12592 сек
СНДЛК: 5986000 КФ: 5986000 время: 12594 сек
СНДЛК: 5987000 КФ: 5987000 время: 12596 сек
СНДЛК: 5988000 КФ: 5988000 время: 12598 сек
СНДЛК: 5989000 КФ: 5989000 время: 12600 сек
СНДЛК: 5990000 КФ: 5990000 время: 12602 сек
СНДЛК: 5991000 КФ: 5991000 время: 12604 сек
СНДЛК: 5992000 КФ: 5992000 время: 12606 сек
СНДЛК: 5993000 КФ: 5993000 время: 12608 сек
СНДЛК: 5994000 КФ: 5994000 время: 12610 сек
СНДЛК: 5995000 КФ: 5995000 время: 12612 сек
Найден ОДЛК #1:

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

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

Найденный ОДЛК совпадает с конечной КФ ОДЛК интервала.
Следовательно, в интервале нет других решений из линейки 13.

Продолжать не будем.

---

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

Посмотрим на текущую максимальную КФ ОДЛК в минимальной группе БД КФ ОДЛК второго порядка
(это из моего старого файла; сейчас, возможно, этот максимум стал другим)

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

Эта КФ ОДЛК из линейки 17.
А пощупаем интервал от этой КФ ОДЛК и далее (в идеале - надо до конца линейки или хотя бы до конца минимальной группы) по линейке 17.

---

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

Запустила

Генератор КФ ОДЛК10

Старт:

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

СНДЛК: 1000 КФ: 1000 время: 2 сек
СНДЛК: 2000 КФ: 2000 время: 4 сек
СНДЛК: 3000 КФ: 3000 время: 6 сек
СНДЛК: 4000 КФ: 4000 время: 8 сек
СНДЛК: 5000 КФ: 5000 время: 10 сек
СНДЛК: 6000 КФ: 6000 время: 12 сек
СНДЛК: 7000 КФ: 7000 время: 14 сек
СНДЛК: 8000 КФ: 8000 время: 16 сек
СНДЛК: 9000 КФ: 9000 время: 18 сек
СНДЛК: 10000 КФ: 10000 время: 20 сек
СНДЛК: 11000 КФ: 11000 время: 23 сек
СНДЛК: 12000 КФ: 12000 время: 25 сек
СНДЛК: 13000 КФ: 13000 время: 27 сек
СНДЛК: 14000 КФ: 14000 время: 29 сек
СНДЛК: 15000 КФ: 15000 время: 31 сек
СНДЛК: 16000 КФ: 16000 время: 33 сек
СНДЛК: 17000 КФ: 17000 время: 35 сек
СНДЛК: 18000 КФ: 18000 время: 37 сек
СНДЛК: 19000 КФ: 19000 время: 39 сек
СНДЛК: 20000 КФ: 20000 время: 41 сек
СНДЛК: 21000 КФ: 21000 время: 43 сек
СНДЛК: 22000 КФ: 22000 время: 46 сек
. . . . . . . 

Пошупаем немножко, до вечера.
Пока количество КФ равно количеству СН ДЛК, это хорошо - не пробуксовывает проверка.

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

---

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

Тэк-с, пощупали :)

. . . . 
СНДЛК: 12511000 КФ: 12511000 время: 26434 сек
СНДЛК: 12512000 КФ: 12512000 время: 26436 сек
СНДЛК: 12513000 КФ: 12513000 время: 26439 сек
СНДЛК: 12514000 КФ: 12514000 время: 26441 сек
СНДЛК: 12515000 КФ: 12515000 время: 26443 сек
СНДЛК: 12516000 КФ: 12516000 время: 26445 сек
СНДЛК: 12517000 КФ: 12517000 время: 26447 сек
СНДЛК: 12518000 КФ: 12518000 время: 26449 сек
СНДЛК: 12519000 КФ: 12519000 время: 26451 сек
СНДЛК: 12520000 КФ: 12520000 время: 26453 сек
СНДЛК: 12521000 КФ: 12521000 время: 26455 сек
СНДЛК: 12522000 КФ: 12522000 время: 26457 сек
СНДЛК: 12523000 КФ: 12523000 время: 26459 сек
СНДЛК: 12524000 КФ: 12524000 время: 26461 сек
СНДЛК: 12525000 КФ: 12525000 время: 26463 сек
СНДЛК: 12526000 КФ: 12526000 время: 26465 сек
СНДЛК: 12527000 КФ: 12527000 время: 26467 сек
СНДЛК: 12528000 КФ: 12528000 время: 26469 сек
СНДЛК: 12529000 КФ: 12529000 время: 26471 сек
СНДЛК: 12530000 КФ: 12530000 время: 26473 сек
СНДЛК: 12531000 КФ: 12531000 время: 26475 сек
СНДЛК: 12532000 КФ: 12532000 время: 26477 сек
СНДЛК: 12533000 КФ: 12533000 время: 26480 сек
СНДЛК: 12534000 КФ: 12534000 время: 26482 сек
. . . . . 

На 12,5 миллионов КФ СН ДЛК ни одной марьяжной КФ!
Останавливаю.
Плохо, что совершенно неизвестно, вышли хотя бы из минимальной группы.
При прерывании в программе не предусмотрена запись последней проверенной КФ СН ДЛК.

---

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

Посмотрела на КФ ОДЛК первого формата в редких группах серии 1 2 8.
В БД ручного проекта на данный момент таких КФ ОДЛК всего 83 шт.
В части БД с проекта ОДЛК, содержащей 385041 КФ ОДЛК, из групп этой серии есть всего 39 КФ ОДЛК.
Почему КФ ОДЛК в группах данной серии так мало?
Всё просто: в группах данной серии очень мало неподвижных точек преобразования КФ.

Выбрала интервал между двумя КФ ОДЛК из группы данной серии

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

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

Это одна и та же группа, определяемая второй строкой

1 2 8 0 5 6 7 9 4 3

Генерирую программой Чиркова порцию из 700 000 нормализованных ДЛК в лексикографическом порядке и проверяю порцию программой Белышева kanonizator_y на неподвижные точки преобразования КФ. Их находится в порции всего 637 штук!
Генерирую вторую порцию из 700 000 нормализованных ДЛК и проверяю; в этой порции всего 53 ДЛК, которые являются КФ.
В-о-о-о-т! Откуда же взяться решениям, если КФ так мало!

Группы серии 1 2 9 тоже очень малочисленные.
А КФ ОДЛК из групп серии 1 8 3 я пока видела всего одну.

---

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

Цитата

Написала программку; если не ошиблась, теоретически групп серии 1 2 0 существует 1545.
Покажу начало и конец списка, выданного программой

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

. . . . . . 

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

Не знаю, существуют ли все эти группы практически, не исследовала этот вопрос.

34-ая строка в этом списке

1 2 0 4 5 3 7 9 6 8

Группа, определяемая данной строкой, исследовалась мной давно, никак не могу вспомнить - в какой теме я об этом писала.
Но у меня есть рабочий файл об исследовании этой группы.
Почему я выбрала эту группу для исследования? Потому что в ней находится моя десяточка

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

Очень захотелось пощупать эту группу.
На данный момент в этой группе у меня содержится 55283 КФ ОДЛК. Неплохо!
Я сделала Замыкание от КФ ОДЛК данной группы

Найдено марьяжных КФ:
count[1] = 66792
count[2] = 1608
count[3] = 5
count[4] = 100
count[5] = 2
count[6] = 6
count[8] = 2
count[10] = 1
Всего: 68516
Найдено соквадратов: 70495
КФ соквадратов: 68516

Замыкание супер!
Покажу минимальную КФ ОДЛК и текущую максимальную КФ ОДЛК этой группы

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

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

Группа хорошая (решений дала много!), можно дальше её разрабатывать.

---

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

Десятка находится в хвосте группы

КФ основного ДЛК десятки

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

текущая максимальная КФ ОДЛК
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 3 7 9 6 8
9 8 7 6 3 4 5 2 0 1
2 9 1 8 6 7 3 5 4 0
8 5 6 7 9 1 0 4 2 3
5 7 3 2 0 6 1 8 9 4
6 3 9 5 8 0 4 1 7 2
4 6 8 0 1 2 9 3 5 7
3 4 5 9 7 8 2 0 1 6
7 0 4 1 2 9 8 6 3 5

Интересно пощупать этот интервал.

А также интересно пощупать интервал перед десяткой

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

десятка
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 3 7 9 6 8
9 7 6 2 3 8 5 1 4 0
7 5 1 8 6 9 2 0 3 4
3 9 8 6 7 4 1 2 0 5
2 4 5 9 8 1 0 3 7 6
4 8 3 0 2 6 9 5 1 7
8 6 7 5 9 0 3 4 2 1
6 3 9 1 0 7 4 8 5 2
5 0 4 7 1 2 8 6 9 3

Я исследовала окрестности десятки в БД КФ ОДЛК второго формата; нашла там много интересного.
Смотрите тему «Замечательная последовательность КФ ОДЛК»
https://boinc.progger.info/odlk/forum_thread.php?id=111
Теперь можно посмотреть на окрестности десятки в БД КФ первого формата.

---

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

Интервал перед десяткой

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

десятка
0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 3 7 9 6 8
9 7 6 2 3 8 5 1 4 0
7 5 1 8 6 9 2 0 3 4
3 9 8 6 7 4 1 2 0 5
2 4 5 9 8 1 0 3 7 6
4 8 3 0 2 6 9 5 1 7
8 6 7 5 9 0 3 4 2 1
6 3 9 1 0 7 4 8 5 2
5 0 4 7 1 2 8 6 9 3

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

---

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

Цитата

Я сделала Замыкание от КФ ОДЛК данной группы

Найдено марьяжных КФ:
count[1] = 66792
count[2] = 1608
count[3] = 5
count[4] = 100
count[5] = 2
count[6] = 6
count[8] = 2
count[10] = 1
Всего: 68516
Найдено соквадратов: 70495
КФ соквадратов: 68516

Замыкание супер!

Это Замыкание сделано было давно.
Сейчас сделала Замыкание от добавленных в группу КФ ОДЛК

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

Вот теперь у меня есть полное Замыкание от КФ ОДЛК группы 34, оно содержит 117108 КФ ОДЛК.
Понятно, что группа ещё будет пополняться и очень даже немало.
А сейчас занимаюсь постобработкой КФ ОДЛК из Замыкания группы разными алгоритмами постобработки.

---

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

Сейчас я регулярно добавляю в минимальную группу и в группу 34 новые КФ ОДЛК, которые находятся в выполняемых в данный момент эеспериментах (у меня и у XAVER).
Более активно пополняется группа 34, в минимальную группу очень редко находятся новые КФ ОДЛК.
На данный момент минимальная группа содержит 11018 КФ ОДЛК, группа 34 содержит 55627 КФ ОДЛК.
Напомню: обе эти группы серии 1 2 0.
Минимальная группа определяется строкой

1 2 0 4 3 6 5 9 7 8

Группа 34 определяется строкой

1 2 0 4 5 3 7 9 6 8

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

В минимальной группе

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

В группе 34

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

Поработать с этими группами очень хочется, но нет ресурсов :(
Ладно, пока буду их укомплектовывать, это тоже полезное дело.

---

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

Цитата

На данный момент минимальная группа содержит 11018 КФ ОДЛК, группа 34 содержит 55627 КФ ОДЛК.

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

Группа 34 обещает быть очень большой. Недаром в этой группе находится десятка, которая была найдена самой первой.
Вполне вероятно, что эта группа содержит другие интересные решения.

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

---

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

Напомню: необходимо выбрать КФ ОДЛК в минимальную группу и в группу 34 из БД проекта ODLK1, которая выложена здесь
https://drive.google.com/file/d/1Z9r6XRPbN_bnWDULysr2MlMHgkzffvCj/view?usp=sharing

Мне нужна помощь в этом.
Нужно сделать следующее:
1) скачать БД по указанной ссылке;
2) преобразовать все КФ ОДЛК в первый формат;
3) выбрать КФ ОДЛК в минимальную группу и в группу 34 в соответствии со второй строкой, определяющей данные группы.

Пополнение групп должно быть очень хорошее.

---

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

Цитата

Теперь минимальная группа содержит 11064 КФ ОДЛК, группа 34 содержит 56318 КФ ОДЛК.

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

---

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

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

На данный момент
минимальная группа содержит 11158 КФ ОДЛК
группа 34 содержит 56414 КФ ОДЛК.

Интересно и резкое различие количества КФ ОДЛК в этих двух группах.

Продолжаю укомплектовывать эти группы.

---

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

Недавно Harry White сделал программу выбора уникальных побочных диагоналей из КФ ДЛК формата 2.
Это так называемые линейки (автор термина и самого понятия Белышев).

Интересно! Harry в своей программе сделал и выбор уникальных главных диагоналей в КФ ДЛК формата 1. Именно главных диагоналей!
Это у нас пока осталось за кадром.
Недавно я посмотрела на этот момент.
И... это тоже линейки! Только для формата 1.

Я различаю в БД КФ ОДЛК формата 1 группы, определяемые второй строкой (первая строка в формате 1 всегда имеет вид
0 1 2 3 4 5 6 7 8 9).
Например, КФ ОДЛК из малочисленных групп серии 1 8 3

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

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

С помощью программы Harry, применённой к некоторым частям БД КФ ОДЛК формата 1, нашла следующие линейки, соответствующие группам серии 1 8 3:

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

Возможно, это ещё не все.
Но идея уже возникла и может быть опробована: скрестить в формате 1 линейки и группы.

PS. Интересно посмотреть на все найденные линейки для ДЛК формата 1,
Их более 18000.
Кстати, в линейках видны и группы.

---

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

Сегодня листала тему "Ортогональные латинские квадраты 10-го порядка" на форуме Math Help Planet.
Искала информацию о DSODLS.
Попалось это сообщение
http://mathhelpplanet.com/viewtopic.php?p=297994#p297994 (от 2 апреля 2017 г., это уже история!)

Вот она - красавица КФ №6

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

Даёт однушку, 2 КФ от однушки:

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

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

Долго искала эту КФ. На очереди КФ №7.
Выстраиваем БД по порядку, без пропусков.

Вот так я начинала выстраивать начало нашей БД КФ ОДЛК 10-го порядка с самого начала.

А здесь
https://boinc.progger.info/odlk/forum_thread.php?id=161&postid=5635
уже найдены первые 10 КФ ОДЛК минимальной группы, то есть 10 первых КФ ОДЛК в БД.

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

---

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

Цитата

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

На данный момент:
минимальная группа содержит 11158 КФ ОДЛК
группа 34 содержит 56414 КФ ОДЛК.

Интересно и резкое различие количества КФ ОДЛК в этих двух группах.

Продолжаю укомплектовывать эти группы.

Да, такие вот два резиновых шарика, которые всё надуваются и надуваются :)
На данный момент
минимальная группа содержит 11330 КФ ОДЛК;
группа 34 содержит 57756 КФ ОДЛК.
Текущие максимальные КФ ОДЛК в обеих группах прежние.

Вот так - всё толстеют и толстеют между минимумом и максимумом.
Интересно, что группа 34 более чем в 5 раз крупнее минимальной группы.
Недаром в этой группе моя десяточка родилась.
Не удивлюсь, если она ещё что-нибудь интересное родит.

---

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