Математический форум Math Help Planet
http://mathhelpplanet.com/

Ортогональные латинские квадраты 10-го порядка
http://mathhelpplanet.com/viewtopic.php?f=57&t=46638
Страница 344 из 421

Автор:  Nataly-Mak [ 14 апр 2017, 11:13 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

Посадила 1490 найденнных от SODLS уникальных КФ на свою карусель.
Карусель недолго думая выдала две уникальные КФ

0 1 2 3 4 5 6 7 8 9
1 2 0 4 7 6 9 3 5 8
4 8 9 1 3 7 5 6 0 2
2 6 5 8 9 1 7 4 3 0
7 5 4 9 6 3 0 8 2 1
6 9 8 5 0 4 3 2 1 7
5 3 7 2 8 0 1 9 6 4
3 0 1 7 2 8 4 5 9 6
9 4 3 6 1 2 8 0 7 5
8 7 6 0 5 9 2 1 4 3

0 1 2 3 4 5 6 7 8 9
1 2 0 4 7 6 9 3 5 8
4 8 9 1 3 7 5 6 0 2
2 6 5 8 9 1 7 4 3 0
7 9 4 5 6 3 0 8 2 1
9 5 3 6 0 4 8 2 1 7
5 3 7 2 8 0 1 9 6 4
3 7 1 0 2 8 4 5 9 6
6 4 8 9 1 2 3 0 7 5
8 0 6 7 5 9 2 1 4 3

Запустила ещё один круг карусели, может быть, ещё найдётся уникальная КФ.
А помотрите, как близки эти две КФ, готовый интервал 1-го уровня!

БД уплотняется на глазах.
Сейчас сделала выборку интервалов 1-го уровня из текущей БД, их уже стало 518 (а вчера было 513), 5 новых интервалов добавилось.

Итоги: 43839 уникальных КФ в БД не "пустышек".

Автор:  Nataly-Mak [ 14 апр 2017, 18:21 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

"Симметричные" ДЛК


давно не радовали.
Вот уникальная двушечка нашлась

0 1 2 3 4 5 6 7 8 9
5 9 4 1 2 7 8 0 3 6
1 3 5 7 0 6 2 4 9 8
7 4 8 6 3 9 5 1 0 2
3 6 7 0 8 1 9 2 5 4
9 8 3 2 6 4 7 5 1 0
4 2 6 8 5 0 1 9 7 3
8 5 0 9 7 2 4 3 6 1
6 7 1 4 9 3 0 8 2 5
2 0 9 5 1 8 3 6 4 7
sq1

0 1 2 3 4 5 6 7 8 9
3 6 9 1 2 7 8 5 0 4
1 0 5 7 3 9 2 4 6 8
7 9 8 4 0 6 3 1 5 2
5 4 7 0 8 1 9 2 3 6
9 8 4 2 5 3 7 6 1 0
6 2 0 8 9 4 1 3 7 5
8 3 6 5 7 2 0 9 4 1
4 7 1 9 6 0 5 8 2 3
2 5 3 6 1 8 4 0 9 7
sq2

Square:
0 1 2 3 4 5 6 7 8 9
1 2 0 5 3 6 4 9 7 8
7 5 3 0 8 1 9 6 4 2
4 8 6 7 9 0 2 3 1 5
2 9 8 6 5 4 3 1 0 7
6 7 1 4 0 9 5 8 2 3
3 0 4 1 7 2 8 5 9 6
9 6 5 8 2 7 1 4 3 0
5 3 9 2 1 8 7 0 6 4
8 4 7 9 6 3 0 2 5 1

Square не является НТ.
Парная двушка, как всегда, имеется.
4 КФ обеих двушек:

0 1 2 3 4 5 6 7 8 9
1 2 0 4 6 3 5 9 7 8
3 9 4 2 8 1 7 5 0 6
8 6 5 9 7 2 0 4 3 1
7 0 8 5 3 6 4 1 9 2
9 5 1 6 2 7 3 8 4 0
2 4 6 1 9 0 8 3 5 7
5 7 3 8 0 9 1 6 2 4
6 8 9 7 5 4 2 0 1 3
4 3 7 0 1 8 9 2 6 5

0 1 2 3 4 5 6 7 8 9
1 2 3 0 5 8 9 6 4 7
3 0 8 2 7 4 1 5 9 6
9 7 4 1 3 6 2 8 5 0
4 8 6 5 9 0 7 3 1 2
6 4 5 9 8 7 0 1 2 3
8 5 0 6 1 2 3 9 7 4
2 9 1 7 6 3 5 4 0 8
5 3 7 8 0 9 4 2 6 1
7 6 9 4 2 1 8 0 3 5

0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 3 8 9 7 6
5 7 1 6 8 9 3 2 4 0
8 0 9 7 1 2 4 3 6 5
4 9 7 8 3 1 5 6 0 2
9 4 5 2 0 6 7 1 3 8
2 3 4 5 6 8 9 0 1 7
7 5 6 1 2 4 0 8 9 3
6 8 3 9 7 0 2 4 5 1
3 6 8 0 9 7 1 5 2 4

0 1 2 3 4 5 6 7 8 9
1 2 0 6 5 4 8 9 3 7
3 4 1 7 8 6 5 2 9 0
7 8 9 5 6 1 4 3 0 2
6 0 4 1 9 8 2 5 7 3
2 5 3 8 1 7 9 0 6 4
8 6 7 0 2 9 3 4 5 1
4 3 6 9 7 2 0 8 1 5
9 7 5 2 0 3 1 6 4 8
5 9 8 4 3 0 7 1 2 6

Итоги: 43843 уникальные КФ в БД не "пустышек" (плюс две двушки).

Не знаю пока, как дела у помощника в эксперименте с "симметричными" ДЛК. У меня вот первое решение после того, как я передала ему часть этого эксперимента.

Автор:  Nataly-Mak [ 14 апр 2017, 22:38 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

Новая версия генератора "симметричных" ДЛК Harry White


только что получена

Цитата:
A new row symmetric DLS program is much faster.
It now makes 1,000,000 DLS in about 1 second on my PC.
Practically all the time was for writing out the squares,
so I changed it to write them out in batches of 200,000.

You should be able to get from http://budshaw.ca/temp/DLS10rowSym_1.zip

Included are:

DLS10Sym.exe - replaces DLS10rowSym.exe
DLS10SymCP.exe - continuous process, replaces DLS10rowSymCP.exe
DLS10Sym.cpp - the C++ code

Автор:  Nataly-Mak [ 15 апр 2017, 04:02 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

Harry прислал сегодня 1304 новых SODLS. Эти SODLS действительно не совпадают с 30534 SODLS, найденными Алексеем.
Пропускаю эти ДЛК через программу "вычитания" ДЛК от Vovka17; программа говорит, что все 1304 ДЛК уникальные по сравнению с 30534 SODLS, найденными Алексеем

Имя входного файла ИСТОЧНИК (без расширения):SODLS10-1304
Имя входного файла ВЫЧИТАЕМОЕ (без расширения):sodls10
SODLS10-1304.txt
Всего 1304 квадратов (вход) в SODLS10-1304.txt
sodls10.txt
Всего 30534 квадратов (вход) в sodls10.txt
Уникальных 1304 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Канонизирую эти 1304 SODLS и... получаю только 356 уникальных КФ по сравнению с 30502 КФ от 30534 SODLS, найденных Алексеем:

Имя входного файла ИСТОЧНИК (без расширения):SODLS10-1304_CF
Имя входного файла ВЫЧИТАЕМОЕ (без расширения):CF_SODLS10
SODLS10-1304_CF.txt
Всего 1304 квадратов (вход) в SODLS10-1304_CF.txt
CF_SODLS10.txt
Всего 30502 квадратов (вход) в CF_SODLS10.txt
Уникальных 356 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Однако все эти КФ в нашей БД уже имеются. Каким путём они попали в БД? Я что-то с утра плохо соображаю :%)
У меня только одна версия: может быть, Harry уже присылал мне эти SODLS (?).

Таким образом, мы имеем: всего известных на данный момент SODLS

[math]30534+1304=31838[/math]

КФ этих SODLS:

[math]30502+356=30858[/math]

P.S. Впрочем, среди 1304 КФ новых SODLS различных 356 и безотносительно к КФ SODLS, найденных Алексеем

Имя входного файла (без расширения):input
Всего 1304 квадратов (вход).
Уникальных 356 квадратов (выход).
Для продолжения нажмите любую клавишу . . .

Автор:  Nataly-Mak [ 15 апр 2017, 06:24 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

Уже опробовала новую версию генератора "симметричных" ДЛК от Harry White.
Действительно: миллион ДЛК генерируется практически мгновенно даже на моём тихоходе.
Класс! :good:

Спасибо, Harry!


Продолжаю эксперимент с "симметричными" ДЛК. Теперь время на генерацию ДЛК ну совсем не тратится, только на проверку.
Однако "симметричных" ДЛК хотя и поменьше, чем всех ДЛК, но тоже очень и очень много. Мне хватит на всю оставшуюся жизнь :)
Проверяю тотально, потому что если проверять по НТ, будет потеряно много решений. Тем более что генератор Harry генерирует ДЛК не в лексикографическом порядке.

Автор:  bimol [ 15 апр 2017, 08:27 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

Nataly-Mak писал(а):
Сейчас сделала выборку интервалов 1-го уровня из текущей БД, их уже стало 518 (а вчера было 513), 5 новых интервалов добавилось.
Дракон о 500 головах

Автор:  AlexA_pnz [ 15 апр 2017, 20:54 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

bimol писал(а):
Nataly-Mak писал(а):
Сейчас сделала выборку интервалов 1-го уровня из текущей БД, их уже стало 518 (а вчера было 513), 5 новых интервалов добавилось.
Дракон о 500 головах

Ну насколько я понимаю "голов" стало больше, но размер у них стал меньше. или не так?

Автор:  Nataly-Mak [ 15 апр 2017, 20:57 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

И ещё "симметричные" ДЛК порадовали - уникальная двушка

0 1 2 3 4 5 6 7 8 9
2 5 0 1 9 3 8 6 4 7
8 0 7 5 6 1 4 2 9 3
4 9 3 6 1 7 0 8 2 5
7 4 9 2 8 6 3 1 5 0
9 6 4 8 3 2 7 5 0 1
1 3 8 7 5 4 9 0 6 2
6 2 1 4 0 9 5 3 7 8
3 8 5 9 7 0 2 4 1 6
5 7 6 0 2 8 1 9 3 4
sq1

0 1 2 3 4 5 6 7 8 9
2 5 3 1 6 0 8 9 4 7
6 0 7 5 8 3 4 2 9 1
4 7 1 9 2 8 3 6 0 5
9 4 8 6 3 1 7 0 5 2
8 9 4 2 7 6 1 5 3 0
7 3 9 0 5 4 2 1 6 8
1 2 6 4 0 9 5 8 7 3
3 8 5 7 9 2 0 4 1 6
5 6 0 8 1 7 9 3 2 4
sq2

Square:
0 1 2 3 4 5 6 7 8 9
1 2 4 0 3 6 9 5 7 8
7 5 3 9 1 8 0 6 4 2
5 6 8 7 9 0 2 1 3 4
6 9 7 8 5 4 1 2 0 3
2 8 6 4 0 9 5 3 1 7
4 7 0 1 6 3 8 9 2 5
3 0 5 2 8 1 7 4 9 6
9 3 1 5 2 7 4 8 6 0
8 4 9 6 7 2 3 0 5 1

Здесь тоже Square не является НТ.
Парная двушка имеется, 4 КФ обеих двушек:

0 1 2 3 4 5 6 7 8 9
1 2 0 4 5 9 8 3 7 6
9 7 3 0 6 4 5 1 2 8
7 6 5 9 1 3 4 8 0 2
2 9 4 5 8 0 3 6 1 7
3 4 8 6 2 7 9 0 5 1
6 5 9 8 7 2 1 4 3 0
8 0 6 2 9 1 7 5 4 3
4 3 1 7 0 8 2 9 6 5
5 8 7 1 3 6 0 2 9 4

0 1 2 3 4 5 6 7 8 9
1 2 0 4 6 3 5 9 7 8
3 7 8 5 9 0 4 1 2 6
2 8 4 9 3 6 0 5 1 7
6 9 5 1 7 2 8 4 0 3
8 6 7 0 5 4 9 2 3 1
7 4 3 8 0 9 1 6 5 2
9 5 6 2 1 8 7 3 4 0
5 3 9 7 8 1 2 0 6 4
4 0 1 6 2 7 3 8 9 5

0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 7 9 5 8
5 3 4 1 0 8 9 6 2 7
7 8 9 5 1 0 4 2 6 3
4 9 3 7 6 1 5 8 0 2
8 0 6 9 2 7 1 4 3 5
2 4 5 0 9 3 8 1 7 6
9 5 8 6 7 4 2 3 1 0
6 7 1 8 5 2 3 0 9 4
3 6 7 2 8 9 0 5 4 1

0 1 2 3 4 5 6 7 8 9
1 2 0 4 6 3 5 9 7 8
3 9 5 2 1 8 7 4 0 6
4 8 9 6 7 2 3 0 1 5
9 4 3 7 8 1 2 6 5 0
8 5 6 9 2 7 0 3 4 1
2 3 1 0 5 4 9 8 6 7
6 7 8 5 0 9 4 1 2 3
7 6 4 8 9 0 1 5 3 2
5 0 7 1 3 6 8 2 9 4

Итоги: 43847 уникальных КФ в БД не "пустышек" (плюс две двушки).

Эксперимент с "симметричными" ДЛК продолжается.
Пока решения регулярно появляются. Четвёрок только мало очень, всё больше двушки.

Автор:  Nataly-Mak [ 15 апр 2017, 21:06 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

AlexA_pnz писал(а):
Ну насколько я понимаю "голов" стало больше, но размер у них стал меньше. или не так?

Правильно понимаете.
Если раньше в ядре БД было где-то 4000 интервалов, то сейчас - 43846 интервалов. А размер ядра остался прежний.
Разрежем один и тот же кусок на 4000 частей и на 43846 частей. Ежу понятно, что во втором случае части будут мельче.

Проверка интервалов 1-го уровня по НТ показывает, что в этих интервалах очень мало уникальных решений.
Проверила больше половины, нашла только одно уникальное решение.
Таким образом, имеем 518 абсолютно плотных частей БД.

Автор:  bimol [ 15 апр 2017, 21:59 ]
Заголовок сообщения:  Re: Ортогональные латинские квадраты 10-го порядка

Nataly-Mak писал(а):
Если раньше в ядре БД было где-то 4000 интервалов, то сейчас - 43846 интервалов. А размер ядра остался прежний.
Разрежем один и тот же кусок на 4000 частей и на 43846 частей. Ежу понятно, что во втором случае части будут мельче.
Всё не так. Агромадные ( выше 4 уровня ) головы не рассматриваются, так как на них силенок не хватает ( а они составляют большинство). А считаются только те, которые по зубам (1,2,3 и 4 уровня). Я то думал, что "бег на месте". Но чтобы бежать, оказывается надо не просто бежать, а бежать намного быстрее, чем сейчас. А сейчас парадоксальная ситуация. Чем больше работа, тем больше интервалов. Не уж то ёжики умнее ТС ?
Nataly-Mak писал(а):
Таким образом, имеем 518 абсолютно плотных частей БД.
мизерного размера, несколько диапазонов 2 уровня.

Страница 344 из 421 Часовой пояс: UTC + 3 часа [ Летнее время ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/