作者terrorlone (要努力成为伟大的学者)
看板puzzle
标题Re: [问题] 西洋棋谜题(加入棋子)原创!
时间Thu Jun 23 07:32:52 2011
: 我还是觉得不能假设题目有解很奇怪,既然题目要我推上一步,那我当然是相信
: 他这一步已经存在了,所以才去推上一步,如果有可能不合法的题目,
: 题目本身就会问你是否、可能合法不是吗?
任何题目都有不合法的可能(也就是题目本身根本就错了)。
如果当题目出错,然後你擅自假定题目有解而做出了根本不存在的解答,
那是谁的问题?我会说你的问题不亚於作者。
事实上,任何一道逆向分析的题目,只要题目真的是正确的,
你都不需要在「假定题目有解」的情况下就可以解开题目。
而至於题目的正确性,都是可以最後直接藉由排谱确认的。
那麽明明不需要那样做,你还那样做,那你不就等於自己承认没本事吗?
更别说那种作法根本就已经让你自己陷入答错的可能之中了。
: 而且不管怎样,"反证法"永远不会错吧!
: 上次那题,"假设王有动过",则题目必定无解,那就已经反证成功了.
所以我才讲了老半天你不能擅自假定题目有解啊!
: 所以我认为,那一题的死亡判定只是"同时存在的必要条件",和反证法是并存的
: (最好的证明就是,那题把死亡判定规则拿掉依然能出题)
可以,但是是一道烂题。
: 而由上述,更说明了反证法比死亡判定更基本、更优先.
不同意,原因我已经说过很多次了。
你所谓的反证法,也就是「假设某某则题目无解矛盾」的这种作法,
永远都是不通的。
: 再说,死亡判定也是建立在"已经从上一步走到这一步" 的前提下才成立
: 那这不也是使用了"题目的局面存在"的假设吗?
题目的局面是已经摆在你眼前的事情,这跟本不是什麽假设不假设的问题。
当题目已经给出了一个特定的局面之後,只有两种可能:
1. 这个局面合法,从而可以引入死亡判断(或其他技巧)进行逆向分析推理。
2. 这个局面不合法,结束。
此时,你确实是可以先「暂时假设」这个局面合法,然後进行推理没错。
但是你可不能推理完了就算了,你还得进一步证明,这个局面不可能不合法,
否则你就是漏掉上面的两种可能之一,擅自做了合法的假设。
要证明一个局面不可能不合法,就是证明这个局面合法嘛,
方法简单得很,排个谱就可以证明了。
所以,实际上所有的逆向分析问题的详解都应该给出排谱证明才算完整,
只是我过去一直都没有要求各位而已,但这不表示你应该误解这里面的逻辑关系。
我再强调一次:
没有任何一道逆向分析的题目是纯粹在假定题目有解的情况下作答的!
死亡判断问题也不例外!你事後都必须在不仰赖任何假设下证明合法性才算完整答案!
: 如此,死亡判定和反证法使用了相同的假设!
: 那假设局面有解又有什麽不对!
不用回答了吧?
你如果还有异议,那就请你以後别做我贴的题目。
我没有办法欣赏你这种没想到正确思路就拿不通的道理来闹别扭的作法。
--
▄
\ Terrorlone 西洋棋谜题专栏 为您献上优值的精选谜题 \
▄
▄▄
\ \
▄ ▄
▄ \ 欢迎寄站内信过来对答案(请简述过程);
\
▄ \ 推文请小心不要泄漏关键字,答对者敬请签到 XD
\
▄
▄ \ 若觉得题意不清请尽量来信或水球询问,不要用推的。
\
▄ \ 刚入门者可先阅读
#19x4xedc、
#19y39PSk、
▄
\ #1A1TgpvR 等等几篇文章。
\
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 98.227.38.2
※ 编辑: terrorlone 来自: 98.227.38.2 (06/23 07:46)
1F:推 LPH66:我想了好一阵子大概想通qqq卡死在哪里了 06/23 08:24
2F:→ LPH66:在那题里 qqq这个想法是由"往未来的唯一性"去做答 06/23 08:24
3F:→ LPH66:但正解(死亡判断)却是由"由过去到这里的唯一性"立论而成 06/23 08:25
4F:→ LPH66:只是因为这个"往未来的唯一性"顺带限死了过去过来的路 06/23 08:25
5F:→ LPH66:而这种题目其实原本就会有那条"从过去到这里"的唯一路 06/23 08:26
6F:→ LPH66:并不是因为它往未来只有这条路才这样的 06/23 08:26
7F:→ LPH66:而在这题里 这个论述事实上正是证明"由过去不这麽走不行" 06/23 08:27
8F:→ LPH66:所以在这题里这个论证就合法了 06/23 08:27
9F:→ LPH66:(说起来大概由於题目类型的关系 这种题目不会要你往未来走 06/23 08:28
10F:→ LPH66: 所以比较不会落入这种陷阱里就是了...) 06/23 08:28
11F:→ terrorlone:我还是要强调,这边所谓「往未来的唯一性」(或甚至可 06/23 08:48
12F:→ terrorlone:能性)都不能拿来当作前提,那都是你得无条件证明的 06/23 08:49
13F:推 kohttp:一般的倒退问题除了当题目有解往前倒退之外,不就没法解了? 06/23 10:58
14F:→ kohttp:假设局面合法,以唯一合法棋步退到明显合法局面,不就证明题 06/23 11:00
15F:→ kohttp:题目是正确,且答案也正确 06/23 11:01
16F:推 babufong:t大抱歉 容我说句话 我倒觉得是不用限制别人做不做题目 06/23 11:15
17F:→ babufong:每个人都会有思路打结或陷入死胡同的时候 06/23 11:15
18F:→ terrorlone:重点就是在於你到最後顺便证明了题目合法,所以正名了 06/23 11:15
19F:→ terrorlone:你一开头的「假定局面合法」这件事 06/23 11:16
20F:→ babufong:如果知道他陷在哪里 一步一步引导他出来也是好事一桩 06/23 11:16
21F:推 kohttp:可以迅速解题又能同时证明题目答案都正确,超级好的方法阿 06/23 11:44
22F:推 lighttodie:期末的一堆事情终於要忙完了...终於快要有空慢慢想谜题 06/23 12:39
23F:推 turtleqqq:不好意思,我们做物理的就是要去解释发生在眼前的东西, 06/23 13:39
24F:→ turtleqqq:既然已经被我看到,那我当然假设他是存在的,如同k大说的 06/23 13:39
25F:→ turtleqqq:而且,依照t大的逻辑,那每一题一定要完整棋谱才算答案了 06/23 13:40
26F:→ turtleqqq:但事实是每一题答案并没有完整棋谱,那这是你给我的讯息 06/23 13:41
27F:→ turtleqqq:所以不要求棋谱的严谨度之下,假设题目有解根本就是必要 06/23 13:43
28F:→ turtleqqq:我还是回一下好了 06/23 13:45