Thread 'The rules and core of database'

Message boards : Science : The rules and core of database
Message board moderation

To post messages, you must log in.

Previous · 1 · 2 · 3 · 4 · Next

AuthorMessage
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1561 - Posted: 27 Feb 2021, 1:33:31 UTC

В 16-й части найдено 306 ОДЛК, все они уникальные.
Представлено 94 новые линейки.
Ядро БД содержит 9742 КФ ОДЛК, представлено 3387 линеек.

Сегодня проверяется 17-я часть.
ID: 1561 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1562 - Posted: 28 Feb 2021, 1:43:35 UTC
Last modified: 28 Feb 2021, 2:59:47 UTC

Прогресс, прогресс!

В ядре БД более 10 тысяч КФ ОДЛК!
В 17-й части найдено 389 уникальных КФ ОДЛК. Представлено 115 новых линеек.
Ядро БД содержит 10131 КФ ОДЛК, представлено 3502 линейки.

Да, по сравнению с порядками 11, 12 и 13 для порядка 14 очень мало находится ОДЛК.
И это проверяется рекордный по Д-трансверсалям ДЛК (на данный момент).
Тем не менее, новые линеечки прибывают.
Осталось найти КФ ОДЛК, представляющие 1723 линейки из известных 5225 линеек.
Надеюсь, что темп прибавления новых линеек критично не упадёт.

Запущу сейчас в проверку 18-ю часть.
ID: 1562 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1563 - Posted: 1 Mar 2021, 6:05:43 UTC
Last modified: 1 Mar 2021, 6:40:00 UTC

В 18-й части найдено 364 уникальных ОДЛК. Представлено 78 новых линеек.
Ядро БД содержит 10495 КФ ОДЛК, представлено 3580 линеек.

Как и предполагалось, темп прибавления новых линеек падает.
Проверю ещё 19-ю и 20-ю части, а потом попробую искать ОДЛК к другому ДЛК.
Возможно, это внесёт разнообразие в найденные КФ ОДЛК, и они будут представлять больше новых линеек.
ID: 1563 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1574 - Posted: 2 Mar 2021, 5:41:56 UTC

Ядро БД КФ ОДЛК 14-го порядка растёт!
Маленькое ядрышко - пока 10870 КФ ОДЛК, представлено 3676 линеек.
Поиск в 19-й части дал представителей 96 новых линеек.
Поехала в проверку 20-я часть.

Покажу последние 20 из представленных линеек

. . . . . . . . . . . 
 1  2  3  4 10  6  8  9 11  5 12 13  0  7
 1  2  3  4 10  6  8  9 11 12 13  5  0  7
 1  2  3  4 10  6  8  9 11 13  7  5  0 12
 1  2  3  4 10  6  8  9 11 13 12  7  0  5
 1  2  3  4 10  6  8  9 12 13  7  0  5 11
 1  2  3  4 10  6  8  9 13  5 12  7  0 11
 1  2  3  4 10  6  8 11  9  7 12 13  0  5
 1  2  3  4 10  6  8 11 12  0  7 13  5  9
 1  2  3  4 10  6  8 11 13  5  7  9  0 12
 1  2  3  4 10  6  8 12  9 11  7 13  0  5
 1  2  3  4 10  6  8 12 11  5  7 13  0  9
 1  2  3  4 10  6  8 13  9  7 12  5  0 11
 1  2  3  4 10  6  9 13 11  7 12  5  0  8
 1  2  3  4 10  6 11 13  9  5 12  7  0  8
 1  2  3  4 10  9 11 12 13  8  6  7  0  5
 1  2  3  4 10  9 11 13 12  8  0  7  5  6
 1  2  3  4 11  9 12 13 10  8  5  0  7  6
 1  2  3 11  5  6  8  4 10  7  9 13  0 12
 1  2  3 11  5  9  8 10  7 13  6  4  0 12
 1  2  3 11  5  9 10 12  4  8  7 13  0  6

Сравните с последними 20-ю линейками в списке Harry White

. . . . . . . 
 1  2  3  4 10  6  8 11 13  5  7  9  0 12
 1  2  3  4 10  6  8 11 13  7 12  5  0  9
 1  2  3  4 10  6  8 12  9 11  7 13  0  5
 1  2  3  4 10  6  8 12 11  5  7 13  0  9
 1  2  3  4 10  6  8 12 11  7 13  5  0  9
 1  2  3  4 10  6  8 13  9  7 12  5  0 11
 1  2  3  4 10  6  8 13 11  7  9  5  0 12
 1  2  3  4 10  6  9 11 13  7 12  8  0  5
 1  2  3  4 10  6  9 13 11  7 12  5  0  8
 1  2  3  4 10  6 11 13  9  5 12  7  0  8
 1  2  3  4 10  6 13 11  9  5 12  8  0  7
 1  2  3  4 10  9 11 12 13  8  0  7  6  5
 1  2  3  4 10  9 11 12 13  8  6  7  0  5
 1  2  3  4 10  9 11 13 12  8  0  7  5  6
 1  2  3  4 11  9 12 13 10  8  5  0  7  6
 1  2  3 11  5  6  8  4 10  7  9 13  0 12
 1  2  3 11  5  6  8  9  7 10  4 13  0 12
 1  2  3 11  5  9  8 10  7 13  6  4  0 12
 1  2  3 11  5  9 10 12  4  8  7 13  0  6
 1  2  3 11  5  9 10 13  4  8  7  6  0 12
ID: 1574 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1575 - Posted: 3 Mar 2021, 1:17:32 UTC
Last modified: 3 Mar 2021, 1:22:19 UTC

20-я часть дала 257 КФ ОДЛК, а линеек новых представлено всего 60.
Ядро БД содержит 11127 КФ ОДЛК, представлено 3736 линеек.
Да, темп представления новых линеек сильно упал.
Надо поменять ДЛК.

В сообщении
https://boinc.multi-pool.info/latinsquares/forum_thread.php?id=122&postid=1442
показаны топовые ДЛК 14-го порядка.
Попробую искать ОДЛК к предпоследнему ДЛК в этом списке

 0  2  4  9  7  8 13 12  6 10 11  5  3  1
10  1  8 12  5  9  3  2 11  4 13  6  0  7
11  8  2 10 12  1  5  4  0 13  7  3  6  9
 4  7 11  3  8 13  0  1 12  6  2  9 10  5
 7  0  6 13  4 11  2  3  9  5 12  8  1 10
 3 12  7  6  0  5 11  9  4  1  8 10 13  2
13 11  0  5  3 10  6  8  7  2  4  1  9 12
 6  4 13  0  9  2 10  7  3 11  1 12  5  8
 1  3  5 11 10  6 12 13  8  7  9  4  2  0
 8  5 12  1 11  3  7 10  2  9  0 13  4  6
 9  6  3  7 13  0  4  5  1 12 10  2  8 11
 5 10  9  2  6 12  1  0 13  8  3 11  7  4
 2 13 10  8  1  4  9 11  5  0  6  7 12  3
12  9  1  4  2  7  8  6 10  3  5  0 11 13

Этот ДЛК имеет 380432 Д-трансверсали.
Возможно, у него будут совсем другие ОДЛК, которые добавят больше новых линеек.

Код этого ДЛК по системе Tomas Brada
FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rfGjwySCU

Начинаю проверку с первой части.
ID: 1575 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1576 - Posted: 3 Mar 2021, 1:33:43 UTC
Last modified: 3 Mar 2021, 1:39:27 UTC

Решила запустить параллельно ещё один топовый ДЛК, вот этот

 0  2  4  7 12  8 13 11  6 10  9  5  3  1
12  1  3 13  8  9  4  5  7  6 11  2  0 10
10  0  2 11  6  7  5  4  9  8 13  3  1 12
 7  6 10  3 11  4  0  1  5 13  2 12  8  9
13  9  6  0  4  3 12 10  2  5  1  8  7 11
 9  8 12  2 13  5  1  0  4 11  3 10  6  7
 5 13  9 10  3  1  6  8  0  2 12  7 11  4
 2  5 11  8  0 10  9  7 12  1  6 13  4  3
 1  3  5  9 10  6 11 13  8 12  7  4  2  0
 6 12  0  4  7 11  3  2 13  9  5  1 10  8
 4 11  7 12  2  0  8  6  1  3 10  9 13  5
 3  4 13  6  1 12  7  9 10  0  8 11  5  2
 8 10  1  5  9 13  2  3 11  7  4  0 12  6
11  7  8  1  5  2 10 12  3  4  0  6  9 13

Этот ДЛК имеет 371760 Д-трансаверсалей.
Может быть, ОДЛК сразу от двух ДЛК ускорят процесс составления ядра БД КФ ОДЛК 14-го порядка.
Код этого ДЛК по системе Tomas Brada
FJvfjCHTadn8KYovwPSv4EJ8m9U5s9GL97BRt3pSdKdvczRi

Тоже начала с первой части.

Тэк-с, запустила оба ДЛК в проверку; жду урожая ОДЛК, КФ ОДЛК и новых линеек.
ID: 1576 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1579 - Posted: 3 Mar 2021, 3:23:40 UTC
Last modified: 3 Mar 2021, 3:27:19 UTC

Ко второму ДЛК уже найдено ОДЛК (за два часа)

# in: FJvfjCHTadn8KYovwPSv4EJ8m9U5s9GL97BRt3pSdKdvczRi 1
# num_dtrans: 371760
F8rd6yVHUumZCNXbXMiKV8AxsZ1EoHQTVSpYcUPCVeVYT6V3
FzDkLqxHpEBctYqXpzBGPwpwe9yGK1kHd8SvrNQi2ksrg752
FSjf3B5fMh5KJttupUsXd65oQAGo3aZpVCgWLCQsvLc984r2
FNDW5JJXj2rXsoZYyqbKsKTpbXeGwDvkNcXiZHafQDwKnmP
FcrNqJXCnZhTNC3rkpofu7asMuzxNnMbR2ZU7jQKgc7SqBBo3
FahRLcXwyFA2Vhhc85iLBJvXJr59pJLvC2SNrf5sgEFqvSi4
FJHk3nXi5GQVbjZiRUxLJ7b6Fss4S5VtAQAUm53akvtXqrC
FvFeu1RQfjvK77MvUfTQEPinaEpbzty63rie3zzN8vF1ykU3
Fvjp1Xu4LBjVxzSthNLBXKCwwgvDvnTdCU4VxsyoLSB27TX2
FkvDH7H2EXCwK6z511weppn4QSjLMb4WGWUNCn7VK8BmFZZ3
Fo9542T6Tu9pCWJTEHQxcNBLJ6HAViXvEgQZN6f3FzwBfuL3
F1NV8QQYMpEwGhvax1LQwDtDZJKrMJSpnjGKAuVPMXcC9XP2
F5SW8UAb1Ax2eQwA8s3YFURVGVTpNKhc4RVZetp9Zi3sUMDJ3
FH7Uk4TzrGxMJoyaCWdfhJCtbnrt6cM5Wgr5jq5qtADxXek
F8QABx7dqj3vQwqmhzgDPmpxzhySR2fWvK2sQX6roFfKrqrs
Fip8yJZVHuJoBGW7FL91h7kJiaXZnAHWrRBniacWdxzpzch2
FJBUg3nrVa9r6sTXcCmo1MFXYhXH4KxHCgheTUyUN7dsWT32
FHwqbwK4X2fc4W3dQTaUsLPc65H9nS4NYgdxe2LrtUDnqG3
FtpMKRFYbH6avLR8gF3z3R73a37SKb86armPyQTF668JFtrD
FZhCCsBjmVy6D29Jh5y2PnZ1ktMLaYNSmLFMH2PoutAwMYD
F7jDcZvvZ62Lv89TpTnpMUwexKacugLLerhfhV8iGw4BdmL
F4K9uFqE6jicJ1CmLcbQGUKG6s2D246bqnLjSds7RBf4Rurv
FP4qUNxWejdiZnDNGKzjbzNnVoZvFtySm24CVJS5T4P8AtB5
FtTPN2RtastL2pqiJPJaPXv3vBer1JjukPmZY77FfdA52AFA
FUyJuXiJQ1nYPThSTWnrqm4G6AjcuipdzR8GUXeyskXJPSp4
FfM4cLV5ssnjDDYATdXL4NWbinCcLQ8nqjxJrTGtvLzczdQ
FkeQnJzMuVSbtMce9WTFmfeogRUcoCBgvjzD59mMT8BjicZG

А это к первому ДЛК (за то же время)

# in: FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rfGjwySCU 1
# num_dtrans: 380432
Fr7tCpiUHwUHMYyZzJDG7dbFQETYpnnGCpdU8GicVc1RhJ7
F9PfHkE5bQoPo2anDZ3nnSqZemnsCiqM7bJQYfZkYWNpd4xV
FananJW9og8MaYksa6x5WpSeUUCvRsJq2F52kp4US2mwyi32
FM4XNj5K1HXRxUw34s61vuX9UdRjg5S2LvBzUN3W2SWezFW
Fwa6JMQ8aR42fvkjjCHu5fpAWvyCRb3qHDvMNgUg47ySUB7
FLhSKsqwfheNJde9cs1Ma1ZtpWA7MA11H4SGUQeZnDSc8K69
FCUmw9gpKLrLB98dEcxptVcPk43jGQP7wpSur5x284D8VGT
F1gGwAMhpCfbw1hMiCrN86nJ5scpZM9w2dp2E5hUBM1S5ywA
FJh3D6ABoPtcLvQRnpwDRV7BkgzP9nmPqTcQ1QaoJ5sQrD
FBmbqz4XGdVjF2RYiAjfL2aYtKpwotydgrUg5sGyeKMKCeY
FUKddPRcCBb9hUUrCqxU7iFkKkzkzkxTgRxeJLj1AQeNYJH2
Fi3rF8ELpbSXUjXYhVAtMXk3ds5w8s5JsyYnznQwp9GFKF
F4Jvo98XQqshsiCUUMKUT72DXvfHJcHRDATDkuMmoP9JChQ
FtvjTg6qvtSLvJT3AWbLAE9D9HntMHJP3aHaZDhnLbxbh99B
FHmrcwdFcrhD9rxK8n4aJsNgmsqAPVKnJvNWcb8JfZFkrEB
FEfLBuXFthRbE4M3wHTRjSTa26cqh4kQhStVxTa7qhUH4eY4
F5rKqZ89hNq1v3nLGenecJEsbxnod2USmLN9nidw7T8HSCZ4
FTRGfXxxCPLSLrWCbKz58PgkU7zDYPv9ghyX16hvuPKqvZY2
FMdJhhgRbfFu2yaaJG59h2yx5kLdWh5sgKcr2FGJFMfKdh86
Fgbz2sW98zc3FvEtmqSSi6UPeZmZxM17ELTnEVaDn8qCc1f47
FbT9aUVXFE32wcGFLz99o6ZRVmxWVdydqKFcfaxo32zt9EVw

Примерно одинаковое количество ОДЛК найдено от обоих ДЛК.
Надеюсь на то, что от разных ДЛК и ОДЛК будут сильно отличаться (структурой), а это может дать больше новых линеек.
Посмотрим.
ID: 1579 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1588 - Posted: 4 Mar 2021, 3:21:00 UTC
Last modified: 4 Mar 2021, 3:23:25 UTC

От двух ДЛК вчера найдено 573 ОДЛК, однако не все они уникальные, КФ ОДЛК оказалось 425.
Новых линеек представлено не так много, как ожидалось, всего 78.
Чем больше представлено линеек, тем труднее находятся представители новых линеек. Такая вот тенденция.
Ядро БД содержит на данный момент 11552 КФ ОДЛК, представлено 3814 линеек.

Сегодня будет один поток. Работа трёх программ одновременно плохо сказывается на скорости каждой из них.
ID: 1588 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1592 - Posted: 5 Mar 2021, 2:53:13 UTC
Last modified: 5 Mar 2021, 2:53:44 UTC

Вчера после обеда включила всё-таки два потока для поиска ОДЛК14.
Всего найдено 422 ОДЛК, эти ОДЛК все оказались уникальные.
Новых линеек представлено 78. Пока на том же уровне.
Ядро БД содержит 11974 КФ ОДЛК, представлены 3892 линейки.
Осталось найти представителей 1333 линеек из 5225 известных.

Пока запустила один поток, третья часть для второго топового ДЛК

C:\Users\Дом\Downloads\Tomas>ortogonbw FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rf
GjwySCU 3  1>output.txt
init_trans(14) used 661 nodes
num_dtrans: 380432
init_disjoint(14) used 197 heads and 5326245 nodes
L(0) c(100) 3 / 25697
L(1) c(111) X / 10671

Может быть, после обеда опять подключу второй поток.
Пока черепашка ищет ОДЛК9.
ID: 1592 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1595 - Posted: 6 Mar 2021, 4:33:10 UTC

После обеда подключила второй поток.
От двух ДЛК найдено 401 ОДЛК, все они уникальные.
Новых линеек представлено 65.
Ядро БД содержит 12375 КФ ОДЛК, представлено 3957 линеек.

Продолжаю поиск новых ОДЛК и представителей оставшихся линеек.
Пока работает один поток.
ID: 1595 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1597 - Posted: 7 Mar 2021, 1:13:09 UTC

Вчера работал один поток весь день.
Найдено 243 ОДЛК, все они уникальные. Новых линеек представлено 38.
Ядро БД содержит 12618 КФ ОДЛК, представлено 3995 линеек.

Да, темп прибавления новых линеек сильно падает, чего я и опасалась.
Это значит, что искать представителей всех линеек придётся довольно долго.
Остаётся представить
5225 - 3995 = 1230 линеек.
Надеюсь, что Harry White нашёл все линейки.
ID: 1597 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1599 - Posted: 8 Mar 2021, 1:21:54 UTC
Last modified: 8 Mar 2021, 1:40:05 UTC

Вчера подключала второй поток с обеда.
От двух ДЛК найдено 393 ОДЛК, все они уникальные.
Новых линеек представлено 61. Это неплохо.
Ядро БД содержит 13011 КФ ОДЛК, представлено 4056 линеек.
Перевалили за 4000 линеек! Всё-таки пока прогресс есть.

Следующая часть от второго топового ДЛК уже запущена в проверку.
Покажу первые 20 представленных линеек и первые 20 линеек из списка Harry White.

Представленные линейки

 1  0  3  2  5  4  8  9  6  7 11 10 13 12
 1  0  3  2  5  4  8  9  6  7 12 13 10 11
 1  0  3  2  5  4  8  9  6 10  7 12 13 11
 1  0  3  2  5  4  8  9  6 10 11  7 13 12
 1  0  3  2  5  4  8  9  6 10 12 13  7 11
 1  0  3  2  5  4  8  9  6 10 12 13 11  7
 1  0  3  2  5  4  8  9  7 10  6 12 13 11
 1  0  3  2  5  4  8  9  7 10 11 12 13  6
 1  0  3  2  5  4  8  9  7 10 12 13  6 11
 1  0  3  2  5  4  8  9  7 10 12 13 11  6
 1  0  3  2  5  4  8  9 10 11  6 12 13  7
 1  0  3  2  5  4  8  9 10 11  7  6 13 12
 1  0  3  2  5  4  8  9 10 11  7 12 13  6
 1  0  3  2  5  4  8  9 10 12  6 13 11  7
 1  0  3  2  5  4  8  9 10 12  7 13 11  6
 1  0  3  2  5  4  8  9 10 12 11  7 13  6
 1  0  3  2  5  4  8  9 10 12 13  7 11  6
 1  0  3  2  5  4  8 10  6 11  7  9 13 12
 1  0  3  2  5  4  8 10  6 11  7 12 13  9
 1  0  3  2  5  4  8 10  6 11 12 13  7  9
. . . . . . . . 

Линейки из списка Harry White

 1  0  3  2  5  4  8  9  6  7 11 10 13 12
 1  0  3  2  5  4  8  9  6  7 11 12 13 10
 1  0  3  2  5  4  8  9  6  7 12 13 10 11
 1  0  3  2  5  4  8  9  6  7 12 13 11 10
 1  0  3  2  5  4  8  9  6 10  7 12 13 11
 1  0  3  2  5  4  8  9  6 10 11  7 13 12
 1  0  3  2  5  4  8  9  6 10 11 12 13  7
 1  0  3  2  5  4  8  9  6 10 12  7 13 11
 1  0  3  2  5  4  8  9  6 10 12 13  7 11
 1  0  3  2  5  4  8  9  6 10 12 13 11  7
 1  0  3  2  5  4  8  9  7  6 11 10 13 12
 1  0  3  2  5  4  8  9  7  6 11 12 13 10
 1  0  3  2  5  4  8  9  7  6 12 13 10 11
 1  0  3  2  5  4  8  9  7  6 12 13 11 10
 1  0  3  2  5  4  8  9  7 10  6 12 13 11
 1  0  3  2  5  4  8  9  7 10 11  6 13 12
 1  0  3  2  5  4  8  9  7 10 11 12 13  6
 1  0  3  2  5  4  8  9  7 10 12  6 13 11
 1  0  3  2  5  4  8  9  7 10 12 13  6 11
 1  0  3  2  5  4  8  9  7 10 12 13 11  6
. . . . . . . 

Как видим, пока много пропущенных линеек среди представленных.
Проверяю и на включение моего списка в список Harry White, пока всё отлично.
Полное совпадение списков ожидается.
ID: 1599 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1600 - Posted: 9 Mar 2021, 0:11:40 UTC

Вчера после обеда подключила второй поток.
В двух потоках найдено 379 ОДЛК, все они уникальные.
Новых линеек представлено 57. Пока на уровне предыдущей порции.
Ядро БД содержит 13390 КФ ОДЛК, представлено 4113 линеек.

Запустила в проверку следующую часть. Пока проверяется одна эта чать (один поток).
ID: 1600 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1604 - Posted: 10 Mar 2021, 2:19:04 UTC

Вчера весь день работал один поток. Найдено 316 ОДЛК, все они уникальные.
Новых линеек представлено 35. Мало :(
Ядро БД содержит 13706 КФ ОДЛК, представлено 4148 линеек.

Запустила поиск в следующей части.
ID: 1604 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1608 - Posted: 11 Mar 2021, 2:09:49 UTC

Вчера тоже весь день работал один поток.
Ядро БД КФ ОДЛК 14-го порядка растёт! Медленно, но верно.
Такое замечательное ядрышко :) уже перевалило за 14 тысяч КФ ОДЛК.
В проверяемой вчера части найдено 349 ОДЛК, все они уникальные. Очень радует, что все ОДЛК уникальные. Здорово!
Линеечки, правда, не так быстро прибывают, как хотелось бы. Но прогресс имеется, новых линеек представлено 46 штук. Пока неплохо.

Итак, ядро БД сейчас содержит 14055 КФ ОДЛК, представлено 4194 линейки.
Осталось найти представителей в
5225 - 4194 = 1031 линейках.

Запущена в проверку следующая часть.
ID: 1608 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1620 - Posted: 12 Mar 2021, 1:10:10 UTC
Last modified: 12 Mar 2021, 1:12:50 UTC

Вчера в одном потоке найдено 340 ОДЛК, все они уникальные. Новых линеек представлено 38.
Ядро БД содержит на данный момент 14395 КФ ОДЛК, представлено 4232 линейки.
Пока прогресс есть, хотя и довольно слабый.
Осталось представить меньше тысячи известных линеек:
5225 - 4232 = 993
Эксперимент длится месяц. Если темп прибавления новых линеек будет и дальше падать, что вполне возможно, долго придётся искать представителей всех линеек.

Следующая часть запущена.
ID: 1620 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1624 - Posted: 13 Mar 2021, 2:04:05 UTC

Вчера в одном потоке найдено 380 ОДЛК, все они уникальные.
Хороший улов! И линеечек новых добавилось 51, тоже неплохо.

Итак, мы приближаемся к полному ядру БД КФ ОДЛК 14-го порядка.
На данный момент ядро содержит 14775 КФ ОДЛК, представлено 4283 линейки.

Запущена в проверку следующая часть

C:\Users\Дом\Downloads\Tomas>ortogonbw FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rf
GjwySCU 11  1>output.txt
init_trans(14) used 661 nodes
num_dtrans: 380432
init_disjoint(14) used 197 heads and 5326245 nodes
L(0) c(100) 11 / 25697
L(1) c(111) X / 10718

Напоминаю: проверяется второй топовый ДЛК 14-го порядка, имеющий 380432 Д-трансверсалей.
Работает программа Tomas Brada поиска ОДЛК по частям.
ID: 1624 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1628 - Posted: 14 Mar 2021, 1:23:16 UTC

Вчера улов поменьше , найдено 275 ОДЛК, все они уникальные. Новых линеек представлено 39.
Ядро БД содержит 15050 КФ ОДЛК, представлено 4322 линейки.

Запустила следующую часть.
ID: 1628 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1630 - Posted: 15 Mar 2021, 1:12:49 UTC
Last modified: 15 Mar 2021, 1:18:21 UTC

Черепашка докладывает: найдено 335 ОДЛК.
Молодец, моя черепашка! Она старается :)
Все ОДЛК уникальные, что очень хорошо.
Ядро БД растёт, сейчас оно содержит 15385 КФ ОДЛК.
Вот с новыми линеечками всё не так просто: их количество неуклонно уменьшается с каждой новой порцией.
В этой порции решений представлено 36 новых линеек.
Всего представлено на данный момент 4358 линеек из 5225 известных линеек.
Финал эксперимента близок, но... он может отодвигаться с уменьшением количества новых линеек.

Сегодня у нас с черепашкой в проверке 13-я часть второго топового ДЛК

C:\Users\Дом\Downloads\Tomas>ortogonbw FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rf
GjwySCU 13  1>output.txt
init_trans(14) used 661 nodes
num_dtrans: 380432
init_disjoint(14) used 197 heads and 5326245 nodes
L(0) c(100) 13 / 25697
L(1) c(111) X / 10676

Чёртова дюжина :)

Нам осталось найти представителей 867 линеек. М-н-о-г-о ешё.
Если темп сохранится на уровне 30 новых линеек в сутки, это ещё почти месяц.
Но темп падает!
ID: 1630 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
ProfileNatalia Makarova
Project scientist
Avatar

Send message
Joined: 22 Oct 17
Posts: 3083
Credit: 0
RAC: 0
Message 1631 - Posted: 15 Mar 2021, 4:20:00 UTC
Last modified: 15 Mar 2021, 4:23:03 UTC

У меня отличная новость!
Мой замечательный помощник пришёл на помощь в этом эксперименте. Спасибо!
Он начал считать один из топовых ДЛК 14-го порядка, который я начинала считать, вот этот

# in: FJvfjCHTadn8KYovwPSv4EJ8m9U5s9GL97BRt3pSdKdvczRi 6
# num_dtrans: 371760

Я просчитала для этого ДЛК 5 частей. помощник начал с 6-й части.
Он считал эту часть 5 суток, понятно, непрерывно. Затем прервал.
Найдено 4328 ОДЛК, все они уникальные.
Прекрасно!
Ядро БД выросло до 19713 КФ ОДЛК.
А линеечки новые как? Тоже неплохо: представлено 341 новых линеек.
Супер!
Теперь мы имеем 4699 представленных линеек.
Осталось представить
5225 - 4699 = 526 линеек.

Черепашка ликует :) она тоже продолжает искать новые линеечки.
ID: 1631 · Rating: 0 · rate: Rate + / Rate - Report as offensive     Reply Quote
Previous · 1 · 2 · 3 · 4 · Next

Message boards : Science : The rules and core of database

©2024 ©2024 Progger & Stefano Tognon (ice00) & Reese