Polynomial reducibilities and upward diagonalizations
István Simon, John T. Gill · 1977
@ NP then ≤mP and ≤TP differ on NP. One method that might prove helpful in settling this conjecture is to exhibit an efficient construction that builds from any nonpolynomial set A a set B such that A ≤TP B but A