כל מה שרצית לדעת על משפט אימרמן:
משפט אימרמן (Immerman–Szelepcsényi) הוא תוצאה בתורת הסיבוכיות (ענף במדעי המחשב) המראה כי מחלקות סיבוכיות מקום אי דטרמיניסטיות סגורות לפעולת המשלים (בעוד אותה שאלה עבור סיבוכיות זמן עודנה פתוחה וייתכן כי התשובה לה שלילית).
המשפט הוכח בשנת 1987 באופן בלתי תלוי בידי ניל אימרמן ו-Róbert Szelepcsényi, אשר זכו ב-1995 בפרס גדל על תוצאה זו.
באופן פורמלי, תוצאת המשפט הינה כי לכל פונקציה מתקיים .

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

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