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

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

To post messages, you must log in.

Previous · 1 . . . 17 · 18 · 19 · 20 · 21 · 22 · 23 . . . 34 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6810 - Posted: 11 Nov 2020, 17:33:48 UTC

У ice00 линейка 9 в обработке.
Очень тяжёлая линейка, я её немного щупала: решение от решения на огромном расстоянии, то есть огромные пустыни.
К тому же, у ice00 всего два потока (больше нет ресурсов).
Вот ice00 прислал сейчас всего два решения в первом потоке и ни одного решения не добавилось во втором потоке.
Решения

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

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

Ищем дальше.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6810 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6811 - Posted: 11 Nov 2020, 17:51:36 UTC
Last modified: 11 Nov 2020, 17:56:23 UTC

А знаете ли вы?

Свой первый проект Distributed computing project я начала 9.02.2015 г.
Смотрите тут
https://dxdy.ru/post975820.html#p975820

Это было ещё до всех BOINC-проектов.
И это был проект "Симметричные кортежи из последовательных простых чисел".
Потом этот проект был запущен на форуме boinc.ru (тоже не в BOINC!).
И довольно долго успешно считался.
А потом один из участников ручного проекта (256 Ghz) запустил этот проект в BOINC (это был проект Stop@home).
Этот проект работал 8-9 месяцев, после чего остановился, как объяснил администратор - по причине повреждения базы данных.
А потом... Вы уже знаете, что было потом? :)
Да, потом этот же проект был запущен в BOINC-проекте TBEG.
И тоже довольно успешно работал некоторое время.
В данный момент проект стоит. Я не знаю, в чём причина.
Администратор сообщает о каких-то технических работах на сервере.

Вот такая богатая история у этого проекта. И он ещё далёк от завершения.
Но я, собственно, хотела сказать о своём опыте по организации проектов распределённых вычислений (ручных, не BOINC).
Как видите, опыт этот у меня уже достаточно большой, с 2015 года этим занимаюсь.

А сейчас тоже ручной проект - БД КФ ОДЛК порядка 9.
В проекте три участника в данный момент.
Нам, пожалуй, достаточно.
Господа, если вы хотели принять участие в этом интересном проекте, вы опоздали :)
Я вас долго уговаривала, а вы долго собирались :)

Но у вас по-прежнему есть хорошее предложение о данном проекте: запустить его в BOINC.
Смотрите тему
https://boinc.progger.info/odlk/forum_thread.php?id=172
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6811 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6812 - Posted: 12 Nov 2020, 6:54:49 UTC

Горячая новость от помощника

... хвост семерки посчитался.
Дал 20 квадратов.

Всё точно так, как и ожидалось.
"Хвост" в линейке 7 маленький и КФ в нём есть, вот и марьяжные КФ даже нашлись.

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6813 - Posted: 12 Nov 2020, 8:00:27 UTC
Last modified: 12 Nov 2020, 8:46:15 UTC

Это последняя (максимальная) на данный момент КФ ОДЛК в линейке 9, которая в обработке у ice00

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

Судя по первой строке этой КФ, она находится довольно близко к концу линейки, что хорошо: "хвост" не сильно длинный.
По разбиению Harry White эта линейка содержит 928 групп.
Сейчас определю, в какой группе находится текущая максимальная КФ ОДЛК.

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

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6814 - Posted: 12 Nov 2020, 8:44:35 UTC
Last modified: 12 Nov 2020, 8:47:47 UTC

Линейку 6 мы с черепашкой ещё не щупали.
Информация о линейке

Линейка №6
1 0 3 6 4 2 7 8 5
содержит 922 группы

Минимальная КФ в линейке
0 2 3 4 5 7 8 6 1
2 1 4 5 3 8 7 0 6
1 0 2 6 7 4 3 8 5
4 5 0 3 8 6 1 2 7
3 7 6 8 4 0 5 1 2
7 6 8 2 1 5 4 3 0
8 4 7 0 2 1 6 5 3
6 8 5 1 0 3 2 7 4
5 3 1 7 6 2 0 4 8

Первая КФ ОДЛК в линейке

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

офигенно далеко от минимальной КФ.
Вполне возможно, что это не минимальная КФ ОДЛК, хотя шут её знает :)
В нашей БД линейка 6 содержит на данный момент 441 КФ ОДЛК.
По данным BOINC-проектов линейка содержит 1352 КФ ОДЛК.
То есть мы должны получить хорошее добавление в этой линейке - 911 КФ ОДЛК.

Последняя КФ ОДЛК в линейке сейчас

 0  6  4  8  5  2  7  3  1 
 6  1  5  4  3  7  8  0  2 
 8  0  2  6  7  1  3  5  4 
 7  5  8  3  1  6  4  2  0 
 3  7  0  5  4  8  2  1  6 
 1  4  3  2  8  5  0  6  7 
 4  3  7  1  2  0  6  8  5 
 2  8  1  0  6  4  5  7  3 
 5  2  6  7  0  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: 6814 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6815 - Posted: 12 Nov 2020, 9:59:16 UTC

Пришли результаты от помощника из линейки 7.
Отличные результаты!
Линейка 7 дала ещё 174 уникальные КФ ОДЛК.
И теперь эта чудесная линеечка содержит 21842 КФ ОДЛК, как утверждает моя утилита

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

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

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

There are 21842 squares in the rule 7 

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6816 - Posted: 12 Nov 2020, 10:07:34 UTC
Last modified: 12 Nov 2020, 10:12:20 UTC

Посмотрите, какой интересный "хвост" у линейки 7

. . . . . . . 
Найден ОДЛК #20:

0 8 7 6 3 2 5 4 1
4 1 5 8 6 3 7 0 2
7 6 2 5 8 0 3 1 4
8 7 4 3 1 6 0 2 5
6 5 0 2 4 8 1 3 7
2 3 1 7 0 5 4 8 6
1 4 8 0 2 7 6 5 3
3 2 6 1 5 4 8 7 0
5 0 3 4 7 1 2 6 8
Расчет получен: 2020-11-11.15:17:59
Detected file 'y'. Enabled mode auto continue...

Продолжить? (Y/N): y (auto)
Линейка 7 завершена
Проверено 24022693694 СНДЛК 276222072 КФ
Найдено 20 ОДЛК
Расчет завершен: 2020-11-12.07:23:09
Время работы: 	243083 сек

В "хвосте" найдено 20 КФ ОДЛК.
Обратите внимание на содержание КФ в "хвосте". Этим всё объясняется: много КФ - есть среди них и марьяжные.
Время обработки "хвоста" 243083 сек. Это быстро для "хвоста".
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6816 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6817 - Posted: 12 Nov 2020, 10:20:46 UTC

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6818 - Posted: 12 Nov 2020, 10:38:16 UTC

Черепашка начала прощупывать линейку 6

. . . . . . . 
СНДЛК: 202833 КФ: 197503 время: 75 сек
СНДЛК: 215901 КФ: 210571 время: 80 сек
СНДЛК: 229019 КФ: 223689 время: 85 сек
СНДЛК: 242194 КФ: 236864 время: 90 сек
СНДЛК: 255478 КФ: 250148 время: 95 сек
СНДЛК: 268604 КФ: 263274 время: 100 сек
Найден ОДЛК #2
Найден ОДЛК #3
Найден ОДЛК #4
СНДЛК: 281778 КФ: 276448 время: 105 сек
СНДЛК: 294954 КФ: 289624 время: 110 сек
СНДЛК: 308046 КФ: 302716 время: 115 сек
СНДЛК: 321183 КФ: 315853 время: 120 сек
СНДЛК: 334429 КФ: 329099 время: 125 сек
СНДЛК: 347691 КФ: 342361 время: 130 сек
СНДЛК: 360956 КФ: 355626 время: 135 сек
СНДЛК: 374203 КФ: 368873 время: 140 сек
. . . . . . . 

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6819 - Posted: 12 Nov 2020, 14:31:26 UTC
Last modified: 12 Nov 2020, 14:33:10 UTC

По аналогии со статистикой Белышева для ОДЛК 8-го порядка
(смотрите тут https://boinc.progger.info/odlk/forum_thread.php?id=173&postid=6711)
помощник сделал статистику для ОДЛК 9-го порядка, конечно, пока предварительную - по имеющейся на данный момент БД (я отправила ему вариант БД, содержащий 55045 КФ ОДЛК).
Очень интересная статистика!

out_kf9_1.txt = 13817
out_kf9_2.txt = 19231
out_kf9_3.txt = 765
out_kf9_4.txt = 9003
out_kf9_5.txt = 324
out_kf9_6.txt = 870
out_kf9_7.txt = 29
out_kf9_8.txt = 4933
out_kf9_9.txt = 77
out_kf9_10.txt = 1337
out_kf9_11.txt = 11
out_kf9_12.txt = 599
out_kf9_13.txt = 61
out_kf9_14.txt = 143
out_kf9_15.txt = 25
out_kf9_16.txt = 1684
out_kf9_17.txt = 10
out_kf9_18.txt = 54
out_kf9_19.txt = 9
out_kf9_20.txt = 512
out_kf9_21.txt = 7
out_kf9_22.txt = 13
out_kf9_24.txt = 104
out_kf9_25.txt = 1
out_kf9_26.txt = 32
out_kf9_27.txt = 3
out_kf9_28.txt = 162
out_kf9_29.txt = 1
out_kf9_30.txt = 6
out_kf9_31.txt = 1
out_kf9_32.txt = 552
out_kf9_33.txt = 7
out_kf9_34.txt = 23
out_kf9_35.txt = 1
out_kf9_36.txt = 153
out_kf9_38.txt = 11
out_kf9_40.txt = 167
out_kf9_41.txt = 18
out_kf9_42.txt = 5
out_kf9_43.txt = 2
out_kf9_44.txt = 40
out_kf9_45.txt = 2
out_kf9_46.txt = 23
out_kf9_47.txt = 2
out_kf9_48.txt = 44
out_kf9_49.txt = 7
out_kf9_50.txt = 2
out_kf9_52.txt = 9
out_kf9_54.txt = 9
out_kf9_55.txt = 1
out_kf9_56.txt = 22
out_kf9_58.txt = 2
out_kf9_59.txt = 1
out_kf9_60.txt = 12
out_kf9_61.txt = 1
out_kf9_64.txt = 22
out_kf9_66.txt = 1
out_kf9_67.txt = 1
out_kf9_68.txt = 3
out_kf9_69.txt = 2
out_kf9_70.txt = 2
out_kf9_71.txt = 1
out_kf9_72.txt = 6
out_kf9_74.txt = 1
out_kf9_76.txt = 1
out_kf9_78.txt = 1
out_kf9_80.txt = 3
out_kf9_82.txt = 1
out_kf9_86.txt = 4
out_kf9_88.txt = 2
out_kf9_92.txt = 1
out_kf9_96.txt = 2
out_kf9_99.txt = 1
out_kf9_100.txt = 9
out_kf9_104.txt = 2
out_kf9_106.txt = 1
out_kf9_111.txt = 1
out_kf9_112.txt = 2
out_kf9_120.txt = 1
out_kf9_128.txt = 5
out_kf9_138.txt = 2
out_kf9_144.txt = 3
out_kf9_147.txt = 1
out_kf9_188.txt = 2
out_kf9_190.txt = 1
out_kf9_194.txt = 2
out_kf9_196.txt = 2
out_kf9_204.txt = 1
out_kf9_220.txt = 1
out_kf9_308.txt = 1
out_kf9_310.txt = 1
out_kf9_329.txt = 1
out_kf9_360.txt = 1
out_kf9_516.txt = 1
out_kf9_560.txt = 3
out_kf9_576.txt = 4
out_kf9_580.txt = 1
out_kf9_614.txt = 1

Интересно вот что: пропущенные группы ОДЛК (до количества 100), которые я отметила ранее, так и не появились.
Это группы для чётных количеств ОДЛК
62, 84, 90, 94, 98
и для нечётных количеств ОДЛК
23, 37, 39, 51, 53, 57, 63, 65, 73, 75, 77, 79, 81, 83, 85, 87, 89, 91, 93, 95, 97
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6819 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6820 - Posted: 12 Nov 2020, 14:55:45 UTC
Last modified: 12 Nov 2020, 15:00:37 UTC

Ещё интересно: лидируют (без учёта однушек, конечно)

двушки - 19231
четвёрки - 9003
восьмёрки - 4933
16-ки - 1684
и даже 32-ки - 552 (хотя уступают некоторым другим группам)

[количества равные степени двойки]

Случайно ли это или имеет какое-то объяснение?
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6820 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6821 - Posted: 12 Nov 2020, 16:45:39 UTC
Last modified: 12 Nov 2020, 16:48:37 UTC

Ну вот и прощупали чуть-чуть линейку 6.
Нашли 20 уникальных КФ ОДЛК, в том числе восьмёрочку

[DLK(8):16]
0 2 3 6 7 4 8 5 1
4 1 6 5 2 8 7 0 3
8 5 2 1 0 7 3 6 4
7 0 8 3 1 6 2 4 5
6 3 1 7 4 0 5 8 2
3 6 4 2 8 5 0 1 7
1 4 7 8 5 2 6 3 0
2 8 5 0 3 1 4 7 6
5 7 0 4 6 3 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: 6821 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6822 - Posted: 12 Nov 2020, 18:14:43 UTC
Last modified: 13 Nov 2020, 6:11:28 UTC

И ещё 10 уникальных КФ ОДЛК нашла черепашка в линейке 6, самая большая группа в этой порции решений - четвёрочка

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

Тэк-с, на сегодня закрываемся :)
Наша БД выросла до 55255 КФ ОДЛК.

Ах, опять палиндром :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6822 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6828 - Posted: 13 Nov 2020, 16:59:36 UTC
Last modified: 13 Nov 2020, 17:03:05 UTC

На вечер пятницы помощник снял результаты в линейке 7.
Получено 51 уникальных КФ ОДЛК.
По группам ОДЛК - однушки, двушки и четвёрки.
Всё нормально. Поиск продолжается.

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6829 - Posted: 14 Nov 2020, 8:47:58 UTC
Last modified: 14 Nov 2020, 9:44:02 UTC

Последняя статистика по линейкам, кажется, была здесь
https://boinc.progger.info/odlk/forum_thread.php?id=44&postid=6796

Выкладываю статистику по линейкам на данный момент

линейка 1 - 1575 (1655)
линейка 2 - 152 (825)
линейка 3 - 1219 (2400)
линейка 4 - 3539 (4403)
линейка 5 - 718 (718)
линейка 6 - 474 (1352)
линейка 7 - 21868
линейка 8 - 1112
линейка 9 - 1615 (2445)
линейка 10 - 740 (1536)
линейка 11 - 3739
линейка 12 - 2695
линейка 13 - 8790
линейка 14 - 826 (1069)
линейка 15 - 1386
линейка 16 - 685
линейка 17 - 252 (912)
линейка 18 - 1349 (1555)
линейка 19 - 558 (1234)
линейка 20 - 2014 (2195)
--------------------
Всего: 55306 КФ ОДЛК

В скобках указаны результаты BOINC-проектов по завершённым там линейкам.

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

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6830 - Posted: 14 Nov 2020, 8:55:33 UTC

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

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6831 - Posted: 14 Nov 2020, 9:07:04 UTC
Last modified: 14 Nov 2020, 9:12:31 UTC

Обалденно вкусная линейка 7 :)

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

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

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

. . . . . . .  

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

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

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

There are 21868 squares in the rule 7

Минимальная КФ ОДЛК есть, максимальная КФ ОДЛК есть.
В линейке уже найдено 21868 КФ ОДЛК.
Ещё что-то она держит, но скоро всё отдаст нам :)

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6832 - Posted: 14 Nov 2020, 10:06:39 UTC
Last modified: 14 Nov 2020, 10:22:01 UTC

О "хвосте" линейки 6

Цитата
Последняя КФ ОДЛК в линейке сейчас

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

Не очень близко к концу линейки, то есть "хвост" приличный.

Сейчас определю, в какой группе из 922 находится последняя КФ ОДЛК.

Определила. Последнее решение находится в 686-й группе.
Пыталась искать решения в "хвосте", не нашла; конечно, мало проверила.
Однако КФ совсем не исчезли; есть, но мало, и чем дальше - тем меньше их.
В общем, шансы на существование решений (марьяжных КФ) в "хвосте" линейки 6 очень маленькие.

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6833 - Posted: 14 Nov 2020, 10:34:30 UTC
Last modified: 14 Nov 2020, 10:35:57 UTC

А мы с черепашкой пощупаем линейку 2.
Информация о линейке

Линейка №2
1 0 3 2 4 6 7 8 5

вариантов первой строки 924
минимальная КФ
0 2 3 4 5 6 7 8 1
2 1 4 5 3 7 8 0 6
1 0 2 7 6 8 3 4 5
4 5 0 3 8 2 1 6 7
3 7 6 8 4 0 5 1 2
7 3 8 6 1 5 0 2 4
8 4 7 1 2 3 6 5 0
6 8 5 2 0 1 4 7 3
5 6 1 0 7 4 2 3 8

Первая КФ ОДЛК в линейке на данный момент

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

Вполне возможно, что это не минимальная КФ ОДЛК.
Последняя КФ ОДЛК в линейке сейчас

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

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

Send message
Joined: 6 Apr 17
Posts: 13056
Credit: 0
RAC: 0
Message 6834 - Posted: 14 Nov 2020, 18:28:32 UTC

Ужасная линейка 2!
За несколько часов удалось найти всего одну уникальную КФ ОДЛК в этой линейке, это однушка.
Два-три решения идут подряд, потом огромная пустыня. И так повторяется.
В общем, тут нужна тотальная проверка, прощупыванием интервалов ничего не находится.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 6834 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Previous · 1 . . . 17 · 18 · 19 · 20 · 21 · 22 · 23 . . . 34 · Next

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


©2024 (C) Progger