I skimmed [2] and it seems very interesting. Still, regardless of whether P!=NP, it is known that P is contained in NP which is contained in PSPACE. These clas

I skimmed [2] and it seems very interesting. Still, regardless of whether P!=NP, it is known that P is contained in NP which is contained in PSPACE. These classes are defined for certain computational models. If you change the computational model then those definitions might not make sense.