אי-שוויון קראפט – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏דוגמה: הרחבה, גרסה מקוונת
מ ←‏אלגוריתם מקוון: עריכה - משמעות "מקוון" כאן
שורה 24:
==אלגוריתם מקוון==
 
נחשוב על תהליך כלשהו המייצר את מילות הקבוצה <math>L</math> אחת אחרי השניה. לעתים יש צורך, ברגע שמילה נוצרת, לשייך אותה לצומת בעץ. ישנו [[אלגוריתם מקוון]] פשוט מאד המתאים לאי-שוויון קראפט. נסמן כל צומת בעץ כ'''פנוי''', '''משוייך''', או '''תפוס'''.
 
נסמן כל צומת בעץ כ'''פנוי''', '''משוייך''', או '''תפוס'''.
# בתחילה, כל צומת יהיה פנוי.
# בכל פעם שצומת הופך להיות משוייך, כל אחד מאבותיו (עד השורש) נהיה תפוס (ייתכן שחלקם כבר היו תפוסים).
# אם בצעד כלשהו צריך לשייך צומת ברמה <math>h</math>, נמצא את הצומת הפנוי השמאלי ביותר ברמה זו, ונשייך אותו.
 
המשפט לעיל אומר שאי-שוויון קראפט מתקיים אמ"ם אין צעד שבו אי אפשר למצוא צומת פנוי. נשים לב שהשיוכים מתבצעים כאן ללא בדיקת כל הקבוצה מראש, ולכן אכן מדובר באלגוריתם מקוון.
 
==חשיבות==