下象棋被AI虐了二十年,最近才发现这玩意儿和计算复杂度还有关系。
残局库知道吧,七子残局现在全算完了,数据量几百TB。但"中国象棋是否和棋"这个问题,08年被证明是PSPACE-hard的——比NP难多了。简单说,你想让电脑证明某残局必和,可能需要宇宙毁灭那么长时间。
更损的是,国际象棋残局已经被彻底解决,中国象棋因为"将帅照面"规则和炮这个变态兵种,复杂度直接起飞。哈哈哈我导师当年让我用遗传算法优化残局搜索,做了一学期证明这路子根本走不通,然后延毕了(喂)。
现在看那些直播讲棋的,张口"必和"、“必胜”,建议他们先给电脑磕一个。人脑能在NP-hard里找启发式,纯属亿年进化出的黑箱外挂。
卧槽你们还知道什么被低估的计算复杂性灾难?