Gibt es in CS Probleme, bei denen keine effizienten Algorithmen bekannt sind, obwohl es Theoreme gibt, die beweisen, dass solche effizienten Algorithmen existieren müssen?
Wie heißen diese Probleme? Wo kann ich mehr erfahren?
Gibt es in CS Probleme, bei denen keine effizienten Algorithmen bekannt sind, obwohl es Theoreme gibt, die beweisen, dass solche effizienten Algorithmen existieren müssen?
Wie heißen diese Probleme? Wo kann ich mehr erfahren?
Antworten:
Als Beispiel verwendet Shelby Kimmel die in diesem Artikel beschriebene Methode des Gegners, um zu zeigen, dass für ein bestimmtes Problem, für das wir keine konstante Abfragelösung kennen, ein -Abfragealgorithmus existieren muss . Sie tut dies auf besonders raffinierte Weise, indem sie die Abfragekomplexität des mit sich selbst zusammengesetzten Problems mal findet und dann die Abfragekomplexität der kompostierten Funktion findet und feststellt, dass die Abfragekomplexität der ursprünglichen Funktion die Ordnung .O ( 1 ) d Q. Q.1d
quelle
Sicher, es gibt viele Beispiele, zumindest im Sinne Ihrer Frage.
Oft ergibt sich ein solches Ergebnis aus der probabilistischen Methode . Ein Artikel, der mir gefällt und auf den das Problem stößt, befasst sich beispielsweise mit der Rekonstruktion von Diagrammen im additiven Modell . Hier zeigen die Autoren, dass es eine Reihe von -Abfragen gibt, mit denen das Zieldiagramm (optimal) gelernt werden kann. Bei dieser Menge ist der Algorithmus effizient. Sie verwenden jedoch die probabilistische Methode, um die Existenz dieser kleinen Menge (für jede Problemgröße) zu zeigen, die für alle Eingaben funktioniert, diese jedoch nicht explizit erstellt. Das Beste, was sie tun können, ist nur eine Brute-Force-Suche durch eine exponentielle Familie von Abfragen, da sie keine explizite Konstruktion haben.O ( dn )
quelle
Nein, Sie können immer den schnellsten und den kürzesten Algorithmus für alle genau definierten Probleme verwenden . ;)
quelle
Bearbeiten: In der folgenden Antwort wird das Vorhandensein von Lösungen für ein bestimmtes Rechenproblem und nicht das Vorhandensein von Algorithmen erneut überprüft. Anfangs habe ich die Frage falsch interpretiert.
Antworten
Es gibt eine Komplexitätsklasse, die diese Art von Rechenproblemen erfasst. Es ist als TFNP bekannt . Es wurde in diesem Papier definiert:
Nimrod Megiddo und Christos Papadimitriou. Über Gesamtfunktionen, Existenzsätze und rechnerische Komplexität . Theoretical Computer Science 81 (2): 317 & ndash; 324.
Hier finden Sie Probleme wie das Trichromatische Dreieck, für die die Existenz einer Lösung durch Sperner's Lemma garantiert wird (siehe das Papier für die Definition dieses Problems).
Sie haben auch das folgende Papier:
Christos Papadimitriou. Über die Komplexität des Paritätsarguments und andere ineffiziente Existenznachweise . Journal of Computer and Systems Science 48 (3), 1990.
In diesem Artikel finden Sie:
Das Papier enthält viele Beispiele für diese Art von Problemen. Also empfehle ich, sich das mal anzuschauen.
quelle