Sergey V. Yakhontov NP=NL and, therefore, P=NP as long as the polynomial upper bound is explicitly known for each language A in NP http://arxiv.org/abs/1208.0954 2012 CoRR abs/1208.0954 db/journals/corr/corr1208.html#abs-1208-0954