Наконец-то!
После нескольких дней пустоты найдена уникальная однушка в линейке 10

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

Зацепилась-таки, а куда же деваться из сети тотальной проверки! Ни одна рыбка не выскочит :)

Ну вот и мы с черепашкой добавили в БД 2 КФ ОДЛК.
Скромный вклад, но он тоже важен.

И ешё найдена уникальная однушка!

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

Ещё 2 КФ ОДЛК добавили в БД.

Сегодня нам с черепашкой везёт.
Ах да, сегодня восересенье, мой день :) Я в воскресенье родилась.

---

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

А вот и мощные результаты пришли от помощника, из линеек 12, 15, 16.
Обработала все вместе, получилось 441 уникальных КФ ОДЛК. Отлично!
Наша БД содержит теперь 65572 КФ ОДЛК.
Линеечки хорошо продвигаются, в линейке 12 завершено 12 групп, в линейке 15 - 14 групп, в линейке 16 - 12 групп ( в каждой линейке 20 групп в расчёте).
В двух линейках просчитались "хвосты", что очень хорошо.
Сейчас посмотрю, как подросли эти линейки, а также - что досталось нашей с черепашкой линейке 10 рикошетом.

Линейка 12

There are 3965 squares in the rule 12

долг: 4298 - 3965 = 333 КФ ОДЛК

Линейка 15

There are 2273 squares in the rule 15

долг: 2686 - 2273 = 413 КФ ОДЛК

Линейка 16

There are 1604 squares in the rule 16

долг: 1856 - 1604 = 252 КФ ОДЛК

Наша линеечка 10

There are 1050 squares in the rule 10

долг: 1536 - 1050 = 486 КФ ОДЛК

---

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

Наша линеечка 10 подросла на 2 КФ ОДЛК.
Под занавес 77-й группы нашлась однушка, покажу её полностью

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

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

Это первое решений в 77-й группе, может, и последнее.
Готовимся к переходу в 78-ю группу.

---

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

А у помощника всё чудесно!
Новые результаты из линеек 12, 15, 16 дали 242 уникальных КФ ОДЛК.
Наша БД выросла до 65816 КФ ОДЛК.

Сейчас посмотрю, как подросли линеечки, а также сколько рикошетом досталось нашей с черепашкой линейке 10.

Отчёт
Линейка 12

There are 4012 squares in the rule 12

+47 КФ ОДЛК
Долг: 4298 - 4012 = 286 КФ ОДЛК

Линейка 15

There are 2313 squares in the rule 15

+40 КФ ОДЛК
Долг: 2686 - 2313 = 373 КФ ОДЛК

Линейка 16

There are 1667 squares in the rule 16

+63 КФ ОДЛК
Долг: 1856 - 1667 = 189 КФ ОДЛК

Наша с черепашкой линейка 10 получила рикошетом всего 2 КФ ОДЛК, а 2 КФ ОДЛК черепашка нашла.

There are 1054 squares in the rule 10

Долг: 1536 - 1054 = 482 КФ ОДЛК

К сожалению, молчит XAVER. Написать ему что ли? Не случилось ли у него чего? :(
Молчит ice00; ну, у него точно ничего не случилось :)
Мы недавно с ним генерировали задания для проекта ODLK1.
Так что, сильно подозреваю, что он бросил считать в этом проекте.
И линейка 9 у нас повисла.

---

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

У меня отличная новость!
Прибыли решения от XAVER из линейки 13.
Эта линейка оправдывает свой номер - чёртова дюжина :)
XAVER пишет, что считается очень долго. Понимаю.
Это вторая по сложности линейка, после линейки 7.
В линейке на данный момент завершено 5 групп из 10.
Найдено 965 уникальных КФ ОДЛК. Отличный результат!
Наша БД выросла до 66781 КФ ОДЛК.

Линейка 13 подросла хорошо

There are 10170 squares in the rule 13

Долг: 11363 - 10170 = 1193

Нашей с черепашкой линейке 10 досталось рикошетом 16 КФ ОДЛК

There are 1070 squares in the rule 10

Долг: 1536 - 1070 = 466

Очень рада, что у XAVER всё в порядке.
Мы продолжаем вычисления в проекте!
Команда у нас замечательная.

---

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

Цитата

Экспресс-статистика по линейкам (не включены в статистику завершённые линейки 3, 5, 14)

There are 1606 squares in the rule 1 (1655) 
There are 311 squares in the rule 2 (825)
There are 3776 squares in the rule 4 (4403) 
There are 987 squares in the rule 6 (1352) 
There are 23899 squares in the rule 7 (24517)
There are 1590 squares in the rule 8 (2866)
There are 1853 squares in the rule 9 (2445)
There are 1035 squares in the rule 10 (1536)
There are 4163 squares in the rule 11 (5422) 
There are 3676 squares in the rule 12 (4298)
There are 9268 squares in the rule 13 (11363)
There are 2026 squares in the rule 15 (2686)
There are 1375 squares in the rule 16 (1856)
There are 384 squares in the rule 17 (912)
There are 1395 squares in the rule 18 (1555)
There are 761 squares in the rule 19 (1234)
There are 2065 squares in the rule 20 (2195)

В скобках указано количество КФ ОДЛК в линейках согласно данным, полученным в BOINC-проектах.

Это было на 1 марта т. г.
Сейчас обновлю экспресс-статистику.

Готово!

There are 1606 squares in the rule 1 (1655)
There are 338 squares in the rule 2 (825)
There are 3825 squares in the rule 4 (4403) 
There are 1027 squares in the rule 6 (1352) 
There are 23940 squares in the rule 7 (24517) 
There are 1737 squares in the rule 8 (2866) 
There are 1895 squares in the rule 9 (2445) 
There are 1070 squares in the rule 10 (1536)
There are 4280 squares in the rule 11 (5422) 
There are 4015 squares in the rule 12 (4298) 
There are 10170 squares in the rule 13 (11363) 
There are 2323 squares in the rule 15 (2686) 
There are 1672 squares in the rule 16 (1856) 
There are 440 squares in the rule 17 (912) 
There are 1402 squares in the rule 18 (1555) 
There are 789 squares in the rule 19 (1234) 
There are 2065 squares in the rule 20 (2195)

В скобках по-прежнему указано конечное количество КФ ОДЛК в линейке согласно данным BOINC-проектов.
Только две линейки не получили добавление: 1 и 20.
Эти линейки уже хорошо укомплектованы, кандидаты на самозавершающиеся линейки :)

Итак, состояние в проекте на сегодня
завершены линейки 3, 5, 14;
считаются линейки: 10, 12, 13, 15, 16;
линейки 6, 7 считаются у Demis по мере возможности;
судьба линейки 9 неизвестна (ice00 ничего не сообщает).

Линейки, которые считаются (кроме линейки 10), просчитаны более чем наполовину.

---

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

Ах, ах, у нас с черепашкой уникальная однушечка в линейке 10, покажу её полностью

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

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

Тоже пригодится.
Черепашка продолжает трудиться в ОДЛК9.

---

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

И ещё одна уникальная однушечка найдена черепашкой в линейке 10

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

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

Кап-кап-кап... :)

---

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

Прибыли результаты от помощника из линеек 12, 15, 16.
Отличные результаты!
Найдено 251 уникальных КФ ОДЛК.
Наша БД превысила 67 тысяч и содержит на данный момент 67036 КФ ОДЛК.
В линейке 12 завершено 15 групп, в линейке 15 - 14 групп, в линейке 16 - 16 групп. В каждой линейке в расчётах было 20 групп.
Это говорит о том, что во всех линейках проверено примерно 2/3 всего объёма.
Да, эти три линейки довольно вязкие, в отличие, скажем, от линеек 3, 5 и 14, которые были проверены достаточно быстро.
Возможно, это связано с плотностью КФ среди СН ДЛК.
В линейках 7 и 13, к примеру, эта плотность очень высокая, поэтому они и проверяются о-ч-е-н-ь долго и имеют самое большое количество решений.

Сейчас посмотрю, как подросли линейки.

---

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

Прибыли результаты от помощника из линеек 12, 15, 16.
Отличные результаты!
Найдено 251 уникальных КФ ОДЛК.
Наша БД превысила 67 тысяч и содержит на данный момент 67036 КФ ОДЛК.
В линейке 12 завершено 15 групп, в линейке 15 - 14 групп, в линейке 16 - 16 групп. В каждой линейке в расчётах было 20 групп.
Это говорит о том, что во всех линейках проверено примерно 2/3 всего объёма.
Да, эти три линейки довольно вязкие, в отличие, скажем, от линеек 3, 5 и 14, которые были проверены достаточно быстро.
Возможно, это связано с плотностью КФ среди СН ДЛК.
В линейках 7 и 13, к примеру, эта плотность очень высокая, поэтому они и проверяются о-ч-е-н-ь долго и имеют самое большое количество решений.

Сейчас посмотрю, как подросли линейки.
Вот
Линейка 10 (рикошетом получила; ну, и мы с черепашкой нашли 4 КФ)

There are 1077 squares in the rule 10

+7 КФ ОДЛК
Долг: 1536 - 1077 = 459

Линейка 12

There are 4060 squares in the rule 12

+45 КФ ОДЛК
Долг: 4298 - 4060 = 238 КФ ОДЛК

Линейка 15

There are 2378 squares in the rule 15

+ 55 КФ ОДЛК
Долг: 2686 - 2378 = 308

Линейка 16

There are 1731 squares in the rule 16

+59 КФ ОДЛК
Долг: 1856 - 1731 = 125

---

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

О-о-о!
Черепашка нашла уникальную двушку

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

3 КФ ОДЛК добавилось в БД от линейки 10.
Ура!

---

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

У черепашки с утречка две уникальные однушки!

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

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

Рядышком однушечки и не найдены были раньше.
Плюс 4 КФ ОДЛК в БД добавилось от линейки 10.

---

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

Прибыли решения от Demis из линеек 6 и 7.
Всего получено 277 уникальных КФ ОДЛК.
Наша БД содержит на данный момент 67320 КФ ОДЛК.

Линейки подросли так:
линейка 6

There are 1088 squares in the rule 6

долг: 1352 - 1088 = 264

линейка 7

There are 24078 squares in the rule 7

долг: 24517 - 24078 = 439

---

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

Прибыли новые решения от помощника из линеек 12, 15, 16.
Отличные решения! Всего найдено 219 уникальных КФ ОДЛК.
Наша БД КФ ОДЛК 9-го порядка содержит на данный момент 67541 КФ ОДЛК.

Линейки подросли так
линейка 12

There are 4122 squares in the rule 12

+62
долг: 4298 - 4122 = 176

линейка 15

There are 2436 squares in the rule 15

+58
долг: 2686 - 2436 = 250

линейка 16

There are 1756 squares in the rule 16

+25
долг: 1856 - 1756 = 100

Нашей с черепашкой линейке 10 тоже кое-что досталось рикошетом

There are 1091 squares in the rule 10

долг: 1536 - 1091 = 445

Всё замечательно! Мы продолжаем.

---

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

А черепашка нашла новую однушечку в конце 81-й группы в линейке 10.
Ура!

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

И наш вклад в БД: 2 уникальные КФ ОДЛК.
Тоже годятся :)

---

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

Мы с черепашкой только что перешли в 83-ю группу линейки 10.
И почти в начале группы первая уникальная однушечка

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

Две КФ ОДЛК добавляем в БД, черепашка рада даже такому скромному вкладу :)
Она продолжает усердно трудиться; пока для поиска ОДЛК9 используется одно ядро, потому что много других работ.

---

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

А у черепашки ещё находка в линейке 10, новая однушечка

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

И 2 КФ ОДЛК добавлено в БД.
Ура! Черепашка ликует :)

---

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

- У-р-р-р-а-а-а! - кричит черепашка.
Новая однушка найдена

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

И 2 КФ ОДЛК добавлены в БД.
2+2+2+2 уже восемь.

Х-о-р-о-ш-о!
Эх, черепашке ещё бы пару ядер.
А мне бы ВЦ! :)
Ой, какие здесь квадратики маленькие, прямо игрушечные :)
Сейчас вот ломаю голову над ДЛК 13-го порядка, это побольше уже квадратики.
Полным перебором их не возьмёшь! Ну, разве что пару BOINC-проектов подключить или поболее :)

Господин Ватутин писал:

Andrew, for this moment I can't confirm result of Natalia, it may be correct, but also it may be wrong. IMHO for this moment 338 (or 338+10) value is lower bound only (a(13)>=338 for semi-cyclic). I suspect that Brute Force based approach will help. Of course with series of optimizations (nested loops, bit arithmetic, the principle of minimum possibilities and variation of the order of filling the square based on it, etc.) as we used during complete enumeration of DLS of order 9 (see https://cs.uwaterloo.ca/journals/JIS/VOL23/Zaikin/zaikin3.pdf).

https://oeis.org/history?seq=A338620&start=10
То есть если со всеми оптимизациями, которые команда НАС-РАТЬ изобрела, можно и подход грубой силы применить для поиска всех пандиагональных ДЛК 13-го порядка.

Так что, есть надежда на грубую силу. Ждём-с.

---

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

Прибыли решения от помощника из линеек 12, 15 и 16.
Линейки отдают последние квадратики.
Всего в новой порции 129 уникальных КФ ОДЛК.
Наша БД на данный момент содержит 67668 КФ ОДЛК.
Все отлично!
В обработке осталось по 4-5 групп в каждой линейке (из 20 первоначальных групп).
И в оставшихся группах уже просчитано много.

Сейчас посмотрю, как подросли линейки.

Вот:
линейка 12

There are 4155 squares in the rule 12

+33
долг: 4298 - 4155 = 143 КФ ОДЛК

линейка 15

There are 2463 squares in the rule 15

+27
долг: 2686 - 2463 = 223 КФ ОДЛК

линейка 16

There are 1768 squares in the rule 16

+12
долг: 1856 - 1768 = 88 КФ ОДЛК

Нашей с черепашкой линейке 10 ничего в этот раз не досталось рикошетом.

---

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

А у черепашки новая однушечка в линейке 10

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

И 2 КФ ОДЛК добавлены в БД.

Наша линеечка подросла так

There are 1097 squares in the rule 10

долг: 1536 - 1097 = 439 КФ ОДЛК

---

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