| Математический форум Math Help Planet http://mathhelpplanet.com/ |
|
| Ортогональные латинские квадраты 10-го порядка http://mathhelpplanet.com/viewtopic.php?f=57&t=46638 |
Страница 363 из 421 |
| Автор: | Nataly-Mak [ 03 май 2017, 22:31 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Всё чётко! Решение от последней КФ найдено, это двушка ▼
Других решений в провернном интервале нет. Можно проверять следующие интервалы. |
|
| Автор: | Nataly-Mak [ 04 май 2017, 10:10 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Интересно! Проверила последнюю порцию сгенерированных "симметричных" ДЛК с целины (эксперимент #1) в двух канонизаторах. В одном канонизаторе (kanonizator_dlk) почти 100% КФ, а в другом канонизаторе (kanonizator_y) нет ни одной КФ. Загружена хеш-таблица dlk: 295680 |
|
| Автор: | Nataly-Mak [ 04 май 2017, 10:18 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Метод интервалов для КФ нового образца найдена в интервале 4-го уровня уникальная однушка Это первое решение у меня от СН ДЛК. Вот она - эта однушечка 0 1 2 3 4 5 6 7 8 9 Кроме того, у однушки есть парная! Парная однушка тоже даёт две уникальные КФ. 4 КФ обеих однушек: ▼
Итоги: 44400 уникальных КФ в БД не "пустышек" (плюс две однушки). Кругленькое какое число Итак, метод интервалов для КФ нового образца работает! Организовала непрерывный процесс, используя для этого специально сделанную программу-генератор Harry (эта программа есть в выложенном архиве Harry, ссылка выше). Работает пакетный файл. СН ДЛК генерируются порциями по миллиону. P.S. Решение найдено в следующем интервале 4-го уровня сложности ▼
|
|
| Автор: | Nataly-Mak [ 05 май 2017, 06:22 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Интересно! Методом интервалов нашла два не уникальных решения от СН ДЛК - четвёрку и двушку ▼
Основные ДЛК этих решений (Square) - с инверсированными строками (как в "браунах"), но строки не "симметричные" |
|
| Автор: | Nataly-Mak [ 05 май 2017, 09:20 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Белышев писал на форуме boinc.ru Цитата: В первой колонке — номер линейки, а во второй — максимальное число изоморфных СНДЛК для каждой КФ. То есть, например, для линеек 1, 15, 36, 38 в среднем только 1 СНДЛК из 48 является КФ, а для линеек 57, 58, 59, 60, 61, 62, 63, 65 и 66 каждый СНДЛК суть КФ. Если я правильно понимаю, для следующих побочных диагоналей №57 1032675894 мы имеем стопроцентный выход КФ, то есть все СН ДЛК с такими побочными диагоналями являются КФ. Выбрала хороший интервал 4-го уровня сложности из текущей БД КФ ДЛК не "пустышек" (с КФ нового образца): 0 3 6 4 7 8 2 5 9 1 Побочная диагональ в КФ этого интервала - №62 со стопроцентным выходом КФ. Это значит, что интервал можно и нужно проверять без канонизации вставляемых СН ДЛК, ибо все они являются КФ. Запустила проверку пакетным файлом; порции генерируются по 1000000 СН ДЛК, нагенерированные СН ДЛК сразу проверяются на ОДЛК, минуя этап канонизации. Итервал довольно длинный. Есть ли пропущенные решения в интервале??? Жду результата эксперимента. P.S. В эксперименте используется генератор СН ДЛК от Harry White. Отличный генератор! СН ДЛК генерируются в лексикографическом порядке, начиная с введённого стартового СН ДЛК. В качестве стартового СН ДЛК, понятно, используется первая КФ проверяемого интервала. |
|
| Автор: | Nataly-Mak [ 05 май 2017, 12:58 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Есть!!! Вот она - уникальная однушка из проверяемого интервала 4-го уровня, показанного в предыдущем посте 0 1 2 3 4 5 6 7 8 9 Это у меня второе решение от СН ДЛК. 2 уникальные КФ этой однушки в прежнем формате ▼
Итоги: 44402 уникальные КФ в БД не "пустышек" (плюс однушка). В связи с экспериментами с СН ДЛК немного приостановила свои постоянные эксперименты (нет ресурсов ). Поэтому пока решения только от СН ДЛК. Но я не без решений! Интервал ещё не проверен до конца. Продолжаю проверку. |
|
| Автор: | Nataly-Mak [ 05 май 2017, 14:44 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
citerra писал на форуме boinc.ru Цитата: Последняя найденная КФ 0 9 8 7 6 4 5 2 3 1 Первая строка не максимальная. Есть куда увеличивать. Чтобы искать большую надо еще подумать как организовать поиск. Сразу не очевидно. В текущей БД моего проекта максимальная КФ нового образца точно такая же. У меня имеется ГИПОТЕЗА: текущая максимальная КФ не "пустышка" нового образца является глобальным максимумом множества всех КФ не "пустышек" нового образца. Цитата: Первая строка не максимальная. Первая строка максимальная для данной побочной диагонали. Моя программка выдаёт следующие варианты строк для данной побочной диагонали: ▼
У Harry точно такой же последний вариант первой строки для данной побочной диагонали: Friday 2017-05-05 13:35:56 Iineianeia a?aiy (ceia) Поиск бОльшей КФ организовать очень просто, по крайней мере, для данной побочной диагонали. Кстати, диагональ эта №59 - со стопроцентным выходом КФ. Возможно, придётся проверить максимальные варианты строк и для других побочных диагоналей. Тут надо подумать над этим вопросом. Но и это понятно, как проверять. Другое дело, что проверять придётся очень много. Я проверила несколько маленьких порций (по 300000 СН ДЛК) для диагонали №59 (имеющейся в текущей максимальной КФ). Порции сгенерированных СН ДЛК канонизировала. Пока подтверждается, что выход КФ для данной побочной диагонали стопроцентный: C:\Users\Дом\Downloads\kanonizator_dlk>kanonizator_dlk.exe Решений пока не найдено. Я думаю, что не только пока (см. гипотезу). Аналогично ядру БД КФ ДЛК не "пустышек" прежнего образца здесь тоже имеется своё ядро БД, которое не увеличивается вширь, а только вглубь. Для опровержения моей гипотезы достаточно представить КФ не "пустышку" нового образца, которая больше текущей максимальной КФ. |
|
| Автор: | Nataly-Mak [ 05 май 2017, 15:23 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Для данной побочной диагонали (имеющейся в текущей максимальной КФ) можно организовать поиск бОльшей КФ с помощью следующего пакетного файла @echo off Для работы программы Harry DLS10R1BdFdCP.exe необходимо записать стартовый СН ДЛК (текущую максимальную КФ) в файл DLS10R1BdFdLast.txt Программа генерирует СН ДЛК порциями по миллиону в лексикографическом порядке. Последний квадрат каждой порции записывается в тот же файл DLS10R1BdFdLast.txt Сгенерированную порцию СН ДЛК программа записывает в файл TemporaryDLS10R1BdFd.txt Этот файл является входным для программы проверки на ОДЛК. Поскольку для побочной диагонали в текущей максимальной КФ выход КФ стопроцентный, этап канонизации сгенерированных СН ДЛК здесь опускается. Точно так же можно организовать поиск и для других побочных диагоналей. Только надо определить максимальный вариант первой строки для каждой побочной диагонали. |
|
| Автор: | Nataly-Mak [ 05 май 2017, 18:29 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Например, для первой побочной диагонали имеем по программе Harry White Friday 2017-05-05 19:19:09 Iineianeia a?aiy (ceia) Не актуальная первая строка, ибо она меньше, чем в текущей максимальной КФ. Кстати, из приведённого примера очевидно, что для всех побочных диагоналей, у которых предпоследний элемент 9, в первой строке второй элемент не может быть 9. Следовательно, все такие побочные диагонали исключаются из проверки. |
|
| Автор: | Nataly-Mak [ 05 май 2017, 18:54 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Предпоследняя КФ нового образца в БД не "пустышек" 0 9 8 7 6 4 5 2 3 1 В этой КФ побочная диагональ №66 1 2 3 0 6 7 5 9 4 8 Значит, для этой побочной диагонали тоже придётся проверять все КФ. |
|
| Страница 363 из 421 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|