Поиск решений с симметрией (4,31,31) по схеме Белышева (и его ПО) продолжаю.

Сегодня нашлись две интересные двушки с данной симметрией, это двушки-близняшки

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

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

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

Как и положено "симметричным" двушкам, обе эти двушки не полновесные, то есть дают по 2 уникальные КФ ОДЛК каждая, а вместе дают 3 уникальные КФ ОДЛК, так как они близняшки.
Конфигурацию для этих двушек-близняшек покажу в другой теме
https://boinc.progger.info/odlk/forum_thread.php?id=46&postid=2368#2368

Приехали новые результаты от Demis в этом эксперименте.
Отличные результаты! Пока выбранное подмножество ассоциативных ЛК вполне хорошо себя ведёт.
Найдено 155 уникальных КФ ОДЛК, из них 75 с симметрией (4,31,31).

Поиск чистых симметрий

Введено ЛК: 155
Введите код симметрии:
(4,31,31)
Квадратов с симметрией (4,31,31) найдено: 75
они записаны в файл symm_4_31_31.txt
Время поиска: 0.015 сек

И в том числе две "симметричные" уникальные четвёрки!

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

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

Четвёртую сотню четвёрок распечатали.

На данный момент в нашей БД имеется 2194 КФ ОДЛК, обладающих симметрией (4,31,31).
При этом есть шестёрка, восьмёрка, несколько четвёрок , ну и двушки с однушками - само собой.

PS. Отмечу, что Demis пока выполняет эксперимент по моей схеме.
А я немножко работаю по схеме Белышева, множко не могу работать - компьютер у меня уже и так плачет от перезагрузки :)
Выполняю сейчас параллельно три эксперимента.

---

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

По 10 семейств проверяю по схеме Белышева.
Бывает, что нет ни одного решения в 10 семействах, но редко пока такое у меня встречалось.
Например, в этих 10 семействах пусто

AAAADTBLI
AAAADTBLM
AAAADTBRG
AAAADTBRI
AAAADTEPG
AAAADTEPI
AAAADTHRA
AAAADTHRI
AAAADTKJA
AAAADTKJM

А вот в последних проверенных 10 семействах улов хороший:

Определитель симметрий

Введено ЛК                 : 20
Из них симметричных        : 9

Найдено различных симметрий: 2
Время работы               : 0.015 сек

И все решения уникальные для нашей БД. Правда, выше двушек групп пар ОДЛК нет в этой порции решений.

Так что, по чуть-чуть, а всё-таки проверка идёт.

---

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

evatutin;91357 wrote:

Если серьезно, то симметрия почти вся посчитана в Герасиме, ждем немного хвостов, скоро будем публиковать результаты

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

С чем и поздравим Герасима :)
Только не совсем понятно какая "вся симметрия" посчитана.
Если посчитана симметрия (4,31,31), это хорошо. А что там считать-то? 52517 вушек BOINC-проекту на один зуб.
[Не удивлюсь, если Белышев посчитает всю симметрию (4,31,31) на своём ноутбуке, как он посчитал симметрию (2,31,31).
При этом в симметрии (2,31,31) у Белышева оказалось на 460 решений больше, чем в Герасиме.]

А если посчитана вообще "вся симметрия" - это круто :)

PS. У меня проверка на одном ПК идёт. Проверяю семейства в папке, где их 4696. Проверила уже примерно 250 семейств. Всё подряд проверяю, не выборочно. Ещё 18 раз по столько - и вся папка проверена.
Это вполне реально даже для моего ПК.
Две другие папки посолиднее будут: 26489 и 21332 семейств.
Симметрия (4,31,31) даёт много результатов. Может в итоге дать больше, нежели симметрия (1,31,31).

Работаю и в другом направлении.
Правда, какой тут будет результат и будет ли - пока неизвестно. Однако ice00 заинтересовался.
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=45&postid=308#308

А третье направление - это эксперимент, выполняемый Demis по моей схеме.

Кстати, все интересные решения с симметрией (4,31,31) - группы пар ОДЛК выше двушки - я сразу публикую здесь, как только они найдены у меня или у Demis.

---

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

Вчера Demis прислал результаты, это он пробежался выборочно по схеме Белышева.
Классно пробежался! :)

Определитель симметрий

Введено ЛК                 : 466
Из них симметричных        : 216

Найдено различных симметрий: 2
Время работы               : 0.062 сек

466 уникальных КФ ОДЛК, из них 216 с симметрией (4,31,31).
Четвёрок уникальных для нашей БД найдено несколько, позже выложу все.

Итоги у нас по симметрии (4,31,31) на данный момент: 2426 КФ ОДЛК обладают данной симметрией.

Мы с Demis продолжаем эксперимент по двум схемам.
Если ещё у ice00 получится, будет здорово. Я буду очень сильно мечтать об этом :)
Мечты иногда сбываются, если сильно мечтать.

---

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

Проверила 216 стандартов, соответствующих найденным Demis решениям с симметрией (4,31,31), скриптом Белышева kanon_new.bat.
Отличные результаты!

Поиск всех КФ марьяжных ДЛК для ЛК

Введено ЛК: 216

Проверено ЛК: 98 скорость 3509 ДЛК в сек
Проверено ЛК: 196 скорость 3563 ДЛК в сек

Проверено ДЛК           : 38967
Найдено КФ марьяжных ДЛК: 216
Время работы в сек      : 11.029

╚чтыхўхэшх шэЇюЁьрЎшш

Найдено марьяжных КФ:
count[1] = 32
count[2] = 176
count[4] = 8
Всего: 216
Найдено соквадратов: 416
КФ соквадратов: 221

Для продолжения нажмите любую клавишу . . .

8 четвёрок, 176 двушек. И это все уникальные для нашей БД решения!

---

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

Вот из результатов, выданных этим скриптом, и выложу найденные уникальные четвёрки - 8 штук:

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

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

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

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

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

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

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

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

Это 303-я - 310-ая четвёрки в нашей БД.

---

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

Приехали новые результаты от Demis из эксперимента по поиску решений с симметрией (4,31,31).
При этом он выполняет эксперимент по обеим схемам: по схеме Белышева и по моей.
Я объединила все результаты вместе.

Определитель симметрий

Введено ЛК                 : 1278
Из них симметричных        : 627

Найдено различных симметрий: 2
Время работы               : 0.093 сек

Для выхода нажмите любую клавишу . . .

В программу введены 1278 уникальных КФ ОДЛК.
Программа говорит, что из них "симметричных" 627, причём все они с симметрией (4,31,31).

В эту программу введены те же самые 1278 КФ ОДЛК

Поиск чистых симметрий

Введено ЛК: 1278
Введите код симметрии:
(4,31,31)
Квадратов с симметрией (4,31,31) найдено: 626
они записаны в файл symm_4_31_31.txt
Время поиска: 0.094 сек

Эта программа говорит, что квадратов с симметрией (4,31,31) найдено 626.
Это не совсем понятно. Такие непонятки и раньше мне встречались. Куда один квадрат с симметрией пропал?
Ну да ладно, у меня все уникальные КФ ОДЛК в БД внесены, так что ничего не пропало.
Четвёрки сейчас проверю и выложу; их вроде бы 6 штук в этой порции решений.

И на данный момент в нашей БД содержится 3066 КФ ОДЛК с симметрией (4,31,31).
Хорошо прибывают решения с симметрией (4,31,31)!

---

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

Да, всё верно: уникальных четвёрок в этой порции 6 штук, при этом 5 из них "симметричные" [с симметрией (4,31,31)] и одна не "симметричная", видимо, рикошетом получена.
Вот они все:

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

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

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

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

Это 312-ая - 317-ая четвёрки в нашей БД.

---

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

К анализу результатов по симметрии (4,31,31), выложенных Белышевым
http://forum.boinc.ru/default.aspx?g=posts&m=91381#post91381

5 решений с симметриями (1,31,31) и (4,31,31) вместе в нашей БД нашла; да эти решения были найдены в эксперименте по поиску симметричных по Гергели/Брауну решений.

Далее, о решениях с симметрией (4,31,31), коих 19643 - марьяжных ДЛК.
Проверяю:

Определитель симметрий

Введено ЛК                 : 19643
Из них симметричных        : 19643

Найдено различных симметрий: 4
Время работы               : 1.466 сек

Для выхода нажмите любую клавишу . . .

Набор симметрий:

(1,1,1)
(4,31,31)
(16,16,16)
(16,31,31)

Оказывается, есть ещё совместные симметрии, помимо симметрии (1,31,31). Это симметрии (16,16,16) и (16,31,31).

Далее, проверяю

Поиск чистых симметрий

Введено ЛК: 19643
Введите код симметрии:
(4,31,31)
Квадратов с симметрией (4,31,31) найдено: 19584
они записаны в файл symm_4_31_31.txt
Время поиска: 1.513 сек

Это стандарты, то есть это ЛК. Если 19643 КФ ОДЛК превратить в КФ ЛК, то их станет как раз 19584 КФ ЛК.
Прибавим сюда 3 стандарта, соответствующие 5 марьяжным ДЛК, рассмотренным отдельно [с совместной симметрией (1,31,31)].
Всего, таким образом, получим 19587 стандартов, соответствующих решениям с симметрией (4,31,31)

В нашей БД на данный момент имеется 3066 стандартов, соответствующих решениям с симметрией (4,31,31).
Проверяю:

Имя входного файла ИСТОЧНИК (без расширения):input
Имя входного файла ВЫЧИТАЕМОЕ (без расширения):output
input.txt
Всего 19587 квадратов (вход) в input.txt
output.txt
Всего 3066 квадратов (вход) в output.txt
Уникальных 16521 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

В файле input.txt 19587 стандартов (по результатам Белышева), в файле output.txt 3066 стандартов по нашим результатам.
Разность множеств точная - 16521 стандартов.

---

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

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

Пример рикошетной тройки

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

пример рикошетной пятёрки

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

Кстати, рикошетная пятёрка всего одна в результатах Белышева.
И мы её нашли!
Оба решения нашёл Demis, причём по моей схеме, то есть непосредственно от ассоциативных ЛК.
В данный момент Demis выполняет эксперимент по двум схемам одновременно; поиск по моей схеме пока не остановил.

PS. Шестёрка и восьмёрка с симметрией (4,31,31) были найдены в эксперименте с псевдоассоциативными ДЛК давным-давно.
Ещё одну шестёрку и четыре восьмёрки предстоит найти.

---

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

Как и предполагалось, симметрия (4,31,31) дала больше решений, нежели симметрия (1,31,31).
И всё это от ассоциативных ЛК!
И алгоритм поиска ОДЛК от ассоциативных ЛК был предложен мной давным-давно.
Цитата

Итак, класс ассоциативных ЛК...
Продолжаю рассмотрение этого класса.
Отмечу, что Harry White сделал замечательный генератор ассоциативных ЛК по моей просьбе.
Я тоже писала генератор для ассоциативных ЛК, но мой генератор работает гораздо медленнее.

Теперь можно генерировать с помощью генератора Harry ассоциативные ЛК в огромных количествах и проверять их программой Белышева family_mar.
Это ещё один алгоритм.
Что будет давать данный алгоритм, покажет эксперимент.

отсюда
https://boinc.progger.info/odlk/forum_thread.php?id=65&postid=1977#1977

Не зря я дала Harry White задачу - сделать генератор ассоциативных ЛК. Да и сама такой генератор писала.
И поиск от ассоциативных ЛК немножко пробовала, как только получила от Harry его отличный генератор.

Заслуга Белышева в выделении по коду симметрии подмножества ассоциативных ЛК, обладающих данной симметрией.
Однако... можно подмножества и не выделять, а проверять все подряд ассоциативные ЛК.
И будут получаться решения с симметриями (1,31,31), (2,31,31), (4,31,31), (8,31,31) и (16,31,31), и не только с этими, к ним ещё некоторые симметрии присоединяются, например, симметрия (16,16,16).

Впереди ещё две симметрии; (8,31,31) и (16,31,31).
Симметрия (8,31,31) у меня даёт больше однушки, редко двушки, а выше двушки пока ничего не найдено.
Думаю, что семейство с этой симметрией победнее будет.
О симметрии (16,31,31) пока ничего не могу сказать, но с симметрией (4,31,31) она вряд ли потягается.

---

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

Цитата

Разность множеств точная - 16521 стандартов.

Итак, у нас нет 16521 стандартов по симметрии (4,31,31).

И я начинаю это количество уменьшать, вот найденные уже сегодня утром 4 недостающих стандарта

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

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

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

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

И у нас стало 3070 стандартов.
Конечно, найти нам надо много. Но! не забывайте - у нас с Demis эксперимент выполняется на 2-3 ПК в ручном режиме.

Белышев что-то не рискнул симметрию (4,31,31) поискать на своём ноутбуке :)
А мог бы!
Кстати, независимая проверка очень даже не помешала бы.
И если нам с Demis удастся найти все решения с данной симметрией, - это и будет независимая проверка.

А там ещё вдруг ice00 осилит задачу - запустить эксперимент в BOINC-проекте.
Пока он увяз в компиляции программы генерации под Линукс.

---

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

Вчера не успела посмотреть Замыкание всех решений с симметрией (4,31,31).
Замыкание содержит, как сообщил Белышев в том же сообщении (ссылка выше), 43279 марьяжных ДЛК.
Хорошее Замыкание!

Проверяю содержимое Замыкания на симметрии

Определитель симметрий

Введено ЛК                 : 43279
Из них симметричных        : 19648

Найдено различных симметрий: 7
Время работы               : 4.352 сек

Для выхода нажмите любую клавишу . . .

Набор симметрий:

(1,1,1)
(1,31,31)
(2,31,31)
(4,31,31)
(8,31,31)
(16,16,16)
(16,31,31)

При этом 5 марьяжных ДЛК с симметрией (1,31,31), рассмотренные отдельно, в Замыкание не входят.
Симметрия (1,31,31), которая есть в Замыкании, не совместная с симметрией (4,31,31), а сама по себе.
Кроме того, ещё выпрыгнули симметрии (2,31,31) и (8,31,31), которых до замыкания не было.

Ну и в Замыкании появились рикошетные тройки (11) и пятёрка (1), а также рикошетные однушки, двушки и четвёрки.
Больше всего рикошетных однушек.
Рикошетных четвёрочек 10 штук.
Нам тоже попадалась рикошетная четвёрочка, вчера у Demis была в решениях

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

Четвёрка выложена в теме о четвёрках.
Кстати, не забыть посмотреть конфигурацию, порождаемую этой четвёркой, в конфигурации 4 уникальные КФ ОДЛК.

---

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

Мы продолжаем эксперимент!
Demis прислал решения, это по моей схеме найдены

Определитель симметрий

Введено ЛК                 : 116
Из них симметричных        : 55

Найдено различных симметрий: 2
Время работы               : 0.015 сек

116 уникальных КФ ОДЛК, из них 55 КФ ОДЛК с симметрией (4,31,31).
Групп пар ОДЛК выше двушки нет в этой порции решений.

Жду решений по схеме Белышева.

---

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

А вот и они приехали - решения, найденные по схеме Белышева.

Определитель симметрий

Введено ЛК                 : 464
Из них симметричных        : 225

Найдено различных симметрий: 3
Время работы               : 0.046 сек

464 уникальные КФ ОДЛК, среди них 225 обладают симметрией. Но тут не все КФ с симметрией (4,31,31); обратите внимание: "найдено различных симметрий 3".

И вот проверка только симметрии (4,31,31)

Поиск чистых симметрий

Введено ЛК: 464
Введите код симметрии:
(4,31,31)
Квадратов с симметрией (4,31,31) найдено: 224
они записаны в файл symm_4_31_31.txt
Время поиска: 0.047 сек

224 КФ с симметрией (4,31,31) и одна КФ с симметрией (1,31,31).

В этой порции есть две "симметричные" четвёрки - с симметрией (4,31,31), конечно.
Выложу их в теме о четвёрках.

---

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

А вот интересно, откуда выпрыгнуло решение с симметрией (1,31,31)?
К тому же, оно вроде уникальное, я ведь проверяю на уникальность относительно нашей БД.
Белышев об этом решении ничего не написал.
Это рикошетная однушка, она из Замыкания (у Белышева она тоже есть в Замыкании)

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

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

Квадрат sq1 обладает симметрией (4,31,31), а квадрат Square - симметрией (1,31,31).
При этом на вид квадрат Square симметрией по Герегли/Брауну не обладает (ни горизонтальной, ни вертикальной).
Видимо, поэтому решение и не было найдено при поиске решений симметричных по Гергели/Брауну.
Интересное решение! Не поняла пока его происхождение.

Хотя... с представителями очевидной симметрии для квадрата Square всё в порядке

(1,31,31)

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

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

Такая вот завуалированная симметрия (1,31,31).

---

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

Да, квадрат Square принадлежит семейству БС вида 10х5

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

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

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

10x5             : 1

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

Странно! Наверное, у меня что-то в голове перепуталось :(

---

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

Цитата

И у нас стало 3070 стандартов.

На сегодняшнее утро у нас 3354 стандартов, соответствующих решениям с симметрией (4,31,31).

Недостающие стандарты:
19587 - 3354 = 16233

---

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

В этой группе семейств

AAAAFHCVN
AAAAFHHXO
AAAAFHIPT
AAAAFHIVD
AAAAFHIVN
AAAAFHIXN
AAAAFJBTI
AAAAFJBTM
AAAAFJBWG
AAAAFJBWM

найдена мной уникальная "симметричная" четвёрка

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

Это 320-ая четвёрка в нашей БД.

Медленно, но верно проверка семейств по схеме Белышева продолжается, причём двойными силами - и мной, и Demis.

---

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