| Математический форум Math Help Planet http://mathhelpplanet.com/ |
|
| Ортогональные латинские квадраты 10-го порядка http://mathhelpplanet.com/viewtopic.php?f=57&t=46638 |
Страница 349 из 421 |
| Автор: | Nataly-Mak [ 21 апр 2017, 21:48 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Эксперимент #1 (вторая часть) от помощника уникальная однушечка ещё пришла 0 1 2 3 4 5 6 7 8 9 Ну, всё как всегда: обе КФ в ядре БД ▼
Очень хорошо! Так держать! Итоги: 44050 уникальных КФ в БД не "пустышек" (плюс однушка). Кстати, ОДЛК опять не self. Сегодня хороший улов у нас: втроём (я и два помощника) добавили в БД 85 уникальных КФ. |
|
| Автор: | Nataly-Mak [ 22 апр 2017, 06:30 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Ещё маленький эксперимент с интервалами 3-го уровня сложности. Подумалось: в конце БД должно быть мало НТ. Выбрала коротенький интервальчик 3-го уровня в конце списка (предпоследний) # 347 0 1 2 3 4 5 6 7 8 9 Начала проверять. Точно! Содержание НТ очень низкое. Вот посмотрите Скопировано файлов: 1. На 2000000 ДЛК всего в среднем 1000 НТ! Ну, такие порции НТ проверяются на ОДЛК несколько секунд. Проверка на НТ по программе whitefox kanonizator_y тоже выполняется быстро. Так что, в этом процессе всё жутко тормозится генератором ДЛК. Эх, как нам нужен быстрый генератор ДЛК в лексикографическом порядке! Вот такой, как генератор Harry для "симметричных" ДЛК. Чтобы миллион ДЛК генерировался за 1-2 секунды. |
|
| Автор: | Nataly-Mak [ 22 апр 2017, 10:11 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Дальше - лучше Тут на 3 миллиона ДЛК нет ни одной НТ! ▼
Проверять на ОДЛК нечего. И конец интервала уже близко, это последний вставленный ДЛК 0 1 2 3 4 5 6 7 8 9 а это конечный ДЛК интервала 0 1 2 3 4 5 6 7 8 9 КФ не "пустышек" пока в данном интервале не обнаружено. |
|
| Автор: | Nataly-Mak [ 22 апр 2017, 12:53 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Эксперимент с "симметричными" ДЛК (моя ветвь) дал скромную уникальную двушечку 0 1 2 3 4 5 6 7 8 9 Двушка эта не клонировалась, даёт 2 уникальные КФ, имеет парную двушку. 4 КФ обеих двушек: ▼
Итоги: 44054 уникальные КФ в БД не "пустышек" (плюс две двушки). |
|
| Автор: | Nataly-Mak [ 22 апр 2017, 13:17 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
| Автор: | Nataly-Mak [ 22 апр 2017, 14:54 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Всё, закончила проверку интервала 3-го уровня. НТ почти нет, решений нет. Больше пока не буду экспериментировать с такими интервалами. С ними полная ясность. Даже когда НТ довольно много, не "пустышек" среди них почти нет, если и попадётся, то очень редко. Проверить все такие интервалы по НТ вполне реально. |
|
| Автор: | Nataly-Mak [ 22 апр 2017, 17:42 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Эксперимент с "симметричными" ДЛК выдал ещё два решения - двушку и четвёрку. Двушка оказалась не уникальная - изоморфизм влез. А вот четвёрочка очень хороша - клонировалась! Вот она ▼
Получилось от этой четвёрки две уникальные четвёрки, которые дали 4 уникальные КФ: ▼
Ну и парные к каждой четвёрке нашлись, от парных четвёрок получено 6 уникальных КФ: ▼
Всего 4 четвёрки и 10 уникальных КФ. Итоги: 44064 уникальные КФ в БД не "пустышек" (плюс четыре четвёрки). |
|
| Автор: | Nataly-Mak [ 23 апр 2017, 04:04 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Посмотрим на интервалы 4-го уровня сложности вот 8 таких интервалов, которые проверял 256Ghz ▼
Интервалы проверялись тотально, до конца не проверены. Да, тотально проверять такие больште интервалы очень долго - несколько месяцев (если каждый интервал проверять на одном ядре ПК). 256Ghz нашёл несколько решений от ДЛК этих интервалов. Но почти все КФ ДЛК решений в этих интервалах не остались, они ушли в другие интервалы БД. Сейчас решила посмотреть в текущей БД, изменились ли эти интервалы. Изменились два интервала, в них появилось по одному решению. Остальные 6 интервалов не изменились. Покажу изменившиеся интервалы. Интервал #1 сейчас выглядит так: ▼
Интервал #4 сейчас выглядит так ▼
Вот так разбились интервалы 4-го уровня, в них появился интервал 3-го уровня (этот интервал образовался вставленным решением). Таким образом, видим, что в интервалах 4-го уровня бывают такие НТ, которые не "пустышки". Проверять интервалы 4-го уровня, конечно, надо только по НТ; это будет намного быстрее и все найденные решения будут уникальными и останутся в проверяемом интервале. Сейчас попробую сделать выборку интервалов 4-го уровня из текущей БД не "пустышек". Интересно, сколько их. |
|
| Автор: | Nataly-Mak [ 23 апр 2017, 04:25 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
Моя программка выбрала из текущей БД 343 интервала 4-го уровня сложности. Покажу три последних интервала: ▼
Напомню: в интервалах 4-го уровня в КФ совпадают первые три строки (сверху), в четвёртой строке уже первые элементы различные. Интервалы выше 4-го уровня сложности я пока не рассматривала, ну если не считать самый первый интервал БД. |
|
| Автор: | Nataly-Mak [ 23 апр 2017, 05:54 ] |
| Заголовок сообщения: | Re: Ортогональные латинские квадраты 10-го порядка |
От проверки первого интервала БД КФ ДЛК не "пустышек" очень устала Это интервал-гигант! И хотя проверку выполняю по НТ, но содержание НТ высокое - почти 100%. Вот в проверяемой сейчас порции на 2 миллиона ДЛК 1942666 НТ. Понятно, что проверка идёт долго. И приближение к решению дьявольски медленное. Кажется, уже вот-вот будет достигнут нужный ДЛК. И никак! Это последний ДЛК в проверяемой сейчас порции (проверяются 433-434 миллионы) 0 1 2 3 4 5 6 7 8 9 По данным citerra это искомая КФ №10 0 1 2 3 4 5 6 7 8 9 Ну вот сколько ещё миллионов ДЛК между данными квадратами??? Вроде совсем рядом они уже. Ежедневно выполняю один раз пакетный файл: генерируется 2 миллиона ДЛК, проверяются эти ДЛК на НТ, и НТ проверяются на ОДЛК. Хочется дойти уж до КФ №10, потом остановлю этот эксперимент. Очень тяжёлый для моего ПК. |
|
| Страница 349 из 421 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|