
On BakerGillSolovay Oracle Turing Machines and Relativization Barrier
This work analysis the socalled "Relativization Barrier" with respect t...
read it

Diagonalization of PolynomialTime Turing Machines Via Nondeterministic Turing Machine
The diagonalization technique was invented by Cantor to show that there ...
read it

Resolution of The LinearBounded Automata Question
This work resolve a longstanding open question in automata theory, i.e. ...
read it

A Negative Answer to P?=PSPACE
There is a conjecture on P?=PSPACE in computational complexity zoo. It i...
read it

P≠ NP
The whole discussion is divided into two parts: one is for Σ≥ 2 (gener...
read it
Tianrong Lin
is this you? claim profile