Talk:Ladner's theorem

There is a page named "Talk:Ladner's theorem" on Wikipedia

Talk:NP-intermediate (redirect from Ladner's theorem)
September 2010 (UTC) As someone who's not an expert on the subject, the quote "Ladner's proof explicitly constructs an NP-intermediate problem" puzzled me until...

6 KB (834 words) - 00:09, 7 February 2024
Talk:Russell Impagliazzo
for "Impagliazzo's Hard-Core Lemma", as well as a canonical proof of Ladner's Theorem (used in Arora and Barak) among other things. —Preceding unsigned comment...

2 KB (217 words) - 20:57, 3 February 2024
Talk:NP-completeness (section In disagree with the Theorem of Cook and its definition)
explanation on pages 154-155 of Garey and Johnson. It follows from a 1975 theorem of Ladner that if P is not equal to NP, then for every NP-complete problem,...

109 KB (16,898 words) - 19:26, 16 June 2024