Menu GrandGames.net
Русский
⍆ ⛹ ⎕ ⌕

Возвращаясь к вариантам-альтернативам, приведу цитату savlanik...

alex_tlt Был несколько месяцев назад (2019-05-03 13:48:50) Likes315 Messages582 P 8 Solver Rank
! /forum/sudoku/7 #137609 2017-01-19 22:21
Возвращаясь к вариантам-альтернативам, приведу цитату savlanik
"Всегда надо рассматривать второй вариант, чтобы убедиться, что он не имеет решения."

Исходя из леммы о безошибочности, это математически неверно.
Нравится + 0     10   Поделиться
nekonyash Был несколько дней назад 19 2017-01-19 22:33 + 6
В таком случае исходя из леммы о безошибочности неверно решать альтернативы. Ведь для этого нужно сделать 1 предположение, которое может быть неверным, что противоречит лемме.
alex_tlt Был несколько месяцев назад (2019-05-03 13:48:50) P 8 Solver Rank 2017-01-20 18:56 + 0
Уважаемая nekonyash! Вы неправильно трактуете мою лемму о безошибочности : Запись #137091. Добавлено: 2017-01-17 21:53:57

В ней речь идёт о допущении безошибочности всех предыдущих ходов.
Но никак не следующего хода! Да что Вы, как я могу утверждать безошибочность следующего хода - я что, волшебник? :)

Итак, перед решением 2-х альтернатив, согласно лемме, мы исходим из того, что ошибок во всех предыдущих ходах нет.
Поэтому, есть только одно решение: либо первая альтернатива, либо вторая альтернатива.
Если неверна первая альтернатива, то верна вторая.
Если верна первая альтернатива, то вторая неверна, и её не стоит решать вообще, а продвигаться дальше.
nekonyash Был несколько дней назад 19 2017-01-20 21:46 + 1
А чтобы определить, какая именно альтернатива верна - нужно задействовать третий глаз и спросить у тех духов, что уже решили этот судоку?
Если по вашей лемме о альтернативах рассмотрение обоих альтернатив неверно (что является методикой, предложенной savlanik), то как тогда может быть математически верно использование альтернатив? Мне кажется, вы начинаете подбивать свои аргументы не под нахождение эффективной методики решения судоку, а под то, чтобы уязвить savlanik. Я не вижу особой принципиальной разницы между альтернативами, вариантами и методом от противного, так как они все суть одно: нахождение правильного хода путем рассмотрения результатов подстановки числа в клетку.
Лично я при решении обычно следую методу от противного - делаю подстановку одного варианта из двух, рассматриваю, приводит ли она она в тупик в ближайшие ходы. Если не приводит - рассматриваю второй вариант. Если и второй вариант в ближайшие ходы не привел в тупик или к решению - то беру другую пару кандидатов. Если решать альтернативы до конца, они могут привести к новому тупику, где снова придется решать альтернативы, но сохраниться тогда уже будет нельзя, так как не факт, что первый выбор альтернативы был верным. А в методе от противного рассматривая оба варианта выбираются только верные ходы, приводящие судоку к решению.
alex_tlt Был несколько месяцев назад (2019-05-03 13:48:50) P 8 Solver Rank 2017-01-20 22:19 + 0
Хм, у меня нет желания уязвлять кого-либо без причины. Для меня главное - истина.

Но Вы правы, бывает так, что решение выбранной альтернативы приводит ни к чему - ни к ошибке, ни к правильному решению. Хуже того, решение и второй альтернативы тоже не достигает ни положительного, ни отрицательного результата! Ну что же, выбираем следующую пару альтернатив.

Но я говорил о другом: если при решении первой альтернативы получен положительный или отрицательный результат, то вторую альтернативу ни в коем случае не надо рассматривать, ибо это потеря времени и умственных ресурсов.
А вот savlanik утверждает, что надо. Вы с ним согласны?

nekonyash Был несколько дней назад 19 2017-01-20 22:26 + 1
Положительный результат - это решенный судоку. В случае, если судоку решен - то рассматривать второй вариант не нужно. Думаю, в этом savlanik со мной согласится. Если же судоку не решен и отрицательный результат не получен, то следует рассмотреть вторую альтернативу, чтобы убедиться, что она в ближайшие ходы приведет к решению или ошибке. Если такого не произошло - рассматривается следующая пара альтернатив (обе альтернативы).
alex_tlt Был несколько месяцев назад (2019-05-03 13:48:50) P 8 Solver Rank 2017-01-20 22:52 + 0
Стоп, мы куда-то уходим далеко, к решенному в целом судоку. Не надо так далеко.

Перед нами альтернативы 1 и 2.

Какие тут могут быть случаи?

Рещаем 1 - ни к чему не приводит, решаем 2 - ни к чему не приводит. То есть, ни к решению судоку, ни к ошибке. Значит, переходим, к следующей паре альтернатив.

Решаем 1 - судоку решен. No comments.
Решаем 1 - ошибка. И вот тут самое интересное!!! Вот здесь я применяю свою лемму. Вот где наши разногласия.

Что делаю я. Я принимаю альтернативу 2, исходя из леммы о безошибочности.
Мой оппонент, на всякий случай, не принимает альтернативу 2, а тратит время на её решение.
nekonyash Был несколько дней назад 19 2017-01-20 23:20 + 1
Мне кажется, что savlanik имел ввиду вовсе не это. А то, что если мы рассматриваем альтернативу 1 и не приводит к решению достаточно быстро, то стоит остановиться и рассмотреть альтернативу 2, чтобы убедиться, что в альтернативе 2 ошибка и следует решать первый вариант. Либо, чтобы убедиться что альтернатива 2 так же не приводит к быстрому решению и стоит взять другую альтернативу. Очевидно, что если мы нашли ошибку, то сразу принимаем факт, что верен другой вариант и продолжаем решать, смысл в том, чтобы найти именно ошибку, чтобы точно убедиться, что решение идет по верному пути, а не по пути угадайства.
alex_tlt Был несколько месяцев назад (2019-05-03 13:48:50) P 8 Solver Rank 2017-01-21 12:53 + 0
Полностью с Вами согласен.

Я понял, что нужно уточнить, что речь идёт об альтернативах типа "две цифры в разных клетках".
Именно в таких альтернативах наш маэстро решает оба случая.

Вот как он решает:
"3. Есть один кандидат на две клетки. Например, есть число 6.
Сначала ставим число 6 в одну клетку, потом во вторую.
Также решаем два судоку. Один вариант будет правильным, второй тупиковый. "
Слово "два" выделено мной.

Я же считаю, что можно обойтись и одним решением, когда оно приводит к ошибке.
nekonyash Был несколько дней назад 19 2017-01-21 13:39 + 0
И опять же, мне кажется, что savlanik имел ввиду вовсе не это.
alex_tlt Был несколько месяцев назад (2019-05-03 13:48:50) P 8 Solver Rank 2017-01-21 14:42 + 0
Хорошо, не будем больше гадать, что он имел в виду.
Самое главное, что он перестал отправлять "на свалку" судоку с альтернативными вариантами :)
Нравится ли Вам новая игра "Память"
Да
Еще не пробовал
Нет
NATAKAPA NoBody
radost Bruno
LLL25 mikl
Irbiska Morsmordre
mamo4ka lulasha0809
gst3150111 mukha
igor1960q 22yjz
rof23 watson4019
babirussa 2233002485101
Yoch.25 belyak62
Новое на сайте
Пятнашки №78893
Какуро №82134
Хитори №82042
Японская мозаика №79725
№82113
№81535
№82106
№81905
№82090
№82132
№54467
Ключворды №82000
Филиппинский №80778
№82101
№82127
№82133
№82120
№82131
Японский кроссворд №30882
Пазл №33037
Судоку №22018
Флеш игра №2153
Денди онлайн №5686
Шахматная задача №9699
Филворд №8863
Загадка №372
ADB finder
Реклама Ads Google Yandex
:)
Вернуть свернутое окно