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

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

To post messages, you must log in.

Previous · 1 . . . 7 · 8 · 9 · 10 · 11 · 12 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1681 - Posted: 18 Mar 2018, 15:17:26 UTC
Last modified: 18 Mar 2018, 15:22:49 UTC

Всё, семейство №20 полностью проверено.
Итак, это семейство дало несколько двушек симметричных по Гергели/Брауну (все они показаны выше), одну однушку и две четвёрки - хотя и не напрямую полученные от семейства, а через двушки.
Основные ДЛК этих четвёрок имеют частичную блочную структуру (см. тему "ЛК с частичной блочной структурой").
Интересная особенность этих четвёрок: все их ортогональные соквадраты - блочные структуры семейства №20, как раз дают двушки, происходящие от этого семейства.
Забегая вперёд, скажу, что семейство БС с таким интересным свойством не единственное.

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1695 - Posted: 20 Mar 2018, 23:57:58 UTC
Last modified: 21 Mar 2018, 0:03:20 UTC

Итак, модифицированную программу family_mar имеем.
Progger загрузил программу сюда https://progger.info/files/family_mar.exe

Спасибо большое! Теперь программа работает замечательно.
Вот протокол работы программы при проверке порции 3418 ЛК
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 3418


Найдено марьяжных ДЛК: 11 они записаны в файл output.txt
Время работы в сек : 700.784

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

Это всё, что есть на экране.
И конечно же, программа выполняется быстрее. Это понятно: вывод даже 3418 строк на экран замедляет выполнение программы.
А если строк будет 65536...
Вот на этой порции выигрыш во времени на моём компьютере составил 2 минуты (14 минут по оригинальной программе Белышева и около 12 минут по модифицированной программе).
Чем больше будет ЛК в порции, тем больше будет строк, выводимых на экран, и тем больше будет выигрыш во времени.

Однако... подумала, подумала: стоит ли проверять вручную все оставшиеся семейства? Пришла к выводу, что не стоит.
Решений в них осталось очень мало. Жалко время тратить.
Пытаюсь уговорить Progger проверить все семейства БС по программе family_mar в BOINC-проекте.
В успехе уговоров совсем не уверена :(
Кстати, независимая проверка очень даже не помешает.

А запустить этот эксперимент в BOINC-проекте ну очень легко. Всё ПО есть (от Белышева) и написано на С++. Осталось взять ПО, посмотреть на него, адаптировать под BOINC-платформу - и все дела.
Каждое семейство - одно задание. Семейств всего 604.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1695 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1771 - Posted: 14 Jun 2018, 16:16:33 UTC
Last modified: 14 Jun 2018, 16:21:21 UTC

Давно приступила к поиску решений в семействах БС видов отличных от nx5.
Белышев называет такие семейства семействами старших видов.
Он выложил программу для генерации всех не изоморфных ЛК в таких семействах по заданному каноническому шаблону семейства.
Пока не знаю, как найти все семейства БС старших видов.
Может быть, Белышев и писал об этом, но я не нашла.
Поэтому сейчас я получаю такие семейства своим методом, однако этот метод не гарантирует, что будут получены все семейства.
Тем не менее, работа у меня идёт, решения в семействах находятся. При этом семейств-"пустышек" мало попадается у меня, большинство проверенных семейств с решениями. Изредка попадаются двушки в семействах.

Далее, я ещё проверяю некоторые из этих семейств по смешанному типу. Это алгоритм, разработанный мной и Harry White. Программу сделал Harry.

Покажу наличие решений и семейств в пятой части БД
Определитель семейств блочных ЛК
Введено ЛК       : 36485
28171
Из них блочных   : 218

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

5x5              : 1
9x5              : 1
10x5             : 46
9x7              : 3
10x7             : 23
9x8              : 1
10x8             : 5
10x9             : 5
10x10            : 22

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

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1777 - Posted: 16 Jun 2018, 9:36:09 UTC

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

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

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

5x5              : 1
9x5              : 1
10x5             : 46
9x7              : 3
10x7             : 23
9x8              : 1
10x8             : 7
10x9             : 5
10x10            : 23

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

Уже 62 семейства БС старших видов с решениями! Очень хороший результат.
Сейчас в проверке семейство БС вида 10х8 с каноническим шаблоном

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

Программа Белышева gen_blk сгенерировала для этого канонического шаблона 98304 ЛК.
Довольно лёгкая для проверки порция.

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1778 - Posted: 16 Jun 2018, 10:48:42 UTC

Пробую написать программу-генератор канонических шаблонов старших видов.
Смотрите тему на форуме Math Help Planet
http://mathhelpplanet.com/viewtopic.php?f=62&t=60544

Если есть программисты, желающие попробовать, прошу :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1778 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1779 - Posted: 16 Jun 2018, 11:48:08 UTC
Last modified: 16 Jun 2018, 12:43:55 UTC

Тем временем семейство БС вида 10х8, показанное выше, проверено.
Найдены две уникальные однушки

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

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

Всё-таки семейства БС проверять выгодно. Худо-бедно, но решения стабильно есть. Редко встречаются семейства-"пустышки".
А попадаются богатые семейства, которые дают и двушки, и много однушек.
И знаю одно семейство БС вида 10х10 (писала уже выше о нём), от которого рикошетом происходит восьмёрка.
Пока больше не попалось подобное семейство.

И семейств БС старших видов с решениями у меня уже 63.
Вот не помню, были ли такие семейства в 4-й части БД. Надо посмотреть.
Я давно начала эти семейства проверять.

В первых 3-х частях БД решений из семейств БС старших видов точно не было, проверяла выше
Определитель семейств блочных ЛК

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

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

5x5              : 1
9x5              : 18
10x5             : 304

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

Сейчас проверю 4-ю часть БД.

Вот она - 4-я часть БД
Определитель семейств блочных ЛК

Введено ЛК       : 500000
83750
171409
256210
344681
429276
Из них блочных   : 34

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

5x5              : 1
9x5              : 1
10x5             : 3
9x7              : 2
10x7             : 2
10x8             : 2
10x9             : 2
10x10            : 1

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

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1788 - Posted: 19 Jun 2018, 9:15:55 UTC
Last modified: 19 Jun 2018, 11:25:43 UTC

Белышев исправил баг в программах определитель семейств БС и gen_blk, о чём сообщил на форуме boinc.ru
http://forum.boinc.ru/default.aspx?g=posts&m=90849#post90849

Теперь у меня появились шаблоны вида 7х7 и 8х8, которых раньше не было. Баг относился как раз к таким "квадратным" шаблонам, кроме "квадратных" шаблонов 10х10, которые находились правильно. Шаблона 9х9 пока нет у меня.

Сегодня попалось отличное семейство БС вида 10х10, оно дало 7 решений.
При полной обработке этих решений получено 18 уникальных КФ ОДЛК, в том числе 4 двушки!
Канонический шаблон данного семейства

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

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1789 - Posted: 20 Jun 2018, 5:32:03 UTC
Last modified: 20 Jun 2018, 5:37:10 UTC

Как я уже отмечала, среди проверенных мной семейств БС старших видов большинство семейств имеют решения.
Но семейства-"пустышки", конечно, тоже встречаются.
Вот, например, семейство БС вида 10х10 со следующим каноническим шаблоном

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

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1799 - Posted: 22 Jun 2018, 2:09:32 UTC
Last modified: 22 Jun 2018, 2:14:20 UTC

Попалось семейство БС вида 10х10

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

с довольно большой порцией ЛК - 491520 ЛК.
Раньше я проверяла это семейство по смешанному типу, решений не нашлось.
После вычитания проверенной порции ЛК осталось 436224 ЛК.
Проверяла эту порцию частями по 70000 ЛК. Решения найдены.

И это ещё не самая большая порция для семейств БС вида 10х10. Как сообщал Белышев, порция может содержать до миллиона ЛК.
Удобнее всего для проверки семейства БС вида 10х7: не очень большие порции ЛК получаются и решения почти всегда есть.

Последние данные по решениям от семейств БС старших видов

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

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

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

5x5              : 1
9x5              : 1
10x5             : 47
9x7              : 3
10x7             : 26
9x8              : 1
10x8             : 9
10x9             : 5
10x10            : 29

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

По-прежнему лидируют семейства БС вида 10х10, но семейства вида 10х7 мало им уступают.
73 семейства БС старших видов дали решения!
Проверено примерно 90 таких семейств, остальные "пустышки".
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1799 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1809 - Posted: 26 Jun 2018, 2:19:14 UTC
Last modified: 26 Jun 2018, 2:22:31 UTC

Напомню историю проверки ЛК блочной структуры.

Семейства БС вида nx5 проверялись в два этапа:
первый этап - поиск симметричных по Гергели/Брауну решений;
второй этап - поиск всех остальных решений.

Второй этап в нашем проекте не был выполнен отдельным экспериментом, хотя Progger уже начинал готовить этот эксперимент. Но... на сложилось... :(
Несколько семейств было проверено мной в ручном режиме. Об этом рассказано выше.
Я проверила нашу БД на наличие решений из семейств БС вида nx5; проверяла давно, сейчас, может быть, и побольше уже решений найдено
(иногда при проверке БС смешанного типа решения попадают в семейства БС вида nx5).
Так вот, на момент той проверки в БД содержались решения из 54 семейств БС вида nx5.
Всего семейств БС такого вида по списку Белышева 604. Осталось проверить 550 семейств.

Вчера посмотрела список Белышева, поставила "плюс" проверенным семействам, несколько семейств проверила вчера, поставила *** этим семействам.
Начало списка Белышева с моими пометками

family_5x5_DQV_105.txt +
family_5x5_JQS_23.txt +
family_7x5_BGHQV_796.txt +
family_8x5_BCSDTR_4320.txt *** нет решений
family_8x5_BCXBVQ_4320.txt *** нет решений
family_8x5_BIJUVE_2800.txt +
family_8x5_DBTCSQ_4320.txt *** нет решений
family_8x5_DBWAUR_878.txt +
family_8x5_DNVMXF_1518.txt +
family_8x5_DPTMXF_4288.txt *** нет решений
family_9x5_BCETXNR_16640.txt *** нет решений
family_9x5_BCHFXRT_32768.txt
family_9x5_BCHTXFR_16640.txt
family_9x5_BCJETRT_16640.txt
family_9x5_BCJFSRT_32768.txt
family_9x5_BCJFUQV_32768.txt
family_9x5_BCJUVFQ_32768.txt
family_9x5_BCKDVQV_10944.txt +
family_9x5_BCKFWPV_32768.txt
family_9x5_BCLBWQV_32768.txt
family_9x5_BCLDSRT_32768.txt
family_9x5_BCLDUQV_32768.txt
. . . . . . . . . 

Дальше проверять ну никак не хочется. Может быть, когда-нибудь, когда вся работа закончится, но это вряд ли случится :)

А что у нас с семействами БС старших видов?
Белышев начинает эти семейства от вида 7х7.
То есть будем рассматривать семейства БС вида mxn при m>=n, n>=7.
Я не поняла, почему не рассматривается случай n=6.

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1810 - Posted: 26 Jun 2018, 2:57:24 UTC

Предлагаю всем участникам этот эксперимент.
Индивидуальный!

Всё в этом эксперименте очень просто. ПО замечательно разработано Белышевым.
"Вушка" - это имя семейства, например: BCHFXRT.
Надо ввести имя семейства в программу unpack_family.exe
Программа выдаст все не изоморфные ЛК данного семейства.
Для приведённого имени семейства будет 32768 ЛК.
Затем надо проверить полученную порцию ЛК программой family_mar.exe
Эта программа найдёт решения от данного семейства и выдаст их (если они, конечно, есть; встречаются семейства "пустышки", в которых нет решений).
Вот и всё.
"Вушек" всего-то 550 штук в этом эксперименте. Вполне по силам любому кранчеру.
Одна "вушка" будет выполняться от нескольких минут до часа с хвостиком. Больше 65536 ЛК в одном семействе нет.
Будь у меня техники поболее, давно сама бы выполнила этот эксперимент.
Но у меня только один ПК! Да и тот маломощный, всего 2 ядра.
А я выполняю постоянно два эксперимента и, кроме того, ещё целый ряд различных экспериментов - нащупываю новые хорошие алгоритмы поиска.

Если есть желающие, пишите, пожалуйста, ЛС.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1810 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1812 - Posted: 26 Jun 2018, 4:00:18 UTC

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1830 - Posted: 26 Jun 2018, 14:38:09 UTC

Белышев сообщил на форуме boinc.ru
Были найдены все семейства блочных ЛК следующих видов (и подвидов):

7x7_0
7x7_1
8x7_0
8x7_1
9x7_0
9x7_1
10x7
8x8_0
8x8_1
8x8_2


Их оказалось весьма немного — 82. Соответствующие канонические шаблоны в приложенном архиве.

Ещё не полностью найдены семейства семи подвидов:
9x8_0
9x8_1
10x8
9x9_0
9x9_1
10x9
10x10

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1832 - Posted: 26 Jun 2018, 16:17:24 UTC
Last modified: 26 Jun 2018, 16:25:36 UTC

Семейства БС старших видов, выложенные Белышевым, пошли в проверку!

Семейства вида 8х7 у меня не было одного из 4-х выложенных, проверила его, "пустышка".
Семейств вида 9х7 у меня не было 6 штук из 13 выложенных.
Начала их проверять, первое же семейство удачное
Поиск марьяжных ДЛК (кроме симметричных) для семейства ЛК

Введено ЛК: 10468

Найдено марьяжных ДЛК: 2 они записаны в файл output.txt
Время работы в сек   : 925.108

Две уникальные однушки.
Ура, ура, ура!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1832 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1833 - Posted: 27 Jun 2018, 4:16:48 UTC
Last modified: 27 Jun 2018, 13:01:51 UTC

Все семейства БС старших видов, выложенные Белышевым вчера, кроме вида 10х7, допроверила.
Семейства вида 10х7 сверяю с теми, которые у меня проверены, новое попадается - проверяю.
Эти семейства проверять одно удовольствие: порции ЛК не очень большие и решения почти всегда есть.
У меня таких семейств довольно много было проверено. Вот до 58 доберу и дело в шляпе :)

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1834 - Posted: 27 Jun 2018, 5:27:34 UTC

Ну вот, первое же проверенное семейство БС вида 10х7 принесло три уникальные однушки, 6 уникальных КФ ОДЛК

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

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

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

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

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

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

Замечательно! Есть стимул проверять дальше :)

Почти половину шаблонов вида 10х7, выложенных Белышевым, сверила со своими, новых очень мало - всего 6 штук пока.
Если и во второй половине будет столько же новых, мало проверять осталось.

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1835 - Posted: 27 Jun 2018, 5:35:23 UTC

Краем глаза зацепило этот ДЛК в порции решений (он последний)

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

Псевдосимметричный по Гергели/Брауну ДЛК! Нарушений симметричности очень мало.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1835 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1836 - Posted: 27 Jun 2018, 16:27:11 UTC

Всё, с семействами БС вида 10х7 управилась.
Новых семейств из 58, выложенных Белышевым, оказалось всего 15 штук.
Проверились быстро. Решения есть, но только однушки. Семейства "пустышки" тоже есть.

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1837 - Posted: 28 Jun 2018, 3:11:59 UTC
Last modified: 28 Jun 2018, 3:42:28 UTC

Начала проверять семейства БС вида 9х8.
Тут у меня препятствие: из 12 выбранных новых (для меня) канонических шаблонов (выложенных Белышевым) программа gen_blk приняла только один:

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

На остальные 11 шаблонов поругалась: "Некорректный шаблон".
Пока ничего не понимаю. До этого все шаблоны программа принимала, не ругалась.
Может, я ещё не проснулась и что-то не так делаю? :(

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

Send message
Joined: 6 Apr 17
Posts: 13187
Credit: 0
RAC: 0
Message 1838 - Posted: 28 Jun 2018, 3:24:06 UTC
Last modified: 28 Jun 2018, 3:26:24 UTC

Из всех 27 канонических шаблонов семейств БС вида 9х8, выложенных Белышевым, программа gen_blk признала правильными следующие 10 штук:

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

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

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

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

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

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

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

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

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

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

Посмотрю, какие их этих семейств у меня не были проверены, и проверю их пока.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1838 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 . . . 7 · 8 · 9 · 10 · 11 · 12 · Next

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


©2024 (C) Progger