Berman–Hartmanis conjecture

In structural complexity theory, the Berman–Hartmanis conjecture is an unsolved conjecture named after Leonard C. Berman and Juris Hartmanis. Informally, it states that all NP-complete languages look alike, in the sense that they can be related to each other by polynomial time isomorphisms.