Automata and Computability - Prove that an oracle C exists for which NPC coNPC.
See attached file for full problem description.
Automata and Computability - Show that the problem of testing whether two branching programs compute the same function is solvable in polynomial time if and only if P = NP
Automata and Computability - See Attached Sheet
Automata and Computability (A138) - See Attached Sheet
Automata and Computability (A18) - See Attached Question Sheet and Theorem Sheet