Das Robertson-Seymour-Theorem besagt, dass jede kleinere geschlossene Familie GG\mathcal G von Graphen durch endlich viele verbotene Minderjährige charakterisiert werden kann. Gibt es einen Algorithmus, der für einen Eingang GG\mathcal G die verbotenen Minderjährigen ausgibt, oder ist dies...
Problem: Betrachten Sie eine endliche Anzahl von Steuerzuständen (einschließlich eines "anfänglichen" und eines "schlechten" Zustands), eine endliche Anzahl von ganzzahligen Variablen und für jedes geordnete Paar von Zuständen eine Übergangsbeziehung, die in der Presburger-Arithmetik ausgedrückt...
Akzeptierte Antwort Scott Aaronsons Antwort wurde "akzeptiert" (hauptsächlich, weil es die einzige Antwort ist!) Zusammenfassung der Antwort in einem Satz Plausibel natürliche Verallgemeinerungen der Frage P gegen NP sind offensichtlich nicht einfacher zu lösen als P gegen NP selbst. Ein...