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 安裝，但我還沒嘗試過。