Message boards : Science : The rules and core of database
Message board moderation
Previous · 1 · 2 · 3 · 4
Author | Message |
---|---|
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Ð’ 100-й чаÑти ДЛК Гергели найдено 236 КФ ОДЛК, которые предÑтавили 222 линейки. Ðо... иÑкомых двух линеек в Ñтом ÑпиÑке нет. Ð’ÑÑ‘, оÑтанавливаю проверку ДЛК Гергели. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Harry White Ñначала Ð¼ÐµÐ½Ñ Ð½Ðµ понÑл. Он Ñделал программу, ÐºÐ¾Ñ‚Ð¾Ñ€Ð°Ñ Ð³ÐµÐ½ÐµÑ€Ð¸Ñ€ÑƒÐµÑ‚ один СРДЛК в любой из извеÑтных 5225 линеек. Так, в нужной нам линейке 1 0 3 2 5 6 9 4 7 8 12 13 10 11 Ñгенерирован Ñледующий СРДЛК 0 2 3 4 5 6 7 8 9 10 11 12 13 1 2 1 4 5 3 8 9 6 7 11 12 13 0 10 1 0 2 6 7 4 5 10 11 8 13 3 9 12 4 5 0 3 1 9 8 11 12 13 2 6 10 7 3 6 1 0 4 2 10 12 13 5 7 8 11 9 7 3 8 1 0 5 2 13 6 12 9 10 4 11 5 4 7 11 12 13 6 9 10 0 1 2 3 8 6 8 10 13 11 12 4 7 0 1 3 9 2 5 9 11 5 10 13 7 12 0 8 2 4 1 6 3 10 7 12 2 8 11 13 1 3 9 0 4 5 6 8 13 6 12 9 0 11 2 1 3 10 5 7 4 12 9 13 7 2 10 1 3 4 6 5 11 8 0 13 10 11 9 6 1 3 4 5 7 8 0 12 2 11 12 9 8 10 3 0 5 2 4 6 7 1 13 Ð’ нужной второй линейке Ñгенерирован Ñледующий СРДЛК 0 2 3 4 5 6 7 8 9 10 11 12 13 1 3 1 0 5 6 4 8 9 7 11 12 13 2 10 1 3 2 6 7 8 4 5 10 12 13 0 9 11 2 0 1 3 9 10 5 6 11 13 4 7 8 12 6 7 8 0 4 1 2 12 13 5 3 10 11 9 4 8 7 1 11 5 12 13 6 0 2 9 10 3 5 4 9 2 13 11 6 10 12 1 0 3 7 8 8 5 10 11 12 13 3 7 0 2 9 1 4 6 9 6 4 12 10 7 13 11 8 3 1 2 0 5 7 10 5 13 8 12 11 0 1 9 6 4 3 2 11 13 12 9 0 2 1 3 4 6 10 8 5 7 10 12 13 7 1 0 9 2 3 8 5 11 6 4 13 11 6 8 3 9 10 1 2 4 7 5 12 0 12 9 11 10 2 3 0 4 5 7 8 6 1 13 Первое, что нужно Ñделать: проверить, что КФ данного СРДЛК находитÑÑ Ð² той же линейке. Ð”Ð»Ñ Ð´Ð°Ð½Ð½Ñ‹Ñ… СРДЛК Ñто выполнÑетÑÑ. Ðу, а дальше проверить Ñти СРДЛК на ОДЛК. РазумеетÑÑ, проверить полноÑтью нереально, значит, надо проверить немножко, покрутив программу, Ñкажем, Ñутки Ð´Ð»Ñ Ð¿ÐµÑ€Ð²Ð¾Ð¹ (или какой-нибудь другой) чаÑти. Ð”Ð»Ñ Ð¿Ð¾ÐºÐ°Ð·Ð°Ð½Ð½Ñ‹Ñ… ДЛК Ñ ÑƒÐ¶Ðµ покрутила программу. Увы, ОДЛК к ним не найдены. ЗдеÑÑŒ препÑÑ‚Ñтвие Ñильнейшее: многие Ñгенерированные КФ СРДЛК будут "пуÑтышки". Очень долго марьÑÐ¶Ð½Ð°Ñ ÐšÐ¤ СРДЛК может не вÑтретитьÑÑ. ПоÑтому Ñ Ð¿Ð¸Ñала, что альтернативный путь тоже непроÑтой. Ðо иÑкать как-то надо. Ð’Ñего две линейки оÑталиÑÑŒ не предÑтавленными. Harry объÑÑнила подробнее, что требуетÑÑ. Теперь он понÑл, но генератор СРДЛК в Ñтих двух линейках пока не Ñделал, как Ñ Ð¿Ñ€Ð¾Ñила. Он решил Ñам попробовать Ð´Ð»Ñ Ð´Ñ€ÑƒÐ³Ð¸Ñ… ДЛК из Ñтих линеек найти ОДЛК I will try for other DLS for these rules. Может быть, ему повезёт. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Ðет, Harry White не повезло. Он напиÑал I’m not having any success and my program for finding Программу генерации СРДЛК в Ñтих двух гиблых линейках он Ñделал, как Ñ Ð¿Ñ€Ð¾Ñила. [Программа по ÑÑылке может быть уже удалена, Ñто Ð²Ñ€ÐµÐ¼ÐµÐ½Ð½Ð°Ñ Ð¿Ñ€Ð¾Ð³Ñ€Ð°Ð¼Ð¼Ð°, ÐºÐ¾Ñ‚Ð¾Ñ€Ð°Ñ "живёт" только до того момента, как Ñ ÐµÑ‘ Ñкачаю.] Теперь мне предÑтоит Ð´Ð¾Ð»Ð³Ð°Ñ Ð´Ð¾Ñ€Ð¾Ð³Ð° к решению Ñтой проблемы. Дело в том, что подавлÑющее большинÑтво КФ СРДЛК в Ñтих линейках "пуÑтышки". К тому же, проверка ДЛК на ОДЛК Ð´Ð»Ñ Ð¿Ð¾Ñ€Ñдка 14 идёт беÑконечно долго. ПоÑтому проверÑÑ‚ÑŒ придётÑÑ Ð¼Ð°Ð»ÑŽÑенькую чаÑÑ‚ÑŒ вÑей проверки. Ðайти марьÑжные КФ в Ñтих двух линейках о-ч-е-н-ÑŒ трудно. Ðедаром в огромном количеÑтве найденных нами Ñ Ð¿Ð¾Ð¼Ð¾Ñ‰Ð½Ð¸ÐºÐ¾Ð¼ КФ ОДЛК нет ни одной из Ñтих двух линеек. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Ещё одна попытка найти КФ ОДЛК из двух недоÑтающих линеек. Помощник немного обÑчитал ДЛК, поÑтроенный методом Гергели. Получено 170141 ОДЛК, вÑе они различные и, более того, Ñреди них нет изоморфных, канонизатор Harry White нашёл в Ñтой порции 170141 КФ Order? 14 Format, (1: first row or 2: \diagonal)? 2 File name? out .. writing DLS to file output14CF2_1.txt number of DLS 170141 CFs 170141 elapsed time 0:51:17 ÐžÑ‚Ð»Ð¸Ñ‡Ð½Ð°Ñ Ð¿Ð¾Ñ€Ñ†Ð¸Ñ Ñ€ÐµÑˆÐµÐ½Ð¸Ð¹! Ð’ Ñтой порции предÑтавлено 5197 Order? 14 File? input Input file is input.txt .. writing squares to file inputDiags.txt Which \ 1 or / 2? 2 squares 170141 diags 5197 Почти полное Ñдро БД, не предÑтавлено вÑего 28 линеек из 5225 извеÑтных. Однако... недоÑтающие две линейки не предÑтавлены в Ñтой порции решений. ОпÑÑ‚ÑŒ не повезло. Странные линейки, не находÑÑ‚ÑÑ Ð² них КФ ОДЛК. Покажу ДЛК, поÑтроенный методом Гергели Ðадо включить его в ÑпиÑок топовых ДЛК 14-го порÑдка, он Ñодержит 364252 Д-транÑверÑалей. Хороший квадратик, и решений даёт много, причём из разных линеек, почти вÑе линейки предÑтавлены в небольшой порции решений от Ñтого ДЛК. ЕÑли его полноÑтью обÑчитать, может быть, вÑе 5225 линеек будут предÑтавлены, но Ñто очень Ñ‚Ñ€ÑƒÐ´Ð½Ð°Ñ Ð·Ð°Ð´Ð°Ñ‡Ð°. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Объединила вÑе решениÑ, найденные мной и помощником. ПолучилоÑÑŒ 989064 КФ ОДЛК. Проверила на дубликаты, получено 966931 различных КФ ОДЛК. Выложила Ñту первую чаÑÑ‚ÑŒ нашей БД КФ ОДЛК 14-го порÑдка, чтобы не забыть и не потерÑÑ‚ÑŒ https://disk.yandex.ru/d/_c9Q3bSiCQdKeg ЯндекÑ.ДиÑк, 34,2 МБ. КФ ОДЛК предÑтавлены в кодах по ÑиÑтеме Tomas Brada. Ð”Ð»Ñ Ð´ÐµÐºÐ¾Ð´Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸Ñ Ð½Ð°Ð´Ð¾ иÑпользовать программу Tomas Brada dlkconv. Ядро БД пока получить не удалоÑÑŒ. Обидно, вÑего две линейки не предÑтавлены. |
Send message Joined: 22 Oct 17 Posts: 3083 Credit: 0 RAC: 0 |
Помощнику понравилÑÑ Ð”Ð›Ðš Гергели и он решил его ещё немножко пощупать :) Ðайдена Ð¿Ð¾Ñ€Ñ†Ð¸Ñ Ð¸Ð· 137521 КФ ОДЛК (при Ñтом нет ÑовÑем отÑева изоморфов, вÑе ОДЛК уникальные). ПроверÑÑŽ Ñту порцию на линейки Order? 14 File? CF14_Gergely_part2 Input file is CF14_Gergely_part2.txt .. writing squares to file CF14_Gergely_part2Diags.txt Which \ 1 or / 2? 2 squares 137521 diags 5188 ПредÑтавлено 5188 линеек. Ðо... нужных нам двух линеек здеÑÑŒ нет. Заколдованные линейки! Объединила новую порцию Ñ Ð¿Ñ€ÐµÐ´Ñ‹Ð´ÑƒÑ‰ÐµÐ¹ порцией от ДЛК Гергели, получила 307662 КФ ОДЛК. Ð¡ÐµÐ¹Ñ‡Ð°Ñ Ð¿Ñ€Ð¾Ð²ÐµÑ€ÑŽ их на дубликаты. ОДЛК получено точно Ñтолько же (изоморфных нет), и имеем новую оценку Ð´Ð»Ñ Ð”Ð›Ðš 14-го порÑдка в поÑледовательноÑти OEIS A287695 a(14) >= 307662 Ð’ÑÑ‘ проверила. Ð’Ñе ОДЛК различные. Ð’Ñе КФ ОДЛК различные. Хороший квадратик поÑтроилÑÑ Ð¼ÐµÑ‚Ð¾Ð´Ð¾Ð¼ Гергели. Можно его и дальше щупать, Ñ€ÐµÑˆÐµÐ½Ð¸Ñ Ð¾Ð½ даёт превоÑходные, изоморфных ОДЛК пока не вÑтретилоÑÑŒ. Рвот что делать Ñ ÐšÐ¤ ОДЛК из двух недоÑтающих линеек, ума не приложу. |
©2024 ©2024 Progger & Stefano Tognon (ice00) & Reese