עץ בינארי – הבדלי גרסאות

ב[[תורת הגרפים]], '''עץ בינארי''' הוא [[עץ (תורת הגרפים)|עץ]] מכוון, שבו לכל [[צומת (תורת הגרפים)|קודקוד]] יש לכל היותר שני בנים, ולכל קודקוד, פרט לקודקוד מיוחס הנקרא '''שורש''', יש אב יחיד. אבות ובנים מוגדרים בעץ כזה לפי הקשתות: a הוא אב של b, ו- b הוא בן של a, בדיוק כאשר יש קשת המוליכה מ- a ל-b. קודקוד של עץ כזה נקרא גם '''צומת'''.

עץ בינארי הינוהוא עץ ריק (ללא צמתים), או עץ המורכב משורש ושני תתי-עצים בינאריים, ימני ושמאלי.

מספר הבנים של צומת נקרא ה'''דרגה''' שלו (0, 1 או 2). אם לשני צמתים יש אב משותף, הם '''אחים'''; אחד מהם הוא הבן הימני, והשני הוא הבן השמאלי. האב של צומת a, וכן האבות הקדומים של אותו אב, נקראים '''אבות קדומים''' של a (זוהי [[הגדרה רקורסיבית]]). הצמתים ש- a הוא אב קדום שלהם, נקראים '''צאצאים''' של a, ויחד עם a הם יוצרים '''תת-עץ''' של העץ המקורי. לכל שני צמתים שאף אחד מהם אינו אב קדום של חבירוחברו, יש אב קדום בעל רמה מקסימלית בין כל האבות הקדומים של שניהם; זהו '''האב המשותף''' שלהם.