Als «complexity-theory» getaggte Fragen

7
Rechenkomplexität nicht aller gleich SAT-Varianten

Nicht alle gleich SAT ist ein NP Complete-Problem. Betrachten wir nun eine andere Variante des Problems. Bei einem NAESAT-Problem (Not All Equal SAT) (beliebige Anzahl von Literalen pro Klausel zulässig) mit einer zusätzlichen Einschränkung, dass jedes Klauselpaar mindestens 1 Literal gemeinsam hat...

7
gegen

Es gibt eine äquivalente Definition für die Klasse NLNL\mathsf{NL}mit Verifizierer. Diese Prüfer sind deterministische Turing-Maschinen, die das Zeugenband nur einmal auf eine Weise von links nach rechts lesen können. Eine Funktion gegeben f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} das sagen wir...