Probleme in NC sind in NC2 nicht bekannt


14

Gibt es interessante Probleme in jedoch nicht bekannt ist, dass sie in N C 2 sind ? In der Arbeit 'Eine Taxonomie der Probleme mit schnellen parallelen Algorithmen' erwähnt Cook, dass MIS bekanntermaßen nur in N C 5 vorkommt , dies jedoch inzwischen auf N C 2 reduziert wurde . Ich frage mich, ob es bei parallelen Algorithmen mit Polylog-Tiefe noch andere Probleme gibt, bei denen wir anscheinend nicht weiterkommen, um die Tiefe zu verbessern.NCNC2NC5NC2

Noch weiter eingrenzen: Gibt es Probleme in , von denen nicht bekannt ist, dass sie sich in A C 1 oder D E T befinden ?NC2AC1DET


1
Siehe diese Frage und Joshs Antwort darauf.
Kaveh

Ich habe das komplett verpasst Kaveh --- danke! Die letzte Absatz der Antwort auf und dem entsprechende Hierarchie Zusammenbruch gibt nützliche Intuition für den Staat von N C . NL=coNLNC
Xal

Eigentlich habe ich mich nur über deine letzte Frage gewundert. Ich denke, es lohnt sich, eine separate Frage zu stellen (da es sich technisch gesehen um eine andere Frage handelt und von der Frage in Ihrem Titel unabhängig ist). xal, könnten Sie die Frage der Probleme in nicht bekannt ist, dass sie in ( A C 1D E T ) sind, als separate Frage veröffentlichen? Und @Kaveh, was denkst du darüber aus prozeduraler Sicht? NC2(AC1DET)
Joshua Grochow

@Josh, ich sehe kein Problem damit. Wir haben die Autoren gebeten, die Fragen zuvor in separate Posts zu unterteilen.
Kaveh

1
Vielen Dank, dass Sie Josh gefragt haben, ich habe die Frage hier aufgeteilt: cstheory.stackexchange.com/q/39831/40340
xal

Antworten:


13

Disclaimer: Ich bin kein Experte in schnelle parallele Algorithmen, also die Wahrscheinlichkeit , dass ich aktuellere Ergebnisse verpasst, die die Probleme , die ich in den unteren Ebenen des Hinweises setzen NC - Hierarchie ist nicht zu vernachlässigen. Wenn Sie feststellen, dass dies der Fall ist, teilen Sie mir dies bitte mit, und ich werde meine Antwort aktualisieren.

  • In dem Bericht Parallele Algorithmen für die Tiefensuche werden bekannte parallele Algorithmen für DFS für verschiedene Arten von Diagrammen erörtert. Die Liste auf den Seiten 9 bis 10 gibt verschiedene Algorithmen in NCNC2 , z. B. DFS für planare ungerichtete Diagramme oder in RNCRNC2 , z. B. DFS für allgemeine ungerichtete Diagramme.

  • Bei einer schnellen Suche konnte ich keine Arbeiten finden, die sich gegenüber den parallelen Algorithmen für die spärliche multivariate Polynominterpolation über endliche Felder in dieser Arbeit in NC3 verbessern . Hinter einer Paywall steckten jedoch einige Papiere, die möglicherweise relevant gewesen sein könnten.

  • Die Berechnung aller maximalen Cliquen in einem Graphen erfolgt in NCNC2 wenn die Anzahl der maximalen Cliquen gemäß dieser Veröffentlichung polynomiell begrenzt ist .

  • Das Problem mit dem maximalen Pfad scheint in NC5 für allgemeine (ungerichtete) Graphen zu liegen. Ich habe keinen schnelleren parallelen Algorithmus gefunden, der den zugrunde liegenden Graphen nicht einschränkt.

Andere potenzielle Kandidaten könnten Algorithmen zum Auffinden perfekter Übereinstimmungen in bestimmten Arten von Graphen oder Algorithmen zum Auffinden einer maximalen Baumbedeckung in beliebigen Graphen umfassen (z. B. erwähnt dieser Aufsatz einen randomisierten Polyzeit-Algorithmus in paralleler Zeit O(log6n) ). In diesem Artikel wird auch das Lösen von CSP-Problemklassen erwähnt, die bei der Anwendung von Computer Vision in der Parallelzeit O(log3n) .


1
Interessant! Wissen Sie, ob eines dieser Elemente für diese höheren Ebenen der NC-Hierarchie vollständig ist (oder als vollständig vermutet wird)? Es wäre schön, solche natürlichen Beispiele zur Hand zu haben.
Joshua Grochow

Leider habe ich keine Ahnung davon. In den oben aufgeführten Papieren wird (soweit ich sehen kann) nichts dergleichen erwähnt. All dies ist sehr weit von meinem Fachgebiet entfernt; Ich habe gerade eine Literaturrecherche durchgeführt, um die Frage von OP zu beantworten, da ich sie sehr interessant fand, aber mein begrenztes Wissen gibt mir keine klare Vorstellung über die Härte dieser Probleme.
Geoffroy Couteau
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.