Lecture 4 — המשך אי דטרמיניזם

Transcription

Select a line to highlight it on the page

1. שיעור 4
2. * אדדי יעילות ואחלקות סיבוכיות אי-דטרמיניסטיות
3. * אחלקות אי-דטרמיניסטיות סטות
4. * אימון / הצגה אלטרנטיבית ל-NP
5. אדדי יעילות לאכונות אי-דטרמיניסטיות -
6. תהא M מכונה אי-דטרמיניסטית. תהא x∈Σ^*_M .
7. time_M(x) אוגדר להיות אס' הצעדים בתסריט ריצה הארוך ביותר של M על x .
8. space_M(x) אוגדר להיות אס' התאים בהם M כותבת בתסריט ריצה של M על x שבו M כתבה באס' התאאיאלי של תאים.
9. מחלקות סיבוכיות אי-דטרמיניסטיות:
10. תהא F: IN → IN .
11. NTime(F) = {A ⊆ Σ^* | קיימת מכונה אי-דטרמיניסטית M כך שקיים c>0 כך ש-M אכריעה את A ולכל x∈Σ^* , time_M(x) ≤ c·F(|x|)}
12. NSpace(F) = {A ⊆ Σ^* | קיימת מכונה אי-דטרמיניסטית M כך שקיים c>0 כך ש-M אכריעה את A ולכל x∈Σ^* , space_M(x) ≤ c·F(|x|)}
13. [הערה] אסתכל בתוכו נסתכל על כל תסריטי הריצה האפשריים של M על x .
14. תכונות של המחלקות: תהאונה F,g: IN → IN .
15. 1. NTime(F) ⊆ NSpace(F)
16. 2. NSpace(F) ⊆ NTime(2^{O(F)})
17. [הערה] מהקשר בין זמן מקום לכאן
18. 3. אם g = O(F) אז: • NTime(g) ⊆ NTime(F)
19. • NSpace(g) ⊆ NSpace(F)
20. * משפטי ההיררכיה למחלקות אי-דטרמיניסטיות אונפוטים לאאר.