Wpisz
⎕ ⍆
X

Wpis #137609

alex_tlt 49 Solver Rank
2017-01-19 22:21
Возвращаясь к вариантам-альтернативам, приведу цитату savlanik
"Всегда надо рассматривать второй вариант, чтобы убедиться, что он не имеет решения."

Исходя из леммы о безошибочности, это математически неверно.

Polub + 0     10
nekonyash 36  2017-01-19 22:33 + 6
В таком случае исходя из леммы о безошибочности неверно решать альтернативы. Ведь для этого нужно сделать 1 предположение, которое может быть неверным, что противоречит лемме.
alex_tlt 49 Solver Rank  2017-01-20 18:56 + 0
Уважаемая nekonyash! Вы неправильно трактуете мою лемму о безошибочности : Запись #137091. Добавлено: 2017-01-17 215357

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

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

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

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

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

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

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

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

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

Что делаю я. Я принимаю альтернативу 2, исходя из леммы о безошибочности.
Мой оппонент, на всякий случай, не принимает альтернативу 2, а тратит время на её решение.
nekonyash 36  2017-01-20 23:20 + 1
Мне кажется, что savlanik имел ввиду вовсе не это. А то, что если мы рассматриваем альтернативу 1 и не приводит к решению достаточно быстро, то стоит остановиться и рассмотреть альтернативу 2, чтобы убедиться, что в альтернативе 2 ошибка и следует решать первый вариант. Либо, чтобы убедиться что альтернатива 2 так же не приводит к быстрому решению и стоит взять другую альтернативу. Очевидно, что если мы нашли ошибку, то сразу принимаем факт, что верен другой вариант и продолжаем решать, смысл в том, чтобы найти именно ошибку, чтобы точно убедиться, что решение идет по верному пути, а не по пути угадайства.
alex_tlt 49 Solver Rank  2017-01-21 12:53 + 0
Полностью с Вами согласен.

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

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

Я же считаю, что можно обойтись и одним решением, когда оно приводит к ошибке.
nekonyash 36  2017-01-21 13:39 + 0
И опять же, мне кажется, что savlanik имел ввиду вовсе не это.
alex_tlt 49 Solver Rank  2017-01-21 14:42 + 0
Хорошо, не будем больше гадать, что он имел в виду.
Самое главное, что он перестал отправлять "на свалку" судоку с альтернативными вариантами :)
Jeśli znajdziesz niedokładne lub błędne tłumaczenie elementów interfejsu witryny, zgłoś: @GrandGames
#608774
@GrandGames
Открыт новый раздел головоломок...
🗓️ 👍 20 ✍️14
#608486
@GrandGames
Открыт новый раздел Ежедневные головоломки : https...
🗓️ 👍 16 ✍️6
#607326
@Vovka.
Свершилось и мне Артефакт в Ежедневном призе пришёл!
🗓️ 👍 13 ✍️10
:)
Przywróć zminimalizowane okno
Close