| Математический форум Math Help Planet http://mathhelpplanet.com/ |
|
| Ортогональные латинские квадраты 10-го порядка http://mathhelpplanet.com/viewtopic.php?f=57&t=46638 |
Страница 373 из 421 |
| Автор: | Nataly-Mak [ 18 май 2017, 14:41 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Nataly-Mak писал(а): Nataly-Mak писал(а): Предпоследняя КФ нового образца в БД не "пустышек" 0 9 8 7 6 4 5 2 3 1 В этой КФ побочная диагональ №66 1 2 3 0 6 7 5 9 4 8 Значит, для этой побочной диагонали тоже придётся проверять все КФ. Такую же максимальную первую строку дают 52 побочные диагонали из 67 (пробежалась программой Harry по всем побочным диагоналям). Исключение составляют следующие побочные диагонали (15 шт.): №№ 1, 2, 3, 10, 13, 14, 15, 16, 19, 20, 24, 25, 39, 57, 64 Если я правильно понимаю, любая из 52 побочных диагоналей, дающих максимальную первую строку, теоретически может дать КФ, которая больше текущей максимальной КФ. Итак, Harry проверил на максимальную КФ линейки №№ 57 - 67. Осталось проверить 56 линеек. Но с учётом исключений (см. в цитате) осталось проверить 43 линейки. Кстати, найденный Harry текущий максимум КФ принадлежит линейке №66. |
|
| Автор: | Nataly-Mak [ 18 май 2017, 17:55 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Nataly-Mak писал(а): И к слову о четвёрках - иллюстрация. Это самая первая четвёрка, найденная мной в данном эксперименте. Четвёрка эта полновесная, то есть даёт 5 уникальных КФ. ![]() Сообщение об этой четвёрке смотрите здесь viewtopic.php?p=291788#p291788 Это было в январе с. г. Эксперимент с "симметричными" ДЛК был начат незадолго до этого. |
|
| Автор: | Nataly-Mak [ 18 май 2017, 18:07 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Поиск КФ №2 в БД КФ не "пустышек" нового формата линейка №13 интересно, что пока по-прежнему идёт стопроцентный выход КФ ▼
Сегодня уже проверено 7 миллионов КФ! Вчера было проверено 5 миллионов с хвостиком. Но вот следующее решение может быть очень далеко, если вообще оно есть в этой линейке. Пока покручу, посмотрю. Интересный эксперимент! Интересно, когда КФ пойдут на убыль. Вот первое решение я и не ожидала, а оно раз - и выскочило
|
|
| Автор: | Nataly-Mak [ 19 май 2017, 08:48 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Текущая БД у нас начинается так: №1 КФ, следующая за КФ №1, имеет такую же первую строку, но принадлежит уже другой динейке. Следовательно, в линейке №13 надо проверить только все КФ с первым вариантом первой строки. Однако... это "только" исчисляется огромным количеством даже с учётом того, что не все СН ДЛК в этой линейке являютя КФ. Пока проверка идёт, это за сегодня ▼
Всего уже проверено 23 миллиона с хвостиком СН ДЛК. И пока все СН ДЛК являются КФ. |
|
| Автор: | Nataly-Mak [ 19 май 2017, 09:11 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Цитата: Следовательно, в линейке №13 надо проверить только все КФ с первым вариантом первой строки. Нет, не так. Надо проверять до тех пор, пока не появится КФ больше той, которая сейчас следует за КФ №1: 0 2 3 4 5 6 7 8 9 1 Это уже легче
|
|
| Автор: | Nataly-Mak [ 19 май 2017, 13:42 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Свершилось! BOINC-проект по поиску ОДЛК 10-го порядка стартовал! https://boinc.progger.info/odlk/ Огромное спасибо коллеге, пока по нику - Progger. Дело это для него новое, не всё сразу получилось. Но вот проект задышал! Пока идёт тестирование заданий. Уже больше 1000 заданий проверено. Сейчас работает программа только для Linux. Но Progger пишет, что уже собрал Приложение для Windows. Все задания уже расхватали Сейчас он нагенерирует новые задания и опробует виндовскую версию. И уже есть одно уникальное решение! Мы начали с самого свежего алгоритма - новая теория Белышева о СН ДЛК. И генератор используем Белышева. Взяли линейку №62, в этой линейке все СН ДЛК являются КФ. Ну вот, начали с самого начала линейки и идём по ней И вот нашлось решение - уникальная однушечка 0 1 2 3 4 5 6 7 8 9 Однушка даёт две уникальные КФ (КФ пока нахожу в прежнем формате, БД продолжаю тоже в прежнем формате): ▼
Ура! Первое решение с проекта, это на этапе тестирования заданий. Итоги: 44644 уникальные КФ в БД не "пустышек" (плюс однушка). |
|
| Автор: | Nataly-Mak [ 19 май 2017, 13:51 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Да, забыла написать о программе проверки на ОДЛК. Мы используем модифицированную программу svb lat03b. Модификации программа подверглась дважды. Сначала программист, которого пригласил в проект 256Ghz, переписал программу svb на С++ Потом эту версию модифицировал Progger. В результате получилась неплохая программа проверки на ОДЛК. Ещё важно: Progger дал ссылку на папку с результатами https://boinc.progger.info/odlk_results/?C=S;O=D Как я поняла, задания, в которых получено решение, вылезают наверх (сортировка по размеру файла). Сейчас в папке два решения, одно из которых не уникальное (получено при самом первом контрольном тестировании самим Progger; в этом тестировании задания были ещё не СН ДЛК). Результаты в нашем проекте доступны для всех! Разумеется, результаты требуют проверки на уникальность. Появление изоморфных решений неизбежно хотя бы потому, что мы имеем уже приличную БД. |
|
| Автор: | Nataly-Mak [ 19 май 2017, 17:32 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
И ещё уникальная однушка найдена в BOINC-проекте! Вот она: 0 1 2 3 4 5 6 7 8 9 Однушка даёт 2 уникальные КФ, как и положено однушке, которая не self. Итоги: 44646 уникальных КФ в БД не "пустышек" (плюс однушка). Пока идёт одна и та же линейка №62. Я смотрю, Progger не успевает задания генерировать Версия Приложения для Windows вроде тоже работает. |
|
| Автор: | Nataly-Mak [ 19 май 2017, 17:59 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Там, в папке с результатами, кажется ещё решение появилось. Ну пусть пока, не буду по одному обрабатывать. Пусть хоть с десяток наберётся, на что очень надеюсь От помощника пришли решения, сейчас займусь этими решениями. |
|
| Автор: | Nataly-Mak [ 19 май 2017, 19:21 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Итак, от помощника решения из интервала 3-го уровня (он один у него остался в проверке) пришли 5 уникальных однушек (5 и найдено). Каждая однушка дала 2 уникальные КФ (опять все не self). Все 10 уникальных КФ: ▼
Отличный улов всего в одном интервале 3-го уровня! Итоги: 44656 уникальных КФ в БД не "пустышек" (плюс 5 однушек). Сейчас посмотрю, что выдал эксперимент с "симметричными" ДЛК у помощника. Решений много найдено, но... нет ли опять сплошного изоморфизма? |
|
| Страница 373 из 421 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|