Горячие результаты от помощника

Линеечка 7 продолжает радовать.
Результаты, найденные в этой линейке, дали 92 уникальные КФ ОДЛК.
По группам ОДЛК - однушки, двушки и четвёрки, да одна троечка затесалась

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

Сейчас посмотрю, сколько КФ ОДЛК добавилось в саму линейку 7.
Вот

. . . . . . 
 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 22062 squares in the rule 7

Прирост в линейке 7 составил 66 КФ ОДЛК.
И это ещё далеко не предел.
Линейка ещё долго будет считаться, в ней завершено всего 5 групп (из 20) и "хвост".
В обработке находятся 15 групп из области существующих решений.
Ждём новых решений в этой линейке!

---

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

Наша БД выросла до 55778 КФ ОДЛК.
Последняя постобработка дала БД, состоящую из 54945 КФ ОДЛК.
Скоро будет прирост 1000 КФ ОДЛК. Тогда опять включу постобработку.

Что-то там у ice00, наверное, есть в линейке 9.
XAVER заканчивает линейку 14.
Нам с черепашкой сегодня линейка 12 дала 14 уникальных КФ ОДЛК. Мы продолжаем эту линейку прощупывать.

---

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

Ой, как интересно!
https://boinc.ru/forum/topic/proekt-gerasimhome/?part=54#postid-3048
Цитирую

Сейчас необходимо как можно быстрее досчитать 9-ки, все тщательно перепроверить (тут я уже начал) и опубликовать, потому как конкуренты не дремлют (хотя с их квадратно-гнездовым способом проверки (в этом интервале ищем, в этом — не ищем) ни о какой независимой проверке не может быть и речи, в зачет принимается только полный перебор, а его считать 125 лет в 1 поток, будем их ждать... :).

Хе-хе...
Господин Ватутин явно чего-то не понял.

"квадратно-гнездовым способом проверки" - это где он о таком способе проверки прочитал?

У нас работают три участника проекта.
1 участник - 20 потоков;
2 участник - 14 потоков;
3 участник - 2 потока.
Итого: 36 потоков.
При этом все они выполняют тотальную проверку программой Белышева generator_kf_odlk9.
Подчеркнула специально для господина Ватутина, чтобы лучше смог разглядеть.

Линейку 5 участник 1 уже полностью обработал и результат в линейке получен 718 КФ ОДЛК.
Точно такой же результат получен в BOINC-проектах.
Таким образом, независимая тотальная проверка линейки 5 выполнена и результат подтверждён.
Подчеркнула и тут для господина Ватутина, чтобы он обратил пристальное внимание на этот факт.

В обработке сейчас находятся линейки 6, 7, 9, 14.
Линейка 14 близка к завершению.

Да, и мы в конкуренты к команде "НАС-РАТЬ" не записывались.
Проект БД КФ ОДЛК порядка 9 был официально объявлен мной 10 августа т. г., о чём написано тут
https://boinc.progger.info/odlk/forum_thread.php?id=165
А в Gerasim@Home данный проект запущен месяц спустя после этого, 10 сентября т. г.
Проект Rake Search присоединился к проекту Gerasim@Home 27 сентября т. г.
Так что, наша команда считает объявленный мной проект и ни с кем не конкурирует.
Это очень смешные фантазии господина Ватутина.

Мой рекордный результат по ОДЛК 9-го порядка уже опубликован в OEIS, и его ещё надо побить, чтобы новый рекорд опубликовать.
https://oeis.org/A287695

a(9) >= 614 (Updated) - Natalia Makarova, Aug 17 2020

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

Последняя статистика по линейкам в нашей БД тут
https://boinc.progger.info/odlk/forum_thread.php?id=44&postid=6850

PS. Скорее всего, Ватутин всё прекрасно понял и умышленно занимается дезинформацией.
Ну, это мы уже проходили.
Мели, Емеля, твоя неделя.

---

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

Помощник сегодня запустил в обработку первую группу линейки 1.
"Хвост" этой линейки у него уже запущен и считается. Даже одно решение нашлось в "хвосте".
Теперь, по освобождении ядра от завершённой группы линейки 7, он запустил первую группу.
Как всегда, область существующих решений линейки разбита на 20 групп (для 20 потоков).
На данный момент линейка 6 содержит 479 КФ ОДЛК.
По данным BOINC-проектов эта линейка содержит 1352 КФ ОДЛК (звершена там).
Ожидается хорошее добавление в линейке
1352 - 479 = 873 КФ ОДЛК.

---

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

И ура!
Уже найдена минимальная КФ ОДЛК в линейке 6

Найден ОДЛК #1:
 
0 2 3 4 5 7 8 6 1
2 1 4 8 7 3 5 0 6
7 4 2 1 6 8 3 5 0
1 5 8 3 0 6 7 2 4
8 7 5 6 4 0 2 1 3
4 3 6 2 1 5 0 8 7
3 0 7 5 8 1 6 4 2
6 8 1 0 3 2 4 7 5
5 6 0 7 2 4 1 3 8
Расчет получен: 2020-11-18.16:22:08

Это из запущенной первой группы линейки.

Была в линейке вот эта первая КФ ОДЛК

 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! Ждём новых решений.

---

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

В линейке 10 мы с черепашкой ничего нового не нашли методом интервалов.
Запустила стратегию №1 в этой линейке (стратегия описана тут).
Сейчас нашлось первое решение - однушка.
Покручу эту стратегию, она для меня очень удобна - позволяет проверять порционно и при этом тотально.

Замечу, что стратегия №1 имеет ещё одно преимущество: проверяются на марьяжность все КФ СН ДЛК, а не только находящиеся в данной линейке.

---

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

Прочитала вчера черепашка это

...(хотя с их квадратно-гнездовым способом проверки (в этом интервале ищем, в этом — не ищем) ни о какой независимой проверке не может быть и речи, в зачет принимается только полный перебор...

и рыдает, никак не могу её успокоить :)
Уже сказала ей, что мы с ней тоже будем проверять тотально линейку 10.
Сегодня утром она всё ещё всхлипывает :)
- Это пойдёт в зачёт? - спрашивает.
- Да, конечно, пойдёт; и всё, что мы раньше считали, тоже внесено в БД, - говорю ей.

Итак, мы временно остановили эксперимент мультисимметрия, который до вчерашнего дня у нас работал, и начинаем тотальную проверку линейки 10 в два потока.
Таким образом, к 36 потокам моих помощников прибавляются ещё два потока черепашки.
Как я уже сообщила вчера, при тотальной проверке линейки 10 мы используем стратегию №1 (не программу Белышева generator_kf_odlk9).
У ice00 тоже два потока на стареньком сервере, и решений мало находится у него в линейке 9.
Разумеется, более мощно работают участники с 20 и с 14 потоками.
Это и ежу понятно.
А вот интересно: сколько потоков в двух BOINC-проектах?
Как мне кажется, они очень долго это пережёвывают.
Тут работы для кластера, например, на пару недель, максимум - на месяц.
Неужели два BOINC-проекта не имеют 1000 потоков?

Обсмеять чью-то работу может любой дурак.
Умный не будет обсмеивать. Умный возьмёт всё ценное и при этом не забудет указать ссылку.

---

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

Черепашка повеселела и принялась за работу :)
Два потока, тотальная проверка линейки 10, стратегия №1



Мы начали проверку с группы линейки 10 (по разбиению Harry White), в которой находится текущий рекордный ОДЛК, вот этот

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

То есть это группа СН ДЛК, определяемая такой первой строкой

0 2 5 4 7 3 8 6 1

В этой же группе находится и этот ОДЛК

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

Посмотрим, что ещё интересного содержит эта группа.

---

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

ice00 прислал единственное новое решение в линейке 9

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

Это однушка.
Очень плохо линейка отдаёт решения.
Напомню: "хвост" этой линейки уже посчитан помощником.
Минимальная КФ ОДЛК в линейке тоже давно найдена.
Осталось найти все решения в области существующих решений, но вот почему-то эти решения ищутся трудно.
Ну, конечно, не последняя причина в том, что всего два потока в проверке.
Покажу минимальную и максимальную КФ ОДЛК в этой линейке и по паре КФ ОДЛК с ними рядом

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

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

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

. . . . . . . 

 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 

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

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

There are 1626 squares in the rule 9 

На данный момент линейка содержит 1626 КФ ОДЛК.
По данным BOINC-проектов в линейке 2445 КФ ОДЛК.
Ожидается добавление
2445 - 1626 = 819 КФ ОДЛК

---

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

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

здесь находится черепашка

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

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

Сейчас черепашка проверила порцию СН ДЛК, которая заканчивается таким СН ДЛК

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

Решений пока не найдено в этой пустыне.
Ползём дальше.
Это у нас второй поток.
В первом потоке аналогичная ситуация.

---

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

Горячие результаты от помощника

линеечка 7 всё толстеет :)
Полученные в этой линейке результаты дали 67 уникальных КФ ОДЛК.
По группам ОДЛК однушки и двушки в этой порции решений.
Солидные группы ОДЛК пока не попадаются.

Все группы в линейке (15 групп) пока считаются, завершённых нет.
Значит, ещё ожидаются решения.
Сейчас посмотрю, сколько решений стало в линейке 7.
Вот

. . . . . . 
 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 22109 squares in the rule 7

22109 КФ ОДЛК имеем в линейке 7 на данный момент.
И это ещё не предел!

Наша БД выросла до 55855 КФ ОДЛК.
Ой, опять палиндром :)
После последней посторбработки был палиндром 54945, сейчас палиндром 55855.
Прирост составил 910 КФ ОДЛК.
Не пора ли включить постобработку?

Ах да, решения, получаемые постобработкой, по Ватутину тоже в зачёт не идут.
Ошибаетесь, господин Ватутин. Очень даже идут!
Сильно подозреваю, что моё рекордное решение (614 ОДЛК од одного ДЛК) найдено как раз постобработкой.

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

---

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

Цитата

В линейке 10 мы с черепашкой ничего нового не нашли методом интервалов.
Запустила стратегию №1 в этой линейке (стратегия описана тут).
Сейчас нашлось первое решение - однушка.
Покручу эту стратегию, она для меня очень удобна - позволяет проверять порционно и при этом тотально.

Замечу, что стратегия №1 имеет ещё одно преимущество: проверяются на марьяжность все КФ СН ДЛК, а не только находящиеся в данной линейке.

Модифицировала стратегию №1.
Поясню, чего коснулась модификация.
Смотрите на последнюю фразу в цитате.
С одной стороны, да - это преимущество, когда проверяются на марьяжность все КФ, а не только те, которые находятся в проверяемой линейки. Чем больше проверяется КФ, тем больше шансов найти марьяжные.
Но... с другой стороны: проверка большего количества КФ требует больше времени.
А при тотальной проверке, очевидно, имеет смысл проверять только КФ, находящиеся в проверяемой линейке.

Вот из этих соображений и сделала модификацию скрипта, работающего у меня по данной стратегии.
Интересный момент: долго искала способ, как выделить из всех КФ в порции те, которые находятся в проверяемой линейке.
Наконец, осенила хорошая мысль. На помощь пришла программа Белышева sos_operate. Хорошая программа и очень полезная.
Покажу новый скрипт, работающий у меня теперь

@echo off
for /l %%i in (1,1,20) do (
DLS9R1BdFdCP.exe
copy TemporaryDLS9R1BdFd.txt input.txt
kanonizator_dlk9 < vvod1.txt
sos_operate.exe < vvod2.txt
copy output.txt input.txt
ortogon_u.exe < Y.txt
copy /b rez.txt+mates.txt rez.txt
echo  %%i Complete
)
pause

Сделала цикл на 20 порций; в одной порции обрабатывается миллион СН ДЛК.
В скорости выиграла много, примерно 40%.
Вчера уже работала с этим скриптом. Намного веселее черепашка поползла по пустыне.
Сейчас покажу, до какого места она уже доползла во втором потоке, который показан выше.

---

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

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

здесь находится черепашка

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

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

Вчера черепашка добралась до следующего СН ДЛК

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

Хорошо продвинулась, уже существующие решения близко.
Ни одного решения в этой пустыне пока не найдено. Жуть!
Вот впереди два известных решений, а после них, возможно, опять пустыня.

Такие же пустыни, наверное, и у ice00 в линейке 9. Поэтому и решений нет.
Ну, ничего, все пустыни когда-нибудь заканчиваются.

---

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

Черепашка преодолела эту пустыню

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

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

здесь находится черепашка

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

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

Новых решений не найдено, известные решения, конечно, найдены.
Сейчас черепашка ползёт по другой пустыне

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

здесь находится черепашка 

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

Последний проверенный вчера СН ДЛК

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

И мы уже очень близко к концу этой группы - по разбиению Harry White.
Это у нас второй поток.

В первом потоке надо дойти до следующей КФ ОДЛК (с этой КФ ОДЛК начинается проверка во втором потоке)

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

Последний проверенный вчера СН ДЛК в этом потоке

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

Мы продолжаем проверку в обоих потоках.
Напомню: это группа, в которой находится рекордный ДЛК, дающий 614 ОДЛК.
По завершении этой группы перейдём в следующую группу.
Я разбиваю группу примерно пополам и проверяю её тотально.

Стратегия работает чётко. Вижу процесс изнутри. Такое ощущение, что каждый квадратик ручками пощупала и проверила.
Для исследователя - наивысший восторг!

---

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

На форуме французской команды
https://forum.boinc-af.org/index.php?topic=7632.msg508223#msg508223
один кранчер спрашивает

Je viens d'obtenir le badge de novembre mais où peut-on voir les résultats qui nous ont permis d'avoir ce badge ?

Вот ведь какой любознательный кранчер! :)
А покажите-ка ему результаты, за которые он получил значок.
А результаты-то и не показывают :)

В самом деле, почему два BOINC-проекта (Gerasim@Home и Rake Search) не публикуют результаты поиска ОДЛК порядка 9?

Я встретила две причины.
Первая причина

Files of results of this search much less visual than first search in our project. We think about methods of results publishing.

отсюда
https://rake.boincfast.ru/rakesearch/forum_thread.php?id=246&postid=1454
Поиск уже заканчивается, а они всё думают, как публиковать результаты.
Ну, будем надеяться, что после завершения поиска всё-таки придумают и опубликуют :)

Причина вторая

Сейчас необходимо как можно быстрее досчитать 9-ки, все тщательно перепроверить (тут я уже начал) и опубликовать, потому как конкуренты не дремлют…

отсюда
https://boinc.ru/forum/topic/proekt-gerasimhome/?part=54#postid-3048
Эта причина более понятна: боятся, что опубликованные результаты возьмут конкуренты.
Да, вот опубликуют они сейчас результаты, а мы (как вроде бы конкуренты) их возьмём и скажем, что мы уже всё посчитали :)

А любознательные кранчеры хотят видеть результаты проекта!
А результаты им не показывают :) Вот какой конфуз :)

PS. Хотела ответить любознательному кранчеру, но плохо пишу по-французски, боюсь, что не поймёт причины :)

---

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

У-р-р-р-а-а-а!
Наконец-то черепашка нашла новые решения в линейке 10.
6 уникальных КФ ОДЛК дали новые решения, вот они

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

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

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

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

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

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

Все двушечки.
Черепашка ликует и прыгает от радости, чуть со стола не свалится :)

Д-а-а, вот она какая - тотальная проверка. Долгий трудный путь по выжженным пустыням и - наконец, несколько решений.
Мы продолжаем тотальную проверку линейки 10.
[Подчеркнула специально для Ватутина.]

---

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

Горячие результаты от помощника
только испекли :)
Линеечка 7 продолжает радовать добавлениями.
Полученные в этой линейке решения дали 93 уникальных КФ ОДЛК.
По группам ОДЛК - однушки и двушки.
Сейчас посмотрю, сколько решений стало в линейке 7.
Вот

. . . . . . 
 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 22170 squares in the rule 7

Поиск в этой линейке продолжается; завершённых групп пока нет, все 15 групп в проверке.

Наша БД выросла до 55954 КФ ОДЛК.
Включаю постобработку.

---

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

Ах, это ещё не все результаты, которые испеклись у помощника :)
Ещё он прислал результаты из линейки 6, которые дали 35 уникальных КФ ОДЛК.
По группам ОДЛК - однушки и двушки.
В линейке 6 у помощника пока обрабатываются 5 групп (из 20), остальные не запущены - ждём освобождения ресурсов от линейки 7, а она что-то не очень хочет освобождать нам ресурсы :)
Сейчас посмотрю, сколько решений стало в линейке 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 

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

There are 502 squares in the rule 6

По результатам BOINC-проектов эта линейка содержит 1352 КФ ОДЛК.
Итак, ожидается от этой линейки ещё 850 КФ ОДЛК.

---

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

Наша БД ещё подросла чуть-чуть и на данный момент содержит 55989 КФ ОДЛК.
Вот теперь включаю постобработку.
Прирост у нас в БД составил 1044 КФ ОДЛК; это новые решения, добавленные после предыдущей постобработки.
Эти новые решения и обработаю своими алгоритмами постобработки.

---

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