Сравнила файлы с решениями; файл symm_odls10_all_2749 от Белышева и файл ish - решения, найденные в нашем эксперименте:

Имя входного файла ИСТОЧНИК (без расширения):symm_odls10_all_2749
Имя входного файла ВЫЧИТАЕМОЕ (без расширения):ish
symm_odls10_all_2749.txt
Всего 2749 квадратов (вход) в symm_odls10_all_2749.txt
ish.txt
Всего 2749 квадратов (вход) в ish.txt
Уникальных 0 квадратов (выход).

Имя входного файла ИСТОЧНИК (без расширения):ish
Имя входного файла ВЫЧИТАЕМОЕ (без расширения):symm_odls10_all_2749
ish.txt
Всего 2749 квадратов (вход) в ish.txt
symm_odls10_all_2749.txt
Всего 2749 квадратов (вход) в symm_odls10_all_2749.txt
Уникальных 0 квадратов (выход).

Полное совпадение.

Огромная благодарность разработчику алгоритма и ПО эксперимента Белышеву, а также Progger за адаптацию ПО к BOINC платформе, а также всем участникам, просчитавшим задания эксперимента.
Эксперимент выполнялся с 31 января по 18 февраля с. г.

---

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

Продолжаю проверку семейства №4.
От очередной порции из 1000 ЛК найдено 12 решений.
И есть уникальная однушка!

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

Square:
 0 1 2 3 4 5 6 7 8 9
 1 2 0 4 5 9 8 6 7 3
 8 3 6 1 2 0 9 4 5 7
 4 7 3 8 9 2 5 0 1 6
 6 5 8 9 7 3 1 2 0 4
 7 0 9 6 8 4 2 1 3 5
 5 4 7 0 6 1 3 9 2 8
 9 8 1 7 3 6 0 5 4 2
 3 6 5 2 1 7 4 8 9 0
 2 9 4 5 0 8 7 3 6 1

Продолжу поиск в этом хорошем семействе. Вот уже 8 уникальных КФ ОДЛК нашла от этого семейства. Может, ещё будут уникальные решения.

---

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

Всё, семейство №4 больше не хочет давать уникальные решения.
Сейчас от очередной 1000 ЛК найдено 15 решений и ни одного уникального.
При этом пока не найдено ни одной четвёрки, возможно, от этого семейства нет четвёрок.
Ну, возможно и то, что я просто не нашла ещё четвёрку, у меня - не забывайте - случайный поиск.

Тэк-с, отложу семейство №4 и займусь другим семейством.
Нашла семейство, от которого происходят две четвёрки

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

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

Может, это и не все четвёрки от этого семейства, которые уже найдены, все четвёрки не проверяла. Вот попались с ходу две четвёрки, это уже хорошо: семейство богатое - четвёрочки имеются и не одна!
Канонический шаблон этого семейства

0 1 2 3 4
0 1 2 4 3
1 2 0 3 4
1 2 3 4 0
2 0 4 1 3
2 3 4 0 1
3 4 0 2 1
3 4 1 0 2
4 0 3 1 2
4 3 1 2 0

Занумерую это семейство №5.

Сейчас нарисую базовый ЛК семейства и займусь его проверкой алгоритмом случайного поворота блоков. Лучшего алгоритма у меня нет.

---

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

citerra
ваши сообщения удалены из-за игнорирования требования модератора.

---

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

Базовый ЛК семейства №5

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

ЛК имеет 47 интеркалятов

срез #1

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

{0,2} = 1 : (6,9,5,9) 
{0,7} = 1 : (0,7,0,7) 
{0,9} = 1 : (0,9,0,9) 
{1,3} = 1 : (6,9,4,8) 
{1,6} = 1 : (0,7,1,6) 
{1,8} = 1 : (0,9,1,8) 
{2,6} = 1 : (3,7,1,4) 
{3,7} = 1 : (3,7,0,5) 
{4,7} = 1 : (4,7,0,8) 
{5,6} = 1 : (4,7,1,9) 
{4,9} = 2 : (2,7,2,8) (3,6,3,6) 
{5,8} = 2 : (2,7,3,9) (3,6,2,7) 
{6,8} = 2 : (0,1,6,8) (7,9,1,3) 
{6,9} = 2 : (1,2,7,8) (6,9,0,3) 
{7,8} = 2 : (1,2,6,9) (6,9,1,2) 
{7,9} = 2 : (0,1,7,9) (7,9,0,2) 
{0,1} = 5 : (0,1,0,1) (2,6,4,5) (3,9,8,9) (4,8,2,3) (5,7,6,7) 
{2,3} = 5 : (0,1,2,3) (2,3,0,1) (4,8,6,7) (5,6,8,9) (7,9,4,5) 
{4,5} = 5 : (0,1,4,5) (2,3,2,3) (4,5,0,1) (6,9,6,7) (7,8,8,9) 
{6,7} = 5 : (0,2,6,7) (1,4,8,9) (3,8,4,5) (5,9,2,3) (6,7,0,1) 
{8,9} = 5 : (0,2,8,9) (1,3,6,7) (4,5,4,5) (6,7,2,3) (8,9,0,1)

Сейчас модифицирую программу случайного поворота блоков и посмотрю, что будет давать это семейство.

---

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

citerra
ваше последнее сообщение удалено как оффтоп в тематической ветке.
За продолжение оффтопа в теме вы будете заблокированы.

---

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

citerra
цитирую ваше последнее сообщение

Все ваши сообщение - это оффтоп на сайте проект, особенно на таком уровне ( к науке отношения не имеющие )

Сообщение удалено как оффтоп в тематической ветке.

Поставлю вопрос перед администратором о вашей блокировке за игнорирование требования модератора и оффтоп в тематической ветке.

Прекращайте оффтоп.

---

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

Полная проверка семейства №4 запущена!

Но всё по порядку. Сначала об именах канонических шаблонов БС.
Присвоение имён каноническим шаблонам БС Белышев описал тут
http://forum.boinc.ru/default.aspx?g=posts&m=90167#post90167

Ну, вручную я смогла это сделать для своего семейства №4, подробности смотрите здесь
http://mathhelpplanet.com/viewtopic.php?p=324479#p324479

Имя для канонического шаблона семейства №4 я получила такое: BIJQRSTA.
Надеюсь, что это правильное имя.
Впрочем, ума не приложу - зачем нужны имена канонических шаблонов. Что дают эти имена для поиска решений от семейств БС?
Скачала там у Белышева (по ссылке, приведённой выше) имена всех канонических шаблонов, открыла, посмотрела на эти символы и закрыла. Ничего они мне не говорят хорошего :)
Ладно, с именами вроде бы разобралась. Хотя перейти от имени шаблона к его "живому" представлению не смогу - стреляйте меня :)
Только в одну сторону смогу перейти: от "живого" представления шаблона к его имени.

Дальше будет интереснее.

---

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

Тут
http://forum.boinc.ru/default.aspx?g=posts&m=90192#post90192
Белышев написал

Следовательно для каждого семейства достаточно будет рассмотреть 2^16 = 65536 различных нормальных схем.

О-о-о! Ну вот это понятно. Описанный выше изоморфизм очень понятный. И отсекает огромадную кучу вариантов!
65536 вариантов - это не 33554432. Столько вариантов уже реально проверить.
Слава Богу, хоть что-то поняла. Дальше пока и не пыталась вникнуть, там полный мрак для меня.

Итак, достаточно сделать полный перебор поворотов только 16 блоков из 25. И это даст всего 65536 преобразованных ЛК.
Правда, среди них будет опять же много изоморфных ЛК, но отсечь эти изоморфы я не умею.
Поэтому буду проверять все 65536 ЛК.
Для семейства №4 эти 65536 ЛК я уже сгенерировала.
Программа Белышева Канонизатор ЛК по ДЛК (которая будет выполнять тотальную проверку сгенерированных ЛК) весьма специфична.
Скармливаю этой программе по 2000 ЛК. От них получается 2 миллиона с хвостиком КФ ДЛК. Дальше идёт проверка этих КФ ДЛК на ОДЛК. Всё это не быстро делается. Ну ничего, осилить можно потихоньку.
Решения, понятно, не все будут уникальные, поскольку проверяется много изоморфных ЛК.
Но! Все решения от семейства должны быть найдены, а среди них могут оказаться и уникальные для нашей БД решения, которые не были найдены раньше.
8 уникальных решений от данного семейства я уже нашла алгоритмом случайного поворота блоков.
Жду новых уникальных решений.

---

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

Скачала там у Белышева (по приведённой выше ссылке) архив sxemy_blk_nx5.
Нашла в архиве файл для своего семейства №4 - sxemy_BIJQRSTA.txt
открываю файл и вижу колонку чисел длиной 3610.
Вот она

0
1
2
3
4
5
6
7
8
9
10
11
12
....
15795
15797
15798
15799
15801
15802
15805
23440
23441
23443
23454

Эх, кабы вместо этой колонки чисел были "живые" не изоморфные ЛК данного семейства!
Разумеется, кто разобрался в алгоритме получения этой колонки чисел, сможет сам получить "живые" не изоморфные ЛК.
Я не разобралась в этом алгоритме, увы.

---

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

Первая порция из 2000 ЛК семейства №4 проверена. Найдено 15 решений - 12 двушек и 3 однушки.
Уникальных для нашей БД нет.
Буду проверять дальше.

---

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

Проверяется вторая порция из 2000 ЛК семейства №4.
Посмотрите, какой приличный выход КФ ДЛК от ЛК этого семейства

. . . . . . . . . . . . . . 
kf_1114W93T2GLJQF57TA23H3BHHU8J2.txt
2077 квадратов.
kf_1114W93T2GLJQF57TA23H3BHMJCN2.txt
1984 квадратов.
kf_1114W93T2GLJQF8RTKGRR3BHHU8J2.txt
1726 квадратов.
kf_1114W93T2GLJQF8UTKK8H3BHHU8J2.txt
1995 квадратов.
kf_1114W93T2GLJQF8UTKK8H3BHMJCN2.txt
2018 квадратов.
kf_1114W93T2GLJR2X72RXKV3BHHU8J2.txt
2261 квадратов.
kf_1114W93T2GLJR2X72RXKV3BHMJCN2.txt
2213 квадратов.
kf_1114W93T2GLJR2X92RSND3BHHU8J2.txt
2153 квадратов.
kf_1114W93T2GLJR2X92RSND3BHMJCN2.txt
2196 квадратов.
kf_1114W93T2GLJR3AB32K7V3BHHU8J2.txt
1967 квадратов.
kf_1114W93T2GLJR3AB32K7V3BHMJCN2.txt
2022 квадратов.
kf_1114WFK8J2VVBXYCB86MJBDLWDXF1.txt
1908 квадратов.
rez.txt
0 квадратов.
---Выход в out.txt
Уникальных 2808140 квадратов (выход).

Почти 3 миллиона уникальных КФ ДЛК получено от 2000 ЛК семейства!
Проверка на ОДЛК даёт решения. Жду окончания проверки.

Закончилась проверка порции. Найдено 11 решений - 6 двушек и 5 однушек. Уникальных для нашей БД нет.

Итак, проверено 4000 ЛК из 65536. Запускаю третью порцию.

---

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

Кстати, проверила сгенерированные 65536 ЛК семейства №4 программой Белышева "определитель семейств БС".
Вот протокол работы программы

Определитель семейств блочных ЛК

Введено ЛК       : 65536
Из них блочных   : 65536

Найдено семейств блочных ЛК

10x5             : 1

Время работы     : 87.282 сек

Все введённые ЛК блочные и принадлежат одному семейству, канонический шаблон которого есть канонический шаблон семейства №4.
Программа его вывела:

0 1 2 3 4
0 1 2 4 3
1 2 3 0 4
1 2 3 4 0
2 3 4 0 1
2 3 4 1 0
3 4 0 1 2
3 4 0 2 1
4 0 1 2 3
4 0 1 3 2

Кажется, с генерацией всё правильно. Осталось все эти ЛК проверить.

---

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

Вчера проверила 5 порций по 2000 ЛК. Всего найдено 75 решений, уникальных для нашей БД нет.
Эти 75 решений тоже могут быть не все уникальные, о чём я уже писала выше.
Не проверяю все решения на уникальность, проверяю только на уникальность относительно нашей БД.

В общем, примерно неделя нужна на полную проверку семейства - в один поток на ПК.
Сегодня продолжу проверку семейства №4.

---

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

Есть уникальная однушка!

Проверена шестая порция (2000 ЛК), найдено 16 решений, в том числе уникальная для нашей БД однушка

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

Square:
 0 1 2 3 4 5 6 7 8 9
 1 2 0 6 5 4 8 9 3 7
 7 3 6 1 8 9 2 0 4 5
 3 5 4 9 0 2 7 8 1 6
 6 8 9 0 7 1 5 4 2 3
 4 0 5 8 6 3 9 2 7 1
 8 9 7 5 1 6 4 3 0 2
 5 6 8 2 3 7 0 1 9 4
 9 4 1 7 2 8 3 6 5 0
 2 7 3 4 9 0 1 5 6 8

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

Так, запускаю седьмую порцию ЛК на проверку.

---

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

Это у меня базовый ЛК семейства №1, порождаемого ЛК Агриппы



Канонический шаблон данного семейства

0 1 2 3 4
0 2 1 4 3
1 0 3 2 4
1 3 0 4 2
2 0 4 1 3
2 4 0 3 1
3 1 4 0 2
3 4 1 2 0
4 2 3 0 1
4 3 2 1 0

По инструкциям Белышева нахожу имя этого канонического шаблона, оно у меня получилось HCNETKVQ.
Надеюсь, что правильно.
Далее нахожу в архиве Белышева соответствующий этому имени файл sxemy_HCNETKVQ.txt
В этом файле вижу колонку чисел длиной 382.
Всего 382 не изоморфных ЛК в этом семействе?
Вполне может оказаться "пустышкой" это семейство. Но пока не факт, надо проверить.
А проверить-то - один раз чихнуть не успеешь, если знать эти 382 не изоморфных ЛК семейства.

Надо заметить, что пока в нашей БД нет ни одного решения от семейства №1 (Агриппы).
А ещё надо заметить, что семейство ЛК БС вида 5х5, которое было проверено самым первым, имеет всего 23 (!) не изоморфных ЛК. И при этом дало кучу решений.

---

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

Однако, насколько я понимаю, есть семейства, у которых как раз все возможные 65536 ЛК - не изоморфные.
Для таких семейств мой вариант алгоритма - самое то.

И, если я не ошиблась с присвоением имени, семейство №5 относится к таким семействам (базовый ЛК семейства выложен выше).
Имя у меня такое получилось: BGJEQTUE.
Нашла в архиве Белышева соответствующий этому имени файл, и в этом файле колонка чисел длиной 65536.

Вот закончу проверку семейства №4 и буду проверять семейство №5. Это семейство не "пустышка", имеются в БД две четвёрки от него.

---

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

Белышев выложил список уникальных схем ориентации блоков для ЛК блочной структуры.
Цитирую

Выкладываю архив содержащий схемы ориентации блоков всех существенно различных блочных ЛК вида nx5 (кроме двух семейств вида 5x5).

отсюда
http://forum.boinc.ru/default.aspx?g=posts&m=90209#post90209

Смотрю для семейства №4 (имя BIJQRSTA).
Раньше было 3610 схем, после фильтрации стало 3238 схем. Это хорошо.

Осталась самая малость: восстановить по схемам "живые" ЛК и проверить их.
Проверить 3238 ЛК - примерно 4 часа работы на моём тихоходе.

Ну, а у меня идёт полная проверка семейства №4 - всех 65536 ЛК.
Проверено уже 36000 ЛК, больше половины. Уникальные решения больше не попались пока.

PS. А вот для семейства №5 (имя BGJEQTUE) ничего не отфильтровалось, уникальных схем так и есть 65536.
Много не изоморфных ЛК в семействе - можно ожидать много решений (хотя ожидания могут и не оправдаться).
Две четвёрки у семейства точно есть, они есть в нашей БД.
Что ещё даст это семейство? Скоро я начну его проверять.

---

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

Догрызаю полную проверку семейства №4, осталось проверить всего 4536 ЛК.
Уникальных для нашей БД решений больше не попалось. А вообще решений найдено много, но сколько уникальных среди них - не знаю.
Думаю, что сегодня закончу проверку этого семейства.

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

---

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

О семействе №5 здесь рассказано
https://boinc.progger.info/odlk/forum_thread.php?id=41&postid=1523#1523

Сейчас нарисую иллюстрацию - базовый ЛК семейства.

---

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