terraria z3

Terraria NPC 행복 알고리즘

이 알고리즘은 비디오 게임 Terraria에서 NPC 행복의 다양한 순열을 계산하기 위한 사용자 정의 가능한 제약 조건 해결사로 설계되었습니다. 자세한 내용은 Terraria Wiki를 참조하세요.

알고리즘은 기본적으로 다음과 같은 가정을 합니다.

1. 각 생물 군계에는 최대 4명의 NPC가 포함됩니다.
2. 각 NPC는 최대 2명의 다른 NPC 근처에 있습니다.
3. 각 생물 군계에는 수정탑을 판매하는 NPC가 있습니다.
4. 서로 가까이 있는 두 NPC는 동일한 생물 군계에 있어야 합니다.
5. NPC 근접성은 전이적입니다.
6. Goblin Tinkerer를 가능한 한 저렴하게 만들고 싶습니다.
7. Goblin Tinkerer를 최적화한 후에는 세금 징수원과 낚시꾼도 최대한 많은 돈을 기부하기를 원합니다.
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

아마도 Windows용 Z3 및 Windows용 Python을 통해 설치하는 것이 가능할 것입니다. 그러나 시도하지는 않았습니다.