Lecture 15 — אורקלים

Transcription

Select a line to highlight it on the page

1. שיעור 15
2. [לא ברור] [לא ברור] [לא ברור] [לא ברור]:
3. טענה: תהא F:IN→IN
4. אזי NTime(F) ⊆ DSpace(F)
5. הוכחה: תהא A∈NTime(F)
6. אז קיימת מכונה לא-דטרמיניסטית M כך שקיים c>0 כך ש-M מכריעה את A באופן לא-דטרמיניסטי. וגם לכל x∈Σ^*, time_M(x) ≤ c·F(|x|).
7. [הערה] לא זוכרת אם לקחת דו-סרטית
8. [הערה] כי מסתכלים על מקום [לא ברור] [לא ברור]
9. [הערה] אותי [לא ברור]
10. נגדיר מכונה M̂ דו-סרטית באופן הבא: על קלט x∈Σ^*: 1. לכל [לא ברור], נסמן את המחרוזות באורך i·3log|<M>|. אז כל תסריט הריצה של M על x
11. שהמחרוזות מתארות עברו, נגדיר i=k.
12. [הערה] C·F(|x|) ←— [לא ברור] נשתמש בזה [לא ברור] ש-F חשיבה
13. [הערה] מה האורך של תסריט ריצה של
14. [הערה] M על x ?
15. [הערה] נשתמש בזה עוד [לא ברור]
16. 2. M̂ תכתוב α=3log|<M>|·K אפסים על הסרט השני:
17. [הערה] לכל צעד בחישוב, נקודד את השלשה
18. [הערה אדומה] צעד אחד
19. [הערה אדומה] מס' צעדים
20. [הערה] עברנו על כל תסריטי הריצה
21. 3. לכל מחרוזת w באורך α:
22. [הערה] המתאימה: - המצב הבא ⌈log_2|Q_M|⌉
23. [הערה] האפשריים ובדקנו אם יש אחד מקבל
24. [הערה] - התו שנכתב ⌈log_2|Γ_M|⌉
25. 3.1 נבדוק אם w מקודדת תסריט ריצה חוקי של M על x.
26. [הערה] - תזוזת הראש 1
27. [הערה] ⌈log_2|Q_M|⌉ + ⌈log_2|Γ_M|⌉ + 1 ≤ 3log|<M>|
28. 3.2 אם כן, נבדוק האם התסריט מקבל.
29. אם כן, M̂ תקבל
30. 4. M̂ תדחה.
31. שלב 1 M̂ מכריעה את A.
32. רעיון: בהינתן x, M̂ עוברת על כל תסריטי הריצה של M על x ומחליטה האם קיים תסריט מקבל של M על x.
33. שלב 2 לכל x∈Σ^*, space_M̂(x) ≤ O(F(|x|))
34. רעיון: K ≤ C·F(|x|) ולכן המקום הדרוש של M̂ בריצתה על x הוא לא יותר מ- C·3log|<M>|·F(|x|)·space_M(x) ≤ O(F(|x|))