在生命游戏中寻找蒙娜丽莎 (kevingal.com)

本文探讨了如何使用SAT求解器在生命游戏中寻找能够演化成特定图像的状态。作者首先解释了生命游戏的规则，并说明了如何将黑白图像加载为生命状态。然后，作者详细介绍了如何构建布尔方程来表示目标状态的父状态必须满足的条件，并使用SAT求解器来寻找解决方案。作者还讨论了该方法的局限性，例如存在伊甸园状态，以及随着细胞数量的增加，问题的复杂性也会增加。最后，作者展示了一些实验结果，包括蒙娜丽莎、花朵、玛丽莲·梦露和史蒂夫·布西密等图像的父状态。