我手头有一本叫《Games, Puzzles, and Computation》（Hearn & Demaine 著）的书。它探讨并证明了各种游戏和谜题的计算复杂度（hardness）。不过倒没到 3A 大作那种体量。读起来挺有意思的，数学味儿也没那么浓。他们在里面用同样的……来构造子句小构件（clause gadgets）
I have a book called Games, Puzzles, and Computation (Hearn & Demaine). It discusses and proves the hardness of various games and puzzles. Not the scale of AAA titles, though. It's an interesting read. Not too mathy. They make clause gadgets in the same…
If you enjoy this kind of paper, then I highly recommend this book: https://www.routledge.com/Games-Puzzles-and-Computation/Hear... It has a huge number of examples of how to build similar gadgets using lots of different kinds of games.
我手头有一本叫《Games, Puzzles, and Computation》（Hearn & Demaine 著）的书。它探讨并证明了各种游戏和谜题的计算复杂度（hardness）。不过倒没到 3A 大作那种体量。读起来挺有意思的，数学味儿也没那么浓。他们在里面用同样的……来构造子句小构件（clause gadgets）
I have a book called Games, Puzzles, and Computation (Hearn & Demaine). It discusses and proves the hardness of various games and puzzles. Not the scale of AAA titles, though. It's an interesting read. Not too mathy. They make clause gadgets in the same…
如果你喜欢这类论文，那我强烈推荐这本书：https://www.routledge.com/Games-Puzzles-and-Computation/Hear... 书里给出了大量的例子，教你如何利用各种不同类型的游戏来构建类似的小构件（gadgets）。
If you enjoy this kind of paper, then I highly recommend this book: https://www.routledge.com/Games-Puzzles-and-Computation/Hear... It has a huge number of examples of how to build similar gadgets using lots of different kinds of games.