ЛК блочной структуры

Message boards : Science : ЛК блочной структуры
Message board moderation

To post messages, you must log in.

Previous · 1 . . . 9 · 10 · 11 · 12

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13118
Credit: 0
RAC: 0
Message 1904 - Posted: 6 Jul 2018, 14:25:34 UTC
Last modified: 6 Jul 2018, 15:28:19 UTC

Немного отвлеклась от проверки последних семейств БС, писала одну программку.
Вот окончательные итоги проверки семейств БС старших видов (опять проверила вместе 4-ую часть БД и текущую часть моего ручного проекта)
Определитель семейств блочных ЛК

Введено ЛК       : 540239
17246
39406
124418
214494
300702
389962
475355
Из них блочных   : 405

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

5x5              : 1
9x5              : 2
10x5             : 49
9x7              : 6
10x7             : 33
9x8              : 6
10x8             : 21
9x9              : 1
10x9             : 11
10x10            : 40

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

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

Send message
Joined: 6 Apr 17
Posts: 13118
Credit: 0
RAC: 0
Message 1905 - Posted: 6 Jul 2018, 15:22:04 UTC
Last modified: 6 Jul 2018, 15:25:04 UTC

Придумала, как проверить.
Белышев выложил все решения от семейств БС:

Все 3719 существенно различных марьяжных ДЛК10 можно посмотреть в прилагаемом архиве.

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

Выделила из этой порции решений решения от семейств БС старших видов (просто вычла выложенные Белышевым ранее решения от семейств БС вида nx5, 3411 штук). Получилось 308 решений от семейств БС старших видов.
Далее вычла из своего массива решений эти 308 решений:

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

Теперь проверяю полученную порцию решений на семейства БС:

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

Введено ЛК       : 539931
62085
126829
191306
257841
323911
388965
453366
519430
Из них блочных   : 97

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

5x5              : 1
9x5              : 2
10x5             : 49

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

Всё правильно: здесь только решения от семейств БС вида nx5, их 97 штук.

Теперь можно приступать к проверке семейств БС по смешанному типу.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1905 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13118
Credit: 0
RAC: 0
Message 1911 - Posted: 7 Jul 2018, 18:52:14 UTC
Last modified: 7 Jul 2018, 19:34:06 UTC

Сегодня проверила семейство БС вида 10х8

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

по смешанному типу.

По программе Белышева для этого семейства сгенерировано 46032 ЛК.
Проверка этой порции дала всего одно решение.

Программа Harry White для этого семейства по смешанному типу дала 460042 ЛК; это уже после канонизации программой Белышева, то есть все эти ЛК не изоморфные.
Вот такая солидная порция, почти целый день проверяла.
Но не зря! Найдено 17 решений от этой порции.

Интересно эти решения по семействам распределились:
Определитель семейств блочных ЛК

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

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

10x5             : 1
10x8             : 1
10x10            : 2

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

Решений блочной структуры всего 9, остальные 8 не блочные.
Все 17 решений однушки, но уникальных для нашей БД 7 однушек, 14 уникальных КФ ОДЛК.
Ну, 7 уникальных решений - это очень даже приличный результат.
К тому же, проверка этого семейства как чистой БС дала всего одно решение.
Овчинка выделки стоит!

Приготовила порцию ЛК по смешанному типу для следующего семейства БС вида 10х8. Эта порция ещё больше - 583192 ЛК.
Завтра займусь проверкой этого семейства.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1911 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13118
Credit: 0
RAC: 0
Message 1925 - Posted: 8 Jul 2018, 14:16:35 UTC - in response to Message 1911.  
Last modified: 8 Jul 2018, 14:19:14 UTC

Приготовила порцию ЛК по смешанному типу для следующего семейства БС вида 10х8. Эта порция ещё больше - 583192 ЛК.
Завтра займусь проверкой этого семейства.

Проверила.
Всего найдено 15 решений, уникальных для нашей БД только 3, все однушки, 6 уникальных КФ ОДЛК.
Тоже годятся.

По программе Белышева gen_blk для этого семейства сгенерировано 46032 ЛК.
Эта порция дала одно решение. Три добавленных решения имеем при проверке по смешанному типу.

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

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

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1925 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 . . . 9 · 10 · 11 · 12

Message boards : Science : ЛК блочной структуры


©2024 (C) Progger