А у нас уже воскресенье :) и у черепашки новая находка в линейке 10

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

Однушечка.
2 КФ ОДЛК добавились в БД. Тоже пригодятся :)
И долг в линейке 10 стал ровно 400 КФ ОДЛК.

---

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

А тем временем тема перешла на 9-ю страницу.
Страницу 8 скопировала и положила на Яндекс.Диск
https://disk.yandex.ru/d/qzp1be51JVfOrw
формат html, 414 КБ.

---

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

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

линейка 12

There are 4247 squares in the rule 12

+ 4
долг: 4298 - 4247 = 51

линейка 15

There are 2609 squares in the rule 15

+ 7
долг: 2686 - 2609 = 77

линейка 16

There are 1856 squares in the rule 16

+ 2

Все решения найдены (по количеству, найденному в BOINC-проектах).
Однако линейка ещё не завершена.
Самая хвостатая линейка! :)

Вот они - два последние решения в "хвосте" линейки 16

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

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

До конца "хвоста" далековато.
Вдруг ещё найдётся решение. Подождём завершения линейки для окончательного вывода о подтверждении результата BOINC-проектов.

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

There are 1140 squares in the rule 10

И долг в этой линейке теперь
1536 - 1140 = 396

Мы очень рады новым решениям, прилетевшим к нам в линейку :)
Черепашка продолжает усердно проверять линеечку тотально.
Новых решений очень мало встречается.

---

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

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

2 КФ ОДЛК добавились в БД, а в линейку 10 добавилось одно решение.
И долг в линейке 10 теперь стал 395 КФ ОДЛК.

---

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

У черепашки новые находки в линейке 10: однушка и двушка

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

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

И долг в линейке стал 393 КФ ОДЛК.

There are 1143 squares in the rule 10

---

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

Черепашка кричит: "Новая однушка!" :)

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

2 КФ ОДЛК добавились в БД.
И теперь линеечка 10 должна 392 КФ ОДЛК.
Всё-таки отдаёт потихоньку долги :)

---

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

Офигенная новость!
У XAVER завершилась линейка 13!!
У-у-у, чёртова дюжина :)
Всё-таки XAVER её одолел.
XAVER, спасибо вам за упорство и труд.

Итак, обработала результаты линейки 13.
Всего найдено 1394 новых КФ ОДЛК.
Наша БД КФ ОДЛК содержит на данный момент 70102 КФ ОДЛК.
Супер!
Смотрим, как линеечка пополнилась

. . . . . . . 

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

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

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

There are 11363 squares in the rule 13

Замечательно пополнилась! Долгов нет.
Линейка 13 подтверждена по результату BOINC-проектов!
Ура! Ура! Ура!

В четырёх линейках выполнена тотальная проверка: 3, 5, 13, 14.
Результаты во всех линейках подтвердили результаты BOINC-проектов.
Близки к завершению ещё пять линеек: 6, 7, 12, 15 и 16.
В проверке ещё линейка 10, но она далека от завершения.

Ой, а нашей с черепашкой линеечке 10, наверное, что-нибудь досталось рикошетом :)
Сейчас гляну.

Вот

There are 1155 squares in the rule 10

+11
Мы очень рады прилетевшим к нам новым решениям.
Теперь долг в линейке 10
1536 - 1155 = 381

---

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: a
Choose 1 - get counts and maximun pairs, or 2 - get pairs for one square: 1
..output file a-orthCounts.txt
..output file a-orthNos.txt
squares 2838 total orthogonal pairs 2345
Maximum pairs for square 1880: 12
There is 1 other square with this maximum number of pairs.
..output file a-1880orths.txt
Pairs for square 1880: 12

Две 12-ки - максимальные группы ОДЛК.
Показываю основной ДЛК первой 12-ки (квадрат 1880)

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

Фрагмент счётчика ортогональных пар

. . . . . . . . 
        1871            1
        1872            2
        1873            2
        1874            2
        1875            2
        1876            2
        1877            1
        1878            1
        1879            1
        1880           12

        1881           12
        1882            4
        1883            4
        1884            4
        1885            4
        1886            2
        1887            2
        1888            2
        1889            2
        1890            4
. . . . . . . . . 

12-ки рядом. Показываю основной ДЛК второй 12-ки (квадрат 1881)

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

---

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

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

Ура!
А КФ ОДЛК эти однушки дали только 3. Родственницы, наверное :) Недаром они так похожи.

---

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

Отличная новость!
У помощника завершилась линейка 16.
Новых решений в "хвосте" не найдено.
Итак, мы подтвердили ещё один результат BOINC-проектов: в линейке 16 найдено 1856 КФ ОДЛК.

У помощника досчитываются две линейки - 12 и 15.
Всего найдено 20 новых КФ ОДЛК.
Наша БД КФ ОДЛК содержит на данный момент 70125 КФ ОДЛК.

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

линейка 12

There are 4254 squares in the rule 12

+ 7
долг: 4298 - 4254 = 44

линейка 15

There are 2625 squares in the rule 15

+ 16
долг: 2686 - 2625 = 61

В линейке 12 осталась одна группа, в линейке 15 - три группы.

---

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

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

Ура!
А КФ ОДЛК эти однушки дали только 3. Родственницы, наверное :) Недаром они так похожи.

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

Order? 9

Enter the name of the squares file: inp3
Choose 1 - get counts and maximun pairs, or 2 - get pairs for one square: 1
..output file inp3-orthCounts_1.txt
..output file inp3-orthNos_1.txt
squares 3 total orthogonal pairs 2
Maximum pairs for square 1: 2
This is the only square with this maximum number of pairs.
..output file inp3-1orths_1.txt
Pairs for square 1: 2

Однако... двушечка получилась.
Вот она

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

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

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

И это всё.
Такие вот чудеса: были две однушечки очень похожие, от них произошла двушечка.

---

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

Итак, в нашем ручном проекте "Поиск БД КФ ОДЛК порядка 9" полностью проверены 5 линеек из 20: 3, 5, 13, 14, 16.
Все полученные результаты подтвердили результаты двух BOINC-проектов.
Полностью проверено 25% всего пространства поиска.

В проверке находятся линейки 6, 7, 10, 12, 15.
При этом линейки 6, 7, 12, 15 близки к завершению.

XAVER согласился посчитать ещё одну линейку.
Линейка 8 ушла к нему.
Таким образом, в процессе находятся уже 6 линеек.
Ну, и в 9 линейках пока не начиналась тотальная проверка.

По общему количеству найденных КФ ОДЛК мы близки к итоговому значению, полученному в BOINC-проектах.
Наша БД на данный момент содержит 70125 КФ ОДЛК.
Итог в BOINC-проектах 75307 КФ ОДЛК.
Таким образом, БД у нас заполнена на 93%.

---

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 440 squares in the rule 2 (-385)
There are 3911 squares in the rule 4 (-492)
There are 1289 squares in the rule 6 (-63)
There are 24223 squares in the rule 7 (-294)
There are 1912 squares in the rule 8 (-954)
There are 1977 squares in the rule 9 (-468)
There are 1158 squares in the rule 10 (-378)
There are 4492 squares in the rule 11 (-930)
There are 4254 squares in the rule 12 (-44)
There are 2625 squares in the rule 15 (-61)
There are 499 squares in the rule 17 (-413)
There are 1422 squares in the rule 18 (-133)
There are 836 squares in the rule 19 (-398)
There are 2075 squares in the rule 20 (-120)

Не включены в статистику завершённые линейки 3, 5, 13, 14, 16.
В скобках указан долг в линейке по сравнению с итоговым значением по данным BOINC-проектов.

Общий долг по линейкам: 5182 КФ ОДЛК.
БД содержит на данный момент: 70125 КФ ОДЛК.
Итоговое количество по данным BOINC-проектов: 75307 КФ ОДЛК.

---

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

Отличная новость!
Прислал результаты ice00 из линейки 9.
Оказывается, он всё-таки считает, а я думала, что бросил.
Значит, у нас 7 линеек в процессе и 5 линеек завершённых.

Ну, у ice00 примерно как у нас с черепашкой идёт расчёт :)
Он считает на двух ядрах.
Таким образом, линейки 9, 10 будут считаться очень долго, пока рикошет их не завершит :)

Всего найдено у ice00 32 новые КФ ОДЛК.
Наша БД на данный момент содержит 70157 КФ ОДЛК.
Линейка 9 подросла так

There are 1996 squares in the rule 9

+19
долг: 2445 - 1996 = 449

---

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

Хорошая новость!
Прибыли новые решения от помощника из линеек 12 и 15.
Найдено 33 новых КФ ОДЛК.
Наша БД на данный момент содержит 70190 КФ ОДЛК.

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

There are 4260 squares in the rule 12

+ 6
долг: 4298 - 4260 = 38

линейка 15

There are 2640 squares in the rule 15

+ 15
долг: 2686 - 2640 = 46

Последние решения отдаются со скрипом.
Не хотят линейки всё отдавать :)
Ну, никуда не денутся, отдадут

---

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

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

There are 4266 squares in the rule 12

+ 6
долг: 4298 - 4266 = 32

линейка 15

There are 2650 squares in the rule 15

+ 10
долг: 2686 - 2650 = 36

Почти сравнялись линеечки по долгу.
Ещё немного, ещё чуть-чуть... :)

Вторая новость радостная: помощник запустил в проверку ещё три линейки: 2, 4, 11.
Решения уже пошли.
Сейчас обработаю.

---

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

Обработала результаты от линеек 2, 4, 11.
Линейка 2 - 104 новых КФ ОДЛК;
линейка 4 - 138 новых КФ ОДЛК;
линейка 11 - 352 новых КФ ОДЛК.
Всего в БД добавилось 594 КФ ОДЛК.
Наша БД содержит на данный момент 70815 КФ ОДЛК. Заполнена на 94%.

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

There are 440 squares in the rule 2 (-385)
There are 3911 squares in the rule 4 (-492)
There are 4492 squares in the rule 11 (-930)

В скобках указан долг относительно данных, полученных в BOINC-проектах.

Теперь имеется в линейках
линейка 2

There are 516 squares in the rule 2

+ 76
долг: 825 - 516 = 309

линейка 4

There are 4013 squares in the rule 4

+102
долг: 4403 - 4013 = 390

линейка 11

There are 4757 squares in the rule 11

+ 265
долг: 5422 - 4757 = 665

Самая вязкая линейка 2.
Похоже, сплошные пустыни. Недаром в ней так мало решений - всего 825.
Пустыни, видимо, есть и первого, и второго рода.
Пустыни первого рода: когда КФ СН ДЛК нет.
Эти пустыни даже полезны, так как нет КФ и проверять нечего. Программа не тормозится, бежит и бежит дальше.
Хуже пустыни второго рода: когда КФ СН ДЛК есть, но они "пустышки".
В этом случае КФ проверяются, время затрачивается, а результат нулевой.

---

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

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

There are 1176 squares in the rule 10

Долг: 1536 - 1176 = 360

Черепашка продолжает тотальную проверку в этой линейке.

---

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

Итак, в проекте пять завершённых линеек, десять линеек в обработке и в пяти линейках тотальная проверка не начиналась (1, 17, 18, 19, 20).
Близки к завершению линейки: 6, 7, 12, 15.

Линейка 1 имеет очень маленький долг.

There are 1608 squares in the rule 1

долг: 1655 - 1608 = 47

Может быть, самозавершится от рикошета :)
Линейки 9 и 10 считаются очень медленно (линейка 9 - у ice00, линейка 10 - у меня).

---

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