Welche Beziehungen bestehen zwischen diesen Hypothesen in der feinkörnigen Komplexitätstheorie?


23

Die Komplexitätstheorie unterscheidet anhand von Konzepten wie der NP-Vollständigkeit zwischen Rechenproblemen mit relativ effizienten Lösungen und solchen, die nicht zu lösen sind. "Feinkörnige" Komplexität zielt darauf ab, diese qualitative Unterscheidung in einen quantitativen Leitfaden für die genaue Zeit zu verfeinern, die zur Lösung von Problemen erforderlich ist. Weitere Details finden Sie hier: http://simons.berkeley.edu/programs/complexity2015

Hier sind einige wichtige Hypothesen:

ETH: - benötigt Zeit für ein .S A T 2 δ n δ > 03SAT2δnδ>0

SETH: Für jedes gibt es ein so dass - für Variablen, Klauseln nicht in Zeit gelöst werden können .k k S A T n m 2 ( 1 - ε ) n p o l y mε>0kkSATnm2(1ε)n poly m

Es ist bekannt, dass SETH stärker als ETH und beide stärker als und beide stärker als .F T P W [ 1 ]PNPFTPW[1]

Vier weitere wichtige Vermutungen:

  1. 3SUM Conjecture: 3SUM für ganze Zahlen in benötigt Zeit{ - n 3 , , n 3 } n 2 - o ( 1 )n{n3,,n3}n2o(1)

  2. OF-Vermutung: Orthogonale Vektoren auf Vektoren benötigen Zeit.n 2 - o ( 1 )nn2o(1)

  3. APSP-Vermutung: Der kürzeste Pfad aller Paare auf Knoten und die Bitgewichtung erfordern Zeit.O ( log n ) n 3 - o ( 1 )nO(logn)n3o(1)

  4. BMM-Vermutung: Jeder "kombinatorische" Algorithmus für die Boolesche Matrixmultiplikation benötigt Zeit.n3o(1)

Es ist bekannt, dass SETH die OV-Vermutung impliziert (Ryan Willams, 2004). Abgesehen von Ryans Beweis, dass SETH OV-Vermutung , sind keine weiteren Vermutungen bekannt.

Meine Frage: Kennen Sie andere verwandte Hypothesen oder Vermutungen in diesem Bereich? Wie sind die Beziehungen zwischen ihnen?

Danksagung: Die aufgeführten Ergebnisse stammen von Virginia Vassilevska Williams. Sie hat mir auch teilweise Antworten auf diese Frage gegeben.

Link zu den Folien: http://theory.stanford.edu/~virgi/overview.pdf


Hallo Rupei, ich habe an verschiedenen Graph-Erreichbarkeits- und Beschränkungsproblemen gearbeitet, die mit der sehr netten Liste von feinkörnigen Komplexitätsproblemen zusammenhängen, die Sie erwähnt haben. Wenn Sie überhaupt interessiert sind, schreiben Sie mir eine E-Mail und wir könnten uns irgendwann unterhalten. Ich freue mich, andere, die an feinkörniger Komplexität interessiert sind, beim Stack-Austausch zu sehen. :)
Michael Wehar

3
Eine triviale Reduktion: "kombinatorische" subkubische APSP impliziert "kombinatorische" subkubische BMM. Für 3SUM siehe Beziehung zwischen verwandten Problemen in Seite 14 dieser Folie cs.uwaterloo.ca/~tmchan/talks/bsg_stoc_talk.pdf . Für BMM siehe Abschnitt G dieser Arbeit theory.stanford.edu/~virgi/tria-mmult-conf.pdf . Für APSP gibt es viele Arbeiten von Virginia, die eine subkubische Äquivalenz aufweisen.
Thatchaphol

1
@ Thatchaphol, Vielen Dank für die Art Sharing!
Rupei Xu

Antworten:


15

Dies ist eine kürzlich erschienene Veröffentlichung, in der die nichtdeterministische Hypothese der starken exponentiellen Zeit (NSETH) vorgestellt wird, die eine Erweiterung von SETH darstellt.

NSETH: Für jedes gibt es ein so dass -DNF-TAUT nicht in der nicht deterministischen Zeit gelöst werden kann .k k 2 ( 1 - ϵ ) nϵ>0kk2(1ϵ)n

NSETH impliziert SETH. Wenn NSETH wahr ist, haben einige Probleme keine SETH-Untergrenzen (da sie nicht deterministische Algorithmen schneller als deterministische Algorithmen haben).

In diesem Aufsatz wurde auch die Hypothese der uneinheitlichen nichtdeterministischen starken exponentiellen Zeit (NUNSETH) vorgestellt, eine Hypothese, die stärker ist als NSETH und SETH.

NUNSETH: Für jedes gibt es ein so dass -DNF-TAUT von nicht deterministischen Schaltkreisfamilien der Größe nicht erkannt werden kann .k k 2 ( 1 - ϵ ) nϵ>0kk2(1ϵ)n


1
Vielen Dank für die Pionierarbeit! Ryan Williams glaubt, SETH sei falsch. Glaubst du, NSETH ist wahr?
Rupei Xu

2
Dieses Papier stellt fest, dass Ryan tatsächlich gezeigt hat, dass die MA-Version von SETH falsch ist, was darauf hindeutet, dass NSETH wahrscheinlich nicht wahr ist. In gewissem Sinne geht es jedoch darum, erst Fortschritte bei der Widerlegung von NSETH zu erzielen, um Verbindungen zwischen einigen dieser anderen Vermutungen aufzuzeigen.
Palindrom

8

Eine weitere interessante Vermutung ist die Härte von Clique für festes (siehe hier ).kkk

Dies ist nicht genau die Art von Beziehung, die Sie suchen, aber es gab ein interessantes FOCS-Papier, das zeigt, dass ein natürliches Problem namens "Matching Triangles" unter allen SETH-, 3SUM- oder APSP-Vermutungen schwierig ist (siehe hier ). Es ist derzeit nicht bekannt, ob sich eine dieser drei Vermutungen auf interessante Weise gegenseitig impliziert oder nicht - dies ist eine der wichtigsten offenen Fragen der feinkörnigen Komplexität.


1
Vielen Dank, Greg! Meine ursprüngliche Motivation, diese Frage hier zu stellen, besteht darin, alle vorhandenen Ergebnisse in diesem Bereich zu sammeln, wie beispielsweise die guten Sammlungen im Newsletter „Parametrisierte Komplexität“ ( fpt.wikidot.com/…
Rupei Xu,

Die Clique-Verknüpfung scheint unterbrochen zu sein. Ich dachte nur, ich würde es dich wissen lassen. :)k
Michael Wehar

1

Die jüngsten Ergebnisse von Backurs, Indyk, haben dem STOC 2015 zugestimmt, dass die Berechnung der Editierentfernung in Zeit → SETH falsch mit dem neu aufkommenden Forschungsprogramm / -paradigma "Feinkörnige Komplexität" in Einklang steht . Sie stehen in enger Beziehung zu / bauen auf Williams auf, was zu der Vermutung SETH → Orthogonale Vektoren führt. (Auch in den Mainstream-Medien, Boston Globe).O(n2ϵ)

ein scheinbar sehr ähnliches Ergebnis aufgrund von Wehar betrachtet das Problem der "2-DFA-Schnittmenge-Leere" und stellt fest, dass die -Zeit → SETH falsch ist.O(n2ϵ)

Wehar hat andere Ergebnisse , die auch in passen scheinen allgemein „feinkörnig Komplexität“ -Verbindungen, dass die gleichen DFA Schnitt Leere in Zeit →n o ( k ) N L Pkno(k)NLP

In diesem Sinne ist auch zu erwähnen, dass es einen bekannten signifikanten Zusammenhang zwischen DFA-Konstruktionen und Levenshtein-Abstandsberechnungen gibt, z. B. in dieser Veröffentlichung


1
Es wurden einige kleine Korrekturen zu Ihrer Post-VZN hinzugefügt. Es war nett von Ihnen, mich zu erwähnen. Ich beschäftige mich sehr leidenschaftlich mit dem Problem der DFA-Kreuzung und werde hoffentlich in Zukunft mehr Dinge zu teilen haben. :)
Michael Wehar
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.