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