Core Concepts
Packit! ist ein Spiel, bei dem Rechtecke in einem n x n Gitter platziert werden müssen. Das Ziel ist es, entweder das Gitter perfekt auszufüllen (Solitär-Variante) oder der letzte Spieler zu sein, der ein Rechteck platzieren kann (Zwei-Spieler-Variante).
Abstract
Der Artikel führt das Spiel Packit! ein und analysiert es aus mathematischer und algorithmischer Sicht:
Packit! ist ein Spiel, bei dem Rechtecke der Größe t oder t+1 in ein n x n Gitter platziert werden müssen. Es gibt eine Solitär-Variante, bei der das Ziel ist, das Gitter perfekt auszufüllen, und eine Zwei-Spieler-Variante, bei der der letzte Spieler, der ein Rechteck platzieren kann, gewinnt.
Es werden arithmetische Resultate präsentiert, die Bedingungen für die Existenz perfekter Packungen in n x n Gittern untersuchen. Insbesondere wird gezeigt, dass es unendlich viele n gibt, für die keine perfekte Packung möglich ist.
Der Artikel analysiert die Komplexität des Solitär-Packit!-Problems und zeigt, dass es NP-vollständig ist.
Es wird ein automatisierter Lösungsansatz präsentiert, der es erlaubt, perfekte Packit!-Spiele für Gitter bis zu Größe 50 x 50 zu finden. Dieser Ansatz verwendet eine neuartige SAT-Kodierung.
Stats
Für ein m x n Gitter ist die Anzahl der Rechtecke in einer perfekten Packit!-Packung genau τ(m·n).
Der Gap γ(m,n) eines m x n Gitters ist m·n - Tτ(m·n), also die Anzahl der Rechtecke der Größe t+1, die verwendet werden müssen.
Quotes
"Für jeden Wert c ≥ 0 gibt es nur endlich viele Werte von n, für die n x n Gitter eine perfekte Packit!-Packung zulassen."
"Solitaire-Packit! ist NP-vollständig."