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 δ > 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
Es ist bekannt, dass SETH stärker als ETH und beide stärker als und beide stärker als .F T P ≠ W [ 1 ]
Vier weitere wichtige Vermutungen:
3SUM Conjecture: 3SUM für ganze Zahlen in benötigt Zeit{ - n 3 , … , n 3 } n 2 - o ( 1 )
OF-Vermutung: Orthogonale Vektoren auf Vektoren benötigen Zeit.n 2 - o ( 1 )
APSP-Vermutung: Der kürzeste Pfad aller Paare auf Knoten und die Bitgewichtung erfordern Zeit.O ( log n ) n 3 - o ( 1 )
BMM-Vermutung: Jeder "kombinatorische" Algorithmus für die Boolesche Matrixmultiplikation benötigt Zeit.
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