2
Il miglior spazio attuale limite inferiore per SAT?
A seguito di una domanda precedente , quali sono i migliori limiti inferiori dello spazio corrente per SAT? Con un limite inferiore dello spazio qui intendo il numero di celle del worktape utilizzate da una macchina di Turing che utilizza un alfabeto binario del worktape. Un termine additivo costante è …