<p>It follows from the celebrated <a href="https://en.wikipedia.org/wiki/Time_hierarchy_theorem" rel="nofollow noreferrer">time hierarchy theorem</a>.</p>

CC BY-SA 3.0
2017-11-07T15:33:07.427Z
2017-11-07T15:33:07.427Z
Lwins
<p>Can someone give me the name of a paper where this is proved or maybe just prove it here (if it's easy enough)?</p>

<cc.complexity-theory><exp-time-algorithms>
Proof: PTIME not equal EXPTIME
D. Rusin
# Proof: PTIME not equal EXPTIME

(Asked by: username_0 on 2017-11-07)

Can someone give me the name of a paper where this is proved or maybe just prove it here (if it's easy enough)?

**Tags:** cc.complexity-theory, exp-time-algorithms

---

## 1 answers

### Answer by username_1 on 2017-11-07. Score: 1

It follows from the celebrated [time hierarchy theorem](https://en.wikipedia.org/wiki/Time_hierarchy_theorem).


---

