Donnez un algorithme NL pour le complément de 2-SAT

Question

Question 1: Quelle est la différence entre 2SAT et le complément de 2SAT?

Question 2: On sait que NL est contenu dans P, mais que nous savons de P sur NL? On peut dire qu'un algorithme qui s'exécute en P utilise l'espace NL?

Informations que je recueille

Je suis l'algorithme Papadimitriou pour résoudre 2-sauts avec LET Give 2-SAT Un graphique des nœuds connectés en fonction des spécifications contenues littérales et des clauses où les informations des nœuds et des connexions sont un conteneur dans un CNF de 2 littéraux par clause, car du problème doit être contenu dans NL, nous supposons que nous ne travaillons que pour résoudre ce problème dans 1 bande d'écriture et 1 seul bande d'entrée pour exécuter l'algorithme

    for i=0 repeat log2(n times)
      Choose Random initial assignment for every literal
         Repeat 2n^2
           -If
             The assignment satisfies all the paths in the sequence
             of clauses, Halt and report 
           -else
             Pick arbitrary unsatisfied clauses and flip the value of its literals
     Report unsatisfiable

Selon l'accouchement à 2 pour 2, une condition pour la possibilité de non-portée, si un chemin du graphique où il y a des nœuds connectés avec le même littéral et l'un d'eux est une négation, alors le graphique n'a pas de résultat satisfaisant et Ce serait le cas dans l'algorithme. C'est le même cas pour un complément de 2SAT.

Dans la solution non déterministe, l'algorithme ne pourrait donner qu'une réponse correcte ou un faux négatif en fonction de l'état de la disposition des clauses, mais ne récupérez jamais un faux positif en raison de la condition établie dans l'opérateur conditionnel.

Avec la clause ELSE, les algorithmes couvrent différentes clauses possibles qui retournent le littéral où la condition n'était pas satisfaite et essayait de nouvelles options.

L'algorithme utilise uniquement la mémoire pour maintenir le compteur en marche car le compteur correspond à la taille de l'entrée dans log2 (n) * 2n ^ 2 espace sur la bande d'écriture.

Il est également prouvé que 2SAT correspond à NL et NL-complete et nous savons que NL = CONL