Поиск решений с симметрией (4,31,31)

Message boards : Science : Поиск решений с симметрией (4,31,31)
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4 · 5 · 6 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2400 - Posted: 20 Sep 2018, 3:16:39 UTC

А это Demis прислал из найденного по моей схеме

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

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

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

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

321-ая уже в нашей БД.
По зёрнышку курочка клюёт...

А эксперимент продолжается!

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2400 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2402 - Posted: 20 Sep 2018, 6:50:07 UTC

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

Интересно обрабатывать стандарты скриптом Белышева kanon_new.bat, хорошо видны все найденные группы пар ОДЛК.
Вот обработка скриптом 3408 наших стандартов

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

Введено ЛК: 3408

Проверено ЛК: 49 скорость 1776 ДЛК в сек
Проверено ЛК: 97 скорость 1780 ДЛК в сек
Проверено ЛК: 132 скорость 1513 ДЛК в сек
Проверено ЛК: 181 скорость 1750 ДЛК в сек
Проверено ЛК: 230 скорость 1782 ДЛК в сек
. . . . . 
Проверено ЛК: 3237 скорость 1771 ДЛК в сек
Проверено ЛК: 3285 скорость 1746 ДЛК в сек
Проверено ЛК: 3333 скорость 1734 ДЛК в сек
Проверено ЛК: 3384 скорость 1805 ДЛК в сек

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

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

Найдено марьяжных КФ:
count[1] = 359
count[2] = 3010
count[4] = 46
count[6] = 1
count[8] = 1
Всего: 3417
Найдено соквадратов: 6577
КФ соквадратов: 3380

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

Четвёрок уже 46 штук найдено, отлично!
Двушек, как всегда, намного больше однушек.
Ну и пока нет новых солидных групп пар ОДЛК: шестерок и восьмёрок.
Шестёрка-то всего одна ещё должна быть, согласно данным Белышева, а вот восьмёрок ещё 4 не хватает.
Рикошетных решений тут нет, как я понимаю, нет ни тройки, ни пятёрки, хотя они у нас есть в решениях.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2402 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2403 - Posted: 20 Sep 2018, 12:12:43 UTC

Ещё порция решений от Demis, это по схеме Белышева найдены.

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

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

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

717 уникальных КФ ОДЛК и 347 обладают симметрией (4,31,31).
Есть одна уникальная "симметричная" четвёрка

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

322-ая четвёрка в нашей БД.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2403 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2405 - Posted: 21 Sep 2018, 5:27:47 UTC - in response to Message 2402.  
Last modified: 21 Sep 2018, 5:31:15 UTC

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

Это было вчера.
А сегодня утром у нас уже 3776 стандартов, соответствующих симметрии (4,31,31).
За сутки прибыло 368 стандартов. Очень неплохо!
Недостающие стандарты
19587 - 3776 = 15811

Мы продолжаем!
Решения с симметрией (4,31,31) у нас идут с трёх потоков:

1. эксперимент с псевдоассоциативными ДЛК;
2. эксперимент по поиску симметрии (4,31,31) по моей схеме;
3. эксперимент по поиску симметрии (4,31,31) по схеме Белышева.

И это ещё не всё: у меня вторичная обработка результатов уже не ограничивается проверкой программой Белышева family_mar.
Есть и моя старая, усовершенствованная Harry White карусель. Есть и ещё один алгоритм вторичной обработки - алгоритм X (моя разработка).
Всё это вместе взятое и применённое к решениям с симметрией (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
ID: 2405 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2406 - Posted: 21 Sep 2018, 5:42:09 UTC
Last modified: 21 Sep 2018, 5:58:36 UTC

Вот как у меня идёт проверка семейств с симметрией (4,31,31) по схеме Белышева

проверено, здесь найдена четвёрка, 8 марьяжных ДЛК
AAAAFHCVN
AAAAFHHXO
AAAAFHIPT
AAAAFHIVD
AAAAFHIVN
AAAAFHIXN
AAAAFJBTI
AAAAFJBTM
AAAAFJBWG
AAAAFJBWM

проверено,3 марьяжных ДЛК
AAAAFJHTO
AAAAFJHWA
AAAAFJHWM
AAAAFJSDO
AAAAFJSNA
AAAAFJSNI
AAAAFJUDG
AAAAFJUDM
AAAAFJUNC
AAAAFJUNG

проверено, 6 марьяжных ДЛК
AAAAFSBNI
AAAAFSHPI
AAAAFSIJN
AAAAFSIPD
AAAAFUCJN
AAAAFUHDM
AAAAFUHJM
AAAAFUHNC
AAAAFWBJG
AAAAFWBJM

проверено, 3 марьяжных ДЛК
AAAAFWHJA
AAAAFWHJM
AAAAFWHPC
AAAAFWHPG
AAAAFXBNG
AAAAFXBNI
AAAAFXHDO
AAAAFXHNA
AAAAFXHNI
AAAAHDAXK

Как я уже писала, у меня в проверке группа из 4696 семейств. Я взяла самую маленькую группу.
Demis сейчас проверяет группу из 26489 семейств, первая группа, самая большая.
Кроме того, у Demis пока работает и моя схема, то есть проверяются непосредственно ассоциативные ЛК.
Интересный момент в том, что эта схема пока не полностью пересекается со схемой Белышева, то есть она даёт уникальные решения (разумеется, по состоянию на данный момент в проверке по схеме Белышева).
Вот до тех пор, пока она даёт уникальные решения, её надо крутить. А дальше будет видно.

Интересно, кому попадётся десяточка :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2406 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2409 - Posted: 22 Sep 2018, 8:13:18 UTC
Last modified: 22 Sep 2018, 8:56:24 UTC

Десятка, выложенная Белышевым в результатах по симметрии (4,31,31),

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

Это представитель очевидной симметрии для данной десятки (ассоциативный ЛК), находится программой Белышева get_standard

(4,31,31)

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

Нашла в генераторе Harry White соответствующую группу ассоциативных ЛК, это группа № 912, вот первый ассоциативный ЛК этой группы

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

В этой группе находится показанный ассоциативный ЛК, являющийся "прародителем" рассматриваемой десятки.
Данная группа ассоциативных ЛК у нас сейчас не находится в проверке.
Так что, десяточку надо ждать в поиске по схеме Белышева.
Будем ждать :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2409 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2410 - Posted: 22 Sep 2018, 8:39:53 UTC
Last modified: 22 Sep 2018, 8:54:59 UTC

Покажу стандарт, соответствующий показанной десятке

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

Этот стандарт записывается в файл symm_4_31_31.txt при обработке данного "симметричного" решения, например, программой find_symm.
Протокол работы этой программы
Поиск чистых симметрий

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

Если взять очевидное представление симметрии для рассматриваемой десятки, показанное в предыдущем сообщении,

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

и канонизировать этот ЛК, получится тот же самый стандарт.

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
ID: 2410 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2411 - Posted: 22 Sep 2018, 9:23:01 UTC
Last modified: 22 Sep 2018, 10:27:05 UTC

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

Только что проверилась группа семейств

AAAAHVHFI
AAAAHVHKC
AAAAHVIDE
AAAAHVIFH
AAAAHVKDG
AAAAHVKHC
AAAAHWAJE
AAAAHWALH
AAAAHWBLC
AAAAHWEBG

Найдено 4 марьяжных ДЛК:

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

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

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

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

Дальше идёт обработка найденных решений: первичная и вторичная.
Это уже давно известный и отлаженный процесс. К тому же, как я уже отмечала, у меня есть и новая процедура вторичной обработки.
После чего все найденные КФ ОДЛК проверяются на уникальность относительно существующей БД.
Уникальные решения (то есть те, которых в БД ещё нет) добавляются в БД.

Далее ещё находятся стандарты найденных "симметричных" решений и добавляются в файл symm_4_31_31.txt

Уже отмечала выше, что проверку семейств я выполняю подряд.
Так что, всё, что есть в 4696 семействах второй группы (записаны в файл names_44323_4696.txt), должно быть найдено - без пропусков.
Разумеется, ручной режим не исключает ошибок, в частности, пропусков.
Но стараюсь быть внимательной.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2411 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2412 - Posted: 22 Sep 2018, 9:46:20 UTC

Цитата
А сегодня утром у нас уже 3776 стандартов, соответствующих симметрии (4,31,31).
За сутки прибыло 368 стандартов. Очень неплохо!
Недостающие стандарты
19587 - 3776 = 15811

Пока пополнение только из моих экспериментов: 3791 стандартов, соответствующих решениям с симметрией (4,31,31), на данный момент.

Маленькое пополнение у меня, конечно. От эксперимента с псевдоассоциативными ДЛК вообще не часто появляются "симметричные" решения, а поиск по схеме Белышева идёт не очень быстро и решений не сильно густо на группу из 10 семейств (от 1 до 8 марьяжных ДЛК пока у меня было).
Но пополнение есть пополнение.

Решения от Demis будут не раньше понедельника.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2412 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2413 - Posted: 22 Sep 2018, 10:01:43 UTC
Last modified: 22 Sep 2018, 10:28:48 UTC

Недостающие стандарты определяет программа от Vovka17

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

Всё чётко.
Все найденные 3791 стандартов входят в стандарты, выложенные Белышевым (19587 штук).
Недостающих стандартов 15796. Разность множеств точная (абсолютная).
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2413 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2414 - Posted: 22 Sep 2018, 10:36:10 UTC - in response to Message 2411.  
Last modified: 22 Sep 2018, 12:14:10 UTC

Цитата
К тому же, как я уже отмечала, у меня есть и новая процедура вторичной обработки.

Просто мини-эксперимент по проверке данной процедуры.
Взяла из результатов, выложенных Белышевым, только "симметричные" четвёрки (230 штук) и обработала их данной процедурой; найдено 10 уникальных КФ ОДЛК, в Замыкании Белышева этих КФ нет, что вполне понятно: он ведь не применял мою процедуру для обработки результатов.
И это только мизерная часть всех результатов, выложенных Белышевым, была обработана.

Я обрабатываю данной процедурой все вновь найденные решения сразу же, это входит в процесс вторичной обработки решений.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2414 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2415 - Posted: 22 Sep 2018, 11:28:57 UTC
Last modified: 22 Sep 2018, 11:29:53 UTC

Бывает и такое

. . . . . 
family_4_31_31_AAAAHXADK_16384.txt
16384 квадратов.
family_4_31_31_AAAAHXAFH_16384.txt
16384 квадратов.
family_4_31_31_AAAAHXBFI_16384.txt
16384 квадратов.
---Выход в out.txt
Уникальных 155712 квадратов (выход).
Для продолжения нажмите любую клавишу . . .
Скопировано файлов:         1.
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 155712

Марьяжных ДЛК нет
Время работы в сек   : 6125.27

Это для следующей группы семейств

AAAAHWEHA
AAAAHWEJA
AAAAHWEJG
AAAAHWGJE
AAAAHWGLB
AAAAHWHEA
AAAAHWHLC
AAAAHXADK
AAAAHXAFH
AAAAHXBFI

Как говорится: отсутствие результатов тоже результат.
Поехали дальше.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2415 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2420 - Posted: 23 Sep 2018, 7:14:11 UTC
Last modified: 23 Sep 2018, 7:20:33 UTC

Воскресное везение :)

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

AAAAJUEDG
AAAAJUEHG
AAAAJUGDE
AAAAJUGFH
AAAAJUHEG
AAAAJUHFC
AAAAKBCJT
AAAAKBCTH
AAAAKBGDS
AAAAKBGJS

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

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

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

Не часто четвёрочки попадаются в проверяемой мной группе семейств, но всё-таки попадаются.
Эх, где же восьмёрочки да десяточка :)
Будут! Куда же они денутся от тотальной проверки.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2420 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2422 - Posted: 24 Sep 2018, 3:10:30 UTC

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

AAAAKHAJT
AAAAKHAXH
AAAAKHCJT
AAAAKHCTB
AAAAKHCVD
AAAAKHCVH
AAAAKHGVD
AAAAKHGXB
AAAAKJADS
AAAAKJATH

найдено аж 10 марьяжных ДЛК, это у меня, кажется, рекорд.
На уникальность пока не проверяла решения; я их накапливаю, а потом скопом проверяю.

Банк решений с симметрией (4,31,31) стабильно пополняется. Это очень хорошо!
То, что растёт, обязательно вырастет до нужных размеров.
Главное - не останавливаться. Вперёд, только вперёд!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2422 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2423 - Posted: 24 Sep 2018, 15:52:44 UTC
Last modified: 24 Sep 2018, 16:34:44 UTC

Приехали результаты от Demis из эксперимента по поиску решений с симметрией (4,31,31).
Поиск по моей схеме дал всего 25 уникальных КФ ОДЛК; групп пар выше двушек нет в этой порции решений.
Поиск по схеме Белышева дал 952 уникальных КФ ОДЛК.
Найдены следующие группы пар ОДЛК выше двушки: шестёрка (не уникальная, в нашей БД такая шестёрка уже есть, она была найдена в эксперименте с псевдоассоциативными ДЛК), 13 уникальных "симметричных" четвёрок и рикошетная уникальная тройка.

Проверила 952 КФ ОДЛК скриптом Белышева kanon_new.bat

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

Введено ЛК: 952

Проверено ЛК: 83 скорость 4488 ДЛК в сек
Проверено ЛК: 165 скорость 4467 ДЛК в сек
Проверено ЛК: 252 скорость 4440 ДЛК в сек
Проверено ЛК: 335 скорость 4415 ДЛК в сек
Проверено ЛК: 419 скорость 4287 ДЛК в сек
Проверено ЛК: 502 скорость 4468 ДЛК в сек
Проверено ЛК: 585 скорость 4280 ДЛК в сек
Проверено ЛК: 671 скорость 4271 ДЛК в сек
Проверено ЛК: 759 скорость 4124 ДЛК в сек
Проверено ЛК: 844 скорость 4433 ДЛК в сек
Проверено ЛК: 934 скорость 4015 ДЛК в сек

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

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

Найдено марьяжных КФ:
count[1] = 562
count[2] = 376
count[3] = 1
count[4] = 13
Всего: 952
Найдено соквадратов: 1369
КФ соквадратов: 952

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

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

PS. Четвёрки из этой порции решений выложены здесь
https://boinc.progger.info/odlk/forum_thread.php?id=40&postid=2424#2424
Тройка выложена здесь
https://boinc.progger.info/odlk/forum_thread.php?id=42&postid=2425#2425
ID: 2423 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2426 - Posted: 24 Sep 2018, 16:20:38 UTC

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

Недостающие стандарты определяет, как всегда, программа от Vovka17

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

Всё чётко: 4279 стандартов найдено, 15308 стандартов осталось найти (при условии, что количество всех стандартов, соответствующих решениям с симметрией (4,31,31), действительно 19587).
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2426 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2427 - Posted: 25 Sep 2018, 4:00:58 UTC
Last modified: 25 Sep 2018, 4:42:59 UTC

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

Найдены уникальные группы пар ОДЛК: рикошетная тройка, 11 "симметричных" четвёрок и "симметричная" шестёрка.
Теперь у нас есть обе шестёрки, которые имеются в данных, выложенных Белышевым по этой симметрии.
Из крупных групп пар ОДЛК (выше четвёрки) осталось найти 4 восьмёрки и десятку.

Проверка всех 2067 уникальных КФ ОДЛК скриптом Белышева kanon_new.bat

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

Введено ЛК: 2067

Проверено ЛК: 81 скорость 4499 ДЛК в сек
Проверено ЛК: 162 скорость 4365 ДЛК в сек
Проверено ЛК: 241 скорость 4279 ДЛК в сек
Проверено ЛК: 323 скорость 4288 ДЛК в сек
Проверено ЛК: 407 скорость 4387 ДЛК в сек
. . . . . 
Проверено ЛК: 1544 скорость 4227 ДЛК в сек
Проверено ЛК: 1637 скорость 3840 ДЛК в сек
Проверено ЛК: 1715 скорость 4425 ДЛК в сек
Проверено ЛК: 1798 скорость 4332 ДЛК в сек
Проверено ЛК: 1885 скорость 4082 ДЛК в сек
Проверено ЛК: 1972 скорость 3983 ДЛК в сек
Проверено ЛК: 2060 скорость 4171 ДЛК в сек

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

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

Найдено марьяжных КФ:
count[1] = 1170
count[2] = 884
count[3] = 1
count[4] = 11
count[6] = 1
Всего: 2067
Найдено соквадратов: 2991
КФ соквадратов: 2067

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

Супер!!
Все группы пар ОДЛК выше двушки выложила в соответствующих темах.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2427 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2431 - Posted: 25 Sep 2018, 6:13:29 UTC
Last modified: 25 Sep 2018, 6:15:07 UTC

Ещё порция результатов от Demis!

1567 уникальных КФ ОДЛК, среди них 747 КФ с симметрией (4,31,31).

Проверяю 1567 КФ ОДЛК скриптом Белышева kanon_new.bat

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

Введено ЛК: 1567

Проверено ЛК: 43 скорость 2093 ДЛК в сек
Проверено ЛК: 85 скорость 2196 ДЛК в сек
Проверено ЛК: 128 скорость 2131 ДЛК в сек
Проверено ЛК: 168 скорость 2153 ДЛК в сек
Проверено ЛК: 208 скорость 2227 ДЛК в сек
Проверено ЛК: 251 скорость 2178 ДЛК в сек
. . . . . 
Проверено ЛК: 1374 скорость 3003 ДЛК в сек
Проверено ЛК: 1436 скорость 3007 ДЛК в сек
Проверено ЛК: 1499 скорость 2948 ДЛК в сек
Проверено ЛК: 1562 скорость 2968 ДЛК в сек

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

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

Найдено марьяжных КФ:
count[1] = 998
count[2] = 564
count[4] = 5
Всего: 1567
Найдено соквадратов: 2146
КФ соквадратов: 1567

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

В этой порции 5 "симметричных" четвёрок.
Выложу четвёрки в теме о четвёрках.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2431 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2433 - Posted: 25 Sep 2018, 6:34:27 UTC
Last modified: 25 Sep 2018, 6:37:46 UTC

Т-э-к-с, на данный момент мы имеем 6009 стандартов, соответствующих решениям с симметрией (4,31,31).

Как всегда, утилита от Vovka17 даёт недостающие стандарты (при этом проверяется уникальность найденных стандартов и их включение во множество всех стандартов)

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

Как видим, недостающих стандартов 13578.

Отличный темп у Demis!
Найдено более 30% всех стандартов, соответствующих решениям с симметрией (4,31,31).

Мы продолжаем эксперимент!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2433 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13172
Credit: 0
RAC: 0
Message 2434 - Posted: 26 Sep 2018, 9:37:09 UTC

Небольшое пополнение из моих экспериментов - 22 стандарта, стало 6031 стандартов, соответствующих решениям с симметрией (4,31,31).
Сделала проверку этих 6031 стандартов скриптом Белышева kanon_new.bat

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

Введено ЛК: 6031

Проверено ЛК: 47 скорость 1765 ДЛК в сек
Проверено ЛК: 96 скорость 1782 ДЛК в сек
Проверено ЛК: 145 скорость 1754 ДЛК в сек
Проверено ЛК: 189 скорость 1671 ДЛК в сек
Проверено ЛК: 236 скорость 1558 ДЛК в сек
Проверено ЛК: 284 скорость 1740 ДЛК в сек
Проверено ЛК: 333 скорость 1749 ДЛК в сек
. . . . . 
Проверено ЛК: 5611 скорость 2489 ДЛК в сек
Проверено ЛК: 5677 скорость 2460 ДЛК в сек
Проверено ЛК: 5738 скорость 2234 ДЛК в сек
Проверено ЛК: 5805 скорость 2453 ДЛК в сек
Проверено ЛК: 5873 скорость 2483 ДЛК в сек
Проверено ЛК: 5943 скорость 2514 ДЛК в сек
Проверено ЛК: 6011 скорость 2459 ДЛК в сек

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

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

Найдено марьяжных КФ:
count[1] = 812
count[2] = 5161
count[4] = 77
count[6] = 2
count[8] = 1
Всего: 6053
Найдено соквадратов: 11462
КФ соквадратов: 5999

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

Ого! Уже 77 четвёрок с симметрией (4,31,31).
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 2434 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 · 2 · 3 · 4 · 5 · 6 · Next

Message boards : Science : Поиск решений с симметрией (4,31,31)


©2024 (C) Progger