-
משפט אימרמן
כל מה שרצית לדעת על משפט אימרמן:משפט אימרמן (Immerman–Szelepcsényi) הוא תוצאה בתורת הסיבוכיות (ענף במדעי המחשב) המראה כי מחלקות סיבוכיות מקום אי דטרמיניסטיות סגורות לפעולת המשלים (בעוד אותה שאלה עבור סיבוכיות זמן עודנה פתוחה וייתכן כי התשובה לה שלילית). המשפט הוכח בשנת 1987 באופן בלתי תלוי בידי ניל אימרמן ו-Róbert Szelepcsényi, אשר זכו ב-1995 בפרס…
-
APX
כל מה שרצית לדעת על APX:APX (קיצור המילה האנגלית Approximable, ניתן לקירוב) היא מחלקת סיבוכיות של בעיות אופטימיזציה להן ניתן למצוא פתרון מקורב. נלקח מויקיפדיה הגדרות נוספות הקשורות לAPX:•מחלקות סיבוכיות
-
PPAD
כל מה שרצית לדעת על PPAD:PPAD (Polynomial Parity Arguments on Directed graphs) היא מחלקת סיבוכיות המהווה תת-מחלקה של מחלקת הסיבוכיות TFNP. יחס בינארי שייך ל-PPAD אם ניתן להראות שהוא שייך ל-TFNP באמצעות הוכחה על דרגות הצמתים בגרף מכוון. המחלקה הוצגה לראשונה על ידי פרופסור קריסטוס פאפאדימיטריו מאוניברסיטת ברקלי בשנת 1994. חשיבותה של המחלקה נובעת מכך…
-
co-NP
כל מה שרצית לדעת על co-NP:לדוגמה: בעיית סכום תת-סדרה היא בעיית NP. הגדרתה היא: נתונה סדרה סופית של מספרים שלמים. האם קיימת לסדרה זו תת-סדרה, כך שסכום כל איבריה הוא אפס? תשובה מאשרת כלשהי לשאלה זו היא רשימת איברים שתומכים בטענה (סכומם אפס). תשובה זו ניתנת לבדיקה בזמן פולינומי – סכימת האיברים והשוואת הסכום לאפס.…