Message boards :
Science :
ЛК блочной структуры
Message board moderation
Previous · 1 . . . 7 · 8 · 9 · 10 · 11 · 12 · Next
Author | Message |
---|---|
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Всё, семейство №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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Итак, модифицированную программу 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Давно приступила к поиску решений в семействах БС видов отличных от 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Я продолжаю проверку семейств БС старших видов. На сегодня имею Определитель семейств блочных ЛК Введено ЛК : 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Пробую написать программу-генератор канонических шаблонов старших видов. Смотрите тему на форуме 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Тем временем семейство БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Белышев исправил баг в программах определитель семейств БС и 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Как я уже отмечала, среди проверенных мной семейств БС старших видов большинство семейств имеют решения. Но семейства-"пустышки", конечно, тоже встречаются. Вот, например, семейство БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Попалось семейство БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Напомню историю проверки ЛК блочной структуры. Семейства БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Предлагаю всем участникам этот эксперимент. Индивидуальный! Всё в этом эксперименте очень просто. ПО замечательно разработано Белышевым. "Вушка" - это имя семейства, например: 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Progger поскольку вы "заморозили" запуск новых экспериментов в BOINC-проекте, предлагаю вам индивидуальный, персональный и пр. :))) Вы же у нас кранчер тоже, помимо должности администратора. Сам Бог вам велел взять этот эксперимент. Берёте? :) My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Белышев сообщил на форуме boinc.ru Были найдены все семейства блочных ЛК следующих видов (и подвидов): Отлично! Теперь можно проверить те семейства, которые у меня ещё не проверены. Спасибо Белышеву! My new article "SOLS and SODLS" in Russian https://yadi.sk/d/nvdI6TgBrKv72A in English https://yadi.sk/d/VeY9bx6_q6CcZg |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Семейства БС старших видов, выложенные Белышевым, пошли в проверку! Семейства вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Все семейства БС старших видов, выложенные Белышевым вчера, кроме вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Ну вот, первое же проверенное семейство БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Краем глаза зацепило этот ДЛК в порции решений (он последний) 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Всё, с семействами БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Начала проверять семейства БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Из всех 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 |
©2025 (C) Progger