[Solved]: Proving that if $mathrm{NTime}(n^{100}) subseteq mathrm{DTime}(n^{1000})$ then $mathrm{P}=mathrm{NP}$

Problem Detail: I’d really like your help with proving the following. If $mathrm{NTime}(n^{100}) subseteq mathrm{DTime}(n^{1000})$ then $mathrm{P}=mathrm{NP}$. Here, $mathrm{NTime}(n^{100})$ is the class of all languages which can be decided by nondeterministic Turing machine in polynomial time of $O(n^{100})$ and $mathrm{DTime}(n^{1000})$ is Read More …