Автор: citerra 
КФ этих ОДЛК
0 1 2 3 4 5 6 7 8 9
1 2 3 4 5 8 7 9 0 6
7 4 1 6 8 0 9 3 2 5
9 8 0 5 6 3 4 2 7 1
5 9 8 0 7 1 2 6 4 3
8 6 4 1 2 9 5 0 3 7
2 5 6 8 9 7 3 4 1 0
4 3 5 7 0 6 1 8 9 2
3 7 9 2 1 4 0 5 6 8
6 0 7 9 3 2 8 1 5 4
0 1 2 3 4 5 6 7 8 9
1 2 3 4 6 0 8 9 5 7
3 5 8 9 7 1 0 2 6 4
5 0 6 7 8 9 3 1 4 2
6 4 0 5 9 7 1 8 2 3
4 8 5 2 1 6 7 3 9 0
2 9 1 0 3 8 4 6 7 5
7 3 4 8 0 2 9 5 1 6
9 6 7 1 2 4 5 0 3 8
8 7 9 6 5 3 2 4 0 1
И снова
в ядре БД!
Поясню для не посвящённых, что это значит.
Многие, наверное, знают, что
на форуме Math Help Planet давно действует проект "
Составление БД КФ ДЛК 10-го порядка, имеющих ортогональные диагональные соквадраты".
Я начинала составление БД несколько месяцев назад вручную с помощью программы-канонизатора А. Белышева.
В БД было 10 КФ, 20 КФ...
Сегодня в БД
3836 уникальных КФ.
Так вот, ядром БД я называю собственно всю часть БД, созданную на данный момент.
КФ в БД отсортированы в лексикографическом порядке. Есть самая первая КФ, минимальная. Она действительно самая первая, найдена двоими независимо друг от друга, сомнений быть не может.
И есть последняя КФ на данный момент:
Код:0 1 2 3 4 5 6 7 8 9
2 3 1 4 0 9 5 8 6 7
4 7 9 1 3 6 8 0 2 5
7 6 8 5 9 0 4 1 3 2
6 9 5 2 8 1 7 4 0 3
9 8 7 6 5 4 3 2 1 0
3 0 4 7 1 8 2 5 9 6
1 5 3 0 2 7 9 6 4 8
5 2 0 8 6 3 1 9 7 4
8 4 6 9 7 2 0 3 5 1
А вот насчёт того, останется ли эта КФ последней в БД всегда - это
вопрос вопросов!!
Уже сколько найдено решений и... все они уходят в ядро БД. Ни одна новая уникальная КФ пока не вылезла за границу ядра.
Я выполняю масштабный эксперимент с целью найти ответ на данный вопрос. Мне помогает выполнять этот эксперимент форумчанин.
Мы начали от последней на данный момент КФ, добавляем от неё ДЛК в лексикографическом порядке и проверяем все добавленные ДЛК на ОДЛК. Решения есть! Но! Все КФ этих решений уходят в ядро БД.
Мы уже добавили и проверили почти 820 миллионов ДЛК. "Почти" потому что у помощника досчитываются 4 диапазона (по 50 миллионов каждый).
Все решения, найденные в этом эксперименте, можно посмотреть на форуме MHP.
Эксперимент продолжается.
Так хочется заглянуть за горизонт
Есть два мнения коллег на этот счёт.
Vovka17 не сомневается в том, что КФ старше ("больше" ) имеющейся на данный момент существует.
А вот мнение
whitefox:
Цитата:Ранее я бы сильно удивился, если бы текущий максимум оказался бы абсолютным. Но, памятуя своё прошлое удивление когда число блочных ЛК сократилось с 33+ миллионов до 22 штук, сейчас считаю равновозможным любой вариант.
Я разделяю последнее мнение, собственно, высказала его давно на форуме MHP.
Да, именно
равновозможны оба варианта!
Я так и сказала, как та бабка -
надвое: либо будет КФ старше, либо нет

Отредактировано пользователем 17 октября 2016 г. 11:41:34(UTC)
| Причина: Не указана