terraria z3

Terraria NPC-Glücksalgorithmus

Dieser Algorithmus ist als anpassbarer Constraint-Löser für die Berechnung verschiedener Permutationen des NPC-Glücks im Videospiel Terraria konzipiert. Weitere Informationen finden Sie im Terraria-Wiki.

Der Algorithmus geht standardmäßig von den folgenden Annahmen aus:

1. Jedes Biom enthält höchstens 4 NPCs
2. Jeder NPC befindet sich in der Nähe von höchstens 2 anderen NPCs
3. Jedes Biom enthält einen NPC, der einen Pylon verkauft
4. Zwei NPCs, die sich nahe beieinander befinden, müssen sich im selben Biom befinden
5. NPC-Nähe ist transitiv
6. Sie möchten, dass der Goblin Tinkerer so günstig wie möglich ist
7. Nachdem Sie den Goblin-Tüftler optimiert haben, möchten Sie auch, dass der Steuereintreiber und der Angler so viel Geld wie möglich geben.
8. Alle anderen NPCs sollten so glücklich wie möglich sein.

Jede dieser Annahmen kann durch Modifizieren des Skripts angepasst werden. Suchen Sie nach Zeilen mit der Aufschrift o.add um die einzelnen Einschränkungen anzuzeigen, die dem Solver auferlegt werden.

Ausführen des Skripts

Sie sollten in der Lage sein, es auf jeder Standard-Linux-Distribution (einschließlich Windows-Subsystem für Linux) auszuführen, indem Sie Python 3 und die Z3-Python-3-Schnittstelle installieren und python3 terraria.py im Stammverzeichnis des Repositorys ausführen. Die Ergebnisse des Optimierungsalgorithmus werden auf der Konsole gedruckt.

Um diese Abhängigkeiten in Ubuntu 20.04 zu installieren, können Sie Folgendes ausführen:

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

Die Installation über Z3 für Windows und Python für Windows ist wahrscheinlich möglich, ich habe es aber nicht ausprobiert.