Новый эксперимент в ручном проекте

Message boards : Science : Новый эксперимент в ручном проекте
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4 · 5 · 6 · 7 . . . 10 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5537 - Posted: 4 May 2020, 2:22:32 UTC
Last modified: 4 May 2020, 2:32:04 UTC

Цитата

Есть в сегодняшней порции решения из редких групп КФ ОДЛК (первый формат), из больших, то есть это хвост БД КФ ОДЛК

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

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

Это однушечки.

Да, хвост БД КФ ОДЛК в первом формате весьма интересен.
Интересно: берём любую часть БД КФ ОДЛК, она повторяет структуру общей БД.
Как я уже неоднократно писала, группы ОДЛК в первом формате определяются второй строкой.
Показанные в цитате ОДЛК имеют вторую строку вида
2 3 0 x x x x x x x 

Это уже хвост БД. Далее идут группы ОДЛК, в которых вторая строка имеет вид
2 3 1 x x x x x x x 

Это уже очень малочисленные группы, то есть таких ОДЛК мало.

Покажу хвост одной части БД.
Это ОДЛК, принадлежащие группам со второй строкой вида
2 3 0 x x x x x x x


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

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

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

Предшествующие группы в этой части БД имеют вторую строку вида
1 2 8 x x x x x x x


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

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

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

Это тоже малочисленные группы.
Аналогично малочисленные группы со второй строкой вида
1 2 7 x x x x x x x

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

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

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

Далее идут многочисленные группы со второй строкой вида
1 2 3 x x x x x x x

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

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

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

А есть ещё более редкие группы со второй строкой вида
1 8 3 x x x x x x x

ОДЛК такой группы только один увидела сейчас при просмотре разных частей БД, вот он

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

Ещё в этой же части БД есть ОДЛК из групп со второй строкой вида
1 2 9 x x x x x x x

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

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

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

Это тоже очень малочисленные группы.

Ну, и пока вся БД заканчивается группами со второй строкой вида
2 3 1 x x x x x x x

Максимальная КФ ОДЛК (известная мне на данный момент) из такой группы

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

Такая вот интересная структура БД получается.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5537 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5538 - Posted: 4 May 2020, 2:29:50 UTC

Сейчас чаще всего новые порции КФ ОДЛК заканчиваются группами со второй строкой вида
1 2 3 x x x x x x x

Например, у меня новые ОДЛК, найденные только что

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

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

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

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5539 - Posted: 4 May 2020, 4:12:32 UTC
Last modified: 4 May 2020, 4:20:15 UTC

Итак, группы КФ ОДЛК первого формата выстраиваются следующим образом:

1) группы со второй строкой вида
1 2 0 x x x x x x x

Это самые многочисленные группы.
2)
1 2 3 x x x x x x x

Это тоже достаточно многочисленные группы.

Далее следуют малочисленные группы.
3)
1 2 7 x x x x x x x

4)
1 2 8 x x x x x x x

5)
1 2 9 x x x x x x x

6)
1 8 3 x x x x x x x

7)
2 3 0 x x x x x x x

8)
2 3 1 x x x x x x x

Не уверена, что перечислила все группы.
Надо посмотреть на все части БД внимательнее.
А ещё лучше смотреть на общую БД, которой у нас, к сожалению, нет.
Есть большая БД проекта ODLK1, вот в ней можно смотреть, она выложена тут
https://drive.google.com/file/d/1Z9r6XRPbN_bnWDULysr2MlMHgkzffvCj/view?usp=sharing
(решения в этой БД надо сначала декодировать, а затем перевести в первый формат)
Ну, и во всех частях БД, что я выкладывала раньше.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5539 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5540 - Posted: 4 May 2020, 6:49:01 UTC
Last modified: 4 May 2020, 6:56:47 UTC

Вот нашла в другой части БД ещё 4 КФ ОДЛК из групп со второй строкой вида
1 8 3 x x x x x x x


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

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

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

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

Редкостные экземпляры!

Других групп, кроме перечисленных выше, пока не обнаружила.

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5542 - Posted: 5 May 2020, 0:14:16 UTC

БД КФ ОДЛК первого формата начинается группами со второй строкой вида
1 2 0 x x x x x x x

Это самые многочисленные группы.
Рассмотрим самую первую группу среди этих групп.
Покажу начало самой большой части БД, которая у меня есть (1 500 000 КФ ОДЛК)

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

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

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

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

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

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

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

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

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

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

Все эти КФ ОДЛК из одной группы, имеющей следующие первые две строки

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

Назову эту группу минимальной группой БД.
Самая первая КФ ОДЛК в этой группе - минимальная КФ в БД.
Естественный вопрос: вся ли минимальная группа БД найдена на данный момент? Нет ли пропущенных КФ ОДЛК в данной группе?
Это большая группа. И нам нужна абсолютная полнота группы!
Можно ли организовать поиск всей этой группы? Разумеется, можно.
Надо придумать оптимальный алгоритм.
Одним из таких алгоритмов может стать алгоритм крупнопанельных ЛК.
Дерзайте, господа!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5542 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5543 - Posted: 5 May 2020, 0:29:05 UTC

И вот смотрите!
Начало БД КФ ОДЛК ручного проекта (я веду БД ручного проекта в первом формате, так начинала - так и продолжаю)

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

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

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

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

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

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

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

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

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

. . . . . .

Все эти КФ ОДЛК из минимальной группы!!

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5544 - Posted: 5 May 2020, 0:31:41 UTC

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5545 - Posted: 5 May 2020, 0:44:15 UTC
Last modified: 5 May 2020, 2:59:13 UTC

Для КФ второго формата (в каждой линейке) есть программа Белышева генерации КФ.
Вот такую бы программу генерации КФ иметь для всех КФ минимальной группы первого формата, то есть всех КФ ДЛК первого формата, содержащих первые две строки

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

Тогда один из алгоритмов поиска минимальной группы БД КФ ОДЛК очевиден - это поиск в лоб: генерация всех КФ и проверка их на марьяжность.
Этот алгоритм используется для поиска минимальной группы БД КФ ОДЛК второго формата (Приложение odlkmin в проекте ОДЛК).

Есть ещё один известный алгоритм поиска пропущенных решений в группе - метод интервалов.
Для этого необходимо иметь в наличии всю имеющуюся на данный момент минимальную группу.

Думаю, что эти два алгоритма не самые эффективные.
Можно придумать что-нибудь получше.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5545 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5546 - Posted: 5 May 2020, 2:50:30 UTC
Last modified: 5 May 2020, 3:01:07 UTC

А вот КФ ОДЛК в первом формате - тоже из одной группы

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

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

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

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

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

Все КФ ОДЛК этой группы имеют такие две первые строки
0 1 2 3 4 5 6 7 8 9
1 2 3 4 0 9 5 6 7 8

Показанные КФ ОДЛК принадлежат подмножеству данной группы.
Узнаёте? Да, это знаменитые "брауны"!

Именно эта группа выбрана мной для самой первой ветви эксперимента крупнопанельные ЛК, которую сейчас выполняет XAVER.
Эксперимент даёт пока стабильно хорошие результаты. Почти все найденные решения уникальные.
Напомню: в эксперименте содержится 54887 строк (или WU), от каждой строки я сделала генерацию 1 000 000 крупнопанельных ЛК; это не все возможные ЛК, можно генерировать и больше, но я ввела ограничение, чтобы не растягивать слишком долго проверку ЛК на ОДЛК.
На данный момент XAVER обработал 1000 строк (WU), что составляет 1,82%.
Понятно, что тут нужна помощь, для одного компьютера это непосильная задача.

После того, как я передала эту ветвь XAVER, сделала для себя вторую аналогичную ветвь - для другой группы.
Этот эксперимент немного выполняла, сейчас временно приостановила, так как появились новые эксперименты.
В своей ветви я генерирую ещё меньше ЛК - всего 300 000, потому что у меня очень медленно идёт проверка на ОДЛК.
Эксперимент полностью готов к выполнению, можно начать прямо сейчас.
Но начинать, увы, некому :(

PS. О ветви эксперимента, которую выполняет XAVER, смотрите первый пост настоящей темы.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5546 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5548 - Posted: 6 May 2020, 0:26:13 UTC
Last modified: 6 May 2020, 0:31:15 UTC

Программу для поиска минимальной группы БД КФ ОДЛК по алгоритму крупнопанельных ЛК написала и протестировала.
Всё замечательно работает.
Готова к выполнению ещё одна ветвь эксперимента крупнопанельные ЛК.
Ветвь содержит 54812 WU (строк).

Первая ветвь в работе у XAVER, две другие пока стоят.

PS. Вчера начала собирать минимальную группу.
Ох! Она громаднейшая!
В каждом куске БД, который у меня есть, КФ ОДЛК из этой группы присутствуют.
А ещё больше их в том куске БД, которого у меня нет (БД проекта ODLK1).
В-о-о-о-т! Хорошенькая группа КФ ОДЛК первого формата.
Если бы всю её иметь в наличии, можно и метод интервалов попробовать.
Данный метод тоже хорошо находит пропущенные решения.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5548 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5549 - Posted: 6 May 2020, 4:24:53 UTC
Last modified: 6 May 2020, 4:41:55 UTC

Собрала минимальную группу БД из нескольких крупных кусков, которые у меня есть.
Ещё один крупный кусок остался из тех, что у меня есть - с проекта TBEG (миллион с хвостиком КФ ОДЛК).
Сейчас в минимальной группе 6154 КФ ОДЛК.
Думаю, что их будет не менее 10 000, если всю группу собрать из общей БД на данный момент.
Эта группа, как уже отмечено, относится к самым многочисленным группам.
Показываю первые 10 КФ ОДЛК минимальной группы на данный момент

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

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

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

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

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

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

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

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

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

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

Вот интересно: есть ли тут пропущенные КФ ОДЛК??
Можно быстро проверить методом интервалов.
Ну, и надо учитывать, что пока у меня далеко не вся группа собрана.
Так что, вполне может быть, что среди показанных КФ ОДЛК есть и ещё, но у меня их пока нет в группе.

Группа, конечно, супер!

Да, напомню: если БД КФ ОДЛК первого формата действительно заканчивается группами со второй строкой вида
2 3 1 x x x x x x x x

то всего в БД будет 18 000 с хвостиком групп (точное значение где-то приводила раньше). Это теоретическое значение количества групп.
Может быть, практически они не все существуют; пока ничего не могу сказать на этот счёт, не исследовала этот вопрос.
Ну, вот смотрим на минимальную группу. Собираем, дополняем...
Важно узнать хотя бы примерно, сколько же всего КФ ОДЛК будет в минимальной группе.
Ну, а далее простая арифметика.
Ещё и следует учесть, что минимальная группа одна из самых многочисленных (а может, и самая многочисленная).

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5550 - Posted: 6 May 2020, 4:44:43 UTC

Сейчас ещё из крупного куска БД с проекта TBEG добавлю КФ ОДЛК в минимальную группу.
Посмотрим, много ли добавится.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5550 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5551 - Posted: 6 May 2020, 5:42:05 UTC
Last modified: 6 May 2020, 5:49:38 UTC

Готово, добавила.
Из этого куска БД (1 027 557 КФ ОДЛК) добавилось в минимальную группу 919 КФ ОДЛК.
Теперь в этой группе стало 7073 КФ ОДЛК.
Среди показанных выше первых 10 КФ ОДЛК группы других КФ ОДЛК не добавилось.
Покажу хвост минимальной группы на данный момент

. . . . . . . . 

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

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

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

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

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

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

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

Кто хорошо понимает суть метода интервалов, тот хорошо представляет, как надо решать задачу пополнения данной группы КФ ОДЛК.
Очень хочется довести эту группу до кондиции!

Ну, конечно, ещё надо добавить в группу КФ ОДЛК из самого большого куска БД - с проекта ODLK1.
Там, думаю, немало КФ ОДЛК из минимальной группы.
Дальше кое-что ещё останется (мелочи), например, с проекта ОДЛК, что мной не обработано, это не более миллиона КФ ОДЛК (всего).
Да, и с проекта TBEG из самых первых экспериментов, там тоже мелочи.

Итак, кто может мне помочь извлечь КФ ОДЛК в минимальную группу из БД проекта ODLK1?
Надо сделать следующее:
а) скачать БД проекта ODLK1 по ссылке
https://drive.google.com/file/d/1Z9r6XRPbN_bnWDULysr2MlMHgkzffvCj/view?usp=sharing
б) все файлы с КФ ОДЛК декодировать программой Белышева denamer;
в) все полученные КФ ОДЛК перевести в первый формат (это делается с помощью программы канонизации для первого формата);
г) из всех полученных КФ ОДЛК первого формата выбрать КФ ОДЛК, принадлежащие минимальной группе, то есть такие, которые содержат первые две строки
0 1 2 3 4 5 6 7 8 9
1 2 0 4 3 6 5 9 7 8

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5552 - Posted: 7 May 2020, 1:59:42 UTC

Суть метода интервалов изложена в теме
https://boinc.progger.info/odlk/forum_thread.php?id=29
Только там рассматриваются КФ ОДЛК во втором формате, в остальном всё аналогично.

В исследуемой минимальной группе имеем такой первый интервал

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

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

Первая КФ ОДЛК интервала - минимальная КФ ОДЛК в БД первого формата.
Есть ли другие КФ ОДЛК в данном интервале? Задача в том, чтобы это проверить.

Метод интервалов очень давно реализовал коллега Владимир Чирков.
Программа замечательно работает.
Недостаток - программа генерирует все ДЛК в интервале в лексикографическом порядке.
Чтобы определить, какие из этих ДЛК являются КФ (неподвижные точки преобразования КФ), надо использовать программу Белышева kanonizator_y.
Проверка на марьяжность выполняется программой Белышева ortogon_u. Программа работает достаточно быстро.
Вот такой простой алгоритм

Сейчас проверяю первый интервал. Он оказался большой, долго проверяется.
Новых решений в интервале пока не найдено. Сильно подозреваю, что их тут и нет.

Интервалы есть разной длины, это понятно. Есть совсем короткие, они быстро проверяются. Есть очень длинные.
В каких-то интервалах могут оказаться пропущенные решения. Вот их и надо все обнаружить, чтобы сделать минимальную группу абсолютно полной.

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5553 - Posted: 7 May 2020, 18:17:12 UTC
Last modified: 7 May 2020, 18:35:07 UTC

В эксперименте мультисимметрия в формате крупнопанельных ЛК нашлась очень симпатичная уникальная двушка (формат программы Беляева)

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

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

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

Завтра я её раскрашу.

Кстати, сейчас обращаю внимание на новые КФ ОДЛК в первом формате.
Вот в моей новой порции решений нет КФ ОДЛК из минимальной группы, но есть из группы со второй строкой вида
1 2 0 x x x x x x x

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

Довольно махонькое решение.
Радует, что минимальная группа уже не зацепляется. Это говорит о том, что данная группа уже достаточно плотная.
Но до абсолютной полноты наверняка ещё далеко, пропущенные решения есть.

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5554 - Posted: 7 May 2020, 18:29:27 UTC
Last modified: 8 May 2020, 2:29:22 UTC

Последняя КФ ОДЛК в минимальной группе, имеющейся у меня в данный момент

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

Понятно, что первая КФ ОДЛК группы - минимальная КФ ОДЛК группы и всей БД. Это уже точно известно.
А вот является ли показанная КФ ОДЛК максимальной КФ ОДЛК группы??
Это надо проверить в первую очередь.
Завтра займусь этой проверкой.
Первый интервал ещё проверяется у меня, такой здоровый оказался. Ну, ничего, когда-то закончится. По-моему, он без пропусков.

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5555 - Posted: 8 May 2020, 4:58:58 UTC
Last modified: 8 May 2020, 5:03:52 UTC

Немножко добавила КФ ОДЛК в минимальную группу из сырых результатов проекта ODLK1; пока не всё, продолжу.
Сейчас у меня в минимальной группе содержится 7782 КФ ОДЛК.
Интересно: первые 10 КФ ОДЛК стоят стеной (они выше показаны), ничего между ними не добавилось.
Максимальная КФ ОДЛК (последняя в группе) тоже пока не изменилась.

В общем, коллекция выстраивается великолепная :)
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5555 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5556 - Posted: 8 May 2020, 7:42:22 UTC
Last modified: 8 May 2020, 7:46:56 UTC

Я обещала свою новую двушечку раскрасить, вот она



Интересная узорчатость ортогоналек - поворот блоков.
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5556 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5557 - Posted: 8 May 2020, 17:58:57 UTC
Last modified: 8 May 2020, 18:07:00 UTC

Ещё добавила КФ ОДЛК в минимальную группу из сырых результатов проекта ODLK1.
Теперь у меня в этой группе содержится 8948 КФ ОДЛК.
Первые 10 КФ ОДЛК по-прежнему стоят стеной!
Последняя КФ ОДЛК тоже не изменилась.
Итак, если добавить все КФ ОДЛК с проекта ODLK1, в минимальной группе будет не менее 10 000 КФ ОДЛК.
Собственно, сформированная мной минимальная группа уже вполне пригодна для работы с ней методом интервалов.
Вот ещё последнюю КФ ОДЛК не проверила на максимальность.
Всё ещё никак не проверю до конца первый интервал. Но уже скоро, скоро...
Раз уж начала проверять, надо закончить.
Потом сразу же начну проверять последнюю КФ ОДЛК на максимальность в группе.

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

Send message
Joined: 6 Apr 17
Posts: 12859
Credit: 0
RAC: 0
Message 5560 - Posted: 9 May 2020, 17:44:07 UTC
Last modified: 9 May 2020, 17:53:25 UTC

Обработала очередную порцию решений из эксперимента мультисимметрия в формате крупнопанельных ЛК.
Новая двушечка (формат программы Беляева)

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

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

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

Ортогональки, как всегда, узорчатые, но уже не так, как в предыдущей двушке.

Новая КФ ОДЛК в минимальной группе!

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

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

А вот из последних групп новых решений нет. Всё заканчивается этой КФ ОДЛК

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

Далее для сокращения я буду говорить вместо "группы, содержащие вторую строку вида
1 2 3 x x x x x x x
- "группы серии 1 2 3".
Чаще всего новые порции решений заканчиваются КФ ОДЛК из групп серии 1 2 3.
Известные серии групп перечислены в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=155&postid=5539#5539

Эксперимент у нас с черепашкой продолжается!
My new article "SOLS and SODLS"
in Russian
https://yadi.sk/d/nvdI6TgBrKv72A
in English https://yadi.sk/d/VeY9bx6_q6CcZg
ID: 5560 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 · 2 · 3 · 4 · 5 · 6 · 7 . . . 10 · Next

Message boards : Science : Новый эксперимент в ручном проекте


©2024 (C) Progger