Message boards :
Science :
ЛК блочной структуры
Message board moderation
Previous · 1 . . . 9 · 10 · 11 · 12
Author | Message |
---|---|
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Немного отвлеклась от проверки последних семейств БС, писала одну программку. Вот окончательные итоги проверки семейств БС старших видов (опять проверила вместе 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Придумала, как проверить. Белышев выложил все решения от семейств БС: Все 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Сегодня проверила семейство БС вида 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 |
![]() ![]() Send message Joined: 6 Apr 17 Posts: 14723 Credit: 0 RAC: 0 |
Приготовила порцию ЛК по смешанному типу для следующего семейства БС вида 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 |
©2025 (C) Progger