古以来，无数棋手钻研棋法，寻找必胜之法。到二十一世纪初，依然没有报告指出有任何棋手未尝一败。但在博弈论中，可以通过数学归纳法可以证明如下定理（策梅洛定理）：任何能在有限步内结束的二人棋类游戏，都必定存在着一方有必不败之法。也就是说，中国象棋是部份解构的已解游戏。