# Precise relation between complexity classes(focus on P, NP and EXPTIME)

I am interested in the precise relation between $P$, $NP$ and $EXPTIME$ classes.

What I know so far:

1. $P \subseteq EXP$ (from Time Hierarchy Theorem [1])
2. We don't know an exact relation between $P$ and $NP$, and between $NP$ and $EXPTIME$. What do we know:

2.1 $\forall problem \in P \Rightarrow problem \in NP$ (Any problem in $P$ is in $NP$.)

2.2 $\forall problem \in P \Rightarrow problem \in EXPTIME$ (Any problem in $P$ is in $EXPTIME$.)

3. In $P$ vs $NP$:

3.1 We haven't found an $NP$ $complete$ $problem$ that we can solve in polynomial time (this would imply $P = NP$)

3.2 We haven't found a proof that states that we can't find an polynomial (running time) algorithm for an $NP$ $complete$ $problem$ (this would imply $P \neq NP$)

3.3 From 3.1 and 3.2 we can't state anything about the cardinality of $NP-P$. Most of scientists belive that $P \neq NP$ so there are $NP$ problems that we can't solve in polynomial time.

First, if you find and "hole" in what is stated above, please correct me.

Now for my questions:

A. What can we say about $NP$ vs $EXPTIME$? Are there $EXPTIME$ $complete$ problems not in $NP$? For me it sounds like the $P$ vs $NP$ problem just one "level" (in the hierarchy) higher.

B. How does one go about finding a proof like in 3.2? Obviously we haven't found such a proof but I am looking to understand. The first idea that comes to mind is to go with a proof by contradiction. Not finding such a proof doesn't say much (maybe we are not "smart" enough). What else could we try? The problem reduces, in my opinion, to proving that an algorithm in "elegant" (in running time; that means that it is "the fastests")

Kind of bonus question:

C. How does this relate to Godel's incompleteness theorem? Maybe the better question (quite outside of the scope of the original question) is how much of the math we use on answering these questions can be considered a formal system(so we can apply Godel's result)? What parts are not "formal"?

D. I wasn't able (yet) to look very far into [1]. If possible, can someone give me an informal insight on how it handles defining a strict lower (time) bound for a certain problem?

## migrated from cstheory.stackexchange.comDec 7 '16 at 1:30

This question came from our site for theoretical computer scientists and researchers in related fields.

• This is not a research level question and I think you should ask it on cs.stackexhchange.com instead. – Sasho Nikolov Dec 6 '16 at 17:24
• Ok. I will post it over there. Thank you and sorry for wasting your time. Cheers! – MihaiM Dec 6 '16 at 21:08
• You can flag the question to be migrated for you. – Sasho Nikolov Dec 6 '16 at 22:00
• Welcome to CS.SE! This site works better if you ask only one question per post. If you have multiple questions, you can post them separately. As far as questions about what it would look like to prove $P \ne NP$, there's lots written on that, and you probably just need to do more research and searching -- there's little point in us repeating standard material and opinions on this subject. – D.W. Dec 7 '16 at 1:53

• $\mathsf{P} \subseteq \mathsf{NP} \subseteq \mathsf{EXPTIME}$.
• $\mathsf{P} \subsetneq \mathsf{EXPTIME}$ due to the time hierarchy theorem.
The P vs NP question is about the first two levels of the polynomial hierarchy. It is conjectured that all levels are distinct and different from $\mathsf{PSPACE}$, which is an upper bound on the hierarchy; and that $\mathsf{PSPACE}$ is distinct from $\mathsf{EXPTIME}$ (it is known that $\mathsf{PSPACE} \subseteq \mathsf{EXPTIME}$).
Finally, while some people have some ideas on how to prove $\mathsf{P} \neq \mathsf{NP}$, we mostly know a few general methods which cannot prove $\mathsf{P} = \mathsf{NP}$. These are known as barriers, and include diagonalization (used to prove the time hierarchy theorem), natural proofs (used to prove lower bounds in circuit complexity), and arithmetization (used to prove $\mathsf{IP}=\mathsf{PSPACE}$). The Wikipedia article about the P vs NP problem has a nice summary about these barriers.