如果把围棋的所有结果看作一个集合,那么黑棋胜、白棋胜、平局就是三个子集,从第一手开始直至最后一手,形成多个庞大的映射集。以黑棋的第一步来讲,共有361个映射集。那么其中是否存在一个映射集,无论白棋如何应对,其结果都映射到黑棋胜这个子集里呢?
围棋里似乎存在一个有趣的数学问题:究竟是否存在黑棋或者白棋必胜的走法?
所有跟帖:
• 如果双方都是最佳走法,那么结果必定是唯一的。而且每一个局面都有最佳结果。 -宇之道- ♀ (387 bytes) () 02/22/2016 postreply 11:24:03
• 你这是从哲学上给出一个答案,但没有数学证明就只能留在哲学的层面上。 -天方化戟- ♂ (206 bytes) () 02/22/2016 postreply 13:12:33
• 用数学归纳法,应该可以证明吧? -宇之道- ♀ (0 bytes) () 02/22/2016 postreply 13:21:34
• 不一定。查查Godel incomplete theroem. -QualityWithoutName- ♂ (0 bytes) () 02/22/2016 postreply 13:36:58
• 正解是存在的。下面的一句是AlphaGo论文正文的第一句。 -宇之道- ♀ (211 bytes) () 02/22/2016 postreply 15:26:01
• 不知道这个v(s)是如何判断的,估计也没有数学证明这个函数有多逼近原函数,它这个论文可能并不严谨。 -天方化戟- ♂ (0 bytes) () 02/22/2016 postreply 18:23:29
• 这句话应该是公认的了。我选择相信它。你如果认为他们错了,你可以尝试一下,挑战他们。 -宇之道- ♀ (53 bytes) () 02/22/2016 postreply 18:40:02
• 这句话只不过描述了一下程序的基本过程,并不涉及这个判断函数本身有何凭据,谈不上挑战不挑战。 -天方化戟- ♂ (1101 bytes) () 02/22/2016 postreply 19:39:19
• 我相信,像极高目等下法,不会对AlphoGo起作用。你如果有兴趣,可以读一下他们的论文,看看有什么破绽。 -宇之道- ♀ (0 bytes) () 02/23/2016 postreply 05:38:47