Skip to main content
2 of 4
added 77 characters in body

Non-deterministic TM with an oracle to $R$

Let $R$ be the set of all decidable languages. Consider $P^R$. That is, the set of all languages that can be decided via a polynomial time deterministic TM with an oracle to any language $L\in R$.

I'd like to show that $NP\subseteq P^R$. My intuition is to somehow define $NP=NP^{O(1)}$, and then to prove its a subset, yet when I tried doing so, I got tangled with the formalities of the proof itself .

Trying to prove by the definition of $NP$, that is to say that: a language $A\subseteq \Sigma^*$ is $A\in NP$ when a polynomial deterministic turing machine $M_A$ exists such that: $x\in A \leftrightarrow \exists y: \, M_A(x,y)=1$

It is left to show how construct a polynomial deterministic TM $N_A$ with an oracle to any $L\in R$, such that: $x\in A\leftrightarrow \exists L:\, N_A^{L}\left(x\right)=1$ When $N_A^L$ indicates a polynomial deterministic TM $N_A$ with an oracle to $L$.

While I can "fake" such a dummy $L$ with the language $A$ itself, I don't know how to disprove aby such language exists. That is, consider $x\notin A$. How can I show that $N_A^L$ will return false for any $L$?(The oracle is on $L$)

Hopefully I was able to explain my goal, my idea/method and where I got stuck on the proof. If any of those were unclear, please comment and I'd update my question accordingly.

Edit 1: Mixed non-deterministic and deterministic, fixed and in bold.