ההיררכיה הפולינומית

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