Impagliazzo, Paturi und Calabro, Impagliazzo, Paturi führten die Exponential-Time-Hypothese (ETH) und die Strongly Exponential-Time-Hypothese (SETH) ein. Ungefähr sagt SETH, dass es keinen Algorithmus gibt, der SAT in der Zeit löst .
Ich fragte mich, was das bedeuten würde, um SETH zu brechen. Wir müssen definitiv einen Algorithmus finden, der SAT in weniger als Schritten löst , aber ich verstehe nicht ganz, welches Rechenmodell wir verwenden sollten. Soweit ich weiß, müssen Ergebnisse, die auf SETH basieren (siehe z. B. Cygan, Dell, Lokshtanov, Marx, Nederlof, Okamoto, Paturi, Saurabh, Wahlstrom ), keine Annahmen über das zugrunde liegende Berechnungsmodell treffen.
Nehmen wir zum Beispiel an, wir haben einen Algorithmus gefunden, der SAT in der Zeit Verwendung des Raums löst . Bedeutet dies automatisch, dass wir eine Turingmaschine finden können, die dieses Problem in der Zeit von löst ? Bricht es SETH?1,5 n 1,99 n