БД КФ ОДЛК: форматы, группы

Message boards : Science : БД КФ ОДЛК: форматы, группы
Message board moderation

To post messages, you must log in.

1 · 2 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5608 - Posted: 18 May 2020, 14:40:54 UTC
Last modified: 18 May 2020, 14:52:17 UTC

Решила открыть специальную тему.
В теме "Новый эксперимент в ручном проекте" рассказывается о минимальной группе БД КФ ОДЛК первого формата.
Расскажу всё по порядку.

БД КФ ОДЛК 10-го порядка у нас составляется в двух форматах.

1. Первый формат - нормализованные КФ ОДЛК; это такие ДЛК, в которых первая строка упорядочена в естественном порядке.
Пример

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 5 7 9 8 1 6 2 0
5 7 4 9 8 0 2 1 6 3
6 9 8 1 2 4 7 3 0 5
8 3 7 6 0 1 9 2 5 4
9 6 3 0 7 2 8 5 4 1
7 5 6 8 1 9 0 4 3 2
4 8 9 2 5 7 3 0 1 6

2. Второй формат - сильно нормализованные КФ ОДЛК; это такие ДЛК, в которых главная диагональ упорядочена в естественном порядке.
Пример

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

Понятие "сильно нормализованные ДЛК" введено Белышевым.

Между КФ ОДЛК первого и второго формата существует взаимно-однозначное соответствие.
То есть если мы составили БД КФ ОДЛК в первом формате из N КФ ОДЛК, то ровно N КФ ОДЛК будет и в БД КФ ОДЛК второго формата. И, естественно, наоборот.

КФ ОДЛК второго формата возможно представлять ещё в сжатом (закодированном) формате. Этот формат разработал Белышев.
Есть программа преобразования СН ДЛК в сжатый формат и программа обратного преобразования (декодирования).
Сжатый формат позволяет представлять очень большие массивы СН ДЛК в довольно небольших по объёму файлах.

Пример
показанная выше КФ ОДЛК второго формата преобразуется в такой вид
amimhfc2NGkfUP4ftEWJYqBzn

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5608 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5609 - Posted: 18 May 2020, 15:09:06 UTC
Last modified: 18 May 2020, 15:11:38 UTC

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

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

Это самая первая группа в БД КФ ОДЛК первого формата, я назвала её минимальной группой.
А показанная КФ ОДЛК - первая в данной группе, то есть минимальная КФ ОДЛК в БД КФ ОДЛК первого формата.

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

БД КФ ОДЛК второго формата можно разбить ещё на группы, называемые линейками. Теория линеек разработана Белышевым.
Всего существует 67 линеек.
Линейка определяется побочной диагональю СН ДЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5609 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5610 - Posted: 18 May 2020, 15:22:00 UTC
Last modified: 18 May 2020, 16:25:30 UTC

Цитата
Итак, группы КФ ОДЛК первого формата выстраиваются следующим образом:

1) группы со второй строкой вида
1 2 0 x x x x x x x

Это самые многочисленные группы.
2)
1 2 3 x x x x x x x

Это тоже достаточно многочисленные группы.

Далее следуют малочисленные группы.
3)
1 2 7 x x x x x x x

4)
1 2 8 x x x x x x x

5)
1 2 9 x x x x x x x

6)
1 8 3 x x x x x x x

7)
2 3 0 x x x x x x x

8)
2 3 1 x x x x x x x

Не уверена, что перечислила все группы.
Надо посмотреть на все части БД внимательнее.
А ещё лучше смотреть на общую БД, которой у нас, к сожалению, нет.
Есть большая БД проекта ODLK1, вот в ней можно смотреть, она выложена тут
https://drive.google.com/file/d/1Z9r6XRPbN_bnWDULysr2MlMHgkzffvCj/view?usp=sharing
(решения в этой БД надо сначала декодировать, а затем перевести в первый формат)
Ну, и во всех частях БД, что я выкладывала раньше.

Далее я ввела понятие "группы серии ...".
Например, группы со второй строкой вида
1 2 0 x x x x x x x
будем называть группы серии 1 2 0.
Много ли существует групп данной серии?
Написала программку; если не ошиблась, теоретически групп серии 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 

Не знаю, существуют ли все эти группы практически, не исследовала этот вопрос.
Самая первая группа в группах данной серии - это минимальная группа, она определяется второй строкой вида
1  2  0  4  3  6  5  9  7  8

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5610 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5611 - Posted: 18 May 2020, 15:30:38 UTC
Last modified: 18 May 2020, 15:37:09 UTC

Минимальную группу БД КФ ОДЛК я собрала из всех частей БД, которые у меня есть.
Хорошая получилась группа, но, конечно, я собрала её не всю.
У меня нет очень большого куска БД - с проекта ODLK1.

На данный момент минимальная группа у меня содержит 10982 КФ ОДЛК.
Но даже после добавления всех КФ ОДЛК из этого куска БД минимальная группа не будет полной.

И теперь задача: надо пополнять минимальную группу пропущенными решениями.
Как же эти пропущенные решения искать?
Есть хороший метод интервалов.
Программа генерации нормализованных ДЛК в лексикографическом порядке была сделана очень давно коллегой В. Чирковым.
Суть метода интервалов описана в одноимённой теме
https://boinc.progger.info/odlk/forum_thread.php?id=29

Вот над этой задачей я сейчас и работаю.
Разумеется, я не могу решить её полностью на одном ПК, но покажу на примере первых 9 интервалов, как это работает.
То есть проверю все эти 9 интервалов и тем самым сделаю начало БД КФ ОДЛК первого формата (первые 10 КФ ОДЛК) абсолютно полным.
Метод интервалов в лоб определяет, есть или нет в проверяемом интервале пропущенные решения. Если они есть, то будут найдены при проверке интервала.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5611 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5612 - Posted: 18 May 2020, 15:57:52 UTC

Ещё две цитаты из темы "Новый эксперимент в ручном проекте".

Итак, за 4 года поисков (в BOINC-проектах 3 года) минимальная группа КФ ОДЛК БД первого формата неплохо сформировалась.
Обозначились и другие группы. Вся структура БД просматривается.
Это уже очень хороший материал для оценок и прогнозов о полной БД КФ ОДЛК.
Кроме того, появилась возможность работать с каждой отдельной группой с целью её пополнения пропущенными решениями и доведения до абсолютной полноты.

Некоторые товарищи выражают недоумение: и зачем нужны эти интервалы - считать прямо от минимальной КФ ОДЛК до максимальной КФ ОДЛК.
Думаю, что большинство всё же хорошо понимает, зачем нужны интервалы.
Я уже раньше это поясняла.
Ну, да: задайте стартовую (минимальную) КФ ОДЛК группы и конечную (текущую максимальную) КФ ОДЛК группы и - считайте.
Это тоже, между прочим, интервал. Но! Вы будете считать этот интервал 10 лет на одном ПК!!!
Разделение этого гигантского интервала на 10 000 маленьких интервалов даёт разделение огромной задачи на 10 000 подзадач, каждую из которых уже реально решить на одном ПК. Что я сейчас и делаю.
10 000 маленьких интервалов - это прямо чудесная задачка для кластера!

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5612 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5613 - Posted: 18 May 2020, 16:03:13 UTC

Наконец, цитата о проверке последней КФ ОДЛК минимальной группы на данный момент (текущий максимум)

А последнюю КФ ОДЛК в минимальной группе уже начала проверять на максимальность, вот она

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

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

Сильно подозреваю, что это глобальный максимум в данной группе, но это пока не доказано.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5613 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5614 - Posted: 18 May 2020, 16:10:25 UTC
Last modified: 18 May 2020, 17:01:50 UTC

Покажу скрипт, который я написала для проверки интервалов в минимальной группе БД КФ ОДЛК первого формата

GenInterval3.exe < interval.txt
copy output.txt input.txt
copy a.txt output.txt
kanonizator_y.exe < vvod.txt
copy output.txt input.txt
ortogon_u.exe < vvod1.txt
pause

Пояснения

1) программа Чиркова GenInterval3.exe генерирует ДЛК в лексикографическом порядке в заданном интервале;
2) программа Белышева kanonizator_y.exe находит в порции сгенерированных ДЛК неподвижные точки преобразования КФ (то есть такие ДЛК, которые являются КФ);
3) программа Белышева ortogon_u.exe проверяет полученную порцию КФ ДЛК на марьяжные ДЛК.

Вот и всё.
Скрипт написан для одного выполнения процесса, его можно зациклить.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5614 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5615 - Posted: 18 May 2020, 16:19:26 UTC

В данный момент я проверяю интервал между КФ ОДЛК №8 и №9

№8
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 1 5 0 2
8 7 3 9 5 4 0 6 2 1
4 9 8 1 2 7 3 0 5 6
5 6 7 0 8 2 9 4 1 3
7 8 5 6 9 1 2 3 4 0
9 3 4 2 0 8 7 1 6 5
6 5 9 7 1 0 8 2 3 4

№9
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 9 7 0 1 2 5
6 5 9 0 7 1 8 3 4 2
9 8 7 6 5 4 3 2 0 1
8 7 4 2 1 0 9 6 5 3
7 9 3 1 0 8 2 5 6 4
5 6 8 7 2 9 1 4 3 0
4 3 5 9 8 2 7 0 1 6

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

В БД есть конечное число групп, в каждой группе есть конечное число интервалов.
Всё вполне решаемо, если дружно взяться за решение.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5615 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5618 - Posted: 20 May 2020, 3:01:11 UTC

С утречка черепашка ликует :)
- Конец интервала!

В интервале №8 - №9 пропущенных решений не найдено.
Мы приступаем к проверке интервала №9 - №10

№9
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 9 7 0 1 2 5
6 5 9 0 7 1 8 3 4 2
9 8 7 6 5 4 3 2 0 1
8 7 4 2 1 0 9 6 5 3
7 9 3 1 0 8 2 5 6 4
5 6 8 7 2 9 1 4 3 0
4 3 5 9 8 2 7 0 1 6

№10
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 9 7 2 5 1 0
7 8 9 6 5 4 0 1 3 2
8 5 3 7 0 9 1 2 6 4
9 6 4 1 8 0 7 3 2 5
4 7 5 9 2 8 3 6 0 1
5 3 8 2 7 1 9 0 4 6
6 9 7 0 1 2 8 4 5 3

Этот интервал побольше предыдущего, дня три займёт проверка.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5618 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5619 - Posted: 20 May 2020, 15:01:22 UTC
Last modified: 20 May 2020, 15:42:44 UTC

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

1 уровень
в начальной и конечной КФ ОДЛК совпадают более 4-х строк.
Это самый лёгкий уровень, проверяются такие интервалы очень быстро.
Однако таких интервалов мало встречается.

2 уровень
в начальной и конечной КФ ОДЛК совпадают точно 4 строки.
Это тоже лёгкий уровень.

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

№9
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 9 7
0 1 2 5
6 5 9 0 7 1 8 3 4 2
9 8 7 6 5 4 3 2 0 1
8 7 4 2 1 0 9 6 5 3
7 9 3 1 0 8 2 5 6 4
5 6 8 7 2 9 1 4 3 0
4 3 5 9 8 2 7 0 1 6

№10
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 9 7
2 5 1 0
7 8 9 6 5 4 0 1 3 2
8 5 3 7 0 9 1 2 6 4
9 6 4 1 8 0 7 3 2 5
4 7 5 9 2 8 3 6 0 1
5 3 8 2 7 1 9 0 4 6
6 9 7 0 1 2 8 4 5 3

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

4 уровень
в начальной и конечной КФ ОДЛК совпадают точно 3 строки.
Пример

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

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

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

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

Это уже сильно сложный уровень.
Я за проверку таких интервалов не берусь, так как на моём ПК эта проверка будет очень долгой.

Дальше градацию не делала. Понятно, что её можно продолжить.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5619 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5620 - Posted: 20 May 2020, 15:24:45 UTC
Last modified: 20 May 2020, 15:29:04 UTC

А вот как вы думаете: много ли в проверяемом мной интервале КФ ДЛК?
Ну, я могу сказать, сколько в этом интервале ДЛК: порядка 60-70 миллионов.
А вот насчёт КФ ДЛК ничего не могу сказать. просто я их не подсчитываю.
Но в проверяемом интервале их не намного меньше, потому что здесь почти все ДЛК являются КФ (где-то 20-40 тысяч в одной порции не КФ; в порции я генерирую 800 000 ДЛК).

Для второго формата у Белышева есть программа Мощнометр, описана тут
http://boinc.progger.info/odlk/forum_thread.php?id=27
Вводите в программу начало и конец интервала и программа выдаёт количество КФ СН ДЛК в этом интервале.
Это, конечно, полезная программа.
К сожалению, для первого формата такой программы нет (по крайней мере, я не видела).

Ещё: для второго формата есть у Белышева программа генерации КФ СН ДЛК.
Это очень полезная программа. Для первого формата такой программы тоже нет.
Поэтому сначала в методе интервалов генерируются нормализованные ДЛК в лексикографическом порядке (программа Чиркова), а затем с помощью программы Белышева kanonizator_y определяются в сгенерированной порции те ДЛК, которые являются КФ (неподвижные точки преобразования КФ).
Хорошо бы иметь аналогичную программу генерации КФ ДЛК и для первого формата.
Задание Белышеву :) паче чаяния он сюда заглядывает.

Отмечу, что и программа Чиркова (генерация), и программа Белышева (kanonizator_y) работают довольно медленно.
Очень нужна оптимизация обеих программ.
Возможно, Белышев оптимизировал свою программу kanonizator_y (он часто делал оптимизации), но я это пропустила.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5620 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5621 - Posted: 20 May 2020, 16:57:10 UTC
Last modified: 20 May 2020, 17:01:14 UTC

Цитата
1 уровень
в начальной и конечной КФ ОДЛК совпадают более 4-х строк.
Это самый лёгкий уровень, проверяются такие интервалы очень быстро.
Однако таких интервалов мало встречается.

Вот нашла визуально в минимальной группе пример интервала первого уровня сложности (долго искала)

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

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

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

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

Очень редкий интервал по уровню сложности!
Понятно, что этот интервал проверится мгновенно.

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

Кстати, мой помощник 256Ghz много работал с методом интервалов. Он проверял интервалы разных уровней сложности, начиная с первого.
AlexA тоже работал с этим методом. Они работали с КФ ОДЛК первого формата.
Demis уже работал с КФ ОДЛК второго формата.
Я работала с КФ ОДЛК обоих форматов.
Было найдено очень много пропущенных решений данным методом.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5621 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5622 - Posted: 20 May 2020, 17:42:15 UTC

Цитата
3 уровень
в начальной и конечной КФ ОДЛК совпадают более 3-х строк, но не 4.
. . .
Таких интервалов много встречается в БД КФ ОДЛК обоих форматов.
Следует заметить, что сложность таких интервалов зависит от количества совпадающих элементов в четвёртой строке. Если, к примеру, будет всего 1-2 элемента в четвёртой строке совпадать (считая слева строки, по порядку), сложность многократно возрастёт.

Нашла в минимальной группе визуально два примера к замечанию

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

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

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

end
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8
2 3 1 7 6 4 0 8 9 5
3 7
8 6 2 9 4 1 5 0
7 4 9 1 5 3 8 2 0 6
4 5 7 9 1 8 2 0 6 3
8 6 5 2 7 0 9 3 1 4
9 8 6 5 0 7 3 4 2 1
6 0 4 8 9 1 7 5 3 2
5 9 3 0 8 2 1 6 4 7
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5622 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5623 - Posted: 20 May 2020, 17:47:07 UTC

Совершенно понятно, что сложность интервала определяется не только его длиной, но и наличием в нём КФ ДЛК.
Львиная доля времени при проверке интервала тратится на проверку КФ ДЛК на марьяжные ДЛК.
Если КФ ДЛК в интервале мало, то и проверка пройдёт быстро.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5623 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5626 - Posted: 21 May 2020, 4:02:08 UTC

Цитата
Вот нашла визуально в минимальной группе пример интервала первого уровня сложности (долго искала)

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

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

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

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

Это у меня сразу ассоциировалось с узорчатыми ДЛК!
Посмотрите на эти узорчатые ДЛК



Хороший интервал, не правда ли?
Есть ли в этом интервале другие КФ ОДЛК?
Это можно очень быстро проверить.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5626 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5627 - Posted: 21 May 2020, 4:07:37 UTC
Last modified: 21 May 2020, 4:13:34 UTC

Или ещё такой интервальчик



Красота! Второй уровень сложности, тоже легко проверить интервал.

Поразительно: как всё связано в этом мире. И ЛК не исключение.

PS. Иллюстрации узорчатых ДЛК из темы "Новый алгоритм постобработки"
https://boinc.progger.info/odlk/forum_thread.php?id=129
Там много подобных иллюстраций.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5627 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5635 - Posted: 23 May 2020, 16:45:46 UTC
Last modified: 24 May 2020, 3:42:55 UTC

Черепашка кричит:
- Конец интевала!! :)

Ура! Мы проверили 9 интервалов между КФ ОДЛК №1 и №10, мы подтвердили, что между этими КФ ОДЛК нет других решений.
Итак, идеальное начало БД КФ ОДЛК первого формата - первые 10 КФ ОДЛК

№1
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 5 7 9 8 1 6 2 0
5 7 4 9 8 0 2 1 6 3
6 9 8 1 2 4 7 3 0 5
8 3 7 6 0 1 9 2 5 4
9 6 3 0 7 2 8 5 4 1
7 5 6 8 1 9 0 4 3 2
4 8 9 2 5 7 3 0 1 6

№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 5 9 8 7 1 0 6 2
6 9 8 7 5 2 0 3 1 4
4 7 9 1 0 8 3 2 5 6
9 8 3 6 1 4 7 5 2 0
7 5 4 0 2 9 8 6 3 1
8 3 6 2 7 0 9 1 4 5
5 6 7 8 9 1 2 4 0 3

№3
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 5 9 8 7 1 2 6 0
5 6 9 0 7 4 8 1 3 2
4 9 6 7 0 8 2 5 1 3
7 8 4 2 9 1 3 0 5 6
8 7 3 1 5 9 0 6 2 4
9 5 8 6 2 0 7 3 4 1
6 3 7 8 1 2 9 4 0 5

№4
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 7 8 9 1 2 0 5
7 8 3 1 9 0 2 4 5 6
8 6 7 9 5 4 0 3 1 2
4 9 5 2 0 7 8 6 3 1
9 7 4 6 1 8 3 5 2 0
5 3 9 8 2 1 7 0 6 4
6 5 8 0 7 2 9 1 4 3

№5
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 7 8 9 1 2 5 0
9 8 3 1 5 0 7 6 2 4
4 6 7 9 2 8 3 5 0 1
7 5 8 6 0 2 9 4 1 3
8 9 4 2 7 1 0 3 6 5
6 3 5 0 9 7 8 1 4 2
5 7 9 8 1 4 2 0 3 6

№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

№7
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 1 2 0 5
7 3 8 6 9 4 2 0 5 1
4 5 9 1 0 7 8 6 3 2
9 8 7 2 5 1 3 4 6 0
6 7 3 9 1 8 0 5 2 4
8 6 5 7 2 0 9 1 4 3
5 9 4 0 8 2 7 3 1 6

№8
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 1 5 0 2
8 7 3 9 5 4 0 6 2 1
4 9 8 1 2 7 3 0 5 6
5 6 7 0 8 2 9 4 1 3
7 8 5 6 9 1 2 3 4 0
9 3 4 2 0 8 7 1 6 5
6 5 9 7 1 0 8 2 3 4

№9
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 9 7 0 1 2 5
6 5 9 0 7 1 8 3 4 2
9 8 7 6 5 4 3 2 0 1
8 7 4 2 1 0 9 6 5 3
7 9 3 1 0 8 2 5 6 4
5 6 8 7 2 9 1 4 3 0
4 3 5 9 8 2 7 0 1 6

№10
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 9 7 2 5 1 0
7 8 9 6 5 4 0 1 3 2
8 5 3 7 0 9 1 2 6 4
9 6 4 1 8 0 7 3 2 5
4 7 5 9 2 8 3 6 0 1
5 3 8 2 7 1 9 0 4 6
6 9 7 0 1 2 8 4 5 3

Конечно, очень мало интервалов проверено, но пример показан. Метод интервалов отлично работает!

А теперь посмотрим на следующий интервал - между КФ ОДЛК №10 и №11

№10
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 9 7 2 5 1 0
7 8 9 6 5 4 0 1 3 2
8 5 3 7 0 9 1 2 6 4
9 6 4 1 8 0 7 3 2 5
4 7 5 9 2 8 3 6 0 1
5 3 8 2 7 1 9 0 4 6
6 9 7 0 1 2 8 4 5 3

№11
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
4 3 8 9 7
3 6 7 8 2 9 1 0 5 4
8 5 4 7 9 2 0 6 1 3
5 4 8 9 0 7 2 1 3 6
9 8 3 6 7 0 4 5 2 1
6 9 5 0 1 8 7 3 4 2
7 3 9 2 5 1 8 4 6 0
4 7 6 1 8 3 9 2 0 5

Это гигантский интервал! Он за пределами моей градации уровней сложности интервалов.
Трудно поверить, что в таком гигантском интервале нет пропущенных решений, но вполне может быть так.
И как же такой интервал проверить?
Надо его разбить на более мелкие интервалы. Как это сделать?
Ну, например, вставить некоторую опорную точку, это ДЛК, который находится внутри интервала.
Я вставила такую опорную точку

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 6 4 8 9 7 2 5 1 0
7 8 9 6 5 4 0 1 3 2
8 5 3 7 0 9 1 2 6 4
9 4 6 1 8 0 7 3 2 5
4 7 5 9 2 8 3 6 0 1
5 3 8 2 7 1 9 0 4 6
6 9 7 0 1 2 8 4 5 3

Этот ДЛК я получила из КФ ОДЛК №10 поворотом одного блока; он является "пустышкой" (то есть не имеет ортогональных ДЛК).

Таким образом, я теперь имею интервал

start (КФ ОДЛК №10)
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 9 7 2 5 1 0
7 8 9 6 5 4 0 1 3 2
8 5 3 7 0 9 1 2 6 4
9 6 4 1 8 0 7 3 2 5
4 7 5 9 2 8 3 6 0 1
5 3 8 2 7 1 9 0 4 6
6 9 7 0 1 2 8 4 5 3

end (опорная точка)
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
6 4 8 9 7 2 5 1 0
7 8 9 6 5 4 0 1 3 2
8 5 3 7 0 9 1 2 6 4
9 4 6 1 8 0 7 3 2 5
4 7 5 9 2 8 3 6 0 1
5 3 8 2 7 1 9 0 4 6
6 9 7 0 1 2 8 4 5 3

Этот интервал тоже большой, но намного меньше всего интервала №10 - №11; он входит в мою градацию уровней сложности - 3 уровень, хотя и тяжёлый (в четвёртой строке совпадает всего один элемент).
Проверяться долго будет на моём ПК; попробую немножко, вдруг решение найдётся внутри этого интервала.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5635 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5638 - Posted: 24 May 2020, 4:17:24 UTC

А теперь посмотрим на БД КФ ОДЛК второго формата.
Цитата
Линейка №13

Количество вариантов первой строки (равно количеству групп в линейке): 6208.
Количество известных КФ ОДЛК в линейке: 3468.

Первая (минимальная) КФ в линейке

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

Первая, минимальная КФ ОДЛК в линейке (найдена мной)

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

И не только минимальная в линейке, эта КФ ОДЛК - глобальный минимум во всей БД КФ ОДЛК второго формата (СН ДЛК).
То есть это самая первая КФ ОДЛК в БД (навсегда).

Эта линейка проверяется в Приложении odlkmin вместе с линейками №№ 14, 17, 18, дающими КФ ОДЛК в минимальную группу БД.

Здесь говорится о минимальной группе БД КФ ОДЛК второго формата.
Эта группа определяется следующей первой строкой КФ ОДЛК
0 2 3 4 5 6 7 8 9 1

и формируется из КФ ОДЛК, принадлежащим линейкам 13, 14, 17, 18.
Я начинала искать первые КФ ОДЛК минимальной группы БД КФ ОДЛК второго формата на своём ПК, а затем эта задача была включена в проект ОДЛК (Приложение odlkmin, которое работает по сей день).
Интересно: сколько КФ ОДЛК уже найдено в минимальной группе?
Наверное, много; это же всё-таки не ручной поиск.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5638 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5639 - Posted: 24 May 2020, 4:45:30 UTC
Last modified: 24 May 2020, 4:59:32 UTC

У меня сохранился файл с КФ ОДЛК из Приложения odlkmin с тех хороших времён, когда я постоянно обрабатывала результаты проекта ОДЛК.
Минимальная группа БД КФ ОДЛК в этом файле содержит 83386 КФ ОДЛК.
Сейчас это количество, наверное, намного увеличилось.
Показываю первые 10 и последние 10 КФ ОДЛК из минимальной группы БД КФ ОДЛК второго формата

 минимальная КФ ОДЛК группы, а также БД
0 2 3 4 5 6 7 8 9 1
2 1 4 5 3 7 8 9 0 6
1 0 2 6 7 4 9 3 5 8
8 7 6 3 9 0 4 5 1 2
6 9 8 1 4 2 5 0 7 3
3 8 0 9 6 5 1 2 4 7
9 4 7 8 0 3 6 1 2 5
5 6 9 2 8 1 0 7 3 4
4 5 1 7 2 9 3 6 8 0
7 3 5 0 1 8 2 4 6 9

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

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

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

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

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

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

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

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

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

. . . . . 

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

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

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

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

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

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

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

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

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

текущая максимальная КФ ОДЛК группы
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

Второй очень интересный вопрос: какой здесь идеальный (абсолютно полный) кусок БД?
Думаю, что это не 10 КФ ОДЛК, а побольше.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5639 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12861
Credit: 0
RAC: 0
Message 5640 - Posted: 24 May 2020, 4:51:14 UTC
Last modified: 24 May 2020, 5:10:15 UTC

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

В теме "Метод интервалов" рассмотрены примеры для КФ ОДЛК второго формата.

PS. У Белышева есть программа не только генерации КФ СН ДЛК, но и программа, которая сразу генерирует КФ СН ДЛК и проверяет их на марьяжность.
Цитата
В методе интервалов прекрасно работает программа Белышева generator_kf_odlk.

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5640 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
1 · 2 · Next

Message boards : Science : БД КФ ОДЛК: форматы, группы


©2024 (C) Progger