Sign In
⎕ ⍆
X

Post #217162

3g600 21
2018-02-21 20:43
Строго логическое решение существует.
SPOILER
1(55). EK/Q: h7= 2
2(54). EK/Q: e9= 2
3(53). EK/Q: i7= 3
4(52). EK/Q: b7= 5
5(51). EK/Q: i2= 5
6(50). EK/Q: h8= 7
7(49). EK/Q: e7= 7
8(48). EK/Q: f7= 1
9(47). EK/Q: a1= 7
10(46). EK/Q: b1= 6
11(45). EK/Q: c9= 7
12(44). EK/H: a6= 5
13(43). EK/H: d7= 8
14(42). EK/Q: d8= 6
15(41). EK/Q: f8= 4
16(40). EK/Q: e8= 5
17(39). EK/H: c7= 6
18(38). EK/H: i8= 8
19(37). EK/Q: g8= 9
20(36). EK/H: h6= 8
21(35). EK/P: f3= 9
22(34). EK/P: f5= 5
23(33). EK/Q: g4= 5
24(32). EK/P: i6= 9
25(31). EK/Q: h1= 9
--(31). ЕР/V: (a9/b9,a3/b3)<>(4/8)-->a3<>4,b3<>4,
26(30). EK/H: c3= 4
--(30). Ц5: d2=3-->c2=9-->b3=3-->b6=2-->d6=3-->d2<>3
27(29). EK/P: d2= 4
28(28). EK/Q: i1= 4
29(27). EK/V: i9= 1
30(26). EK/Q: g9= 6
31(25). EK/Q: i4= 6
32(24). EK/Q: a5= 6
--(24). Ц5: d6=2-->d1=3-->e3=1-->b3=3-->b6=2-->d6<>2
33(23). EK/Q: f4= 2
34(22). EK/Q: b6= 2
35(21). EK/Q: a2= 2
36(20). EK/Q: a3= 1
37(19). EK/Q: e1= 1
38(18). EK/Q: h2= 1
39(17). EK/Q: g5= 1
40(16). EK/Q: d1= 2
41(15). EK/Q: e3= 3
42(14). EK/Q: d6= 3
43(13). EK/Q: g1= 3
44(12). EK/Q: e4= 8
45(11). EK/Q: b3= 8
46(10). EK/Q: a9= 8
47(9). EK/Q: b9= 4
48(8). EK/Q: a4= 4
49(7). EK/Q: h5= 4
50(6). EK/Q: h4= 3
51(5). EK/Q: b5= 3
52(4). EK/Q: c2= 3
53(3). EK/Q: f1= 8
54(2). EK/Q: c4= 9
55(1). EK/Q: e5= 9
56(0). EK/Q: b2= 9


Like + 0     15
golda 37  2018-03-15 00:00 + 0
Логики нет. Непонятно, зачем эти пространные записи? Чтобы не тратиться на подсказку, а посмотреть здесь?
3g600 21  2018-03-18 18:53 + 0
Логика есть. Доказательство приведено. Любой желающий может проверить.
А писать "простой", "без подбора" и т.п., не приводя доказательства - это... это бездоказательно, уж простите за тавтологию. За слова надо отвечать.
golda 37  2018-03-19 21:30 + 0
Согласна, "простой" писать - нехорошо. Но spoiler Ваш - выше моего разумения. Попроще бы для "тех, кто в танке".
nekonyash 36  2018-03-20 10:49 + 1
Ну попроще написано над спойлером - строго логическое существует, а дальше уж крутитесь как хотите :D
3g600 21  2018-03-21 21:34 + 1
1. "зачем эти пространные записи?"
Официальный анализатор регулярно ошибается: не находит логического решения и дает ремарку "Подбор=Да" (обратное неверно). Я (и, наверно, и Вы, и многие другие), пока у меня не было своего анализатора, неоднократно велся на эту ремарку и бросал думать, упершись в первую же трудность. Тем самым проходя мимо очень интересных и красивых задач. Теперь я поступаю иначе: пускаю вперед себя программу, и она дает ответ: "Да, логическое решение существует", и я начинаю судоку решать; либо "Нет, логическое решение не найдено" - и я перехожу к следующей задаче. Выписывать решение с помощью подбора или подсказок не вижу смысла. Поэтому, коллега, если Вы видите, что 3g600 говорит, что "Да, логическое решение существует" - можете быть уверены, что так оно и есть - ломайте голову! - и не зря!
2. "Попроще бы"
Ничего сложного тут нет. Обозначения полей (нотация) - аналогично шахматной доске:
-


Последний ход: 25(31). EK/Q: h1= 9
h1= 9 - понятно. Это 25-й ход, и осталось незаполненных 31 поле. А EK/Q - объяснение, почему сделан этот ход (ЕК - Единственный Кандидат в Q - квадрате, или H - на горизонтали , P - на поле)

Следующий ход (не ход, а рассуждение):
--(31). ЕР/V: (a9/b9,a3/b3)<>(4/8)-->a3<>4,b3<>4,
Исходя из принципа ЕР (Единственности Решения) на указанных полях (a9/b9,a3/b3) не могут стоять в противофазе 4 и 8. Отсюда на a3 и b3 не может стоять четверка. Есть и другие приемы, по аналогии разберетесь.

3. Вам, наверно, не понравился такой прием, как "цепочка". Вижу, что Вы не считаете его логичным. Я уже вызывал Вас на дискуссию по этому вопросу в другом комментарии, но Вы, видимо, еще не успели его найти. Поэтому просто повторю его здесь.

Цепочка и подбор - разные вещи! В чем разница?
При подборе игрок более-менее случайно делает ход и продолжает решать судоку как ни в чем ни бывало. Если не угадал - стирает написанное и делает другой ход. Если угадал - объявляет судоку решенным и простым.
Цепочка: тоже более-менее (хотя и менее) случайно делается ход и целенаправленно ищется противоречие. Если при этом рассуждения проводятся в уме, без привлечения внешней памяти - чем подобный процесс отличается от применения, скажем, метода крыльев или запертых групп?
Подбор - лотерея, цепочка - логика. Представьте, что Вам нужно разминировать судоку (а разминировать необходимо). Будете Вы разминировать его подбором? Или попытаетесь найти безопасную цепочку?
По моему мнению, судоку, не имеющий логического решения, является некорректной задачей и публикации не подлежит (хотя, никто не гарантирует, что завтра будет изобретен какой-то новый логический прием, более мощный, чем известные). Если отказатся признавать цепочки логикой, многие вполне интересные судоку окажутся выброшенными.
Коллега, интересно было бы узнать Ваше мнение и Ваши аргументы по этой проблеме.

Всего доброго! Хороших задач!
golda 37  2018-03-22 23:25 + 0
Большое спасибо. С "цепочкой" попытаюсь освоиться. Она-то меня, видимо, и сбивает с толку...
3g600 21  2018-03-24 12:07 + 0
@nekonyash: "дальше уж крутитесь как хотите"
Не, так не годится. Вы - программист, ясное дело, что Вам все понятно. Надо помогать друг другу. Я читаю сайты по тематике, в которой я не специалист, задаю вопросы и мне аккуратно и терпеливо отвечают, каким бы простым и наивным - с точки зрения специалиста - не был бы вопрос.
golda 37  2018-03-25 22:54 + 0
Цепочка не работает. Я от горя взяла подсказку, обнаружила: a9= 8, b9=4. И о чудо! Это никак не помогает??? Так как бы помогли мои умственные предположения о противостоянии???
nekonyash 36  2018-03-26 11:39 + 2
"Вы - программист, ясное дело, что Вам все понятно. Надо помогать друг другу. Я читаю сайты по тематике, в которой я не специалист, задаю вопросы и мне аккуратно и терпеливо отвечают, каким бы простым и наивным - с точки зрения специалиста - не был бы вопрос."
Я, честно говоря, спойлер даже не открываю. Сказано есть логическое решение - значит надо искать :)
Хотя я все еще за разделение судоку на группы "решается стандартными методами" (последние, запертые кандидаты, группы, крылья), "рещается логически" (+ медузы/рыбы-мечи, цепочки, применение условия единственности) и "решается логически, но еще не известными нам методами" :D.

По поводу не работы цепочки - постараюсь на днях разобрать этот судоку и расписать цепочку.
nettaly 52  2018-03-26 13:31 + 2
...а потом напишу монографию "Судоку: их разновидности и способы решения" read
podmig good
nekonyash 36  2018-03-26 14:09 + 1
Ага. Есть у меня один документик, но он до сих пор в стадии технических правок (исходный текст не удаляю, чтобы не потерять что-либо за своими правками):
https://docs.google.com/document/d/1f0UF8SJNj6D4RSGHEZK6KqeutxLTAbkrRM8-CanzVrw/edit?usp=sharing
Между прочим, ваши, nettaly переводы ^_^
3g600 21  2018-03-26 16:05 + 1
@golda
Уважаемая Golda! Вы так лихо щелкаете судоку, что мне, право, непонятно, какие у Вас могут возникнуть трудности! Тем не менее, если Вы зададите конкретный вопрос - постараюсь на него ответить.

@nekonyash
Совершенно с Вами согласен. Однако я бы расставил приоритеты немножко по-другому (и по ним накапливать коэффициент трудности задачи):
1. 9-я цифра в Q/H/V. (Коэфф.трудности=0)
2. Линейные ходы.
3. Последний кандидат.
4. Группы (сложность зависит от размерности).
5. Единственность. Почему раньше, чем запертые и крылья? Их искать проще; можно найти без вспомогательных цифр, они иной раз сами лезут в глаза. Например, в позиции с двумя пустыми полями в квадрате по строке/столбце я всегда проверяю - нет ли чего-то похожего на параллельном курсе? И часто есть.
6. Запертые.
7. Крылья. Найти их и запертых глазами, без использования вспомогательных цифр, по-моему, малореально. Хотя, если набить руку, то можно, но проблема в том, что они встречаются на порядок реже, чем ЕРы.
8. Цепочки vs медуза/меч - мне кажется, здесь есть соответствие.


nekonyash 36  2018-03-26 16:13 + 1
Я единственность ставлю выше, так как мне легче искать запертые. Потому что запертых кандидатов я научилась искать еще со времен школы, а тогда я решала в журналах, где не могла быть уверена, что решение единственно, поэтому пользовалась тем, что имею. Ну и нахождение запертых кандидатов боле универсально, вполне ищутся без вспомогательных цифр, применимо ко всем судоку, а не только к тем, в которых точно известно, что решение единственно. Более того, без вспомогательных цифр, их проще найти, чем группы.
3g600 21  2018-03-26 17:58 + 1
Ну что ж, у каждого своя методика. Согласен, что четверку какую-нибудь найти сложно. Но не согласитесь ли Вы, что группы встречаются гораздо чаще, чем запертые, и тем более крылья (про других уж не говорю), и при этом у них больший процент реализации?

По поводу единственности. Да, такого условия в задаче может и не ставиться, хотя корректная задача должна иметь одно решение (шахматную задачу с двумя решениями не примет ни один журнал). Можно объявить, что это варианты одного принципиального решения. Хотя судоку от этого много потеряет. Мой анализатор чуть ли не половину задач решил только так. И вручную этот метод действует эффективно - см. выше.
nekonyash 36  2018-04-10 11:59 + 1
Мои "на днях" весьма затянулись, но я не забыла и сегодня дошли руки оформить :)
При 31 пустых:
SPOILER
Применяется единственность решения, я не нашла альтернативных простых путей решения. На изображении я подставила число, которое вызывает противоречие в условии единственности решения (четверка, обведенная красным).
-


Если исключить другие 4 (серые, подчеркнуты красным), то видно, что 8 и 4 образуют два X-крыла и две пары (нижняя - скрытая пара, кандидатов 1 и 3 можно удалить), и могут принимать 2 варианта, которые никак не повлияют на итоговое решение. Таким образом, если этот вариант верен, то судоку будет иметь как минимум 2 варианта решения, что противоречит условию единственности. Значит, четверка отметается.


И далее, про цепочки.
SPOILER
Цепочки бывают разные. Многие применяют цветовой метод для рассмотрения цепочек по одной цифре (в терминологии - по связям двойного местоположения). Но, в данной ситуации, рассматривается цепочка по ячейкам, где стоит всего 2 кандидата (в терминологии - по связям двойного значения).
Чтобы рассмотреть цепочки по связям двойного значения, для начала нужно исключить все ячейки, где находятся 3 и более кандидатов.
-


Далее, нужно искать замкнутые цепочки (в простейшем случае замкнутые, вроде бы есть методы анализа не замкнутых, но я их еще не до конца понимаю). Смысл в том, что мы выставляем одного кандидата и он запускает "цепь" переключений других кандидатов, эта цепь в итоге замкнется в противоречие. Чтобы проще было искать, можно исключать тупики, например, на столбце f есть (2,8), которые не пересекаются ни с другими двойками, ни с восьмерками - их можно убрать из поиска цепочек.
Или, если рассмотреть три правых столбца (g, h, i), то там лишь цепочка (6, 4) - (1, 6) - (1, 6) - (1, 3) - (1, 4) - в исходную. Если попробовать переключать значения - противоречия нет и можно исключить всю эту группу из поиска:
-


Тут уже видно, что на h4 осталась стоять одинокая (3, 4), которая имеет лишь одну связь по горизонтали, значит, она не может образовать замкнутую цепочку, значит и ее скрываем.

Получается, что примерно таким образом мы находим некоторые замкнутые группы, рассматриваем их, исключаем лишние. Но хочу заметить, что здесь стоит быть аккуратным, когда начинаешь "исключать" кандидатов, которые по факту не исключены из судоку - можно легко забыть о них и вовсе перестать брать в расчет. Пока не набит глаз на цепочки и не четко отлажена методология - очень внимательно следите за тем, что вы делаете, когда работаете с цепочками.
Итак, ближе к сути вопроса - к тому, где же та самая группа, которая даст ход решению? Рассмотрим следующую цепочку, где красным я обвела цифру, которая "запускает" противоречие:
-


Тройка выключает кандидатов 3 на с2 b d6, включая числа 2 и 9 в этих ячейках, а числа 2 и 9, в свою очередь, исключают 2 и 9 в b6 и с4, оставляя только тройки. Две тройки в одном квадрате - противоречие, значит тройка на c2 исключается.
Дополнительно хочу заметить особенность этой цепочки - включение цифры 4 в клетке c2 не дает хода этой цепочки. В зависимости от того, какой кандидат "включается" - могут получиться разные цепочки. Это не упрощает анализ, но если к этому привыкнуть, то методологией можно пользоваться.


@golda , если что-то не понятно в моих объяснениях - спрашивайте, я постараюсь ответить :)
If you have found an inaccurate or erroneous translation of the website interface elements, please let us know: @GrandGames
#608774
@GrandGames
Открыт новый раздел головоломок...
🗓️ 👍 20 ✍️14
#608486
@GrandGames
Открыт новый раздел Ежедневные головоломки : https...
🗓️ 👍 16 ✍️6
#607326
@Vovka.
Свершилось и мне Артефакт в Ежедневном призе пришёл!
🗓️ 👍 13 ✍️10
:)
Return to a minimized window
Close