Войти
⎕ ⍆
X

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

3g600 21
2018-01-02 09:55
Строго логическое решение существует. Но неинтересно
При 29 пустых:
SPOILER
b4=7-->c6=9-->f6=7-->e5=9-->h5=7-->h1=8-->d1=4-->b1=7-->b4<>7

Нравится + 0     5
golda 37  2018-03-08 20:57 + 0
Что за тарабарщина? Нет у него логического решения... Или написали бы нормально!
3g600 21  2018-03-12 17:28 + 0
Пожалуйста:
SPOILER

b4=7-->c6=9-->f6=7-->e5=9-->h5=7-->h1=8-->b1=7-->b4<>7
-
Wikka 44 Solver Rank  2018-10-20 15:28 + 0
Уважаемый 3g600! Расскажите, пожалуйста, почему b4=7? И что означают ЕК/Q, EK/ H, EK/V, EK/P в Вашем спойлере?
3g600 21  2018-10-30 18:50 + 0
Wikka, на диаграмме нарисовано то, что golda называет подбором, а я - цепочкой, т.е. логикой.
В обоих случаях делается предположение, что, скажем, на поле b4 стоит, например, 7.
Различие заключается в том, что:
- "цепочка" настолько быстро приводит к противоречию, что эти рассуждения возможно провести в уме, без использования внешней памяти;
- при подборе можно случайно поставить правильную цифру, дойти до конца и объявить судоку решенным, тогда как цепочка обязана выявить противоречие. Это происходит не всегда, даже если проставить на поле неверную цифру. Чтобы понять, какое поле и какая цифра будут перспективными, помогает опыт, а не везение - чем и интересно решение с помощью цепочек - в отличие от т.н. "стандартных методов".
А что Вы думаете по этому поводу?

ЕК/Q, EK/ H, EK/V, EK/P - это обозначение обоснования, согласно которому сделан ход. ЕК - это "Единственный Кандидат", а Q, H, V, P - соответственно, в квадрате, на горизонтали, на вертикали, на поле.
Wikka 44 Solver Rank  2018-10-30 23:20 + 0
Благодарна Вам за ответ! Здесь постоянно ведутся дискуссии по поводу того, является ли цепочка подбором. Строго говоря, да, является, и то, и другое является предположением, как Вы заметили. Но я считаю и цепочку, и подбор логичным вариантом, т.к. они приводят к единственному решению задачи.
:)
Вернуть свернутое окно