Revision #1105 → #1725 · back to history
addedBlum complexity axioms41a965fd3a61
addedBig O notation58a5afb0530e
addedPolynomial-time reduction4cdd08c94230
addedNP-hard problem19509779c9ad
addedNP-complete problem08109c477c4e
addedBoolean satisfiability problem0e59fe66658f
addedBlum's speed-up theoremb2fbefc24982
addedKarp's 21 NP-complete problems4af9cede61bb