Jump to content

Talk:Berman–Hartmanis conjecture

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

[Untitled]

[edit]

Nice work. Small remark: paragraph 2 of section Statement says: "(...) and they proved a complexity-theoretic analogue of the Myhill isomorphism theorem *stating that all pairs of paddable NP-complete languages are p-isomorphic* ." I think it is grammatically unclear whether the last part refer to "the Myhill isomorphism theorem", or to "a complexity-theoretic analogue". Perhaps it can be phrased better. Maybe "(...) Myhill isomorphism theorem. They prove that (...)"? Still a bit clunky. 132.187.8.48 (talk) 09:42, 29 February 2012 (UTC)[reply]