terraria z3

Algoritma Kebahagiaan NPC Terraria

Algoritme ini dirancang untuk menjadi pemecah kendala yang dapat disesuaikan untuk menghitung berbagai permutasi kebahagiaan NPC di video game Terraria. Untuk informasi lebih lanjut, lihat Terraria Wiki.

Algoritme membuat asumsi berikut secara default:

1. Setiap bioma berisi paling banyak 4 NPC
2. Setiap NPC paling banyak berdekatan dengan 2 NPC lainnya
3. Setiap bioma berisi NPC yang menjual Pylon
4. Dua NPC yang berdekatan harus berada dalam bioma yang sama
5. Kedekatan NPC bersifat transitif
6. Anda ingin Goblin Tinkerer semurah mungkin
7. Setelah mengoptimasi Goblin Tinkerer, kalian juga ingin Tax Collector dan Angler memberikan uang sebanyak-banyaknya.
8. Semua NPC lainnya harus sebahagia mungkin.

Masing-masing asumsi ini dapat diubah dengan memodifikasi skrip. Cari baris yang bertuliskan o.add untuk melihat batasan individual yang ditempatkan pada pemecah.

Menjalankan skrip

Anda seharusnya dapat menjalankannya di distribusi linux standar apa pun (termasuk Subsistem Windows untuk Linux) dengan menginstal Python 3 dan antarmuka Z3 Python 3, dan menjalankan python3 terraria.py di root repositori. Hasil algoritma optimasi dicetak di konsol.

Untuk menginstal dependensi ini di Ubuntu 20.04, Anda dapat menjalankan:

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

Mungkin dimungkinkan untuk menginstal melalui Z3 untuk Windows dan Python untuk Windows, tetapi saya belum mencobanya.