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

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

линейка 12

There are 4189 squares in the rule 12

долг: 4298 - 4189 = 109

линейка 15

There are 2491 squares in the rule 15

долг: 2686 - 2491 = 195

линейка 16

There are 1784 squares in the rule 16

долг: 1856 - 1784 = 72

Долги уже небольшие. Финиш близко.

---

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 7 8 5 3 1
6 1 7 5 2 3 8 0 4
5 6 2 8 0 1 3 4 7
4 8 1 3 6 7 2 5 0
7 3 5 0 4 2 1 8 6
8 7 0 6 3 5 4 1 2
3 0 8 7 1 4 6 2 5
1 5 4 2 8 6 0 7 3
2 4 3 1 5 0 7 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.
Всего найдено 134 новых КФ ОДЛК.
Наша БД КФ ОДЛК 9-го порядка содержит на данный момент 67930 КФ ОДЛК.

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

There are 4213 squares in the rule 12

долг: 4298 - 4213 = 85

линейка 15, +37

There are 2528 squares in the rule 15

долг: 2686 - 2528 = 158

линейка 16, +20

There are 1804 squares in the rule 16

долг: 1856 - 1804 = 52

Самый большой долг у линейки 15, плохо отдаёт решения эта линейка.
Да, линейки эти сложные, проверка очень вязкая.
Ну, осталось уже чуть-чуть.

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

There are 1105 squares in the rule 10

+8
долг: 1536 - 1105 = 431

---

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

Прибыли новые результаты от помощника из линеек 12, 15 и 16.
Найдено 128 новых КФ ОДЛК, и сейчас наша БД содержит 68058 КФ ОДЛК.

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

There are 4231 squares in the rule 12

+18
долг: 4298 - 4231 = 67

линейка 15

There are 2563 squares in the rule 15

+35
долг: 2686 - 2563 = 123

линейка 16

There are 1823 squares in the rule 16

+19
долг: 1856 - 1823 = 33

В линейках 12 и 16 осталось по 2 группы, в линейке 15 - 4 группы.
Нашей с черепашкой линеечке 10 досталось рикошетом 4 решения.

Очень давно нет результатов от Demis (линейки 6, 7) и от XAVER (линейка 13).
Черепашка трудится в линейке 10, но новых решений попадается мало.

---

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

Хорошая новость!
Прибыли новые результаты из линеек 12, 15, 16.
Найдено 59 новых КФ ОДЛК.
Наша БД содержит на данный момент 68117 КФ ОДЛК.

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

There are 4238 squares in the rule 12

+7
долг: 4298 - 4238 = 60

линейка 15

There are 2575 squares in the rule 15

+12
долг: 2686 - 2575 = 111

линейка 16

There are 1836 squares in the rule 16

+13
долг: 1856 - 1836 = 20

В линейке 12 осталась одна группа, в линейке 15 - 3 группы, в линейке 16 - 2 группы, в том числе, "хвост". Очень длинный "хвост" у этой линейки, в линейках 12 и 15 "хвосты" давно завершились.
Линейка 15 самая вязкая: КФ, видимо, много, хотя марьяжных КФ маловато (всего 2686, по данным BOINC-проектов).

В нашу с черепашкой линеечку 10 прилетели 6 КФ ОДЛК рикошетом

There are 1111 squares in the rule 10

долг: 1536 - 1111 = 425 КФ ОДЛК

---

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

Наконец-то, и нам с черепашкой немножко повезло :)
В линейке 10 найдены две очень интересные новые двушки

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

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

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

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

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

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

Проверяю эту группу ОДЛК на ортогональные пары программой Harry White GetOrthogonal

Order? 9

Enter the name of the squares file: inp
..output file inpPairs_10.txt
..output file inpPairNos_10.txt
squares 6 orthogonal pairs 8

ОДЛК образуют 8 ортогональных пар.
Таблица ортогональности

2:  1
3:  1
4:  2 3
5:  1 4
6:  1 4

И при этом вся группа из 6 ОДЛК даёт только 2 КФ ОДЛК; эти 2 КФ ОДЛК дают основные ДЛК двушек.
Весьма интересная конфигурация!

Всего 2 КФ ОДЛК добавили мы с черепашкой в БД, но черепашка всё равно ликует :) что-то и у неё получается добавить.

---

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

Ой! И ещё найдены новые решения.
Завтра буду их смотреть на свежую голову.

Ура! Ура! Ура!
Браво черепашке!
А сейчас она будет отдыхать.

---

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

Цитата

Проверяю эту группу ОДЛК на ортогональные пары программой Harry White GetOrthogonal

Order? 9

Enter the name of the squares file: inp
..output file inpPairs_10.txt
..output file inpPairNos_10.txt
squares 6 orthogonal pairs 8

ОДЛК образуют 8 ортогональных пар.
Таблица ортогональности

2:  1
3:  1
4:  2 3
5:  1 4
6:  1 4

И при этом вся группа из 6 ОДЛК даёт только 2 КФ ОДЛК; эти 2 КФ ОДЛК дают основные ДЛК двушек.
Весьма интересная конфигурация!

Нарисовала эту интересную конфигурацию в программе SageMath
https://sagecell.sagemath.org/
Команды

sage: d = {2: [1], 3: [1], 4: [2, 3], 5: [1, 4], 6: [1, 4]}
sage: g = Graph (d)
sage: g.show ()
sage: g.cliques_maximum ()

Результат


Такая вот красивая конфигурация.
Программа выдаёт 8 клик размера 2.
В конфигурации имеется 2 четвёрки и 4 двушки.

А сейчас буду смотреть ещё новые решения, найденные вчера вечером черепашкой в линейке 10.

---

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

Вот какая группа решений найдена

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

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

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

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

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

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

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

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

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

Правда, не все КФ ОДЛК в этой группе новые.
Но сначала посмотрю на эту группу решений с точки зрения ортогональных пар (программой GetOrthogonal проверю).

---

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

Программа GetOrthogonal выдаёт

Order? 9

Enter the name of the squares file: inp
..output file inpPairs_11.txt
..output file inpPairNos_11.txt
squares 26 orthogonal pairs 65

Таблица ортогональных пар

10:  1 2 3 4
11:  1 2 3 4
12:  1 2 3 4
13:  1 2 3 4
14:  1 2 3 4
15:  1 2 3 4
16:  1 2 3 4
17:  1 2 3 4
18:  5
19:  6 7 8 9
20:  6 7 8 9
21:  6 7 8 9
22:  6 7 8 9
23:  6 7 8 9
24:  6 7 8 9
25:  6 7 8 9
26:  6 7 8 9

Интересно, программа SageMath нарисует эту конфигурацию?
Сейчас попробую.

---

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

Рисует :)



Здесь, собственно, три отдельные конфигурации. Две первые похожие (можно сказать даже - одинаковые), третья - просто независимая однушка.
Надо нарисовать первую конфигурацию покрупнее, чтобы лучше было видно.

---

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

Готово!



Интересная конфигурация!
Да две сразу такие нашлись.

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

---

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

Вся показанная группа ОДЛК даёт всего 6 КФ ОДЛК (очень много изоморфов!), из них 4 новые, вот они

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

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

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

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

Отлично! Вчера мы с черепашкой добавили 6 КФ ОДЛК в нашу БД.
И сейчас наша БД содержит 68123 КФ ОДЛК.

Черепашка продолжает упорно трудиться.

---

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

Хорошая новость!
Прибыли новые решения от Demis из линеек 6 и 7.
Вот тоже долгоиграющие линейки :) всё ещё не завершились.
Всего найдено 480 новых КФ ОДЛК, и наша БД теперь содержит 68603 КФ ОДЛК.
Прогресс налицо.

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

There are 1274 squares in the rule 6

+186
долг: 1352 - 1274 = 78 КФ ОДЛК

линейка 7

There are 24205 squares in the rule 7

+127
долг: 24517 - 24205 = 312 КФ ОДЛК

Ну, что тут скажешь. Линейка 6 очень вязкая, но всё-таки почти сдалась, остался долг 78 КФ ОДЛК.
Линейка 7 чемпион по количеству решений; естественно, она самая трудная в проверке, потому что много КФ вообще и много марьяжных КФ.
Ещё 312 КФ ОДЛК должно быть в этой линейке.
Спасибо Demis за упорство в борьбе с этими трудными линейками.

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

There are 1129 squares in the rule 10

долг: 1536 - 1129 = 407 КФ ОДЛК

---

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

Новая экспресс-статистика по линейкам

There are 1606 squares in the rule 1 (-49)
There are 409 squares in the rule 2 (-416)
There are 3885 squares in the rule 4 (-518)
There are 1274 squares in the rule 6 (-78)
There are 24205 squares in the rule 7 (-312) 
There are 1870 squares in the rule 8 (-996)
There are 1941 squares in the rule 9 (-504)
There are 1129 squares in the rule 10 (-407)
There are 4419 squares in the rule 11 (-1003)
There are 4241 squares in the rule 12 (-57)
There are 10229 squares in the rule 13 (-1134) 
There are 2581 squares in the rule 15 (-105)
There are 1836 squares in the rule 16 (-20)
There are 483 squares in the rule 17 (-429)
There are 1415 squares in the rule 18 (-140)
There are 826 squares in the rule 19 (-408)
There are 2067 squares in the rule 20 (-128)

Не включены завершённые линейки 3, 5, 14.
В скобках указан долг линеек.
Самый большой долг в линейке 13. Как там XAVER справляется с этой линейкой, пока неизвестно.
Самый маленький долг в линейке 16, которая находится в проверке.
Общий долг: 6704 КФ ОДЛК.
В БД содержится 68603 КФ ОДЛК.
Общий результат с учётом долга должен получиться 75307 КФ ОДЛК (по данным BOINC-проектов).

---

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

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

Это ортогональки однушек

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

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

они изоморфны основным ДЛК однушек.
Таким образом, в БД добавилось только 2 КФ ОДЛК.

---

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

Черепашка нашла новые решения в линейке 10, всего получилось 6 новых КФ ОДЛК, показываю их все

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

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

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

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

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

0 2 5 4 6 8 7 3 1
7 1 3 8 5 6 4 0 2
1 4 2 5 7 0 3 8 6
8 0 6 3 2 7 5 1 4
3 8 7 0 4 1 2 6 5
4 3 0 6 1 5 8 2 7
5 7 8 1 0 2 6 4 3
6 5 4 2 8 3 1 7 0
2 6 1 7 3 4 0 5 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.
Найдено 58 новых КФ ОДЛК.
Наша БД на данный момент содержит 68669 КФ ОДЛК.

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

линейка 12

There are 4243 squares in the rule 12

+ 2
долг: 4298 - 4243 = 55

линейка 15

There are 2602 squares in the rule 15

+ 21
долг: 2686 - 2602 = 84

линейка 16

There are 1854 squares in the rule 16

+ 18
долг: 1856 - 1854 = 2

В линейках 12 и 16 осталось по одной группе, в линейке 15 - три группы, упрямая линейка.
Линейка 16 вот-вот завершится, всего два решения держит.

---

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

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

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

Ура, ура, ура!
6 КФ ОДЛК добавилось в БД.

Так, что там в нашей линеечке? Сейчас гляну.
Вот

There are 1135 squares in the rule 10

долг: 1536 - 1135 = 401

Медленно, но верно мы выполняем тотальную проверку.

---

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

Посмотрела вчера на линейку 16, которая в проверке у помощника.
Интересно: в линейке осталась в проверке одна группа - 20-я, причём конец этой группы, то есть "хвост".
Линейка держит всего два решения.
В "хвосте" КФ мало, но они стабильно есть, то есть дикая пустыня не наблюдается.
Но когда две марьяжные КФ встретятся, трудно сказать.
Да, "хвосты", как правило, длинные и ещё полупустые (в смысле наличия КФ СН ДЛК).
Последние решения, найденные в "хвосте" линейки 16

. . . . . . . 

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

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

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

---

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