ההיררכיה הפולינומית
ההיררכיה הפולינומית היא דרך לסדר בעיות קשות לפי רמות. היא כוללת קבוצות כמו P, NP ו-co-NP. אורקל זה כלי מדומה. מכונה יכולה לשאול אותו שאלה ולקבל תשובה מיד. זה עוזר להגדיר יכולות חזקות יותר. כמתים הם מילים לוגיות. "קיים" אומר שיש משהו. "לכל" אומר שכולם מקיימים תנאי. הדרגה הראשונה היא P. כל דרגה חדשה...
אורקל (מדעי המחשב)
אורקל הוא קופסה שחורה שנותנת תשובות לשאלה בודדת בצעד אחד. קופסה שחורה הוא דבר שאפשר לשאול אבל לא לראות איך הוא עובד. אורקלים יכולים לפתור בעיות מאוד קשות, אפילו בעיות שלא תמיד אפשר לחשב, כמו בעיית העצירה (שאלה אם תוכנה תפסיק או תרוץ לנצח). מכונת טיורינג היא דרך לתאר מחשב פשוט בתור מודל. מכונת טיורי...