תורת החישוביות/סיבוכיות קולמוגורוב/הסתברות אוניברסאלית: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
Atavory (שיחה | תרומות)
Atavory (שיחה | תרומות)
שורה 178:
 
====התכנות בניית עץ השיוך====
{{להשלים}}
{{בעבודה}}
 
 
ב[[#בניית עץ השיוך|בניית עץ השיוך]] הנחנו שאם אנו בונים את העץ לפי הכללים, אז בכל פעם שמסתיימת תוכנית <math>M_k</math>, אם <math>n_k</math> התעדכן כלפי מטה, אז יש צומת פנוי ברמה <math>n_k + 1</math>. מדוע זה נכון?
שורה 222 ⟵ 219:
 
}}
 
המשפט האחרון מראה כי ערכי ה-<math>n_k</math> אשר משוייכים לצמתים, ממלאים את [[w:אי-שוויון קראפט|אי-שוויון קראפט]]. אפשר לראות שאלגוריתם השיוך המקוון החמדני שכאן אכן מצליח לשייך במקרה זה.
 
==תער אוקאם==