Ich suche nach Beispielen für Probleme, die durch eine Zahl parametrisiert sind , wobei die Härte des Problems in nicht monoton ist . Die meisten Probleme (meiner Erfahrung nach) haben einen einphasigen Übergang, zum Beispiel hat SAT einen einphasigen Übergang von (wo das Problem in P ist) zu (wo die Problem ist NP-vollständig). Ich interessiere mich für Probleme, bei denen es Phasenübergänge in beide Richtungen gibt (von leicht nach hart und umgekehrt), wenn zunimmt. k k k ≤ { 1 , 2 } k ≥ 3 k
Meine Frage ist der bei Härtesprünge in der rechnerischen Komplexität gestellten etwas ähnlich , und tatsächlich sind einige der Antworten dort für meine Frage relevant.
Beispiele, die mir bekannt sind:
- k = 3 Färbbarkeit planarer Graphen: In P, außer wenn , wo es NP-vollständig ist.
- Steinerbaum mit Anschlüssen: In P, wenn (kollabiert zum kürzesten - Pfad) und wenn (kollabiert zum MST), aber NP-hart "dazwischen". Ich weiß nicht, ob diese Phasenübergänge scharf sind (z. B. P für aber NP-hart für ). Auch die Übergänge von hängen im Gegensatz zu meinen anderen Beispielen von der Größe der Eingabeinstanz ab.k = 2 s t k = n k 0 k 0 + 1 k
- Zählen zufriedenstellender Zuordnungen einer planaren Formel modulo : In P, wenn eine Mersenne-
Primzahl ist,ist und # P-vollständig für diemeisten (?) /Alle anderen Werte von (von Aaron Sterling in diesem Thread) ). Viele Phasenübergänge!n n = 2 k - 1 n - Induzierte Subgraphenerkennung: Das Problem wird nicht durch eine Ganzzahl, sondern durch einen Graphen parametrisiert. Es gibt Graphen (wobei eine bestimmte Art von Untergraphenrelation bezeichnet), für die bestimmt wird, ob für einen gegebenen Graphen in P für aber NP-vollständig für . (von Hsien-Chih Chang im selben Thread ). ≤ H i ≤ G G i ≤ { 1 , 3 } i = 2