I am a CS student. I am looking at some questions my professor made and I got stuck in this one.
"Which one of the following inclusions between complexity classes is coherent with the current knowledge? (even if not proved, yet)". The possible answers are:
- P $\subseteq$ EXP (Which I know it is true)
- NP $\subseteq$ EXP (Which I know it is also true)
- EXP $\subseteq$ P (Which is clearly false)
- EXP $\subseteq$ NP
Now, if I flag as correct answers only the two I know that are true, I obtain that my answer is partially correct. So in conclusion my question is: Given the current knowledge can we say that EXP $\subseteq$ NP or is this just a mistake of my professor?
Thank you for your answers!