Deolaikar's P!=NP paper: Difference between revisions