חזור לתיקייה: תרגול

13 - עצים מכוונים

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • כללי

13 - עצים מכוונים

02340141

קומבינטוריקה למדעי המחשב

רשימות תרגול לקריאה בשבת

עצים מכוונים

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

הגדרה 1 (עץ מכוון)

גרף מכוון GGG יקרא עץ אם יש לו שורש וגרף התשתית שלו הוא עץ.

משפט

יהי גרף מכוון GGG. אזי, כל התנאים הבאים שקולים:

  1. GGG עץ מכוון.
  2. ל-GGG יש שורש rrr ממנו יש מסלול מכוון יחיד לכל צומת.
  3. ל-GGG יש שורש rrr עבורו din(r)=0d_{in}(r)=0din​(r)=0 ולכל צומת אחר uuu מתקיים din(u)=1d_{in}(u)=1din​(u)=1.
  4. ל-GGG יש שורש rrr והסרת כל קשת מ-GGG תפגום בתכונה זו.
  5. גרף התשתית של GGG קשיר, יש ב-GGG צומת vvv עבורו din(v)=0d_{in}(v)=0din​(v)=0 ולכל צומת אחר uuu מתקיים din(u)=1d_{in}(u)=1din​(u)=1.