Оксана !!! ...А не замахнуться ли нам на самого Шекспира (т.е, Арто Инкале)... Немного теории сначала.
Р А С К Л А Д Р Е Ш Е Н И Е Кому интересно - пробуйте ... Тоже считался нерешаемым
------------- ------------- ни программой, ни логическим путём (всего 17 цифр)
9 010 000 009 318 456 279 1\c4 (дублет 24 в столбце b) и триплет (689) в строке 6
8 000 300 800 267 391 845
7 000 000 600 459 287 613 5\d6 - дублеты 37 в строках 6 и 4 нарисовались
6 000 012 400 986 512 437 Далее, замечаем дублет 68 в столбце i
5 703 000 000 723 964 581 (правый нижний квадрат), такой же в квадрате выше, на
4 500 000 000 541 873 962 третьем этаже уже есть. Видим парочку 51 и на втором этаже.
сл-но, 2\i4, 9\i4. развязываем дублет 24, 8\d4,
3 800 600 000 872 635 194 развязываем 68, 9\h3, 4\i3, развязался (51)...
2 000 040 020 635 149 728
1 000 700 050 194 728 356 И т.д, правила строки, столбца, квадрата...Опять дублеты...
___________ Вобщем, решается чисто логическим путём, без переборов.
abc def ghi Обратите внимание - во втором подъезде и на первом этаже
"семьями" живут по три цифры (598,167,234) и (872,356,194).
Т.е, нужно применять при решении правило о котором я писал выше. О хозяевах и гостях. И в "самом сложном в мире" есть слабое место - парочка 47 в первом подъезде...Желаю удачи всем!!!
Давайте дополню, если получится...
РЕШЕНИЕ САМОЙ СЛОЖНОЙ В МИРЕ СУДОКУ ПРОФЕССОРА АРТО ИНКАЛА С ПОМОЩЬЮ ОБЫЧНОЙ ЛОГИКИ.
СУДОКУ – это латинский квадрат 9х9, от которого потребовали выполнять правило для девяти квадратиков 3х3. Поэтому кроме правил для строки, столбца и квадрата 3Х3, мы получаем возможность применять правило №4. Любая горизонтальная или вертикальная пара в пределах малого квадрата 3х3 представляет собой либо «двух хозяев», либо «хозяин + гость», либо, вообще двух членов «семьи из трех цифр». Вот как надо решать знаменитый расклад Арто Инкала, применяя ещё и «Правило №4».
Желательно иметь две заготовки с координатами типа шахматных досок 9х9 и два цветных карандаша, чтобы отмечать семьи и пары с гостем по строкам и по столбцам. Пригодится и резинка, чтобы убирать неугодных кандидатов. Сделаем вид, что ответ полученный с помощью программы с алгоритмом перестановки, мы не видели и о отсутствии «семей из трех цифр» нам не известно. И о единственности решения тоже не слышали.
Чернилами вписываем намертво расклад из 23 цифр и два «детских» хода 5\E8 и и 3\F5. Черным карандашом составляем списки кандидатов. На полученное смотрим, как на трех- этажный дом с тремя подъездами. Видим три появившиеся пары – 51 обсуждать не будем, 53 - хозяин + гость (потом разберемся кто есть кто), а также горизонтальные образования с 73 по второму этажу – смахивают на пару хозяев или даже на семью. Они сами разберутся.
В первом (левом) подъезде натыкаемся на пару 47 на третьем этаже, на втором обнаруживаем дуплет 67 . Возникает подозрение, что 47, по крайней мере, пара хозяев, если не семья. На первом этаже – уверенность: 47 – одни из трех хозяев . Вписываем 7\C3, 7\A4, 6\C6 (развязали дублет). Пускаем в ход резинку и обнаруживаем на третьем этаже пару хозяев 68, (см. столбец А) поэтому вписываем 8\C5. Смотрим на столбец C и замечаем, что на третьем этаже невозможна группа 512 - в C1 некого будет поселить. Поэтому пара 59 – обязана быть !!! Заносим её в наш список для столбцов – 5\B4, 9\B6. А также 2\A5 – получили заселённый квадрат на втором этаже. Кроме того, по правилу №4 59 обязана быть и в столбце A – 5\A1, 9\А2. Закрасим на каждом этаже 59 одним цветом, а 47 или 68 – другим. Если это парочки (мы, прикидываемся порядочными – делаем вид, что не знаем – семей нет, что бы никто не сомневался в чисто логическом решении) – тогда оставшиеся 1,2,3 – гости. Заодно отметим (по правилу строки) 5\I2. А также выявим на первом этаже пару хозяев 67 – 6\H1 и тоже закрасим по диагонали. Третья пара 67 хозяйничает во втором подъезде в строке 2. Осталась последняя цифра 5 – отметим и её заодно 5\H5.
Теперь прогуляемся по второму этажу – строка 6: 185, 372. Точно - живут парами с гостем. Закрасим диагональ с 37 в таблице для строк одним цветом, а тройки с 18 – другим. Получается: 5 и 2 – гости, из 49 – одна цифра гость, другая хозяйка, 6 – точно хозяйка (на втором этаже).
Разбираемся с третьим подъездом, закрашиваем диагональ с хозяевами 78 (5 и 3 – гости). Закрашиваем вертикальные тройки с хозяевами 6 + одна из 14, 2 – тоже гость… Еще остаются тройки с хозяйкой 9. Можно (и нужно) разобраться с кандидатами. После разборки с ними третий подъезд примет такой вид – хоть поверьте, хоть проверьте. А м.б, и так сойдёт – без возни с кандидатами… Но, надо бы их убрать для порядка. Которые лишние и непонятно чего хотят и на что надеются. У нас есть ЧЕТЫРЕ правила – зачем терпеть халявщиков в списках? Чего нужно цифрам 1 и 4 по диагонали, где 78 – хозяева, а 2,5 и 3 – гости (гостят у всех хозяйских пар)? 8 и 9 не на что надеяться там, где 6 – хозяйка, также и 8\I1 – хозяйке в явной тройке 758 не нужна пара с хозяйками 9 + (1 или 4). Три пары хозяев не ходят в гости, для этого есть три оставшиеся цифры.
Пора разобраться во втором подъезде. 3 – хозяйка (правило строки). Значит 5 – гость (обещали с ними разобраться в начале), значит и 1- хозяйка. И 78 – пара хозяев (на первом этаже из-за 5), а на втором - доказательство. Точнее, на втором предположили, а на первом доказали – именно 78. Закрашиваем по диагонали. По другой диагонали тоже светятся 7 и 8, но там хозяйничают 3 на третьем этаже и 1 – на первом. Остаётся – 7\D2, 8\D1. И снова идем разбираться с первым подъездом (после работы резинкой) – 8\B2. До сих пор не можем разобраться - семьями они там обитают или пары с гостями.
Придётся по правилу строки – 8\G3, 2\G1, строки + столбца - 6\E2, 1\F2. Во втором подъезде живут пары с гостем, поэтому по правилу квадрата – 6\F4, 36 – пара хозяев, 12 – тоже хозяева, а 4 и 9 – гости. Следовательно, 2\F3. К паре 78 пришли в гости 5 и 4 на третьем этаже, значит на втором гостит 9 – 9\E4, 4\D5, 9\G5. Правило столбца – 2\E9. Опять в первый подъезд - 4\B9, 3\B8, 6\A7, 1\A9, 9\C8, 2\ C7. Наконец, разобрались и с этим квадратом, и парами. Гости 1, 2, 3 на первом этаже. Дальше, 4\E3 , 3\E1, 4\I1, 1\ I4, 7\I8, 8\I9, 4\F8, 9\D7, 6\D8. В общем, осталось девять одиночек… Жаль добивать, и что все 5 кончились тоже жаль. Не знаю, можно ли было оставить девятую 5 для эффектной концовки.
Можно убедиться – на первом этаже хозяйки 67, 52, 89 (остальные 1, 3, 4 – гости), на втором хозяйничают 96, 18, 37; на третьем – 45, 27, 98. В подъездах – 1-й – 47, 68, 59; 2-й – 36, 21, 78; третий – 61, 94, 78. Обратите внимание на пару 78 – захватили два подъезда.
Спасибо Арто Инкала за хорошую задачу, ждём еще !!! Кажется, решил без логических ошибок, может быть, есть описки в тексте. Можно и более красиво решить. Но, цепочка ходов не прерывалась, в тупики я не попадал, развилки игнорировал, полнота решения (существование + единственность) не вызывает сомнений. А правило №4 ещё пригодится всем любителям сложных раскладов СУДОКУ. Узнал о единственном решении для системы троек Штейнера. М.б, тоже попробую создать расклад, если найду восемь ортогональных латинских квадратов 9х9. Всё !!!
Приведу на всякий случай (вдруг опять перетасуют всё на запрос «САМЫЙ СЛОЖНЫЙ СУДОКУ») японский шедевр с 25 цифрами. Наверное, два «детских» хода уже сделали). Привожу по строкам сверху вниз : 001000600, 059002000, 400006002; 000870010, 200090007, 040053000; 8005000006, 000100790, 004000500; С третьего этажа – строки 987; 654; 321. (Пояснил для начинающих). Желаю всем удачи – применяйте при решении правила строки, столбца, квадрата и правило №4.
Не понимаю почему японцы отнесли свой расклад к САМЫМ сложным – первый ход «детский» - 4\F6 развязывает весь центральный квадрат. Далеко ему до расклада Арто Инкала.
Ещё несколько детских ходов - и открылись пары хозяев во втором подъезде 26, 79, 13; и на втором этаже – 69, 47, 25. Решил весь расклад за пару часов (с перерывами на обед и телефонные разговоры). Но, без правила №4 – не удастся. Попробуйте решить чисто логическим путем, не применяя правило №4 – я буду сильно удивлён, если удастся. Так что, осваивайте и пользуйтесь на здоровье. Не царское это дело – по тупикам и развилкам рыскать. Правило ВЫБОРА тоже не логический ход - логика требует доказательства единственности решения. ВЫБОР – это, когда один ход сразу же даёт продолжение цепочки, другой – приводит к следующей развилке. А с правилом №4 я уже и цветные карандаши не применяю, записываю на полях с сеткой по три пары хозяев для трех подъездов и на трех этажах. А также не забываю о дублетах и триплетах.
Оказывается, концовка гораздо проще – не надо даже добивать 5\H5 и работать резинкой в третьем подъезде. Закончив строку 6, изучаем во втором подъезде 12 на втором и первом этаже: приходим к выводу – пара 12 хозяйская (на первом этаже 1 и 2 вынуждены встретиться опять). Вычисляем гостей 9,4,5. Делаем ходы – 4\D5 и 2\E9 !!! Всё – «я умываю руки»… Далее следует разгром по правилам строки, столбца, квадрата!!! Извините - заморочил голову и себе и вам...
Всё оказалось ещё проще !!! См. 19 Программа для решения судоку | Blogint.ru .... Там под именем Козладоев два последних сообщения от 11 и 12 апреля. Всем советую освоить и применять правило №4. Но, пару месяцев я потратил на чисто логическое решение. Эйлер решил бы за пару часов с перекурами.
