# Conesequences of $\forall k\in \mathbb N \space NP\not\subseteq TISP(poly(n),n^k)$

Does $\forall k\in \mathbb N \space NP\not\subseteq TISP(poly(n),n^k)$ has any separation of classes or consequences?

My main question is can use this to show that $P \neq NP$ or some thing useful about $P \neq NP$ .

• Why do we need the $\forall$ quantifier here? If $NP$ is not a subset of $TISP(poly(n),n)$ then your statement should also be true for all $k>1$? – C Komus Sep 3 '18 at 7:35
• yes, they are equals. I thought they are different. – Mohsen Ghorbani Sep 3 '18 at 7:52
• I think they are equals to $NP \not \subset TISP(poly(n),n^{o(1)})$ too. – Mohsen Ghorbani Sep 3 '18 at 7:58

• It also can show $SC \neq NP$ in similar way. – Mohsen Ghorbani Sep 2 '18 at 19:50