Message boards : Science : The rules and core of database
Message board moderation
Previous · 1 · 2 · 3 · 4 · Next
Author | Message |
---|---|
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
От черепашки Ñкромный вклад поÑтупил. Ðайдено 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 |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Прервала проверку 14-й чаÑти и проверила результаты Ñразу, не Ð¾Ñ‚ÐºÐ»Ð°Ð´Ñ‹Ð²Ð°Ñ Ð½Ð° утро. Ðайдено 290 ОДЛК, вÑе они уникальные. Ðовых линеек в Ñтой порции решений предÑтавлено 14 штук. Пока на уровне предыдущей порции. Ðо Ñкоро опÑÑ‚ÑŒ начнётÑÑ Ð¿Ð°Ð´ÐµÐ½Ð¸Ðµ. ОÑталоÑÑŒ найти предÑтавителей из 500 линеек. Ядро БД Ñодержит ÑÐµÐ¹Ñ‡Ð°Ñ 20307 КФ ОДЛК, предÑтавлено 4725 линеек. ПриготовилаÑÑŒ к запуÑку проверки в10000-й чаÑти. Завтра поÑмотрим, что даÑÑ‚ Ñта чаÑÑ‚ÑŒ. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Проверка в 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 дней работы :) Ðо у Ð½Ð°Ñ ÐµÑÑ‚ÑŒ помощь друга! Думаю, что вмеÑте мы |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
От 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; надеюÑÑŒ, что Ñтого не ÑлучитÑÑ). |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
ПрогреÑÑ Ð¿Ð¾ÐºÐ° имеетÑÑ. Ядро БД Ñодержит 20980 КФ ОДЛК, предÑтавлено 4761 линек. ДобавилоÑÑŒ новых линеек 18. Ð¡ÐµÐ³Ð¾Ð´Ð½Ñ Ð·Ð°Ð¿ÑƒÑтила поиÑк в 14000-й чаÑти второго топового ДЛК 14-го порÑдка. Иду по чаÑÑ‚Ñм Ñ ÑˆÐ°Ð³Ð¾Ð¼ 2000. 464 уникальных КФ ОДЛК (из 464 различных линеек) ешё гулÑÑŽÑ‚ во Ð’Ñеленной :) Ðам надо их обнаружить и добавить в Ñдро БД. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Ðу что, Ñдрышко увеличиваетÑÑ Ñтабильно, вкуÑное Ñдрышко! :) Ðовые линеечки пока на прежнем уровне прибавлÑÑŽÑ‚ÑÑ,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 |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Вчерашнюю порцию результатов обработала. Ðайдено 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 линеек. Вторую порцию решений ÑÐµÐ¹Ñ‡Ð°Ñ Ð¾Ð±Ñ€Ð°Ð±Ð¾Ñ‚Ð°ÑŽ. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Ð’Ñ‚Ð¾Ñ€Ð°Ñ Ð¿Ð¾Ñ€Ñ†Ð¸Ñ Ñ€ÐµÑˆÐµÐ½Ð¸Ð¹ от чаÑтей 10001-10010. Ðайдено 43010 ОДЛК, вÑе они уникальные. Ðовых линеек КФ ОДЛК Ñтой порции предÑтавили 26. Ð’Ñего предÑтавлено 5192 линейки. ОÑталоÑÑŒ предÑтавить 33 линейки. У Ð¼ÐµÐ½Ñ ÐµÑ‰Ñ‘ две порции решений от помощника. Продолжу обработку. Вошли в Ñамый Ñложный Ñтап ÑкÑперимента - КФ ОДЛК из оÑтавшихÑÑ 33 линеек где-то Ñлишком далеко во Ð’Ñеленной :) Ðе иÑключено, что обнаружить их Ñразу не удаÑÑ‚ÑÑ. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Третью порцию решений обработала, она от чаÑтей 21-40. Ðайдено 65172 ОДЛК, вÑе уникальные. Внимание! Ðовых линеек предÑтавлено в Ñтой порции вÑего 13 штук. ÐапрÑжение раÑÑ‚Ñ‘Ñ‚! ЕÑÑ‚ÑŒ такие линейки, в которых КФ ОДЛК, наверное, о-ч-е-н-ÑŒ мало. Ðу вот и не попадаютÑÑ Ð½Ð¸ÐºÐ°Ðº. Итак, Ñдро БД раÑÑ‚Ñ‘Ñ‚ быÑтро (пока не канонизировала общие результаты). КоличеÑтво предÑтавленных линеек тоже раÑÑ‚Ñ‘Ñ‚, но... чем дальше, тем медленнее. Ðа данный момент предÑтавлено 5205 линеек. ОÑталоÑÑŒ найти предÑтавителей вÑего из 20 извеÑтных линеек. Ру Ð¼ÐµÐ½Ñ ÐµÑ‰Ñ‘ оÑталаÑÑŒ одна Ð¿Ð¾Ñ€Ñ†Ð¸Ñ Ñ€ÐµÑˆÐµÐ½Ð¸Ð¹. Ð¡ÐµÐ¹Ñ‡Ð°Ñ Ð¾Ð±Ñ€Ð°Ð±Ð¾Ñ‚Ð°ÑŽ. Ðадежды покрыть Ñти 20 линеек мало. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
ПоÑледнюю порцию результатов обработала, получено 29310 КФ ОДЛК. Ðовых линеек предÑтавлено вÑего 4 шт. Ожидаемый результат. ОÑталиÑÑŒ не предÑтавленными 16 линеек. Даже предÑтавить трудно, Ñколько ещё мне пришлоÑÑŒ бы иÑкать вÑех Ñтих предÑтавителей. До финала ÑкÑперимента теперь оÑталоÑÑŒ ÑовÑем чуть-чуть. СпаÑибо помощнику! Однако... Ñти 16 линеек... где их иÑкать? Думаю, что надо Ñменить ДЛК. Мы уже иÑкали в трёх топовых ДЛК. Ðадо попробовать четвёртый. Ðадо канонизировать общие результаты. Ð’Ñего помощником найдено от третьего топового ДЛК 191896 КФ ОДЛК, но возможны дубликаты (потому что канонизировала порции отдельно). РазумеетÑÑ, Ñто малюÑÐµÐ½ÑŒÐºÐ°Ñ Ñ‡Ð°ÑÑ‚ÑŒ от вÑех результатов данного ДЛК, проверено вÑего неÑколько чаÑтей, да и те не полноÑтью. ÐŸÐ»ÑŽÑ Ð¼Ð¾Ð¸ 21664 КФ ОДЛК, итого 213560 КФ ОДЛК. Ðадо канонизировать вÑе Ñти КФ ОДЛК вмеÑте. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Давайте поÑмотрим на первые 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 ЗдеÑÑŒ уже полное Ñовпадение. Отлично! |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Применила к найденным общим результатам программу ÑƒÐ´Ð°Ð»ÐµÐ½Ð¸Ñ Ð´ÑƒÐ±Ð»Ð¸ÐºÐ°Ñ‚Ð¾Ð² Ñтрок . Получила в результате 213560 Ñтрок, то еÑÑ‚ÑŒ вÑе КФ ОДЛК различные, дубликатов нет. Тоже ожидаемый результат. ОДЛК у Ð½Ð°Ñ Ñ Ð¿Ð¾Ð¼Ð¾Ñ‰Ð½Ð¸ÐºÐ¾Ð¼ от разных ДЛК, ну вот и нет изоморфных. Итак, Ñдро БД КФ ОДЛК 14-го порÑдка у Ð½Ð°Ñ Ð²ÐµÐ»Ð¸ÐºÐ¾Ð»ÐµÐ¿Ð½Ð¾Ðµ - 213560 КФ ОДЛК! Ðо оно ещё не полное. Ðе хватает предÑтавителей 16 линеек. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Вот Ñтот ДЛК мы Ñ Ñ‡ÐµÑ€ÐµÐ¿Ð°ÑˆÐºÐ¾Ð¹ ÑÐµÐ¹Ñ‡Ð°Ñ Ð½Ð°Ñ‡Ð½Ñ‘Ð¼ проверÑÑ‚ÑŒ (четвёртый топовый) 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 Теперь нужна удача :) |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Около 200 ОДЛК нащёлкала программа от нового ДЛК. Ð¡ÐµÐ¹Ñ‡Ð°Ñ Ð±ÑƒÐ´Ñƒ прерывать. Обработка завтра Ñ ÑƒÑ‚Ñ€ÐµÑ‡ÐºÐ°. ЕÑÑ‚ÑŒ ли хоть одна Ð½Ð¾Ð²Ð°Ñ Ð»Ð¸Ð½ÐµÐµÑ‡ÐºÐ°? :) 243 КФ ОДЛК добавилиÑÑŒ в Ñдро БД. Ðи одной новой линейки не предÑтавлено. Ожидаемый результат. Ядро БД Ñодержит 213803 КФ ОДЛК, предÑтавлено 5209 линеек. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Мы Ñ Ñ‡ÐµÑ€ÐµÐ¿Ð°ÑˆÐºÐ¾Ð¹ попытаем ÑчаÑтье в 1000-й чаÑти четвёртого топового ДЛК 14-го порÑдка. ОДЛК уже пошли # in: FVvTRSx3gEPKtQFgFgriNUJ8h12BWntQb4EcfvJtQeM5sKf5 1000 # num_dtrans: 371442 F2vxQGypK3pErDrTXRSSzNFxxauTX2DAnwq3cGBTUiKQTSn F6yW1ZVcXrp8ooAEix3QjdzQ7wtPAKNa4jVzdj6XCHZsxRX FwnPyDTzW9J9wTpSi1DVD6gajxgfw3tKYq2DurQsh32grW9 FPiNC4evbUvxkjuuvtY7k97BedxJjp2AcJ9Skse7kChXA5Qe Fuw6TKwp2H5SwZ19rSdN1EQaxneAH1vuV16WJCrnr2CA6Br4 FsHM9DHZDrY1GHzCAVcgH99LZpQvRXk9bXiK6x4NDZwu76Q4 FZCpCbgNfctfPgGvV2sTqHSY7Gyd23T2fgwEJsPtTb6kB4cM FytvmL9rQosNnwD6xAfYwoGqPKMkFpqsoxSvQT2LVWYytxN42 FS3q1424MZyUiyL5KFDD8rv5brXnxwGk2zora8tViEdo9cN8 FYbsv61mmX6MiRz5PPnGNMuMbzW3PckkHYtmqWxHpCTXpe6 FhATiqqrrJkq6j2cUzwR5W39YuQ37cEm5dZ86PV1gEgMmBk FsPWnoxe81TQkwrvfXcrVRHqcsgSVXXtzfm17yBpSyEp6ft Fx6G5TePdNQXkVSJrhuftVo74gcPcKEByHVXv2U4Vgs6g7C8 FdiM1DWYgSb8ac1K8A5EHUeu43khMQSkjtcaGH2FoDnmmG2 FoCvMaRAAYxAeNpzJAFyNJ8FB8gzpgrq6ZNtiERDcmE69M2 ШанÑÑ‹ попаÑÑ‚ÑŒ на недоÑтающие 16 линеек очень малы. Однако иÑкать надо. ЕÑÑ‚ÑŒ, конечно, альтернативный путь поиÑка, но тоже не так уж проÑто. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
ВчерашнÑÑ Ð¿Ð¾Ñ€Ñ†Ð¸Ñ Ñ€ÐµÑˆÐµÐ½Ð¸Ð¹ дала 226 КФ ОДЛК. Ðе предÑтавлено ни одной новой линейки. К проверке четвёртого топового ДЛК 14-го порÑдка подключилÑÑ Ð¿Ð¾Ð¼Ð¾Ñ‰Ð½Ð¸Ðº. Я пока оÑтановила проверку. Получаемые мной маленькие порции решений ÑÐµÐ¹Ñ‡Ð°Ñ Ð½Ð¸Ñ‡ÐµÐ³Ð¾ не ловÑÑ‚. Ядро БД на данный момент Ñодержит 214029 КФ ОДЛК, предÑтавленные линейки в прежнем количеÑтве. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Пришли результаты от помощника. Проверено много чаÑтей в начале, в Ñередине и в конце от четвёртого топового ДЛК 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 линеек придётÑÑ Ð¾Ñ‚Ð¿Ñ€Ð°Ð²Ð»ÑÑ‚ÑŒÑÑ Ð² далёкие Галактики :) |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Мой помощник уже побродил в далёких Галактиках :) КФ ОДЛК 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 линейки. Ðам оÑталоÑÑŒ найти вÑего две КФ ОДЛК, но... они должны быть из недоÑтающих двух линеек. Они должны быть! |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Ðашла разноÑÑ‚ÑŒ между ÑпиÑком линеек 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 Ðу вот, теперь можно двигатьÑÑ Ð´Ð°Ð»ÑŒÑˆÐµ по альтернативному пути. Может, получитÑÑ Ð½Ð°Ð¹Ñ‚Ð¸ КФ ОДЛК из Ñтих двух линеек. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Вчера немного пощупала ДЛК 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. Жду ответ. |
©2024 ©2024 Progger & Stefano Tognon (ice00) & Reese