Bedeutung von P = NP? hängt von der Raum-Zeit-Geometrie ab?

16

Bei dieser Frage handelt es sich um Seite 125 des Buches "Zelluläre Automaten in hyperbolischen Räumen: Band 2" von Maurice Margenstern, Verlag Archives contemporaines, 2008.

http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125

Nach Meinung des Autors ist die Frage P = NP schlecht gestellt, weil in der hyperbolischen Einstellung P = NP oder in der später im Buch verwendeten Schreibweise P h = NP h .

Ich weiß nicht genug über Komplexität, um zu wissen, was ich davon halten soll, aber es klingt interessant.

Die Frage ist also im Grunde, was hältst du davon?

Machen seine Behauptungen Sinn?

Roy Maclean
quelle

Antworten:

38

P = NP ist eine gut definierte mathematische Frage, die nicht von der Raum-Zeit-Geometrie abhängt. Die Frage "Welche Probleme können durch Berechnungen gelöst werden, die in diesem Universum möglich sind?" kann von der Physik abhängen, und die Antwort scheint sich tatsächlich im hyperbolischen Raum oder mit der Quantenmechanik (z. B. Quantencomputing) zu ändern. Dies hat jedoch keinen Einfluss auf die P = NP-Frage.

Tatsächlich würde eine der ersten Reaktionen eines theoretischen Informatikers auf Ihre Referenz lauten: "Welche Komplexitätsklasse kann ein zellularer Automat im hyperbolischen Raum berechnen?" Wenn Sie beim Wechsel in den hyperbolischen Raum Komplexitätsklassen neu definieren, wird es viel schwieriger, über diese Frage zu sprechen.

Und wenn Sie später in dem Buch , definiert der Autor P als Probleme, die in der Polynomzeit auf einem hyperbolischen Zellularautomaten lösbar sind, und beweist P = PSPACE (und NP = P = PSPACE), so dass selbst der Autor dies nicht Komplexitätsklassen wirklich nehmen, um sich im hyperbolischen Raum zu verändern.hhhh

Peter Shor
quelle
1
Vielen Dank für diese Antwort.
Roy Maclean
Nun, Quanten-Computing kann die Traktabilität ändern, aber es kann nicht, wir wissen es noch nicht ...
Spudd86
7
Deshalb habe ich gesagt, "scheint sich zu ändern" und nicht "ändert sich". Gleiches gilt für den hyperbolischen Raum. Wir wissen nicht, dass P