Menu GrandGames.net
Русский
RU

Возвращаясь к вариантам-альтернативам...

alex_tlt Сегодня был на сайте Likes313 Messages579 P 8
! /forum/sudoku/7 #137609 2017-01-19 22:21
Возвращаясь к вариантам-альтернативам, приведу цитату savlanik
"Всегда надо рассматривать второй вариант, чтобы убедиться, что он не имеет решения."

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

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

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

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

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

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

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

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

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

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

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

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

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

Я же считаю, что можно обойтись и одним решением, когда оно приводит к ошибке.
nekonyash Был несколько дней назад P E 19 Solver Rank 2017-01-21 13:39 + 0
И опять же, мне кажется, что savlanik имел ввиду вовсе не это.
alex_tlt Сегодня был на сайте P 8 2017-01-21 14:42 + 0
Хорошо, не будем больше гадать, что он имел в виду.
Самое главное, что он перестал отправлять "на свалку" судоку с альтернативными вариантами :)
Нужна ли Вам функция покупки игровых монет за настоящие деньги?
Да
Нет
k336665627 mumof
dikey753 rof23
gst9194925 natulka.75
EVA-dragon Irbiska
geleznjak abramka59
gst3117005 babyshka62
zoloto25 gst6907763
NINA0402 gst8016382
Habi230964 GimliG
Spichenka belski12345
Новое на сайте
Пятнашки №47036
Какуро №47059
Хитори №47058
Японская мозаика №46480
№47047
№47053
№45994
№46984
№45970
№47056
Японский кроссворд №27515
Пазл №27466
Филиппинский №3849
Судоку №20897
Флеш игра №2153
Денди онлайн №168
Шахматная задача №9699
Ключворды №3988
Филворд №6093
Загадка №361
ADB finder
Реклама Ads Google Yandex
:)