משפט קוק-לוין

כל מה שרצית לדעת על משפט קוק-לוין:
משפט קוק-לוין הוא משפט בתורת הסיבוכיות, שזיהה לראשונה בעיה NP-שלמה.
את המשפט הוכיחו, באופן בלתי תלוי, סטיבן קוק בשנת 1971, ולאוניד לוין בשנת 1973.

נלקח מויקיפדיה

הגדרות נוספות הקשורות למשפט קוק-לוין:
בעיות NP-שלמות
משפטים במדעי המחשב