БД КФ ОДЛК 9-го порядка

Message boards : Science : БД КФ ОДЛК 9-го порядка
Message board moderation

To post messages, you must log in.

Previous · 1 . . . 14 · 15 · 16 · 17 · 18 · 19 · 20 . . . 34 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6686 - Posted: 27 Oct 2020, 20:00:43 UTC
Last modified: 27 Oct 2020, 20:01:41 UTC

Главное - записался в start.txt последний найденный ОДЛК

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

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

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6687 - Posted: 28 Oct 2020, 3:55:23 UTC

И так бывает даже в конце линейки
. . . . . .
СНДЛК: 1085238627 КФ: 1461770 время: 7152 сек
СНДЛК: 1086011546 КФ: 1462301 время: 7157 сек
СНДЛК: 1086868508 КФ: 1462301 время: 7162 сек
СНДЛК: 1087727442 КФ: 1462301 время: 7167 сек
СНДЛК: 1088646400 КФ: 1462301 время: 7172 сек
Найден ОДЛК #26
Найден ОДЛК #27
Найден ОДЛК #28
Найден ОДЛК #29
Найден ОДЛК #30
Найден ОДЛК #31
Найден ОДЛК #32
Найден ОДЛК #33
СНДЛК: 1089318575 КФ: 1464079 время: 7177 сек
СНДЛК: 1089956772 КФ: 1466520 время: 7182 сек
СНДЛК: 1090613311 КФ: 1468527 время: 7187 сек
СНДЛК: 1091378664 КФ: 1469484 время: 7192 сек
СНДЛК: 1092095963 КФ: 1470224 время: 7197 сек
СНДЛК: 1092714116 КФ: 1471608 время: 7202 сек
СНДЛК: 1093388657 КФ: 1473277 время: 7207 сек
. . . . . . .

А вот и гиблое место (жуткая пустыня)
. . . . . . . 
СНДЛК: 469359498 КФ: 572313 время: 3045 сек
СНДЛК: 470280454 КФ: 572313 время: 3050 сек
СНДЛК: 471238072 КФ: 572313 время: 3055 сек
СНДЛК: 472179329 КФ: 572313 время: 3060 сек
СНДЛК: 473107888 КФ: 572313 время: 3065 сек
СНДЛК: 474020853 КФ: 572313 время: 3070 сек
СНДЛК: 474907791 КФ: 572313 время: 3075 сек
СНДЛК: 475846889 КФ: 572313 время: 3080 сек
СНДЛК: 476806688 КФ: 572313 время: 3085 сек
СНДЛК: 477733298 КФ: 572313 время: 3090 сек
СНДЛК: 478309233 КФ: 572313 время: 3095 сек
СНДЛК: 479164749 КФ: 572313 время: 3100 сек
СНДЛК: 479940231 КФ: 572313 время: 3105 сек
СНДЛК: 480594259 КФ: 572313 время: 3110 сек
СНДЛК: 481293932 КФ: 572313 время: 3115 сек
СНДЛК: 482006575 КФ: 572313 время: 3120 сек
СНДЛК: 482689401 КФ: 572313 время: 3125 сек
СНДЛК: 483437747 КФ: 572313 время: 3130 сек
СНДЛК: 484240209 КФ: 572313 время: 3135 сек
СНДЛК: 484979615 КФ: 572313 время: 3140 сек
СНДЛК: 485830842 КФ: 572313 время: 3145 сек
СНДЛК: 486687824 КФ: 572313 время: 3150 сек
СНДЛК: 487530213 КФ: 572313 время: 3155 сек
СНДЛК: 488277035 КФ: 572313 время: 3160 сек
. . . . . . .

СН ДЛК идут, КФ нет ни одной.
Приближаемся к концу линейки.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6687 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6688 - Posted: 28 Oct 2020, 3:58:53 UTC
Last modified: 28 Oct 2020, 4:11:18 UTC

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

[DLK(4):22]
0 2 3 8 6 7 4 5 1
2 1 7 4 8 3 5 0 6
6 5 2 7 1 8 3 4 0
8 4 1 3 7 2 0 6 5
1 3 6 5 4 0 8 2 7
3 0 8 6 2 5 7 1 4
4 7 5 0 3 1 6 8 2
5 8 4 1 0 6 2 7 3
7 6 0 2 5 4 1 3 8

Она в линейке №1 находится (не рикошетная).

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

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6689 - Posted: 28 Oct 2020, 6:14:23 UTC

А вот уникальная троечка найдена в линейке №1

[DLK(3):2]
0 2 4 5 7 6 8 3 1
4 1 6 8 2 7 5 0 3
5 7 2 4 1 0 3 8 6
8 4 1 3 6 2 0 5 7
3 5 8 0 4 1 7 6 2
1 3 7 6 8 5 4 2 0
2 0 5 7 3 8 6 1 4
6 8 3 1 0 4 2 7 5
7 6 0 2 5 3 1 4 8

Пока идём, всё ближе конец линейки.
Всё чаще попадаются пустыни.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6689 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6690 - Posted: 28 Oct 2020, 17:32:12 UTC
Last modified: 28 Oct 2020, 17:39:48 UTC

Уф! Устали прощупывать :) Может, хватит уже прощупывать линейку №1?
Всё меньше решений встречается, всё больше становятся пустыни. Конец линейки!
Но там ещё "хвост". А это вообще сплошная пустыня! Мрак!

Немножко подшлифовала свою утилиту, которая выписывает ОДЛК 9-го порядка для заданной линейки из текущей БД.
Так вот, в линейке №1 на данный момент содержится 1563 КФ ОДЛК.
Вот хвост вывода утилиты

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

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

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

KVADRATOV W LINEYKE 1 SODERJITSYA 1563

По результатам двух BOINC-проектов это количество равно 1655, если эти результаты верные.
Итак, не добрали мы с черепашкой в линейке №1 всего 92 КФ ОДЛК.
Эти КФ ОДЛК остались в проблемных областях, которые я обходила.
Результаты получены неплохие по линейке №1.

Теперь выписываю утилитой КФ ОДЛК из линейки №5 (в обработке у помощника).
Утилита выдаёт (хвост выходного файла)

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

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

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

KVADRATOV W LINEYKE 5 SODERJITSYA 673 

Отлично! Тут по результатам BOINC-проектов должно быть 718 КФ ОДЛК.
Не добрали всего 45 КФ ОДЛК.
В этой линейке есть висяк, то есть одна из 20 групп всё ещё считается.
Ну и "хвост", разумеется, который тоже считается.

Интересно: если недостающие 45 КФ ОДЛК окажутся в обрабатываемой группе 1, получается, что "хвост" пустой.
Это будет хороший исход эксперимента.
А вот если в группе 1 будут не все 45 КФ ОДЛК, значит, оставшиеся КФ ОДЛК - в "хвосте".
И найти их не так просто, потому что "хвост" в один поток может обрабатываться несколько недель.
Надо что-то придумывать для убыстрения обработки "хвоста".
Самый простой вариант: разбить "хвост", скажем, тоже на 20 групп и запустить обработку на 20 ядрах.
Это несколько поможет.

В общем, пока ждём завершения группы 1.

Да, наша БД подросла до 52867 КФ ОДЛК (+100).
Сегодня помощник не снимал результаты.
+100 это черепашка нашла.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6690 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6691 - Posted: 28 Oct 2020, 17:43:11 UTC

Ещё проверила линейку №7 (тоже в обработке у помощника).
Утилита выдала результат

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

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

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

KVADRATOV W LINEYKE 7 SODERJITSYA 20350

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

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6692 - Posted: 29 Oct 2020, 13:27:50 UTC
Last modified: 29 Oct 2020, 13:33:17 UTC

Пришли результаты от помощника.
После обработки всех результатов получено 637 уникальных КФ ОДЛК.
В данный момент по линейкам, которые обрабатывает помощник:

линейка №5 - 691 КФ ОДЛК;
линейка №7 - 20868 КФ ОДЛК.

Всего в БД: 53504 КФ ОДЛК.

Есть одна тройка и одна шестёрка, остальные однушки, двушки и четвёрки.
Покажу тройку и шестёрку

[DLK(6):383]
0 8 6 2 7 3 5 4 1
4 1 3 6 5 8 7 0 2
7 6 2 5 8 0 3 1 4
2 7 0 3 1 6 4 8 5
6 5 1 8 4 2 0 3 7
8 3 4 7 0 5 1 2 6
1 4 8 0 2 7 6 5 3
3 2 5 1 6 4 8 7 0
5 0 7 4 3 1 2 6 8

[DLK(3):412]
0 6 5 4 7 3 2 8 1
6 1 3 2 8 7 4 0 5
8 7 2 5 1 0 3 4 6
7 4 0 3 5 6 8 1 2
2 5 1 0 4 8 7 6 3
1 8 6 7 2 5 0 3 4
4 0 8 1 3 2 6 5 7
3 2 4 8 6 1 5 7 0
5 3 7 6 0 4 1 2 8

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

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6693 - Posted: 29 Oct 2020, 14:27:18 UTC
Last modified: 29 Oct 2020, 14:31:50 UTC

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

Это найденная при постобработке уникальная шестёрка

[DLK(6):1]
0 2 3 4 6 7 5 8 1
6 1 4 0 5 8 3 2 7
5 6 2 1 8 4 7 0 3
1 5 0 3 7 6 8 4 2
8 3 6 7 4 1 2 5 0
2 4 7 8 1 5 0 3 6
7 8 5 2 0 3 6 1 4
4 0 8 6 3 2 1 7 5
3 7 1 5 2 0 4 6 8

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

У нас в экспериментах тотальная проверка вряд ли может быть выполнена полностью.
Поэтому нам постобработка нужна.
Мы экспериментируем. Это интересно.
Получить всю БД КФ ОДЛК на 20 ядрах плюс моя черепашка нереально.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6693 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6694 - Posted: 29 Oct 2020, 14:43:10 UTC

Интересный момент.
Проверила, есть ли в новых решениях, полученных постобработкой, КФ ОДЛК из линеек №№ 5 и 7.
Из линейки №5 нет.
А из линейки №7 - вот они

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

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

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

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

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

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

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

There are 7 squares in the rule 7 

7 новых решений найдено. Легко! Они не помешают нам.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6694 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6695 - Posted: 29 Oct 2020, 14:49:32 UTC

А это из линейки №1 в той же порции решений из 67 квадратов

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

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

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

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

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

There are 5 squares in the rule 1 

Я 92 КФ ОДЛК не добрала в этой линейке, вот уже 5 добрала постобработкой. Совсем неплохо.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6695 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6696 - Posted: 29 Oct 2020, 21:51:54 UTC

Постобработка продолжается!

Новая пятёрочка найдена при постообработке

[DLK(5):44]
0 5 7 4 6 3 2 8 1
5 1 8 0 3 7 4 2 6
1 6 2 5 8 4 7 3 0
2 8 4 3 1 6 0 5 7
7 2 1 6 4 8 3 0 5
4 3 0 8 7 5 1 6 2
8 7 5 2 0 1 6 4 3
6 0 3 1 5 2 8 7 4
3 4 6 7 2 0 5 1 8

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

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6697 - Posted: 29 Oct 2020, 22:12:45 UTC
Last modified: 29 Oct 2020, 22:34:14 UTC

Пока черепашка выполняет постобработку, я порисую в Gephi.
Вот эту шестёрочку возьму, недавно найденную

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

Рассматриваю только два уровня.
На первом уровне это основной ДЛК и 6 его ортогоналек, всего 7 ОДЛК (уникальных пять).
На втором уровне от 6 ортогоналек получено 8 соквадратов (уникальный один).
Таким образом, второй уровень не бесполезный, есть один новый ОДЛК.
Всего в двух уровнях 15 ОДЛК (6 уникальных).
Эти ОДЛК образовали 46 ортогональных пар.
Таблица ортогональных пар, выданная утилитой Harry White

2:  1
3:  1
4:  1
5:  1
6:  1
7:  1
8:  2 3 4 5 6 7
9:  2 3 4 5 6 7
10:  2 3 4 5 6 7
11:  4 7
12:  2 3 4 5 6 7
13:  2 3 4 5 6 7
14:  2 3 4 5 6 7
15:  4 7

Подчеркну: в конфигурацию входят все 15 ОДЛК (и уникальные, и изоморфные).

Иллюстрация этой конфигурации, нарисованная в Gephi



Довольно чётко видны все рёбра; я чуть-чуть перетащила некоторые узлы.

А вот вам задачка: есть ли в этой конфигурации MODLS?
Ну, одна тройка MODLS, конечно, есть; её видно сразу.
Есть ли ещё тройки MODLS? Сколько?
Есть ли MODLS из более трёх ОДЛК?
Задачку, разумеется, проще решать не по иллюстрации, а по таблице ортогональных пар.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6697 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6699 - Posted: 30 Oct 2020, 8:50:18 UTC
Last modified: 30 Oct 2020, 8:52:27 UTC

Минимальная КФ ОДЛК в линейке

Почти во всех линейках существует проблема поиска минимальной КФ ОДЛК.
Выше показана информация о всех 20 линейках, в которой присутствует минимальная КФ для каждой линейки.
Как правило, минимальная КФ является "пустышкой".
И в большинстве линеек интервал от минимальной КФ до минимальной КФ ОДЛК огромный.
В этом и состоит проблема.
Если вы запустите поиск минимальной КФ ОДЛК "с нуля" (по программе Белышева generator_kf_odlk9), этот поиск будет выполняться очень долго.
Я запускала такой поиск в нескольких линейках.
Поиск удался только в линейках №№ 1 и 9.

Можно запустить поиск минимальной КФ ОДЛК не "с нуля", а с минимальной КФ.
Но это мало что изменит, поиск будет по-прежнему долгий.

В экспериментах, которые выполняет помощник в линейках №№ 5 и 7, минимальные КФ ОДЛК уже найдены.
Теперь попробовала найти минимальную КФ ОДЛК в линейке №4.
Вроде и не очень большой интервал между минимальной КФ и минимальной КФ ОДЛК.
Это минимальная КФ

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

а это минимальная КФ ОДЛК, которую всё-таки нашла

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

Искала долго. При этом сначала искала с помощью программы Harry White, эта стратегия поиска описана тут.
Потом переключилась на программу Белышева.

Теперь нацеливаемся с черепашкой прощупать линейку №4.
Вот закончим постобработку и займёмся этим.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6699 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6700 - Posted: 30 Oct 2020, 17:11:35 UTC

Шахматные алгоритмы отстрелялись ещё вчера, они дали 23 новых КФ ОДЛК.
А сейчас идёт постобработка последним алгоритмом, это самый медленный алгоритм.
Завтра должна закончить.
Уже получено 67+23=90 новых КФ ОДЛК (это от Канонизатора ЛК по ДЛК и шахматных алгоритмов).
От последнего алгоритма будет примерно столько же новых КФ ОДЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6700 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6701 - Posted: 31 Oct 2020, 0:20:31 UTC

Всё, постобработка завершена.
Всего в результате постобработки (порции из 1485 КФ ОДЛК) получено 293 новых КФ ОДЛК.
Очень хорошо!

Наша БД выросла до 53797 КФ ОДЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6701 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6702 - Posted: 31 Oct 2020, 0:27:34 UTC

Это уже идём дальше.
Найдены только что две уникальные 16-ки

[DLK(16):44]
0 3 6 2 5 7 8 4 1
6 1 5 7 3 8 0 2 4
1 8 2 6 7 4 3 0 5
2 0 1 3 8 6 4 5 7
3 2 7 1 4 0 5 8 6
8 4 3 0 1 5 7 6 2
5 7 8 4 2 3 6 1 0
4 5 0 8 6 2 1 7 3
7 6 4 5 0 1 2 3 8

[DLK(16):66]
0 3 6 2 8 7 5 4 1
6 1 5 7 3 8 0 2 4
1 8 2 6 7 4 3 0 5
2 0 1 3 5 6 4 8 7
3 2 7 1 4 0 8 5 6
8 4 3 0 1 5 7 6 2
5 7 8 4 2 3 6 1 0
4 5 0 8 6 2 1 7 3
7 6 4 5 0 1 2 3 8

С утречка черепашке везёт :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6702 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6703 - Posted: 31 Oct 2020, 0:55:33 UTC
Last modified: 31 Oct 2020, 0:56:42 UTC

Это я кое-что проверяю в линейке №7

. . . . . . . 
Найден ОДЛК #305
Найден ОДЛК #306
Найден ОДЛК #307
Найден ОДЛК #308
Найден ОДЛК #309
Найден ОДЛК #310
Найден ОДЛК #311
Найден ОДЛК #312
Найден ОДЛК #313
Найден ОДЛК #314
Найден ОДЛК #315
Найден ОДЛК #316
Найден ОДЛК #317
Найден ОДЛК #318
Найден ОДЛК #319
Найден ОДЛК #320
Найден ОДЛК #321
Найден ОДЛК #322
Найден ОДЛК #323
Найден ОДЛК #324
Найден ОДЛК #325
СНДЛК: 992139 КФ: 712982 время: 412 сек
Найден ОДЛК #326
Найден ОДЛК #327
. . . . . . . .

Линейка №7 у нас рекордсменка!
Сейчас её прощупывает помощник.
Ну, он прощупывает намного сильнее, чем мы с черепашкой, - до самой последней косточки :)
Единственное, что от него может ускользнуть, - это "хвост".
Если "хвост" не пустой, найти в нём решения очень проблематично.
Попадаются также и другие проблемные области в этой линейке, но мы надеемся с ними справиться.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6703 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6704 - Posted: 31 Oct 2020, 2:59:00 UTC
Last modified: 31 Oct 2020, 3:01:23 UTC

Итак, мы с черепашкой начали прощупывать линейку №4.
Информация о линейке

Линейка №4
1 0 3 2 4 7 8 6 5
вариантов первой строки 928
минимальная КФ, "пустышка"
0 2 3 4 5 6 7 8 1
2 1 4 5 3 7 8 0 6
1 0 2 6 7 8 3 4 5
4 5 0 3 8 2 1 6 7
3 7 6 8 4 0 5 1 2
6 8 1 7 0 5 2 3 4
7 3 8 2 1 4 6 5 0
8 6 5 0 2 1 4 7 3
5 4 7 1 6 3 0 2 8

Я уже нашла минимальную КФ ОДЛК в линейке

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

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

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6705 - Posted: 31 Oct 2020, 3:49:02 UTC

Хотела нарисовать конфигурацию, порождаемую этой 16-ой, недавно найденной

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

Ну, в Gephi ничего невозможно будет разобрать.
Рассматриваю, как всегда, два уровня.
На первом уровне это 17 ОДЛК, из которых 9 уникальных.
16 ортогоналек первого уровня дали 32 ОДЛК, уникальный один.
Таким образом, второй уровень добавил один уникальный ОДЛК.
Всего в конфигурации 49 ОДЛК (10 уникальных), они образовали 528 ортогональных пар.
Покажу таблицу ортогональных пар, которую выводит утилита Harry White

2:  1
3:  1
4:  1
5:  1
6:  1
7:  1
8:  1
9:  1
10:  1
11:  1
12:  1
13:  1
14:  1
15:  1
16:  1
17:  1
18:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
19:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
20:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
21:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
22:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
23:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
24:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
25:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
26:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
27:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
28:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
29:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
30:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
31:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
32:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
33:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
34:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
35:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
36:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
37:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
38:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
39:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
40:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
41:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
42:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
43:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
44:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
45:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
46:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
47:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
48:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17
49:  2 3 4 5 6 7 8 9 10 11
 12 13 14 15 16 17

Здесь очень интересно: каждый квадрат набора 2, 3, 4, ..., 17 ортогонален каждому квадрату набора 1,18,19, ..., 49.
Итого: 16*33=528 ортогональных пар.
Если вручную рисовать, можно сделать наглядно, но нудно 528 линий рисовать :)
В Gephi наверняка не будет никакой наглядности.
Попробуйте, если интересно.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6705 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12852
Credit: 0
RAC: 0
Message 6710 - Posted: 31 Oct 2020, 19:47:49 UTC

После дня работы с линейкой №4: в линейке много проблемных областей, приходится часто прерывать тотальную проверку.
Новых решений в маленьких проверенных интервалах почти нет.
Трудная линейка!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6710 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Previous · 1 . . . 14 · 15 · 16 · 17 · 18 · 19 · 20 . . . 34 · Next

Message boards : Science : БД КФ ОДЛК 9-го порядка


©2024 (C) Progger