terraria z3

Terraria NPC 幸福アルゴリズム

このアルゴリズムは、ビデオ ゲーム Terraria で NPC の幸福度のさまざまな順列を計算するためのカスタマイズ可能な制約ソルバーとして設計されています。詳細については、Terraria Wiki を参照してください。

アルゴリズムはデフォルトで次の前提を立てます。

1. 各バイオームには最大 4 人の NPC が含まれます
2. 各 NPC は最大 2 人の他の NPC の近くにいます
3. 各バイオームにはパイロンを販売する NPC が含まれています
4. 互いに近くにいる 2 人の 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 経由でインストールできると思いますが、試したことはありません。