terraria z3

泰拉瑞亚 NPC 幸福度算法

该算法被设计为可定制的约束求解器，用于计算视频游戏泰拉瑞亚中 NPC 幸福度的各种排列。有关更多信息，请参阅泰拉瑞亚 Wiki。

该算法默认做出以下假设：

1. 每个生物群系最多包含 4 个 NPC
2. 每个 NPC 最多靠近 2 个其他 NPC
3. 每个生物群落都包含一个出售水晶塔的 NPC
4. 两个靠近的 NPC 必须位于同一生物群落中
5. NPC 邻近度是可传递的
6. 您希望哥布林修补匠尽可能便宜
7. 优化哥布林修补匠后，你还希望税收官和钓鱼者给尽可能多的钱。
8. 所有其他 NPC 都应该尽可能高兴。

这些假设中的每一个都可以通过修改脚本来调整。查找显示o.add的行以查看对求解器施加的各个约束。

运行脚本

通过安装 Python 3 和 Z3 Python 3 接口，并在存储库的根目录中运行python3 terraria.py ，您应该能够在任何标准 Linux 发行版（包括适用于 Linux 的 Windows 子系统）上运行它。优化算法的结果打印在控制台上。

要在 Ubuntu 20.04 中安装这些依赖项，您可以运行：

 sudo apt-get update
sudo apt-get install python3 z3 python3-z3

可能可以通过 Z3 for Windows 和 Python for Windows 安装，但我还没有尝试过。