Im Anschluss an eine vorherige Frage ,
was sind die besten aktuellen Raum untere Schranken für SAT?
Mit einer Leerzeichenuntergrenze meine ich hier die Anzahl der von einer Turing-Maschine verwendeten Arbeitsbandzellen, die ein binäres Arbeitsbandalphabet verwendet. Ein konstanter additiver Term ist unvermeidlich, da ein TM interne Zustände verwenden kann, um eine feste Anzahl von Arbeitsbandzellen zu simulieren. Ich bin jedoch daran interessiert, die häufig implizit belassene multiplikative Konstante zu steuern: Der übliche Aufbau erlaubt eine willkürliche Komprimierung von Konstanten über größere Alphabete, so dass die multiplikative Konstante dort nicht relevant ist, aber mit einem festen Alphabet sollte es möglich sein, dies zu berücksichtigen.
Zum Beispiel benötigt SAT mehr als Speicherplatz; andernfalls würde diese Raumobergrenze durch Simulation zu einer Zeitobergrenze von , und dadurch würde die kombinierte Raum-Zeit-Untergrenze für SAT von verletzt (siehe die Verknüpfung) Frage). Es scheint auch möglich zu sein, dieses Argument zu verbessern, um zu argumentieren, dass SAT mindestens Platz für ein kleines positives , das , wobei der konstante Exponent bei der Simulation eines raumbegrenzten TM durch ein zeitbegrenztes TM ist.
Leider ist in der Regel recht groß (und in der üblichen Simulation, bei der die Bänder eines TM zunächst über ein größeres Alphabet auf einem einzigen Band codiert werden, mindestens 2). Solche Schranken mit sind eher schwach, und ich wäre besonders an einer Raumuntergrenze von interessiert . Ein unbedingter Zeit gebunden unteren Schritte, für einige groß genug , um konstante , würde bedeuten , einen solchen Raum niedriger durch Simulation gebunden. Zeituntergrenzen von für sind derzeit nicht bekannt, geschweige denn für große .
Anders ausgedrückt, ich suche nach etwas, das eine Folge der Untergrenzen der superlinearen Zeit für SAT ist, das aber möglicherweise direkter erhalten werden kann.