Menu GrandGames.net
Русский
R U

Строго логическое решение существует;...

3g600 Online Likes38 Messages473 5
! /sudoku/id/4825 #217162 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

Нравится + 0     15
golda Был на днях 6 2018-03-15 00:00 + 0
Логики нет. Непонятно, зачем эти пространные записи? Чтобы не тратиться на подсказку, а посмотреть здесь?
3g600 Online 5 2018-03-18 18:53 + 0
Логика есть. Доказательство приведено. Любой желающий может проверить.
А писать "простой", "без подбора" и т.п., не приводя доказательства - это... это бездоказательно, уж простите за тавтологию. За слова надо отвечать.
golda Был на днях 6 2018-03-19 21:30 + 0
Согласна, "простой" писать - нехорошо. Но spoiler Ваш - выше моего разумения. Попроще бы для "тех, кто в танке".
nekonyash Был в течении месяца (2018-12-09 23:00:06) P E 19 Solver Rank 2018-03-20 10:49 + 1
Ну попроще написано над спойлером - строго логическое существует, а дальше уж крутитесь как хотите :D
3g600 Online 5 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 Был на днях 6 2018-03-22 23:25 + 0
Большое спасибо. С "цепочкой" попытаюсь освоиться. Она-то меня, видимо, и сбивает с толку...
3g600 Online 5 2018-03-24 12:07 + 0
@nekonyash: "дальше уж крутитесь как хотите"
Не, так не годится. Вы - программист, ясное дело, что Вам все понятно. Надо помогать друг другу. Я читаю сайты по тематике, в которой я не специалист, задаю вопросы и мне аккуратно и терпеливо отвечают, каким бы простым и наивным - с точки зрения специалиста - не был бы вопрос.
golda Был на днях 6 2018-03-25 22:54 + 0
Цепочка не работает. Я от горя взяла подсказку, обнаружила: a9= 8, b9=4. И о чудо! Это никак не помогает??? Так как бы помогли мои умственные предположения о противостоянии???
nekonyash Был в течении месяца (2018-12-09 23:00:06) P E 19 Solver Rank 2018-03-26 11:39 + 2
"Вы - программист, ясное дело, что Вам все понятно. Надо помогать друг другу. Я читаю сайты по тематике, в которой я не специалист, задаю вопросы и мне аккуратно и терпеливо отвечают, каким бы простым и наивным - с точки зрения специалиста - не был бы вопрос."
Я, честно говоря, спойлер даже не открываю. Сказано есть логическое решение - значит надо искать :)
Хотя я все еще за разделение судоку на группы "решается стандартными методами" (последние, запертые кандидаты, группы, крылья), "рещается логически" (+ медузы/рыбы-мечи, цепочки, применение условия единственности) и "решается логически, но еще не известными нам методами" :D.

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

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


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

По поводу единственности. Да, такого условия в задаче может и не ставиться, хотя корректная задача должна иметь одно решение (шахматную задачу с двумя решениями не примет ни один журнал). Можно объявить, что это варианты одного принципиального решения. Хотя судоку от этого много потеряет. Мой анализатор чуть ли не половину задач решил только так. И вручную этот метод действует эффективно - см. выше.
nekonyash Был в течении месяца (2018-12-09 23:00:06) P E 19 Solver Rank 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 , если что-то не понятно в моих объяснениях - спрашивайте, я постараюсь ответить :)
Ваше отношение к турнирам на сайте
А что еще за турниры?
Иногда участвую
Не участвую по другим причинам (напишите в комментариях)
Не участвую, так как время проведения мне не подходит.
Не участвую, так как не люблю решать на скорость, мне нравится решать не спеша.
Не участвую, так как точно знаю, что проиграю.
k336665627 mumof
Goroz babyshka62
gst9194925 abramka59
rof23 EVA-dragon
natulka.75 dikey753
mall skadi
Dariacat LauraMenshikova
Key28 posadistka
Spichenka Irbiska
Habi230964 matuschka
Новое на сайте
Пятнашки №53736
Какуро №53780
Хитори №53767
Японская мозаика №48413
№46820
№53783
№53785
№53775
№53730
№46771
№53760
№53769
№53784
Японский кроссворд №27975
Пазл №28211
Филиппинский №3894
Судоку №21026
Флеш игра №2153
Денди онлайн №168
Шахматная задача №9699
Ключворды №4138
Филворд №6455
Загадка №361
ADB finder
Реклама Ads Google Yandex
:)