Definizione del certificato di NL

Question

Secondo il libro di Sanjeev Arora, per una definizione basata sul certificato di $ nl $, la macchina è consentito un nastro di certificato "lettura-once" per archiviare il certificato insieme a $ O (log n) $ lettura/scrittura nastro di lavoro per un nastro deterministico macchina verificatore.

Il mio dubbio è che per un problema $ 3-sat $, se invece di conservare un incarico alle variabili da $ n $, memorizzo gli incarichi $ 3k $ a $ 3k $ letterali in una formula da 3-sat da $ k $ in nastro certificato. In questo modo non devo rileggere un simbolo precedente e posso andare da sinistra a destra nel nastro del certificato ad ogni passaggio della macchina.

E nel nastro di lavoro posso calcolare o di 3 letterali. Se è $ 0 $, allora rifiuto, se è $ 1 $, cancello il contenuto del nastro di lavoro e memorirò i valori di 3 letterali della clausola successiva e ripeto. Se tutte le clausole fossero soddisfacenti, accetto.

Il certificato è anche polinomio nella lunghezza dell'input. Si prega di indicare il difetto in questo argomento, altrimenti $ 3-sa-$ $ in NL $, che non si ritiene sia vero.