| Математический форум Math Help Planet http://mathhelpplanet.com/ |
|
| Ортогональные латинские квадраты 10-го порядка http://mathhelpplanet.com/viewtopic.php?f=57&t=46638 |
Страница 343 из 421 |
| Автор: | Nataly-Mak [ 13 апр 2017, 04:11 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
citerra писал на форуме boinc.ru Цитата: От симметричных квадратов можно найти реально еще не более 10-20. В боинк-проекте может еще столько. Ну вот, две парные двушки уже найдены в боинк-проекте. |
|
| Автор: | Nataly-Mak [ 13 апр 2017, 04:35 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Беспристрастно и объективно оцениваю нашу БД КФ ДЛК не "пустышек". 1. 154 уникальные КФ с проекта SAT@home; 2. 3572 уникальные КФ получены в нашем с whitefox эксперименте whitefox писал(а): Итого первое семейство блочных ЛК позволяет найти [math]1715+1856+1=3572[/math] КФ марьяжных ДЛК. 3. 30502 уникальные КФ, найденные whitefox от SOLS; 4. 5865 уникальных КФ из проекта Gerasim@Home (из выложенных 5868 КФ в нашу БД добавилось 5865 уникальных КФ). Оставшиеся уникальные КФ найдены участниками моего проекта в разных экспериментах: [math]43692-(154+3572+30502+5865)=3599[/math] |
|
| Автор: | Nataly-Mak [ 13 апр 2017, 05:11 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Маленький эксперимент Давно собиралась его выполнить. Это проверка интервалов 2-го уровня сложности по НТ. Выбираю из БД все интервалы 2-го уровня, программа выдаёт 214 интервалов. Беру самый первый из списка # 1 0 1 2 3 4 5 6 7 8 9 Напомню: в интервалах 2-го уровня сложности в КФ совпадают точно 4 строки (сверху); в пятой строке уже первые элементы различные. Запускаю проверку интервала по НТ. ДЛК генерируются в лексикографическом порядке, затем нагенерированные ДЛК проверяются на НТ, и только НТ проверяются на ОДЛК. Вчера в прмежутках между другими экспериментами выполнилв проверку показанного интервала. Не нашлось ни одного решения. Всё! Данный интервал не содержит уникальных КФ не "пустышек". Так хочу проверить все интервалы 2-го уровня - для начала. С интервалами 3-го уровня будет намного сложнее. |
|
| Автор: | bimol [ 13 апр 2017, 07:05 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
В чем метод интервалов? Срубил одну голову ( проверил интервал ), а в другом месте ( в отличие от сказки ) вырастает несколько. И если повезет, интервал маленький, не вырастет новой головы. Такая вот борьба с драконом. |
|
| Автор: | Nataly-Mak [ 13 апр 2017, 07:18 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Посадила 2739 уникальных КФ, добавленных с пректа Gerasim@home, на свою карусель. Карусель недолго думая выдала уникальную однушку 0 1 2 3 4 5 6 7 8 9 2 КФ этой однушки: ▼
Тоже годятся для БД. Карусель можно и ещё покрутить, но уже слишком большие порции преобразованных ДЛК получаются. Итоги: 43694 уникальные КФ в БД не "пустышек". |
|
| Автор: | Nataly-Mak [ 13 апр 2017, 12:22 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Сегодняшняя порция из 2000 SODLS дала 76 уникальных КФ, все они дают однушки. Всего обработано 29000 SODLS из решений Алексея, найдено 1424 уникальные КФ. Итоги: 43770 уникальных КФ в БД не "пустышек". |
|
| Автор: | Nataly-Mak [ 14 апр 2017, 06:20 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Эксперимент #1 (вторая и третья части) ещё три уникальные однушки пришли от помощника ▼
Не уникальных решений сегодня нет. Внимание! Канонизирую ДЛК этих однушек: ▼
Все 6 КФ опять в ядре БД!! Да будет так всегда! И построение всей БД КФ ДЛК не "пустышек" тогда вполне реально. Ядро БД хотя и довольно большое, но оно во много раз меньше всего пространства нормализованных ДЛК. Вот задача для "высокой" науки: доказать, что текущая максимальная КФ ДЛК не "пустышек" является глобальным максимумом данного конечного множества указанных объектов. В эксперименте #1 мы пытаемся доказать это эмпирически. Но вряд ли удастся выполнить этот эксперимент до конца. Итоги: 43776 уникальных КФ в БД не "пустышек". |
|
| Автор: | Nataly-Mak [ 14 апр 2017, 06:47 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Метод интервалов, проверка по НТ Nataly-Mak писал(а): Маленький эксперимент Давно собиралась его выполнить. Это проверка интервалов 2-го уровня сложности по НТ. Подумала: а почему бы не проверить интервалы 1-го уровня сложности по НТ. Выбрала все такие интервалы из текущей БД, их оказалось 513. Посмотрела архив: в декабре прошлого года мы с 256Ghz проверили все интервалы 1-го и 2-го уровней, имеющиеся в БД на тот момент. Интервалов 1-го уровня тогда было 488. Тогда мы проверяли интервалы тотально, а не по НТ. Проверка по НТ намного быстрее. И главное: если решение нашлось, оно точно находится в проверяемом интервале и оно точно уникальное! В этом прелесть данного метода: никаких повторений, никаких не уникальных (изоморфных) решений! Интервалов 1-го уровня добавилось всего 25. Вчера начала проверку новых интервалов. И уже нашла одну уникальную однушку! Вот в этом интервале 0 1 2 3 4 5 6 7 8 9 В-о-о-о-т! Есть-таки пропущенные решения даже в этих очень коротких интервалах. Однушка ▼
и 2 её КФ ▼
Обратите внимание на Square, это НТ в проверяемом интервале. А всего в этом интервале 248851 НТ, проверка довольно быстро выполнилась. Сейчас продолжу проверку оставшихся интервалов 1-го уровня. Итоги: 43778 уникальных КФ в БД не "пустышек". |
|
| Автор: | bimol [ 14 апр 2017, 08:02 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Nataly-Mak писал(а): В-о-о-о-т! Есть-таки пропущенные решения даже в этих очень коротких интервалах. С какого бодуна они пропущены, если их там и не искали. Это бесконечная борьба с драконом. На месте одной головы/интервала появляется новые головы. Кол-во проверенных мелких интервалов растет, расположение их бессистемно, но процесс идет, и впереди их будут еще миллиарды. |
|
| Автор: | Nataly-Mak [ 14 апр 2017, 10:36 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Закончила обработку SODLS (30534 шт.), найденных Алексеем Белышевым от SOLS. Обрабатывала его программой Канонизатор ЛК по ДЛК. Нашла 1490 уникальных КФ. Хорошее добавление Итоги: 43837 уникальных КФ в БД не "пустышек". |
|
| Страница 343 из 421 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|