已收录文章摘要，完整内容可前往原文阅读。
假设有一个游戏关卡，AI 尝试了很多次都没能通关，那么究竟是它还没找到解法，还是给定的行动次数根本不够？前一个问题，只要找到任意一条获胜路线就能回答，但要证明无解，就必须排除所有合法路线，包括那些尚未