БД КФ ОДЛК 9-го порядка

Message boards : Science : БД КФ ОДЛК 9-го порядка
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4 · 5 . . . 34 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1072 - Posted: 3 Dec 2017, 8:25:08 UTC
Last modified: 4 Dec 2017, 10:38:22 UTC

Выложила текущий вариант БД КФ ОДЛК 9-го порядка на Яндекс.Диск
...

Удалено.
Была ошибка в программе Белышева Канонизатор_ДЛК9.
См. сообщение
http://forum.boinc.ru/default.aspx?g=posts&m=89752#post89752

Напомню: КФ ОДЛК получены из перечисленных выше источников с помощью программ Белышева (канонизотор и проверка на ОДЛК).
В БД содержится 6809 уникальных КФ ОДЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1072 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1073 - Posted: 3 Dec 2017, 16:42:39 UTC
Last modified: 3 Dec 2017, 16:45:14 UTC

Покрутила немного случайный поиск. Н-и-ч-е-г-о!
Что и ожидалось. За всё время случайной проверки для ДЛК 10-го порядка мне посчастливилось найти всего одно решение! Это была отличная (полновесная) двушка.
Сейчас для ДЛК 9-го порядка генерировала своим генератором 150000 ДЛК и проверяла их на ОДЛК программой Белышева.
И так в цикле. Окно программы



Отмечу, что мой генератор генерирует ДЛК с естественной перестановкой в главной диагонали, вот пример:

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

В общем, бросаю это бесполезное занятие.

Кстати, для СН ДЛК 9-го порядка тоже должны быть линейки.
Сколько их и какие побочные диагонали им соответствуют?
Вопрос адресую Белышеву, паче чаяния он заглянет в тему.
Я посмотрю имеющуюся у меня БД КФ ОДЛК и попробую составить список побочных диагоналей.

Генерация СН ДЛК по линейкам будет более эффективной.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1073 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1074 - Posted: 3 Dec 2017, 18:53:10 UTC
Last modified: 3 Dec 2017, 19:08:38 UTC

Выбрала из имеющейся БД побочные диагонали КФ ОДЛК.
У меня получилось 20 линеек (не сортировала):

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

Все ли линейки уже есть в БД? Скорее всего, не все; что-то маловато линеек.
Линеек с симметричными побочными диагоналями я вижу 5 штук:

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

В этих линейках должны находиться ассоциативные ДЛК.

Вот примеры ассоциативных КФ ОДЛК 9-го порядка, приведённые в соседней теме "Дважды симметричные ДЛК"

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

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

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

Да, они из этих линеек.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1074 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1076 - Posted: 4 Dec 2017, 2:18:38 UTC
Last modified: 4 Dec 2017, 2:47:30 UTC

Думаю: какую линейку выбрать для написания генератора СН ДЛК 9-го порядка.
Все ассоциативные ДЛК Ватутин вроде бы проверил на ОДЛК, судя по его сообщению на форуме boinc.ru.
Возьму, пожалуй, вот эту линейку

1 0 3 2 4 6 7 8 5

Шаблон всех СН ДЛК в данной линейке будет иметь следующий вид:

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

В БД на данный момент имеется 32 КФ ОДЛК из этой линейки.
Вот примеры:

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

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

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

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

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

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1076 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1077 - Posted: 4 Dec 2017, 2:54:39 UTC

Самая большая группа ортогональных пар в этой линейке пока восьмёрка

[DLK(8)]
0 2 3 7 6 4 5 8 1
4 1 6 5 3 8 7 0 2
8 5 2 1 7 0 3 4 6
1 4 0 3 5 2 8 6 7
3 7 5 8 4 6 1 2 0
7 0 8 6 2 5 4 1 3
2 3 7 0 8 1 6 5 4
6 8 4 2 1 3 0 7 5
5 6 1 4 0 7 2 3 8
[mate#1]
6 0 7 3 8 1 2 4 5
4 3 5 0 2 7 8 1 6
1 8 2 7 5 4 0 6 3
0 5 3 4 1 8 6 2 7
8 1 6 5 7 0 4 3 2
2 7 0 6 4 5 3 8 1
5 6 4 8 3 2 1 7 0
7 2 8 1 6 3 5 0 4
3 4 1 2 0 6 7 5 8
[mate#2]
6 0 7 3 8 1 2 4 5
4 3 5 0 2 7 8 1 6
1 7 2 8 5 4 0 6 3
0 5 3 4 1 8 6 2 7
8 1 6 5 7 0 4 3 2
2 8 0 6 4 5 3 7 1
5 6 4 7 3 2 1 8 0
7 2 8 1 6 3 5 0 4
3 4 1 2 0 6 7 5 8
[mate#3]
6 0 7 3 8 1 2 4 5
4 3 5 0 2 6 8 1 7
1 8 2 7 5 4 0 6 3
0 5 3 4 1 8 7 2 6
8 1 6 5 7 0 4 3 2
2 7 0 6 4 5 3 8 1
5 6 4 8 3 2 1 7 0
7 2 8 1 6 3 5 0 4
3 4 1 2 0 7 6 5 8
[mate#4]
6 0 7 3 8 1 2 4 5
4 3 5 0 2 6 8 1 7
1 7 2 8 5 4 0 6 3
0 5 3 4 1 8 7 2 6
8 1 6 5 7 0 4 3 2
2 8 0 6 4 5 3 7 1
5 6 4 7 3 2 1 8 0
7 2 8 1 6 3 5 0 4
3 4 1 2 0 7 6 5 8
[mate#5]
6 3 7 2 8 4 5 0 1
2 5 0 1 3 7 8 4 6
5 8 1 7 4 2 0 6 3
0 1 3 4 2 8 6 5 7
8 0 6 3 7 1 4 2 5
1 7 4 6 5 0 3 8 2
4 6 5 8 1 3 2 7 0
7 2 8 0 6 5 1 3 4
3 4 2 5 0 6 7 1 8
[mate#6]
6 3 7 2 8 4 5 0 1
2 5 0 1 3 7 8 4 6
5 7 1 8 4 2 0 6 3
0 1 3 4 2 8 6 5 7
8 0 6 3 7 1 4 2 5
1 8 4 6 5 0 3 7 2
4 6 5 7 1 3 2 8 0
7 2 8 0 6 5 1 3 4
3 4 2 5 0 6 7 1 8
[mate#7]
6 3 7 2 8 4 5 0 1
2 5 0 1 3 6 8 4 7
5 8 1 7 4 2 0 6 3
0 1 3 4 2 8 7 5 6
8 0 6 3 7 1 4 2 5
1 7 4 6 5 0 3 8 2
4 6 5 8 1 3 2 7 0
7 2 8 0 6 5 1 3 4
3 4 2 5 0 7 6 1 8
[mate#8]
6 3 7 2 8 4 5 0 1
2 5 0 1 3 6 8 4 7
5 7 1 8 4 2 0 6 3
0 1 3 4 2 8 7 5 6
8 0 6 3 7 1 4 2 5
1 8 4 6 5 0 3 7 2
4 6 5 7 1 3 2 8 0
7 2 8 0 6 5 1 3 4
3 4 2 5 0 7 6 1 8

My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1077 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1078 - Posted: 4 Dec 2017, 3:07:53 UTC
Last modified: 4 Dec 2017, 3:10:28 UTC

Для ДЛК 9-го порядка потрясающе работает эффект снежного кома.
Второй раз обработаешь - новые КФ ОДЛК возникли, третий раз обработаешь - опять новые КФ возникли.
Вот сейчас взяла 32 КФ ОДЛК из рассматриваемой линейки (1 0 3 2 4 6 7 8 5) и обработала их пару раз. Получила 105 новых уникальных КФ ОДЛК.

И теперь в составляемой БД КФ ОДЛК 9-го порядка содержится 6914 уникальных КФ ОДЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1078 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1079 - Posted: 4 Dec 2017, 4:21:40 UTC
Last modified: 4 Dec 2017, 4:27:03 UTC

Возвращаюсь к выбранной линейке.
Написала программку формирования вариантов первой строки шаблона.
Программка выдала 924 варианта (если не врёт).
Вот несколько первых и последних вариантов:

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

Так, имеем в линейке 924 группы - по вариантам первой строки.
Теперь можно генерировать ДЛК по группам.
Шаблон первой группы такой

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

Осталось написать программу и запустить генерацию ДЛК группы.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1079 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1080 - Posted: 4 Dec 2017, 10:20:38 UTC
Last modified: 4 Dec 2017, 11:21:23 UTC

Белышев выложил исправленную программу Канонизатор_ДЛК9
http://forum.boinc.ru/default.aspx?g=posts&m=89752#post89752

Пропустила через эту программу имеющуюся у меня БД КФ ОДЛК 9-го порядка, вместо 6914 КФ их осталось 5281
Канонизатор ДЛК9

Введено ДЛК:            6914
Найдено КФ:             5281
КФ записаны в файл:     output.txt
Общее время работы:     0.109 сек

Вместо 620 КФ от SODLS их стало 470.
DSODLS теперь дают только 88 КФ вместо прежних 120
Канонизатор ДЛК9

Введено ДЛК:            28608
Найдено КФ:             88
КФ записаны в файл:     output.txt
Общее время работы:     0.546 сек

Ну и все остальные данные по КФ, которые я получила выше, тоже неправильные.

Теперь надо перепроверить побочные диагонали линеек в КФ. Может быть, их теперь не 20 будет, а меньше.

PS. Где-то выше я выкладывала все DSODLS, присланные мне Harry White, и к ним приложила 120 КФ.
Теперь эти КФ надо заменить на 88.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1080 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1081 - Posted: 4 Dec 2017, 11:14:55 UTC - in response to Message 1080.  

Проверила побочные диагонали в КФ ОДЛК в новой БД. Все 20 ранее найденных побочных диагоналей имеются.
Но, может быть, не все ещё побочные диагонали есть в имеющейся у меня БД (?)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1081 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1083 - Posted: 4 Dec 2017, 12:16:39 UTC
Last modified: 4 Dec 2017, 12:17:12 UTC

Пишу программу для генерации ДЛК в первой группе выбранной линейки с такой побочной диагональю
1 0 3 2 4 6 7 8 5

Интересно посмотреть, насколько "толстой" получится одна группа.
Напомню: все СН ДЛК первой группы выбранной линейки имеют такую первую строку:
0 2 3 4 5 6 7 8 1

Вроде бы при заданных условиях пространство СН ДЛК получается не сильно большое. Но... это только первый неглубокий взгляд.
Посмотрим, что скажет программа.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1083 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1088 - Posted: 4 Dec 2017, 17:05:33 UTC
Last modified: 4 Dec 2017, 18:41:15 UTC

Нашла в своей статье "Построение диагональных латинских квадратов" совершенный латинский квадрат 9-го порядка



В БД этот ДЛК уже есть.
Интересно: у этого ДЛК 308 ортогональных диагональных соквадратов.

[DLK(308)]
0 3 6 1 4 7 2 5 8
1 4 7 2 5 8 0 3 6
2 5 8 0 3 6 1 4 7
6 0 3 7 1 4 8 2 5
7 1 4 8 2 5 6 0 3
8 2 5 6 0 3 7 1 4
3 6 0 4 7 1 5 8 2
4 7 1 5 8 2 3 6 0
5 8 2 3 6 0 4 7 1
[mate#1]
4 0 3 6 5 2 7 1 8
0 1 4 2 3 6 8 5 7
6 4 5 3 8 0 2 7 1
5 7 6 8 1 3 0 4 2
3 5 2 7 0 8 1 6 4
1 3 0 4 2 7 5 8 6
2 8 1 0 7 4 6 3 5
8 6 7 5 4 1 3 2 0
7 2 8 1 6 5 4 0 3
[mate#2]
4 0 3 6 5 2 7 1 8
0 1 4 2 3 7 8 6 5
5 4 6 3 7 0 2 8 1
8 6 5 7 1 3 0 4 2
3 8 2 5 0 6 1 7 4
1 3 0 4 2 8 6 5 7
2 7 1 0 8 4 5 3 6
6 5 7 8 4 1 3 2 0
7 2 8 1 6 5 4 0 3
. . . . . . . 
[mate#307]
2 1 6 5 7 4 8 0 3
0 3 2 1 6 5 7 4 8
4 2 7 3 5 0 6 8 1
5 8 0 6 1 2 4 3 7
3 7 4 8 0 1 2 5 6
1 6 3 7 4 8 0 2 5
7 4 1 0 8 3 5 6 2
6 5 8 4 2 7 3 1 0
8 0 5 2 3 6 1 7 4
[mate#308]
2 1 4 5 3 6 7 0 8
0 8 1 2 6 7 3 4 5
1 5 3 8 7 0 6 2 4
8 6 0 7 4 1 2 5 3
5 3 6 4 0 8 1 7 2
6 4 2 3 1 5 0 8 7
3 7 5 0 8 2 4 1 6
4 2 7 1 5 3 8 6 0
7 0 8 6 2 4 5 3 1

Это ассоциативный ДЛК, вот его КФ

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

Выше уже встречалась такая ассоциативная КФ
https://boinc.progger.info/odlk/forum_thread.php?id=31&postid=783#783
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1088 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1092 - Posted: 5 Dec 2017, 13:09:11 UTC
Last modified: 5 Dec 2017, 14:15:37 UTC

Программу написала. Напомню шаблон первой группы выбранной линейки

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

В шаблоне заданы: главная и побочная диагонали, первая строка. Всё остальное достраивается полным перебором.
Первый ДЛК, выданный моей программой:

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

Канонизирую программой Белышева Канонизатор_ДЛК9 и получаю КФ, которая совпадает с исходным ДЛК

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

Значит, квадрат программа правильный сочинила.
Итак, минимальная КФ в выбранной линейке найдена.
Можно начинать массовую генерацию ДЛК в этой группе и проверку полученных ДЛК на ОДЛК.

PS. Минимальная КФ - "пустышка".
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1092 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1096 - Posted: 5 Dec 2017, 16:49:42 UTC

Попробовала массовую генерацию, сгенерировала 500000 ДЛК, все они оказались КФ
Канонизатор ДЛК9

Введено ДЛК:            500000
Найдено КФ:             500000
КФ записаны в файл:     output.txt
Общее время работы:     8.908 сек

Проверка на ОДЛК ничего не дала. Ну хоть бы одна ортогональка :)
В общем, с ПК тут делать нечего, тем более с таким, как у меня.
Можно, конечно, генерировать и проверять дальше, но слишком много надо будет времени на тотальную проверку.
А группа получится большая; 500000 ДЛК сгенерировала и даже вторая строка ещё не поменялась, вот 500000-й ДЛК:

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

Первый ДЛК в этой группе показан выше.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1096 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1099 - Posted: 6 Dec 2017, 4:49:04 UTC
Last modified: 6 Dec 2017, 4:50:49 UTC

У меня отличная новость: Harry White прислал свой генератор ОДЛК 9-го порядка.
Это пробный вариант.
Запустила, пробую :)
Протокол работы программы
. . . . . . . . . .
1  elapsed time 2:06:33

Square1 105
1  elapsed time 2:07:36

Square1 106
1  elapsed time 2:08:35

Square1 107
1  elapsed time 2:09:45

Square1 108
1  elapsed time 2:09:45

Square1 109
1  elapsed time 2:11:01

Square1 110
1  elapsed time 2:12:02

Square1 111
1  elapsed time 2:13:16
. . . . . . 

За 2 с небольшим часа программа нашла 111 ОДЛК. Здорово!

Ура! Есть первые ортогональки!
Я задала в программе количество исходных ДЛК 200 штук.
Скоро программа закончит работать, буду проверять ортогональки программой Белышева.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1099 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1101 - Posted: 6 Dec 2017, 7:14:52 UTC
Last modified: 6 Dec 2017, 8:37:08 UTC

Тэк-с, программа Harry нагенерировала 200 ортогональных пар.
Пропустила первый раз через программу Белышева Ортогон_У, почему-то программа нашла только 392 марьяжных ДЛК, хотя по идее должна была найти 400.
Проверка ДЛК9 на марьяжность (ОДЛК)

Введено ДЛК:  400
Найдено ОДЛК: 392
Время работы: 0.203 сек
Пока не стала с этим разбираться.
Дальше несколько раз обработала эти ОДЛК, получила огромную кучу ОДЛК.
Пропускаю эту кучу через Канонизатор
Канонизатор ДЛК9

Введено ДЛК:            487828
Найдено КФ:             333
КФ записаны в файл:     output.txt
Общее время работы:     7.161 сек

Получается всего 333 КФ ОДЛК.
Объединяю с имеющейся у меня БД (5281 КФ ОДЛК)
Канонизатор ДЛК9

Введено ДЛК:            5614
Найдено КФ:             5292
КФ записаны в файл:     output.txt
Общее время работы:     0.078 сек

Добавилось только 11 КФ ОДЛК.

Теперь составляемая БД содержит 5292 уникальные КФ ОДЛК.
Продолжу генерацию ОДЛК по программе Harry White.
Обратите внимание: эта программа генерирует ОДЛК.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1101 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1107 - Posted: 6 Dec 2017, 11:08:46 UTC
Last modified: 6 Dec 2017, 11:12:54 UTC

Запустила генератор ОДЛК Harry для очередной порции 200 ортогональных пар



Генератор работает довольно шустро, если учесть, что мне не удалось из нескольких порций ДЛК, сгенерированных моим генератором, найти хоть одну ортогональную пару.

В данный момент за полчаса уже сгенерировано 30 ортогональных пар.
Отмечу, что я в программе специально задала генерацию ортогональных пар, то есть по одному ОДЛК для каждого исходного ДЛК. Всё остальное доберу программой Белышева Ортогон_У. Главное найти основные ортогональки.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1107 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1108 - Posted: 6 Dec 2017, 11:21:09 UTC

Для ДЛК 10-го порядка никак не найдём пятёрку.
Для ДЛК 9-го порядка есть очень много разных групп ортогональных пар.
Вот пожалуйста - чёртова дюжина :)

[DLK(13)]
0 1 3 4 2 6 7 5 8
4 6 7 5 3 0 8 2 1
2 5 1 3 8 4 6 7 0
6 0 8 2 4 3 5 1 7
1 7 4 6 5 8 2 0 3
8 3 5 1 0 7 4 6 2
5 2 0 8 7 1 3 4 6
3 4 6 7 1 2 0 8 5
7 8 2 0 6 5 1 3 4
[mate#1]
1 3 5 0 6 7 8 2 4
2 4 6 1 8 3 5 0 7
4 8 0 3 1 6 2 7 5
6 7 2 5 3 1 4 8 0
5 1 4 8 7 0 3 6 2
8 0 3 6 4 2 7 5 1
0 2 8 7 5 4 6 1 3
7 5 1 4 2 8 0 3 6
3 6 7 2 0 5 1 4 8
[mate#2]
1 3 5 0 6 7 8 2 4
2 4 6 1 7 3 5 0 8
4 5 0 3 1 8 2 7 6
5 8 2 7 3 1 4 6 0
7 1 4 6 8 0 3 5 2
6 0 3 5 4 2 7 8 1
0 2 7 8 5 4 6 1 3
8 6 1 4 2 5 0 3 7
3 7 8 2 0 6 1 4 5
[mate#3]
1 3 5 0 6 7 8 2 4
2 4 6 1 8 3 5 0 7
4 5 0 3 1 8 2 7 6
5 7 2 8 3 1 4 6 0
8 1 4 6 7 0 3 5 2
6 0 3 5 4 2 7 8 1
0 2 8 7 5 4 6 1 3
7 6 1 4 2 5 0 3 8
3 8 7 2 0 6 1 4 5
[mate#4]
1 3 6 0 7 4 8 2 5
2 5 7 1 8 3 6 0 4
3 8 0 4 1 7 2 5 6
7 2 3 6 5 1 4 8 0
6 1 4 8 3 0 5 7 2
8 0 5 7 4 2 3 6 1
0 4 8 2 6 5 7 1 3
5 6 1 3 2 8 0 4 7
4 7 2 5 0 6 1 3 8
[mate#5]
1 3 6 0 7 4 8 2 5
2 5 7 1 8 3 6 0 4
3 6 0 4 1 8 2 5 7
6 2 3 8 5 1 4 7 0
8 1 4 7 3 0 5 6 2
7 0 5 6 4 2 3 8 1
0 4 8 2 6 5 7 1 3
5 7 1 3 2 6 0 4 8
4 8 2 5 0 7 1 3 6
[mate#6]
1 3 5 0 6 7 8 2 4
2 4 6 1 8 3 5 0 7
4 8 0 3 1 6 2 7 5
6 2 7 5 3 1 4 8 0
5 1 4 8 7 0 3 6 2
8 0 3 6 4 2 7 5 1
0 7 8 2 5 4 6 1 3
7 5 1 4 2 8 0 3 6
3 6 2 7 0 5 1 4 8
[mate#7]
1 3 5 0 6 7 8 2 4
2 4 6 1 7 3 5 0 8
4 5 0 3 1 8 2 7 6
5 2 8 7 3 1 4 6 0
7 1 4 6 8 0 3 5 2
6 0 3 5 4 2 7 8 1
0 8 7 2 5 4 6 1 3
8 6 1 4 2 5 0 3 7
3 7 2 8 0 6 1 4 5
[mate#8]
1 3 5 0 6 7 8 2 4
2 4 6 1 8 3 5 0 7
4 5 0 3 1 8 2 7 6
5 2 7 8 3 1 4 6 0
8 1 4 6 7 0 3 5 2
6 0 3 5 4 2 7 8 1
0 7 8 2 5 4 6 1 3
7 6 1 4 2 5 0 3 8
3 8 2 7 0 6 1 4 5
[mate#9]
1 3 6 0 7 4 8 2 5
2 5 7 1 8 3 6 0 4
3 8 2 4 0 7 1 5 6
7 0 3 6 5 2 4 8 1
6 2 4 8 3 1 5 7 0
8 1 5 7 4 0 3 6 2
0 4 8 2 6 5 7 1 3
5 6 0 3 1 8 2 4 7
4 7 1 5 2 6 0 3 8
[mate#10]
1 3 6 0 7 4 8 2 5
2 5 7 1 8 3 6 0 4
3 6 2 4 0 8 1 5 7
6 0 3 8 5 2 4 7 1
8 2 4 7 3 1 5 6 0
7 1 5 6 4 0 3 8 2
0 4 8 2 6 5 7 1 3
5 7 0 3 1 6 2 4 8
4 8 1 5 2 7 0 3 6
[mate#11]
1 3 5 0 6 7 8 2 4
2 4 6 1 8 3 5 0 7
4 8 2 3 0 6 1 7 5
6 0 7 5 3 2 4 8 1
5 2 4 8 7 1 3 6 0
8 1 3 6 4 0 7 5 2
0 7 8 2 5 4 6 1 3
7 5 0 4 1 8 2 3 6
3 6 1 7 2 5 0 4 8
[mate#12]
1 3 5 0 6 7 8 2 4
2 4 6 1 7 3 5 0 8
4 5 2 3 0 8 1 7 6
5 0 8 7 3 2 4 6 1
7 2 4 6 8 1 3 5 0
6 1 3 5 4 0 7 8 2
0 8 7 2 5 4 6 1 3
8 6 0 4 1 5 2 3 7
3 7 1 8 2 6 0 4 5
[mate#13]
1 3 5 0 6 7 8 2 4
2 4 6 1 8 3 5 0 7
4 5 2 3 0 8 1 7 6
5 0 7 8 3 2 4 6 1
8 2 4 6 7 1 3 5 0
6 1 3 5 4 0 7 8 2
0 7 8 2 5 4 6 1 3
7 6 0 4 1 5 2 3 8
3 8 1 7 2 6 0 4 5

Рекордом на данный момент, насколько мне известно, является группа из 516 ортогональных пар. Может быть, есть и больше.
Для ДЛК 8-го порядка рекордная группа содержит 824 ортогональные пары (если мне не изменяет память).
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1108 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1109 - Posted: 6 Dec 2017, 11:29:06 UTC

Кстати, для ДЛК 8-го порядка у Белышева получилось 20 линеек

Линейка Классов     СНДЛК        НДЛК
 
lin 1:     8148    855680    10268160
lin 2:   137801   1087936   208883712
lin 3:    10092    607872    14588928
lin 4:   270633   1075784   413101056
lin 5:   214433   1714248   329135616
lin 6:   193044   1537024   295108608
lin 7:   421525   1678124   644399616
lin 8:    51530   1607168    77144064
lin 9:   414374   1656184   635974656
lin 10:  412695   1649308   633334272
lin 11:  135729   1072016   205827072
lin 12:   46301   1472416    70675968
lin 13:  103873   1641968   157628928
lin 14:    4040    480000     5760000
lin 15:  135595   2079952   199675392
lin 16:  213166   1701792   326744064
lin 17:  837748   1673128  1284962304
lin 18:  405668   1621760   622755840
lin 19:  419434   1675696   643467264
lin 20:  437267   1739980   668152320
Всего:  4873096  28628036  7447587840
 
Время работы: 90.457 сек

Наверное, для ДЛК 9-го порядка линеек будет больше (?).
А у меня пока только 20 линеек.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1109 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1110 - Posted: 6 Dec 2017, 14:51:57 UTC
Last modified: 6 Dec 2017, 14:57:32 UTC

Закончилась генерация второй порции из 200 ортогональных пар.
К сожалению, эти ОДЛК не дали ни одной уникальной КФ. БД нисколько не пополнилась.
Максимальное количество ОДЛК в этой порции 86

[DLK(86)]
0 1 2 3 4 5 6 7 8
8 6 7 2 0 1 5 3 4
4 5 3 7 8 6 1 2 0
2 8 6 1 3 0 4 5 7
7 4 5 6 2 8 0 1 3
3 0 1 5 7 4 8 6 2
5 2 4 8 6 3 7 0 1
1 7 0 4 5 2 3 8 6
6 3 8 0 1 7 2 4 5
[mate#1]
2 0 4 5 6 7 3 1 8
3 8 2 6 4 1 5 0 7
5 6 3 7 1 4 2 8 0
1 5 0 4 7 6 8 2 3
0 3 8 1 5 2 7 6 4
6 1 7 3 8 0 4 5 2
4 7 1 0 2 8 6 3 5
8 4 5 2 0 3 1 7 6
7 2 6 8 3 5 0 4 1
[mate#2]
2 0 4 1 3 5 6 7 8
6 7 8 0 4 2 3 5 1
5 1 3 6 7 8 4 2 0
3 5 1 8 6 7 0 4 2
4 2 0 5 1 3 8 6 7
8 6 7 2 0 4 1 3 5
7 8 6 4 2 0 5 1 3
1 3 5 7 8 6 2 0 4
0 4 2 3 5 1 7 8 6
. . . . . . . . 

[mate#86]
3 6 4 1 7 5 8 0 2
8 4 3 2 6 0 7 5 1
5 1 7 6 4 2 3 8 0
6 3 0 5 8 1 4 2 7
1 2 8 3 0 6 5 7 4
2 7 1 4 5 8 0 6 3
0 5 6 7 1 3 2 4 8
4 8 2 0 3 7 6 1 5
7 0 5 8 2 4 1 3 6

Такая группа (из 86 ОДЛК) уже встречалась, показана здесь
https://boinc.progger.info/odlk/forum_thread.php?id=31&postid=1103#1103
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1110 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 14336
Credit: 0
RAC: 0
Message 1112 - Posted: 7 Dec 2017, 11:46:18 UTC
Last modified: 7 Dec 2017, 11:46:41 UTC

Генерирую третью порцию из 200 ортогональных пар по программе Harry White.
На данный момент сгенерирована 151 ортогональная пара, ищется 152-я.

. . . . . . . . 
1  elapsed time 3:19:22

Square1 145
1  elapsed time 3:20:49

Square1 146
1  elapsed time 3:22:04

Square1 147
1  elapsed time 3:23:45

Square1 148
1  elapsed time 3:25:36

Square1 149
1  elapsed time 3:27:06

Square1 150
1  elapsed time 3:28:45

Square1 151
1  elapsed time 3:31:17

Square1 152

Примерно 4,5 часа затрачивается не генерацию 200 ортогональных пар на моём компьютере. Для разных порций из 200 ортогональных пар время меняется, это понятно.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 1112 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Previous · 1 · 2 · 3 · 4 · 5 . . . 34 · Next

Message boards : Science : БД КФ ОДЛК 9-го порядка


©2024 (C) Progger