עץ אדום שחור

דוגמה לעץ אדום-שחור, שהינו עץ מאוזן, אשר בו כל הקודקודים בעומק 0 ו-2 צבועים בשחור, וכל הקודקודים בעומק 1 ו-3 צבועים באדום

במדעי המחשב, עץ אדום-שחור (באנגלית: Red-Black Tree) הינו מבנה נתונים מסוג עץ חיפוש בינארי מאוזן.

עץ אדום-שחור הוא מבנה נתונים מורכב יחסית, אך בשל היותו מאוזן הוא שומר על סיבוכיות זמן ריצה טובה, יעילה ומעשית עבור הפעולות השונות הנתמכות: "הכנסה", "הוצאה" ו"חיפוש" בזמן של (O(log n במקרה הגרוע ביותר (כאשר n הוא מספר האיברים בעץ בעת ביצוע הפעולה).

שמו של העץ נובע מהתכונה הבאה שלו: בסיומה של כל פעולה (הכנסה, הוצאה, חיפוש) העץ מאוזן, כלומר: כל הקודקודים בעלי עומק זוגי מסומנים/צבועים בצבע אחד (שחור), וכל יתר הקודקודים (בעלי עומק אי-זוגי) צבועים בצבע אחר (אדום). או במילים אחרות: בכל רגע נתון, עבור כל קודקוד הצבוע בצבע אחד - מתקיים כי כל הקודקודים הסמוכים אליו צבועים בצבע אחר.

רקע היסטורי

מבנה הנתונים המקורי הומצא בשנת 1972 על ידי רודולף באייר אשר קרא לו "עץ B בינארי סימטרי" (באנגלית: symmetric binary B-tree) ואת שמו המקורי קיבל במאמר שנכתב על ידי רוברט סדגוויק וליאונידס גויבס בשנת 1978.

טרמינולוגיה

עץ אדום שחור הוא סוג מיוחד של עץ בינארי, בו משתמשים במדעי המחשב לארגון מידע בר השוואה כגון מספרים או טקסט.

העלים של עץ אדום שחור אינם מכילים מידע. עלים אלו בדרך כלל לא מופיעים בזיכרון אלא מופיעים כ-null, שמשמעותו במדעי המחשב היא "כלום" או "ללא ערך" והוא בדר"כ מיוצג על ידי 0, אך ניתן לפשט אלגוריתמים מסוימים באמצעות עלה יחיד המופיע בזיכרון המשמש לייצוג כל העלים של העץ. כלומר, כל ההפניות מצמתים פנימיים לעלים מצביעות לאותו עלה.

לעתים מגדירים עץ אדום שחור כעץ בו הקשתות צבועות ולא הצמתים אך למעשה אין לכך כל משמעות, צבעו של צומת בטרמינולוגיה של הערך יכול להיות צבעה של הקשת המחברת אותו לאביו, מלבד השורש, אשר צבעו תמיד שחור אך כפי שנראה בהמשך הגדרה זו אינה הכרחית ולא משמעותית במיוחד.

מאפיינים

עץ אדום שחור הוא עץ בינארי בו לכל צומת קיים שדה המגדיר צבע, שערכו אדום או שחור. בנוסף לדרישות הרגילות של עצי חיפוש בינאריים, עץ אדום שחור מקיים גם את הדרישות הבאות:

1. צומת הוא שחור או אדום (אחד מן השניים).

2. השורש הוא שחור (כלל זה לעתים מושמט מכיוון שצבע השורש תמיד יכול להשתנות מאדום לשחור אך לא תמיד להפך, אך השפעתו על ניתוח הסיבוכיות קטנה בכל מקרה)

3. כל העלים שחורים.

4. שני ילדיו של צומת אדום הם שחורים.

5. כל מסלול פשוט מצומת מסוים לכל אחד מהצאצאים העלים שלו מכיל אותו מספר של צמתים שחורים.

אילוצים אלו כופים הגדרה משמעותית על עצים אדומים שחורים: אורכו של המסלול הארוך ביותר מהשורש לכל אחד מן העלים הוא לכל היותר פעמיים אורכו של המסלול הקצר ביותר מהשורש לאחד העלים. התוצאה היא שהעץ מספיק מאוזן כדי לשמור על סיבוכיות טובה של הפעולות השונות, מכיוון שפעולות אלה דורשות במקרה הגרוע ביותר זמן יחסי לגובה העץ, הגבלת גובה העץ מגבילה גם את סיבוכיות הפעולות.

על מנת לראות מדוע מאפיינים אלה מבטיחים הגדרה זו, מספיק להבחין בכך שאף מסלול לא יכול להכיל שני צמתים אדומים ברצף, לפי מאפיין מספר 4. המסלול הקצר ביותר מכיל צמתים שחורים בלבד והמסלול הארוך ביותר מכיל לסירוגין צמתים אדומים ושחורים. בנוסף, כל המסלולים מהשורש לעלים מכילים מספר זהה של צמתים שחורים, לפי מאפיין מספר 5, ולכן אין מסלול הארוך פי שניים מאורכו של מסלול אחר.

בייצוגים רבים של עצים בתור מבני נתונים, לצומת יכול להיות בן אחד בלבד, ועלים תמיד מכילים מידע. קיימת אפשרות לייצג עצים אדומים שחורים בפרדיגמה זו, אך היא משנה ומוסיפה מאפיינים שונים ומסבכת את האלגוריתם. מסיבה זו אנו משתמשים בערך זה בעלים ריקים אשר מטרתם היא לסמן את "סוף" העץ, כפי שהראנו למעלה, ובצמתים בעלי שני בנים בלבד.

פעולות

הכנסה (Insert): הכנסת איבר לעץ, בצורה שתשמור על איזונו. ניתן לבצע בזמן של ((O(log(N .

הסרה (Remove): הסרת איבר מבוקש מהעץ. ניתן לבצע בזמן של ((O(log(N.

מכיוון שפעולות אלו משנות את העץ התוצאה עלולה להפר את התכונות של העץ. כדי לשמור על תכונות העץ עלינו לשנות את צבעיהם של כמה מן הצמתים, ואף את מבנה ההצבעה.

שינוי מבנה ההצבעה נקרא רוטציה. קיימים שני סוגים של רוטציה: רוטציה ימנית (Right-Rotate), ורוטציה שמאלית (Left-Rotate).

רוטציה

רוטציה

נתון צומת אב X שלו שני בנים: שמאלי-Z , ימני-Y . גם ל-Y שני בנים: שמאלי-A , ימני-B ,כנ"ל עם Z שבניו בהתאמה C ו-D.

לאחר רוטציה ימנית, X יהיה בנו השמאלי של Y , כאשר A יהפוך להיות בנו הימני של X.

לעומת זאת, לאחר רוטציה שמאלית, X יהיה בנו הימני של Z , כאשר D יהיה בנו השמאלי של X.

אלגוריתם להכנסת איבר חדש לעץ אדום-שחור

להצגת אלגוריתם להכנסת איבר חדש לעץ אדום-שחור - לחצו על "הצגה" משמאל

הכנסת איבר חדש X לעץ - על פי אלגוריתם סטנדרטי של הכנסה לעץ חיפוש בינארי (X יהפוך לעלה חדש של העץ). צביעת X באדום. כל עוד X אינו השורש וגם אביו של X אדום בצע: אם הדוד אדום בצע: צביעת הדוד של X בשחור. צביעת האבא של X בשחור. צביעת הסבא של X באדום. כעת X מצביע לסבא של X. אחרת (הדוד שחור) בצע: אם האבא של X הוא בן שמאלי בצע: אם X הוא בן ימני בצע: כעת X מצביע לאבא של X. רוטציה שמאלית ל-X. צביעת אבא של X בשחור. צביעת סבא של X באדום. רוטציה ימנית לסבא של X. אחרת (אבא של X בן ימני) בצע: אם X הוא בן שמאלי בצע: X מצביע לאבא של X. רוטציה ימנית ל-X. צביעת אבא של X בשחור. צביעת סבא של X באדום. רוטציה שמאלית לסבא של X. צביעת השורש בשחור.

שימושים ויישומים

מבנה נתונים מסוג עץ אדום שחור משמש בדרך כלל למימוש מילון.

קישורים חיצוניים

• אוסף מצגות, הדגמות ותרגילים עם פתרונות בנושא עצי אדום-שחור
• הרצאה של רוברט סדג'וויק על גרסה חדשה (2008) של עצי אדום שחור