Computerwissenschaften

12
Über Codds Reduktionsalgorithmus

Der Algorithmus von Codd konvertiert einen Ausdruck in Tupelrelationsrechnung in relationale Algebra. Gibt es eine Standardimplementierung des Algorithmus? Wird dieser Algorithmus irgendwo verwendet? (Es scheint, dass die Branche nur SQL und Varianten benötigt. Ich bin mir nicht sicher, was...

12
Was ist Komplexitätsklasse

Was bedeutet die Komplexitätsklasse ? Ich weiß, dass die Komplexitätsklasse ist, die Sprachen enthält, für die es eine polynomielle zeitlich nicht deterministische Turing-Maschine so dass wenn die Anzahl der Akzeptanzzustände der Maschine am Eingang ungerade ist.⊕P⊕P⊕P⊕P\oplus P^{\oplus...

12
Ein Orakel, um NP von coNP zu trennen

Wie kann man beweisen, dass ? Ich suche nur nach einem solchen Orakel TM M und einer rekursiven Sprache L ( M ) = L, für die dies gilt.N PEIN≠ c o N PEINNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Ich kenne den Beweis , wo Sie zeigen , dass es ein Orakel , so dass P A ≠ N...