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 1634 - Posted: 16 Mar 2021, 1:14:06 UTC
Last modified: 16 Mar 2021, 1:27:09 UTC

От черепашки скромный вклад поступил.
Найдено 304 ОДЛК (работал один поток), все они уникальные.
Ядро БД перевалило за 20 тысяч! Хорошее ядрышко :)
С новыми линейками всё хуже, в последней порции представлено всего 12 новых линеек.
Это ожидаемо.
Где-то во Вселенной пока гуляют представители оставшихся 514 линеек.
Найти их все будет непросто.

Итак, ядро БД КФ ОДЛК 14-го порядка на данный момент содержит 20017 КФ ОДЛК, представлено 4711 линеек (из 5225 известных линеек).

Запущена в проверку следующая часть.
Вчера помощник подал хорошую идею: поискать ОДЛК где-то в середине, потом где-то в конце.
Надо попробовать.
Завтра запущу проверку в 10000-й части.
А потом в 20000-й части.
Ещё лучше, по-моему, менять ДЛК, к которым ищутся ОДЛК.
Я уже один раз поменяла ДЛК - на второй топовый.
У помощника в проверке уже третий топовый ДЛК.

Сегодня у черепашки в проверке 14-я часть второго топового ДЛК, ОДЛК уже пошли

# in: FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rfGjwySCU 14
# num_dtrans: 380432
FP7L1yfyJ4LXQp2QjDY6cnP1ZFiEtmBumB4tdYHHBwWbzp3
FH4NDxdFWb3chvBRwopF2qhfoAYoU4qVEwWQZcW5ujqfFT7
FWzWhQZcEgs5vjdwxUkhV9kjStecNqtQidUCpBWGigcrBKj
FkeBXQvbu9XbAz2axQqwaFFn7aybegDBastmygG9t3RukxeS2
FU2FCDQbvK56sB3XhNwgSUmKeEQdndbPW3f64FdPqyCHVmE9
FZ8DUTVcscpyf9PkkR3Sg86ezf5bRJoVUuJrv9ooSpMHAL44
Fob6eoFAnphidaTw4mAV5hwMmc8TiFE6RF64i6KKkTCU4nGP
FgMX1bQ7dNdvTb6sAbd4SsRT5EraVWtiHDCTUuP69KniVFrA
F8y2hNqwhrTBdNPLq5w4r2H5xFHtqNGPsaZcK3UedqkrstV
FWApiJpH9D6fYZkGXACvPgMFuiyoTRSZVkhPQVAMiXcSm8Z
F8Rzqkk8LzwEbCmqbpdNePDgzntxdkiV3eEafa4G9npspne
FQeT7M32TFtwj5roNX3F6VV5N6bPDFoGtFHvNJGRMMtAyBk
FrLhgGbRatDPmnzT1Va8Gnz6vozXVvj69rCUZoDmjBVoqqHP3
FZAWpKnVD5nNTvvAKKunZptpPFL2mWjbrVL1DNgfy5XUBoM
F7kvygExTzP1YpNJHkbjZTUorLLk2Y1Kq1LcVVMLjL4vuZX
FU74TY1hWGRvsTP4TxVBa6zogD9XHv6pJeYfWTvrpzgYE1L3
ID: 1634 · 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 1635 - Posted: 16 Mar 2021, 19:27:45 UTC
Last modified: 16 Mar 2021, 19:31:39 UTC

Прервала проверку 14-й части и проверила результаты сразу, не откладывая на утро.
Найдено 290 ОДЛК, все они уникальные.
Новых линеек в этой порции решений представлено 14 штук. Пока на уровне предыдущей порции.
Но скоро опять начнётся падение.
Осталось найти представителей из 500 линеек.

Ядро БД содержит сейчас 20307 КФ ОДЛК, представлено 4725 линеек.
Приготовилась к запуску проверки в10000-й части.
Завтра посмотрим, что даст эта часть.
ID: 1635 · 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 1638 - Posted: 17 Mar 2021, 2:30:01 UTC
Last modified: 17 Mar 2021, 2:35:01 UTC

Проверка в 10000-й части второго топового ДЛК 14-го порядка стартовала

C:\Users\Дом\Downloads\Tomas>ortogonbw FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rf
GjwySCU 10000  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) 10000 / 25697
L(1) c(111) X / 10547

ОДЛК уже пошли

# in: FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rfGjwySCU 10000
# num_dtrans: 380432
FrNx43zSV57gxXyb9JcRvgpknVSz3C7UVR31651UHCv9Eyg5
FBowsF2w2RQcXFUCzZY8KaEezyYJkK6NwrcDysPLJNdPWSW3
Fqi5txusiYTfu1RkUMtQmdFLa3BfozH6sv5N1pGCw8fBAr44
FQFPVMw8HZ8e1Z4qPdwr2WTPETQYg2AY77NMpWX9tbxF93n

Ждём урожай в этой части.

Если предположить, что добавление новых линеек будет в среднем 10 штук в день - это нам с черепашкой на 50 дней работы :)
Но у нас есть помощь друга!
Думаю, что вместе мы выиграем миллион справимся с этой задачей.
ID: 1638 · 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 1640 - Posted: 18 Mar 2021, 1:44:08 UTC
Last modified: 18 Mar 2021, 1:56:24 UTC

От 10000-й части получено 301 ОДЛК, все они уникальные.
Новых линеек представлено 18. Пока хорошо.
Ядро БД содержит 20608 КФ ОДЛК, представлено 4743 линейки.

Сегодня мы с черепашкой проверяем 12000-ю часть второго топового ДЛК.

Можно сравнить первые 20 представленных линеек со списком линеек, полученным Harry White.
Первые 20 представленных линеек

 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  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 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 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  7 13 11
 1  0  3  2  5  4  8  9 10 12  6 13  7 11
 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  6 13 11
 1  0  3  2  5  4  8  9 10 12  7 13  6 11

Первые 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 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.
Надо, чтобы все линейки из списка Harry White входили в список представленных линеек.
Тогда будет полное совпадение этих списков.
Для этого необходимо и достаточно найти КФ ОДЛК ещё из 482 линеек (конечно, при условии, что среди представленных линеек не появятся такие линейки, которых нет в списке Harry White; надеюсь, что этого не случится).
ID: 1640 · 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 1642 - Posted: 19 Mar 2021, 3:16:39 UTC
Last modified: 19 Mar 2021, 3:19:38 UTC

Прогресс пока имеется.
Ядро БД содержит 20980 КФ ОДЛК, представлено 4761 линек.
Добавилось новых линеек 18.
Сегодня запустила поиск в 14000-й части второго топового ДЛК 14-го порядка.
Иду по частям с шагом 2000.

464 уникальных КФ ОДЛК (из 464 различных линеек) ешё гуляют во Вселенной :)
Нам надо их обнаружить и добавить в ядро БД.
ID: 1642 · 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 1644 - Posted: 20 Mar 2021, 2:20:57 UTC
Last modified: 20 Mar 2021, 2:24:12 UTC

Ну что, ядрышко увеличивается стабильно, вкусное ядрышко! :)
Новые линеечки пока на прежнем уровне прибавляются,17 штук во вчерашней порции.

Ядро БД содержит 21276 КФ ОДЛК (+296), представлено 4778 линеек (+17).
Гуляют во Вселенной 447 уникальных КФ ОДЛК, которые должны представить оставшиеся линейки.
Пусть погуляют, поймаем всё равно :)

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

C:\Users\Дом\Downloads\Tomas>ortogonbw FrtCU5kRQkazxEqHb5hvMd64kNQMo2y3Q2gvs93rf
GjwySCU 16000  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) 16000 / 25697
L(1) c(121) X / 10705
ID: 1644 · 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 1645 - Posted: 21 Mar 2021, 1:23:50 UTC
Last modified: 21 Mar 2021, 1:41:20 UTC

Вчерашнюю порцию результатов обработала. Найдено 388 ОДЛК, все они уникальные.
Новых линеек представлено всего 9 штук. Мало :(
Ядро БД содержит 21664 КФ ОДЛК, представлено 4787 линеек.

Но у меня отличная новость!
Помощник прислал свои мощнейшие результаты.
Он выполнил поиск во многих частях третьего топового ДЛК. Каждая часть у него проверялась 5 суток, разумеется, параллельно.
Сейчас займусь обработкой. Супер!

1. Части 7-20 дали 54404 ОДЛК.
Запустила канонизацию этих ОДЛК.
Канонизатор для ДЛК 14-го порядка работает медленно.
Жду результат канонизации ОДЛК этой порции.

Замечательно! Все ОДЛК уникальные, протокол канонизации
Order? 14
Format, (1: first row or 2: \diagonal)? 2
File name? inp
.. writing DLS to file output14CF2_1.txt
number of DLS 54404 CFs 54404

elapsed time 0:17:03

Сразу и проверю, сколько в этой порции представлено новых линеек.
Вот
Order? 14
File? inp
Input file is inp.txt
.. writing squares to file inpDiags_4.txt
Which \ 1 or / 2? 2
squares 76068 diags 5166

О-о-о!! Сколько КФ ОДЛК сразу поймали!
Представлено 379 новых линеек. Всего представлено 5166 линеек.
Осталось представить всего 59 линеек.

Вторую порцию решений сейчас обработаю.
ID: 1645 · 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 1646 - Posted: 21 Mar 2021, 2:16:42 UTC
Last modified: 21 Mar 2021, 2:19:28 UTC

Вторая порция решений от частей 10001-10010.
Найдено 43010 ОДЛК, все они уникальные.
Новых линеек КФ ОДЛК этой порции представили 26.
Всего представлено 5192 линейки.
Осталось представить 33 линейки.

У меня ещё две порции решений от помощника. Продолжу обработку.
Вошли в самый сложный этап эксперимента - КФ ОДЛК из оставшихся 33 линеек где-то слишком далеко во Вселенной :)
Не исключено, что обнаружить их сразу не удастся.
ID: 1646 · 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 1647 - Posted: 21 Mar 2021, 4:05:46 UTC

Третью порцию решений обработала, она от частей 21-40.
Найдено 65172 ОДЛК, все уникальные.
Внимание! Новых линеек представлено в этой порции всего 13 штук.
Напряжение растёт! Есть такие линейки, в которых КФ ОДЛК, наверное, о-ч-е-н-ь мало. Ну вот и не попадаются никак.
Итак, ядро БД растёт быстро (пока не канонизировала общие результаты).
Количество представленных линеек тоже растёт, но... чем дальше, тем медленнее.
На данный момент представлено 5205 линеек.
Осталось найти представителей всего из 20 известных линеек.

А у меня ещё осталась одна порция решений. Сейчас обработаю.
Надежды покрыть эти 20 линеек мало.
ID: 1647 · 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 1648 - Posted: 21 Mar 2021, 4:37:25 UTC
Last modified: 21 Mar 2021, 5:09:11 UTC

Последнюю порцию результатов обработала, получено 29310 КФ ОДЛК.
Новых линеек представлено всего 4 шт.
Ожидаемый результат.
Остались не представленными 16 линеек.
Даже представить трудно, сколько ещё мне пришлось бы искать всех этих представителей.
До финала эксперимента теперь осталось совсем чуть-чуть. Спасибо помощнику!
Однако... эти 16 линеек... где их искать?
Думаю, что надо сменить ДЛК.
Мы уже искали в трёх топовых ДЛК. Надо попробовать четвёртый.

Надо канонизировать общие результаты.
Всего помощником найдено от третьего топового ДЛК 191896 КФ ОДЛК, но возможны дубликаты (потому что канонизировала порции отдельно).
Разумеется, это малюсенькая часть от всех результатов данного ДЛК, проверено всего несколько частей, да и те не полностью.
Плюс мои 21664 КФ ОДЛК, итого 213560 КФ ОДЛК. Надо канонизировать все эти КФ ОДЛК вместе.
ID: 1648 · 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 1649 - Posted: 21 Mar 2021, 4:46:26 UTC
Last modified: 22 Mar 2021, 15:11:29 UTC

Давайте посмотрим на первые 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 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
 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

Здесь уже полное совпадение. Отлично!
ID: 1649 · 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 1650 - Posted: 21 Mar 2021, 5:06:10 UTC
Last modified: 21 Mar 2021, 8:10:43 UTC

Применила к найденным общим результатам программу удаления дубликатов строк .
Получила в результате 213560 строк, то есть все КФ ОДЛК различные, дубликатов нет.
Тоже ожидаемый результат.
ОДЛК у нас с помощником от разных ДЛК, ну вот и нет изоморфных.

Итак, ядро БД КФ ОДЛК 14-го порядка у нас великолепное - 213560 КФ ОДЛК!
Но оно ещё не полное. Не хватает представителей 16 линеек.
ID: 1650 · 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 1651 - Posted: 21 Mar 2021, 7:17:54 UTC
Last modified: 21 Mar 2021, 17:00:07 UTC

Вот этот ДЛК мы с черепашкой сейчас начнём проверять (четвёртый топовый)

371442 Д-трансверсалей
 0  2  4  6 12 11  7  9 13 10  8  5  3  1
12  1  3 11  8  7  5  4  9  6 13  2  0 10
10  0  2 13  6  9  4  5  7  8 11  3  1 12
 7 11  8  3  5  0 12 10  1  4  2  6 13  9
 9 13  6  2  4  1 10 12  0  5  3  8 11  7
 6 12  1  7 13  5  3  2  4 11  9  0 10  8
 4  9 11  1  2 12  6  8 10  3  0 13  7  5
 1  3  5  8 10 13  9  7 11 12  6  4  2  0
 2  5  7 10  0  6 13 11  8  1 12  9  4  3
13  8 10  5  7  3  1  0  2  9  4 12  6 11
 3  4  9 12  1  8 11 13  6  0 10  7  5  2
 5  7 13  0  3 10  8  6 12  2  1 11  9  4
 8 10  0  9 11  4  2  3  5 13  7  1 12  6
11  6 12  4  9  2  0  1  3  7  5 10  8 13

Код ДЛК по системе Tomas Brada
FVvTRSx3gEPKtQFgFgriNUJ8h12BWntQb4EcfvJtQeM5sKf5

Запустила первую часть

C:\Users\Дом\Downloads\Tomas>ortogonbw FVvTRSx3gEPKtQFgFgriNUJ8h12BWntQb4EcfvJtQ
eM5sKf5 1  1>output.txt
init_trans(14) used 661 nodes
num_dtrans: 371442
init_disjoint(14) used 197 heads and 5200385 nodes
L(0) c(186) 1 / 25652
L(1) c(91) X / 10525

Теперь нужна удача :)
ID: 1651 · 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 1654 - Posted: 21 Mar 2021, 19:05:49 UTC
Last modified: 22 Mar 2021, 3:15:36 UTC

Около 200 ОДЛК нащёлкала программа от нового ДЛК.
Сейчас буду прерывать.
Обработка завтра с утречка.
Есть ли хоть одна новая линеечка? :)

243 КФ ОДЛК добавились в ядро БД.
Ни одной новой линейки не представлено.
Ожидаемый результат.

Ядро БД содержит 213803 КФ ОДЛК, представлено 5209 линеек.
ID: 1654 · 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 1655 - Posted: 22 Mar 2021, 5:20:27 UTC

Мы с черепашкой попытаем счастье в 1000-й части четвёртого топового ДЛК 14-го порядка.
ОДЛК уже пошли

# in: FVvTRSx3gEPKtQFgFgriNUJ8h12BWntQb4EcfvJtQeM5sKf5 1000
# num_dtrans: 371442
F2vxQGypK3pErDrTXRSSzNFxxauTX2DAnwq3cGBTUiKQTSn
F6yW1ZVcXrp8ooAEix3QjdzQ7wtPAKNa4jVzdj6XCHZsxRX
FwnPyDTzW9J9wTpSi1DVD6gajxgfw3tKYq2DurQsh32grW9
FPiNC4evbUvxkjuuvtY7k97BedxJjp2AcJ9Skse7kChXA5Qe
Fuw6TKwp2H5SwZ19rSdN1EQaxneAH1vuV16WJCrnr2CA6Br4
FsHM9DHZDrY1GHzCAVcgH99LZpQvRXk9bXiK6x4NDZwu76Q4
FZCpCbgNfctfPgGvV2sTqHSY7Gyd23T2fgwEJsPtTb6kB4cM
FytvmL9rQosNnwD6xAfYwoGqPKMkFpqsoxSvQT2LVWYytxN42
FS3q1424MZyUiyL5KFDD8rv5brXnxwGk2zora8tViEdo9cN8
FYbsv61mmX6MiRz5PPnGNMuMbzW3PckkHYtmqWxHpCTXpe6
FhATiqqrrJkq6j2cUzwR5W39YuQ37cEm5dZ86PV1gEgMmBk
FsPWnoxe81TQkwrvfXcrVRHqcsgSVXXtzfm17yBpSyEp6ft
Fx6G5TePdNQXkVSJrhuftVo74gcPcKEByHVXv2U4Vgs6g7C8
FdiM1DWYgSb8ac1K8A5EHUeu43khMQSkjtcaGH2FoDnmmG2
FoCvMaRAAYxAeNpzJAFyNJ8FB8gzpgrq6ZNtiERDcmE69M2

Шансы попасть на недостающие 16 линеек очень малы.
Однако искать надо.

Есть, конечно, альтернативный путь поиска, но тоже не так уж просто.
ID: 1655 · 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 1657 - Posted: 23 Mar 2021, 1:45:05 UTC

Вчерашняя порция решений дала 226 КФ ОДЛК.
Не представлено ни одной новой линейки.

К проверке четвёртого топового ДЛК 14-го порядка подключился помощник.
Я пока остановила проверку.
Получаемые мной маленькие порции решений сейчас ничего не ловят.

Ядро БД на данный момент содержит 214029 КФ ОДЛК, представленные линейки в прежнем количестве.
ID: 1657 · 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 1683 - Posted: 28 Mar 2021, 18:16:07 UTC
Last modified: 29 Mar 2021, 16:13:19 UTC

Пришли результаты от помощника.
Проверено много частей в начале, в середине и в конце от четвёртого топового ДЛК 14-го порядка.
Найдено 295309 КФ ОДЛК. Круто!
Это больше, чем у нас имелось в ядре БД (214029 КФ ОДЛК).

Интересно: сначала проверила новую порцию решений на линейки

Order? 14
File? Alex_part1
Input file is Alex_part1.txt
.. writing squares to file Alex_part1Diags.txt
Which \ 1 or / 2? 2
squares 295309 diags 5211

Как видим, КФ из этой порции представили 5211 линеек.

А теперь объединяю новую порцию с предыдущим ядром БД и проверяю на линейки

Order? 14
File? out
Input file is out.txt
.. writing squares to file outDiags_1.txt
Which \ 1 or / 2? 2
squares 509338 diags 5220

Эх, чуточку не хватило до полного комплекта.
Теперь представлено 5220 линеек из 5225 известных.
КФ ОДЛК из 11 линеек поймали-таки!
Остались не представленными всего 5 линеек.

Проверила объединение КФ ОДЛК на дубликаты, всего две КФ повторены.
Итак, ядро БД КФ ОДЛК 14-го порядка на данный момент содержит 509336 уникальных КФ ОДЛК.
Чуть-чуть не комплект представленных линеек.
За КФ ОДЛК из оставшихся 5 линеек придётся отправляться в далёкие Галактики :)
ID: 1683 · 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 1709 - Posted: 5 Apr 2021, 15:31:19 UTC
Last modified: 5 Apr 2021, 15:57:56 UTC

Мой помощник уже побродил в далёких Галактиках :)
КФ ОДЛК 14-го порядка там м-н-о-г-о, но из нужных линеек... мало.
В поступившей сегодня порции содержится 287286 КФ ОДЛК.
Проверяю эту порцию на линейки: представлено 5209 линеек.

Теперь объединяю эту порцию с предыдущей порцией помощника, получаю 582595 КФ ОДЛК; здесь представлено 5218 линеек.

Ну, и последний - решающий - шаг: объединяю все результаты помощника со своими результатами, получаю 796624 КФ ОДЛК и... 5223 линейки

Order? 14
File? CF14_all
Input file is CF14_all.txt
.. writing squares to file CF14_allDiags.txt
Which \ 1 or / 2? 2
squares 796624 diags 5223

Немножко не повезло, прямо чуточку.
Остались не представленными всего две линейки из найденных Harry White 5225 линеек.

Сейчас проверю все КФ ОДЛК на повторы.

Проверила. Из 796624 КФ ОДЛК уникальных 796396.
Итак, ядро БД КФ ОДЛК 14-го порядка на данный момент содержит 796396 КФ ОДЛК, которые представляют 5223 линейки.

Нам осталось найти всего две КФ ОДЛК, но... они должны быть из недостающих двух линеек. Они должны быть!
ID: 1709 · 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 1710 - Posted: 6 Apr 2021, 9:25:51 UTC

Нашла разность между списком линеек Harry White и найденным нами списком.
Получила в разности две следующие линейки

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

Ну вот, теперь можно двигаться дальше по альтернативному пути.
Может, получится найти КФ ОДЛК из этих двух линеек.
ID: 1710 · 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 1829 - Posted: 16 Apr 2021, 2:24:15 UTC
Last modified: 16 Apr 2021, 2:25:22 UTC

Вчера немного пощупала ДЛК 14-го порядка, построенный методом Гергели.
Найдено 158 КФ ОДЛК, они представили 152 линейки. Отличное представление! Почти все КФ ОДЛК из разных линеек.
Однако нужных нам двух линеек в этом списке нет.
Попробую сегодня ещё поиск ОДЛК в 100-й части этого ДЛК

C:\Users\Дом\Downloads\Tomas>ortogonbw FZ6P2fxvxqsd3GrUPmTuqQRE6BCU383vKyutP7TR7
G8whx 100  1>output.txt
init_trans(14) used 661 nodes
num_dtrans: 364252
init_disjoint(14) used 197 heads and 5099725 nodes
L(0) c(7) 100 / 25632
L(1) c(150) X / 10482

Пока продолжается старый алгоритм решения задачи.
О новом алгоритме написала Harry White. Жду ответ.
ID: 1829 · 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