אלגוריתם שיכול להציג התנהגויות שונות במספר ריצות, גם כאשר משתמשים באותן כניסות, נקרא? בהתחשב בשאלה הקודמת, כתוב את ההקשר שמכיל את התשובה. זה יכול להיות 1 - 20 משפטים. -הקשר:
מעמד המורכבות P נתפס לעתים קרובות כחיסרון מתמטי המודל את המשימות המחשביות שמאפשרות שימוש באלגוריתם יעיל. ההשערה הזו נקראת תזה קובאם-אדמונדס. מחלקת המורכבות NP, לעומת זאת, מכילה בעיות רבות שאנשים רוצים לפתור ביעילות, אך עבורן אין אלגוריתם יעיל ידוע, כגון בעיית הסיפוק הבולית, בעיית הנתיב ההמילטוני ובעיית כיסוי הקצה. מאחר ומכונות טיורינג דטרמיניסטיות הן מכונות טיורינג מיוחדות שאינן דטרמיניסטיות, ניתן להבחין בקלות שכל בעיה ב-P היא גם חברה בכיתה NP.