| Математический форум Math Help Planet http://mathhelpplanet.com/ |
|
| Ортогональные латинские квадраты 10-го порядка http://mathhelpplanet.com/viewtopic.php?f=57&t=46638 |
Страница 341 из 421 |
| Автор: | bimol [ 10 апр 2017, 08:36 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Nataly-Mak писал(а): Если текущая максимальная КФ останется максимальной КФ на всю БД КФ ДЛК не "пустышек", то нам придётся тотально проверить только ядро БД. Это намного проще, чем проверять всё огромное пространство нормализованных ДЛК. Конечно. Чем считать 100 миллионов лет, нам нужно только посчитать 10 миллионов. Мозги бы уже включили. |
|
| Автор: | Avgust [ 10 апр 2017, 09:01 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Так. Опять зашел поглазеть. 341 страница позади, о cm91, как вижу, совсем забыли. Какая же цель столь гигантского труда? Что через 10 млн лет люди, наконец, узнают о латинском квадрате 10х10 ? |
|
| Автор: | bimol [ 10 апр 2017, 09:19 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Avgust писал(а): Что через 10 млн лет люди, наконец, узнают о латинском квадрате 10х10 ? Это при условие верности гипотезы. А её придется доказывать раза в два дольше.
|
|
| Автор: | Nataly-Mak [ 10 апр 2017, 11:39 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Завершила обработку очередной порции из 2000 SODLS из решений Алексея. Найдено 89 уникальных КФ. Все они дают однушки. Всего обработано 23000 SODLS из решений Алексея. Найдено 1192 уникальные КФ. Итоги: 40755 уникальных КФ в БД не "пустышек" (среди однушек добавились две парные двушки). |
|
| Автор: | Nataly-Mak [ 10 апр 2017, 18:40 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Попросила Harry выложить его генератор "симметричных" ДЛК. Он написал сейчас Цитата: You should be able to get from http://budshaw.ca/temp/DLS10rowSym.zip Included are: DLS10rowSym.exe - same as the DLSrowSym sent earlier DLS10rowSymCP.exe - continuous process DLSrowSym.cpp - C++ code, (you can change it to suit your needs) Есть даже исходный код. Спасибо, Harry! |
|
| Автор: | Nataly-Mak [ 11 апр 2017, 09:09 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
И опять с утречка "симметричные" ДЛК порадовали парными уникальными двушками. Первая 0 1 2 3 4 5 6 7 8 9 Здесь Square не является НТ. Может быть, среди "симметричных" ДЛК НТ не намного больше, чем среди всех прочих ДЛК (?). 4 КФ обеих двушек: ▼
Итоги подведу после обработки очередной порции SODLS. |
|
| Автор: | Nataly-Mak [ 11 апр 2017, 11:30 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Пришли решения от помощника (проверяет 4 интервала 3-го уровня) - 9 уникальных однушек. Очень хорошее пополнение 18 уникальных КФ от этих однушек ▼
У помощника есть один завершившийся интервал, три пока в работе. Думаю, что на место завершившегося интервала надо поставить эксперимент с "симметричными" ДЛК (параллельно с моим). Закончила проверку 2000 SODLS, есть 81 уникальная КФ. Подвожу итоги за сегодня: плюс 103 уникальные КФ, 40858 уникальных КФ в БД не "пустышек" (среди однушек добавились две парные двушки). У меня крутится эксперимент #1 (первая часть) и эксперимент с "симметричными" ДЛК. В промежутках немного работаю с первым интервалом, очень медленно приближаюсь к КФ №10, текущий ДЛК 0 1 2 3 4 5 6 7 8 9 По достижении КФ №10 думаю на время остановить этот эксперимент: много пожирает времени, мало даёт решений. |
|
| Автор: | Nataly-Mak [ 11 апр 2017, 11:49 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Обработала 9 новых однушек программой whitefox Канонизатор ЛК по ДЛК, нашлась одна уникальная однушка (очень редко бывает с однушками). 2 КФ этой однушки ▼
Итоги: 40860 уникальных КФ в БД не "пустышек". А вот интересно: почему у нас в интервалах не попадаются однушки с изоморфными ортогональными ДЛК??? |
|
| Автор: | Nataly-Mak [ 11 апр 2017, 15:09 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Эксперимент #1 (первая часть, моя) уникальная однушечка Вот так стабильно, теперь уже в трёх частях эксперимента мы ищем уникальные решения на целине. В ядре БД уже всё вспахано-перепахано. Конечно, там ещё уйма решений, но это всё на вспаханном поле. В эксперименте #1 целина. Мы идём упорядоченно (генерируем ДЛК в лексикографическом порядке), поэтому вероятность повторений у нас очень низкая, практически близка к нулю. Это не случайный поиск! Кроме того, очень важна цель экспериента - найти новую максимальную КФ не "пустышку", если таковая существует в природе. Нам нужно расширить ядро БД или же убедиться в том, что это расширение невозможно. Ну вот и найденная уникальная однушка 0 1 2 3 4 5 6 7 8 9 Канонизирую с замиранием сердца. Да! Обе КФ опять в ядре БД!!! ▼
Всё отлично! Идём дальше. Итоги: 40862 уникальные КФ в БД не "пустышек". |
|
| Автор: | Nataly-Mak [ 11 апр 2017, 15:23 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Итак, текущий ДЛК в первой части эксперимента #1 0 1 2 3 4 5 6 7 8 9 А это конечный ДЛК первой части 0 1 2 3 4 5 6 7 8 9 От этого ДЛК начинается вторая часть эксперимента. А далее следует третья часть. Стартовые и конечные ДЛК я выбрала из хвоста БД КФ ДЛК "пустышек". Могу подобрать и конечный ДЛК для четвёртой части эксперимента. Но это на будущее. Сейчас пока хватит трёх частей. |
|
| Страница 341 из 421 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|