Oracle Turing machines

24 Novembro 2017, 10:00 José Félix Gomes da Costa

Turing reduction in polynomial time. Characterization. Example: MAXCLIQUE <= CLIQUE.

Some results on relative computation. Example theorem: If T is a tally set and DEXT(T) = DEXT, than T \in P.

Equivalence between closure under complementation and closure under Turing reduction for some complexity classes, such like NP and co-NP.

The open problem NP =/= co-NP.