本视频为由@漫士沉思录 主办的“MaExpo新春数学科普大赛”参赛作品。
早在十七世纪时就有孔明棋的玩法，但这一游戏本身是困难的，甚至是NP-Complete的。
然而，这一困难的游戏却有着深层的不变量的本质。通过引入特殊的克莱因四元群构造不变量，可以轻松地指出游戏末尾棋子的可能落点。
动画使用 manim 制作。参考资料：
Wikipedia: Peg solitaire https://en.wikipedia.org/wiki/Peg_solitaire
Journal of Recreational Mathematics: https://alexandria.tue.nl/repository/freearticles/598441.pdf
