2
Beste aktuelle Raumuntergrenze für SAT?
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 …