Q&A
扫雷是不是可以通过严谨的逻辑全部扫出来而与运气无关?
个人的看法是,随扫雷游戏规模数增大,假设算力足够,对于任意情况,使用逻辑可以越来越接近全扫出来的局面。 论证: 1. 单条逻辑链路走到最后得到一个结局 2. 在1的前提上,多条逻辑链路进行模拟,在最坏情况下(较好情...
个人的看法是,随扫雷游戏规模数增大,假设算力足够,对于任意情况,使用逻辑可以越来越接近全扫出来的局面。
论证:
-
单条逻辑链路走到最后得到一个结局
-
在1的前提上,多条逻辑链路进行模拟,在最坏情况下(较好情况下直接找到游戏获胜的解),能得到某条路径的可赢性(全是非确定可获胜路径) 和 该步以后存在的合逻辑的情况数。
2.最坏情况下,可以根据得到的两个信息计算出走某步之后获胜的“概率”。此时,以概率较大的路径走下去更可能获胜。(如果题主将“比较概率,选取概率较大者”称为逻辑行为的话,那么是合逻辑的;如果题主不这么认为,那么对题主来说我的论述是一个伪证。另,概率这个概念本身似乎就是用来调和逻辑与现实的,概率将逻辑空间的情况进行统计转化为了可比较的数字,而这种可比较性,是否算是将事物映射到了逻辑的范畴呢)
几点可供考察的漏洞:
-
凭什么是最坏情况没有证明,可能是错误的
-
对于这里所谓“概率”“概率的比较”的定义是较为个性化的东西,不知是否被题主/其他阅读回答的人看作是“逻辑”,按照一般定义是包括在内的。
-
关于是否将概率看作逻辑。
4.关于极限的部分还没论证,先休息了😆。
配置公开站点的 Giscus 环境变量后,这里就会出现讨论区。