עץ (תורת הגרפים) – הבדלי גרסאות

הבעיה המרכזית בנושא היא שחזור העץ הסביר ביותר ממידע על העלים שלו. ארכי הקשתות של העץ מגדירים מטריקה על קבוצת העלים שלו. בהנתן [[מטריקה]] על העלים, '''תנאי ארבעת הקודקודים''' ([http://homepages.inf.ed.ac.uk/opb/homepagefiles/phylogeny-scans/metricproperties.pdf Buneman, 1974]) הוא תנאי הכרחי ומספיק לכך שהמטריקה ניתנת למימוש על ידי עץ פילוגנטי: נדרש כי לכל ארבעה עלים i,j,k,l, מבין שלושת הסכומים <math>d(i,j)+d(k,l)</math>, <math>d(i,k)+d(j,l)</math> ו-<math>d(i,l)+d(j,k)</math>, המקסימום מתקבל לפחות פעמיים.