-"/6(6(x -

20+)12812
0 'G'NO

7
7
-

43
18
BFS +

0.6128x144g 0.0-2-
xbx
-

13 -
10 -
-18-

17 -
28 x
& sindd-
24 -
28 B FS -

29 -
38 BFS - 1(1)
-

34 -
35 BFS c199
-

36 48 3.2.1x100 y() 5606-

-
+
x

41 -

43 80x1 +31 82z -

45-49 DFS jrk@

50 -
52 DFS x32x-

56 -
58 DFS 78
59-61 +0 910-
63 0 "LC10D <y135
CH 100x prox 6601
65 DAG -arood you
pos Pcc
66 -

67 TIMO'd II'd
·

70-F1 ofix Px'* 0coisc

i22d4
7

xjxx)
+

72 x slibor jik Pines &

73 -

74 56x1 +
x1934

75 k.S -
-y(s) 6681
77 Mst-'dxj &1 80G
78 79 -

x194

80 88
x40x +86&d
-

O2 x321 j' +
84014 0x1951
83 prim o x13d
84 85 -

prim-8 1371 '516-

‫הרצאה ‪- 1+2‬‬
‫הקדמה לגרפים ‪+‬‬
‫‪BFS‬‬
‫אלגוריתמים ‪2‬‬
‫גרפים‬
 ‫מנהלות‬
‫מרצה‪ :‬ליאור ארונשטם‬
‫מתרגלת‪ :‬חבצלת כהן‬
‫שעות קבלה מרצה‪ :‬ימי ראשון‪ 13:00 ,‬בתיאום במייל‪.‬‬
‫במידה והשעה לא נוחה ניתן לקבוע עם המרצה זמן אחר‬
‫מייל‪liorar1@ac.sce.ac.il:‬‬
 ‫מנהלות‬
‫‪ 3‬שעות הרצאה‬
‫‪ 2‬שעות תרגול‬
‫‪ 3‬עבודות בית‪ -‬לא להגשה‬
‫האקתון בסביבות שבוע ‪15% - 10‬‬
‫מבחן ‪( 85%‬ציון ‪ 56‬לפחות על מנת לעבור)‬

‫‪3‬‬
 ‫מבנה הקורס‬

‫הקורס עוסק באלגוריתמים על גרפים‪+‬רשתות זרימה‬

‫נושא ראשון‪-‬אלגוריתמים על גרפים ללא משקל‬
‫נושא שני‪ -‬עץ פורש מינימלי‬
‫נושא שלישי‪ -‬מסלולים קצרים בגרף ממשוקל‬
‫נושא רביעי‪ -‬זרימה‬
‫נושא חמישי –זיווגים‬

‫החומר יועבר גם בתרגולים וגם בהרצאות בצורות שונות‪ .‬לכן חשוב להיות נוכחים‬
‫בשניהם‪.‬‬
‫נושא אחד ילמד בצורה עצמאית‪.‬‬
 ‫גרפים‪-‬תזכורת‬
‫גרף )𝐸‪ 𝐺 = (𝑉,‬מורכב מ‪:‬‬
‫𝑉‪ -‬קבוצת קודוקדים‬
‫𝑉 × 𝑉 ⊆ 𝐸‪-‬קבוצת צלעות‬
‫ישנם שני סוגי גרפים‪:‬‬
‫גרף לא מכוון‪ -‬שבו לצלע אין כיוון‪ ,‬כלומר אין הבדל בין‬
‫)𝑏‪ (𝑎,‬ו)𝑎‪.(𝑏,‬‬
‫גרף מכוון‪ -‬שבו לצלע יש כיוון‪ ,‬כלומר הצלעות )𝑏‪(𝑎,‬‬
‫ו)𝑎‪ (𝑏,‬הן צלעות שונות‪.‬‬
 ‫גרפים‪-‬תזכורת‬

‫‪1‬‬ ‫‪2‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬

‫‪3‬‬

‫‪5‬‬ ‫‪4‬‬ ‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬

‫גרף לא מכוון‬ ‫גרף מכוון‬

 ‫גרפים‪-‬תזכורת‬
‫מסלול בגרף מקודקוד ‪ 𝑥1‬לקודקוד 𝑘𝑥 הוא רצף‬
‫קודקודים‪ ,𝑥1 ,𝑥2 , … ,𝑥𝑘−1 ,𝑥𝑘 :‬כך ש לכל 𝑘 < 𝑖 ≤ ‪ 1‬הצלע‬
‫) ‪ (𝑥𝑖 ,𝑥𝑖+1‬שייכת לגרף‪.‬‬
‫אורך מסלול מוגדר להיות מספר הצלעות במסלול ( כלומר‬
‫מספר הקודקודים פחות ‪.)1‬‬
‫מרחק בין שני קודקודים 𝑣‪ 𝑢,‬הוא אורך המסלול המינימלי‬
‫בינהם‪ .‬מסומן 𝑣‪.𝛿 𝑢,‬‬
‫אם אין מסלול בין שני קודקודים אזי המרחק בינהם הוא ∞‪.‬‬
 ‫גרפים‪-‬תזכורת‬
‫תארו ‪ 3‬מסלולים שונים לפחות מ‪ 1‬ל‪.3‬‬
‫‪1‬‬ ‫‪2‬‬
‫מה אורך המסלולים?‬
‫‪2‬‬ ‫מהו )‪?𝛿(1,4‬‬

‫}‬
‫‪3‬‬ ‫'‬

‫‪ON‬‬
‫‪a‬‬ ‫מהו )‪?𝛿(1,3‬‬ ‫‪-06‬‬

‫מהו )‪?𝛿(3,4‬‬ ‫‪Wjw‬‬

‫‪5‬‬ ‫‪4‬‬ ‫‪1‬‬
‫‪6‬‬ ‫‪H‬‬
‫‪-‬‬

‫‪N‬‬ ‫מהו )‪?𝛿(5,6‬‬ ‫‪217217‬‬

‫‪6- 8 5‬‬ ‫‪Hot‬‬ ‫‪3172178‬‬
‫‪°‬‬
‫‪10‬‬ ‫‪M‬‬
‫'‬
 ‫גרפים‪-‬תזכורת‬
‫‪ C. 2,5‬תארו ‪ 3‬מסלולים שונים לפחות מ‪ 1‬ל‪.4‬‬ ‫‪,‬‬
‫)‪4‬‬ ‫‪,‬‬ ‫) ‪(1,4‬‬

‫מה אורך המסלולים?‬ ‫‪3. 1‬‬

‫מהו )‪?𝛿(1,4‬‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫מהו )‪: ?𝛿(4,1‬‬
‫‪D‬‬ ‫מהו )‪? 𝛿(3,2‬מהו )‪?𝛿(2,3‬‬ ‫‪3‬‬

‫‪0‬‬ ‫מהו )‪?𝛿(6,6‬‬

‫‪55‬‬ ‫‪He‬‬ ‫‪-01µs‬‬ ‫? ‪-1714‬‬
‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬
‫'‬
 ‫ייצוג גרפים במחשב‬
‫ישנן שתי שיטות עיקריות לייצג גרפים במחשב‪:‬‬
‫רשימת שכנויות‬
‫מטריצת שכנויות‬
‫בכל שיטה נבחן‪:‬‬
‫כמות הזכרון שמשתמשים‬
‫כמות הזמן שלוקח לבצע פעולות בסיסיות‬
 ‫רשימת שכנויות‬
‫כדי לייצג גרף )𝐸‪,𝐺 = (𝑉,‬הרשימה מכילה‪:‬‬
‫‪IVI‬‬
‫מערך 𝑗𝑑𝑎 של רשימות מקושרות בגודל |𝑉| ‪ ,‬לכל‬ ‫‪INO‬‬
‫'‬
‫‪ON‬‬ ‫✗‬
‫‪-‬‬

‫‪2172117‬‬
‫'‬
‫•‬

‫קודקוד בגרף יש רשימה שמתאימה לו‪.‬‬ ‫↳‬

‫‪+‬‬ ‫'‬
‫‪bi‬‬ ‫‪7-ON‬‬
‫לכל קודקוד 𝑢‪ ,‬הרשימה ]𝑢[𝑗𝑑𝑎 מכילה את כל‬ ‫‪-‬‬
‫‪be , µ‬‬

‫הקודוקדים שיש צלע מ𝑢 אליהם‪.‬‬

 ‫רשימת שכנויות‬
if he adi
got ✗ ON
-8 Tia -87

1 2 2*17 1 2 5 /
2 1 5 3 4 /
3 3 2 4 /
4 2 5 3 /
5 4 5 4 1 2 /
 ‫✗‬
‫רשימת שכנויות‬
‫*‬ ‫→‬
‫"‪-106‬‬
‫☒‬ ‫@ ‪N-th -31‬‬
‫'‬

‫‪adj‬‬
‫‪770N‬‬ ‫‪-‬‬

‫‪8TH‬‬ ‫‪-8*7‬‬

‫‪2‬‬ ‫‪3‬‬ ‫‪3*4‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫‪4‬‬ ‫‪/‬‬

‫‪1‬‬
‫‪2‬‬ ‫‪5‬‬ ‫‪/‬‬
‫‪3‬‬ ‫‪6‬‬ ‫‪5‬‬ ‫‪/‬‬
‫‪4‬‬ ‫‪2‬‬ ‫‪/‬‬
‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬ ‫‪5‬‬ ‫‪4‬‬ ‫‪/‬‬
‫‪6‬‬ ‫‪6‬‬ ‫‪/‬‬
 ‫רשימת שכנויות‬

‫מהו סכום האיברים בכל הרשימות המקושרות‪:‬‬

‫‪let‬‬ ‫‪-‬‬

‫→‬ ‫✗‬
‫] ‪IN‬‬ ‫כאשר הגרף מכוון?‬
‫‪0668‬‬
‫‪21 C- I‬‬ ‫‪-‬‬

‫‪2 D-‬‬ ‫☒‬ ‫‪✗ No‬‬ ‫כאשר הגרף לא מכוון?‬ ‫→‬

‫‪is‬‬

‫‪C‬‬
‫'‬

‫‪Teal‬‬ ‫‪k‬‬ ‫‪2‬‬ ‫'‪i‬‬ ‫‪32‬‬

‫) ‪OCIVKIEI‬‬ ‫כמות הזכרון שמשתמשים בו בייצוג הזה הוא‬

 ‫רשימת שכנויות‬

‫איך נבדוק האם הצלע )𝑣‪ (𝑢,‬בגרף‪ ,‬כאשר הגרף‬

‫?‪µ‬‬ ‫מיוצג ברשימת שכנויות? )‪DANG my / adj Tom ☒ D‬‬
‫‪a‬‬ ‫→‬ ‫"‬

‫‪T‬‬ ‫‪03h‬‬ ‫‪ok‬‬ ‫‪*21 1‬‬

‫נעבור על הרשימה המקושרת שמתאימה ל𝑢 ונחפש את‬
‫𝑣 אם נמצא נחזיר אמת‪ ,‬אם הגענו לסוף נחזיר שקר‪.‬‬
‫) ‪04 v1‬‬ ‫כמה זמן זה ייקח?‬
‫‪tied‬‬
‫‪IN‬‬
‫'‬
‫& )‪b.‬‬
‫•‬ ‫→‬ ‫‪01*7‬‬
 ‫מטריצת שכנויות‬
‫כדי לייצג גרף )𝐸‪ ,𝐺 = (𝑉,‬מניחים שהקודקודים‬
‫ממוספרים |𝑉|‪. 1,2, … ,‬‬
‫מטריצת השכנויות 𝐴 היא בגודל |𝑉| × 𝑉‬
‫ומקיימת‪:‬‬
‫‪j‬‬ ‫‪si‬‬ ‫‪060‬‬ ‫אם 𝐸 ∈ 𝑗‪ 𝑖,‬אזי ‪𝐴 𝑖,𝑗 = 1‬‬
‫‪-‬‬

‫‪µ‬‬ ‫‪.‬‬
‫‪ok‬‬

‫‪j‬‬ ‫‪-8‬‬ ‫‪i‬‬

‫‪go‬‬ ‫‪06‬‬ ‫‪µ‬‬ ‫‪-‬‬ ‫‪k‬‬ ‫אם 𝐸 ∉ 𝑗‪ 𝑖,‬אזי ‪𝐴 𝑖,𝑗 = 0‬‬
 ‫מטריצת שכנויות‬ ‫‪06‬‬ ‫‪He -0‬‬
‫‪00‬‬ ‫‪er‬‬ ‫‪1-‬‬
‫‪-‬‬

‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪5‬‬

‫‪1‬‬ ‫‪2‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪2‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪3‬‬ ‫‪3‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪4‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪5‬‬ ‫‪4‬‬ ‫‪5‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
 ‫מטריצת שכנויות‬ ‫‪8D‬‬ ‫‪gk‬‬ ‫‪-0‬‬

‫‪835‬‬ ‫‪0‬‬ ‫‪.‬‬ ‫‪-‬‬

‫‪1-‬‬

‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬

‫‪2‬‬ ‫‪3‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪1‬‬
‫‪2‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪3‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪4‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬ ‫‪5‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪6‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
 ‫מטריצת שכנויות‬
‫'‬

‫→‬
‫‪7‬‬ ‫‪@0‬‬
‫'‬

‫‪☒ IN‬‬ ‫איך תראה המטריצה בגרף לא מכוון?‬

‫הוא ‪0am‬‬ ‫כמות הזכרון שמשתמשים בו בייצוג הזה‬ ‫→‬ ‫'‬
‫‪T‬‬ ‫‪aw‬‬
‫→‬
‫‪HH‬‬ ‫‪-‬‬ ‫‪W‬‬
 ‫מטריצת שכנויות‬

‫איך נבדוק האם הצלע )𝑣‪ (𝑢,‬בגרף‪ ,‬כאשר הגרף‬

‫מיוצג במטריצת שכנויות?‬
‫ניגש לתא ]‪ [u,v‬במטריצה‬
‫) ‪OG‬‬ ‫כמה זמן זה ייקח?‬
 ‫אלגוריתמי סריקה של גרפים‬
‫אלגוריתמי סריקה עוברים על קודקודי הגרף‪.‬‬
‫האלגוריתמים נבדלים אחד מהשני בסדר שבו הם‬
‫עוברים על הקודקודים‪ ,‬ובתכונות של הגרף‬
‫שמתגלות בעקבות הסריקה‪.‬‬
‫אנחנו נלמד שני אלגוריתמי סריקה‪:‬‬
‫חיפוש לרוחב –‪BFS‬‬
‫חיפוש לעומק‪DFS-‬‬
‫‪Breadth First Search‬‬
‫‪( BFS‬חיפוש לרוחב)‬
‫קלט‪:‬‬
‫גרף )𝐸‪ 𝐺(𝑉,‬שמיוצג ברשימת שכנויות‬
‫וקודקוד מקור 𝑉 ∈ 𝑠‬
‫פלט‪:‬‬
‫המרחקים של כל הקודקודים מ‪. 𝑠-‬‬
‫המסלולים הקצרים מ‪ 𝑠-‬לכל קודקוד‪.‬‬
 ‫‪Breadth First Search‬‬
‫לכל קודקוד 𝑣 יש ‪ 3‬שדות ‪:‬‬
‫‪-d‬שבסוף האלגוריתם יחזיק את )𝑣‪. 𝛿(𝑠,‬‬
‫𝜋‪-‬שבסוף האלגוריתם יחזיק את הקודקוד שקודם ל‪ 𝑣-‬במסלול‬
‫הקצר מ‪ ,𝑠 -‬אם אין מסלול‪ ,‬יכיל ‪.NULL‬‬
‫‪-color‬כל קודקוד יכול להצבע באחד מ‪ 3-‬צבעים‪:‬‬
‫לבן ‪ -‬קודקוד שלא טופל עדיין‪.‬‬
‫אפור ‪ -‬קודקוד שבתהליך טיפול‪.‬‬
‫שחור ‪ -‬קודקוד שכבר טופל‪.‬‬
‫‪Breadth First Search‬‬
‫האלגוריתם משתמש בעוד מבנה נתונים תור 𝑄‪.‬‬
"
*
*
K

{ → ON
→ fall

217217 6
☒ toe -21*17

I
pm N

→
2172170 fact • time

→ nix FAK

→ If s k
- →
you

→
kf n # 218 6

→ 3172111 DOWN

→ f- 317317 ↳ / job - N' Dna 217217 Gnis 8

← OKS 1 "
? 0

←
d.)
1102 8
'

←
IT I' 02 'D

←
fig .
-
Hak
← # - k - K'31N

←
nine -
TO 'C NO
Adi

S → a → b. → c→ /

a → d

b → d
c → d
d → 5- →
g
e → 9→d
f → /

g →
f
h → ,
 S a b c d e f g h : BFS → 377

d o o o o o o o o o

IT NUH NUH NUH NUH NUH NUH NUH NUH NUH

color W W W W W W W W W

Q -

. - -
-

s a b c d e f g h

d o o O N N N O N N

IT NUH NUH NUH NUH NUH NUH NUH NUH NUH

color G W W W W W W W W

Q
*
S -
K •
'
K'31N

4=5
✓ =D

S a b c d e f g h

d 0 A 1 N O N N O N

S NUH NUH NUH NUH NUH NUH

IT NUH NUH

color G W G w w w w w w

a →-
4=5 4--5
f- a ✓ c =

s a b c d e f g h

d 0 1 1 1 N O N O O ① =cab#-
IT NUH S S S NUH NUH NUH NUH NUH

color B G G G w w w w w
 ltb U=a U =
c

✓ =D ✓ =D V =
d

s a b c d e f g h

d 0 1 1 1 2 N N N N
Q #x$
IT dull S S S b NUH NUH NUH NUH

color B B B B O W W W W

U =D U=d
V=g ✓ =
f

S a b c d e f g h

d 0 1 1 1 2 A 3 3 N

IT dull S S S b Null d d Null

Q
f9#∅b#
color B B B B B W G G W

U=9 U=f
V=f ✓ =/

S a b c d e f g h

d 0 1 1 2 0 3 3 0

$$¢¢#$_
1
a
IT dull S S S b Null d d Null

color B B B B B W B B W
 →I'D DO
-

09 V1 )

OCH

01^1

Oct )

(d)

658 ON 0€17

-
Mrs G. Dk
→ LIND

Ocwtlel)
"

: > *
 ‫‪-BFS‬עץ המסלולים הקצרים‬
‫המערך 𝜋 משרה עץ ) ‪ 𝐺Π (𝑉Π ,𝐸Π‬בצורה הבאה‪:‬‬
‫הקודקודים בעץ הם כל הקודקודים שנצבעו במשך הריצה‪ .‬בצורה‬
‫פורמלית‬
‫‪1) rise‬‬
‫←‬ ‫‪21721*6‬‬ ‫‪-‬‬

‫}𝑠{ ∪ } 𝑙𝑙𝑢𝑁 ≠ 𝑣 ‪𝑉Π = 𝑣 ∈ 𝑉: Π‬‬

‫‪.PH‬‬
‫‪313217‬‬ ‫‪HKD IT ≠ null‬‬ ‫‪-‬‬
‫‪I‬‬

‫צלעות העץ הן הצלעות שהמעבר עליהן הניבו צביעה של קודקוד‬

‫‪V.IT‬‬ ‫באפור‪ .‬בצורה פורמלית‬
‫}𝑠{ ∖ ‪𝐸Π = { Π 𝑣 , 𝑣 : 𝑣 ∈ 𝑉Π‬‬
‫העץ ‪ 𝐺Π‬מייצג את המסלולים הקצרים בגרף מ𝑠 לשאר הקודקודים‪.‬‬
 BFS -
a. 73.* affront Longino

S a b c d e f g h ⑤
d 0 1 1 1 2 03 3 a

IT NUH S S S b Null d d Null

⑨ ⑤②
t
B W B W
⑥
color B B B B B

✗
⑦ ⑨

'
N' 071ps ← in / cfk
7377 From → 02hr
 →- %

B< a

↓
☐ ← C- ←
f- ←
G

A B C D E F G

d 4 2 3 10 4 4

IT C D B E NUH C C

color B B B B B B B

Q ☒ I # ☒ ☒ ☒☒ &
 ?CÑ at ? if →in an -
1) D) GOON

:-X
'
BFS a a

→ 1*7 µ pm
- V. d=8( S V ) ,
✓ C-Tt Gr / .

VETUS}
br.2.tl
Vitthal gk V S -

SN Hon µ ok

-8 S-
N
73T FIND V -

f →* AM 85
'
V.IT
,
→K

DO -1 0C

② ① orcs ,V ) ≤ ECS 4) +1 .
: •
"
(UN ) 06 Gf

⑤ " 'a
"

ON
glee mile as) GCS , V) ≤ A ⇐ GCS ,
U) gk 4-8 S -
N Ffm µ ok

.
4-8 IN 737 Then P -
I /
NO
) → ik

86in "② ① V -
S S N -
How ii. a.V ) 067--0%0 P Home of • b)

?
p
'

s as fibs µ) Elsie) -11 loathe

⑤
-

Tae -1%8 ↳ v8 .MX P

'

G THA Go ✓ -8 N
panda
g- 73T S
'
'
'

#
'

-
,

• Is ,
SCS ,V)≤ / P' 1=86,47+1 108

DO -2 186
V. d ≥ JCS ,
V) : VEF 68 a "

# BFS idea → 6
gown
:#DID

sa Foo G
-
ink V. d ≥8( sina.HN VET GUK aojoaa -100 '
ON £ pie
'm not

.no#U-tS-cFGfay0ksaaFooamkk--1oiooS.d--O--8Cs.S
4. d=N≥ SCU

) • "
S -81

V. d ≥ GCS , V1 VET GU a.
k-aaojoaa-foo.lk xD -
a

jti

iv. d ≥ SCS ,V ) VEF 68 N Kel -

a
→ -182 ñk0 * is - 283
j'M

•
KH -

D → a _ GOOD *8
ojsjs *atra - K X -
a
µ

half ktt -8 K a
-

_ Too µ d → on 707 Vfx 21*17 66 of •

NO 2*1 → Hk ☒ kw
Is .
V.d ≥ ECS V1 ,
• AN V≠XEF Gf j _ signs pf
✗ ⑥ as ✗ 8D to

:X 710 if my
an
"

×.d=y.d+1 ÉECS ,Y ) -11 É @ (Si) • ¥1 (9.x )Ef -

e p y ◦ "
T 's * 8
got ✗
- '
.
?⃝
 3 ☒
< Vi V2 ,
,
.
.
. _
Vr -1 Vr ,
> : Q ok I# → Me
✗
1-
2ft I #N
'

• n

01078 -1$

2
:-# - s "

3 3 4 G 7 - k '
ki Dr
tafsir #
Vnd ≤ ✓ a. d -11 - k
< V1 .
V2 .
V3 .
V4 ,
Vs >
MM
g -a ☒
-
- k 3- N
,

3 3 4 3 4 D '
or
3 3 4 3 3 tf 1 ≤ i ≤ r -

l VI. + ≤ Vi -11.6 D
3 3 4 4 4 yf **

683-2

428 WIG ⇐ 1) 884

• 4-NPR we Kor DD

7M£ 6
TO ☒ a 0 Mke jia nisi )
"

- N
"

# •
TM just ajar £ silly 's Ñ jiao
a.
µ
-

→
* -14007 K-N-nkG.tk ago , *
-

j'M ✗ H"

< V1 V2 , . _ _ .
Vr >
:) > Hey ,
K D -
'
inks ✗ jjl

Ktl -7 afoot ñk is "

# ON nisi )
-

jia 383

☐ e. queue -

7k317m :L ANN

< V2 Vr > Ky ak3 risk

:)
_ .
's → '
. .
,

jta →at •
"

I '

Vnd ≤ V2 .d +1 :
Kiya - k motto * 1)

Void ≤ Vid -11 -6 OR

'

ie
sky ,
J "" ✗

Vad V2
'

≤ I 013 N
'

. d a
tyx , ja

Vr .d ≤ Vad -11 ≤ V2.x -11 ⇐

Enqveue -

aqsa afoot : 2 AM

< V1 V2 Vr Vr -11 > >

'
AGO is #
, .
. . .
,
:)

Ojo 21*0
'

A ( U Vrml ,
OG e 't k jor a. ab U
217%7 ◦
"

T
Va JI 21+217 *

*I
'

02*10%18*1 Vr+i.d-U.d-1://8g.no Vr -11 8 and 4-1

tree ≤ vi. a -11 :nµG ictyx n' it

µ ye %
'

:P 's
 4. & ≤ Ved -

I 812
'
'

a
tyx ,
JH #N -
W M
'

H th -
I 4.1

vri-1.d-4.de -11 ≤ Vad -11 ⇐

t.2.ns-8ojs.no
^
.
X-D 2M
' '
KJ a- I

Va -

5 one U -

1 ( U ,
V1 ) OG en sie

Ved
U.d-tvr-1.d-U.d.tl
=

__ vi. a ≤ V1 .d -11

Vr-il.d-th.de ≤ vi. a -11

I'M

:D X Mist

f- 1≤ i ≤ r-1 vi. a ≤ Vittles '

'
o
'

ki Iki #N

Vr .d ≤ Vr +
e. d ☒

ionpt.jo µ
'

< U Vi Vr WIG 217

'
N U -1 Vr it
73
> is -
, .
.
-

✓ rid ≤ U.d-t-NP.MN Icty jka N

Vr .d≤ U.d-t-vr-l.to ⇐

IF

D)
Vr -8 one 4-1 (U ,
Vr / 06 O '
WIG at ☒
'
Nkf Vr -1 4.2

Vra = 6. d -11 WIG 71×8

Vrd =
tried ⇐

Vr .d≤ Vri-1.de ⇐

hags

XD ≤ Yid ←
y D8 Had ☒ got ✗ Dk
 V. & ≥8(s,V ) VÉV 68 ← * Hit G M - 2

✗ .d≤ Y.d.sk Y j28 ☒* - ☒

% ✗ ok -

D)TON

-
yoga Coat

:O "
# BFS Esha -35 NOO

V. D= OCS V )
,
VET 68 - k

V. t-NUI.SK V -

E SA How µ ok VEF /{$} 68.0

V -
S S t
-

737 Nora V -

8 aye 21M¥ 815 V. IT → He

717317

orcs ,V)=N § 4-8 S - N Then U 21*1 To 6×9 .k

Ha G ECS ,V)=N
a Goal ¥5 6. r=N pot 4. d ≥
2 got

.fk S N ffot I -21*2 MN 3µA

in
-

HHhOD0o31f2lTowFeaF@Dnyj.2fkaHosV.d-t8CS.V
d 22h
•

YAWN aye •

) -

e - "
5-8 - K V -
D

%" u✓ IV. d > 86 ,V ) -

e 012
'

2
'
-
-
-

5. How to 6×0
P
-

V -

S S N -

; ,

P Mona V 8
AM MM xk 4- a
pot
-

5- 7N aye d Hbo → *8 V b
goal Me 55 oil Maj N
"
-
-

/
.

V now 5- 8 * 4- I
.

any

ftp.#U.d--cES.V):o'TXNT-8Cs.V)=SCSie)-1
-

of •

I #

V. d > 86 V1 ,
=
OCS ,
U) -11 _¥ .
d -11

V. d > 4. d -11 ⇐

: ✓ ⑥ * it .
-1in K 3 C '

,
nN
'
U -0 Qi 806×0 )

V. D= Uid -11 a
"
# 1. V God too ) ,
U & •
job TO to nous -

por ✓ •

.pro 0153 Kr V 1381 .

# kf I
?⃝
 •
↳ XP Mr 0µV ¥113
'

4- I yap n N
'
V Mfs -
Me ✓ •

-7MW 8123 If ✓ 1081

"
Krist V. d ≤ 4. d
:# OMNI
ps

-
71×0 ] V WN KI
'
U AID WIG -

710k V •

.nl/-8ojsa8V-8anzbX2MHo..ps5V.d--X.d-1nN1GX.d-4.d*NaNl
.
U D8 go ] * U jor N 1-3
'
X -
b of oil ,

V. D= ✗ id -11 ≤ 4. d -11 ⇐

7101'D kf ✓ Kf
823
"

•
, *

His men port HH Of →* a 03 V A

003 / k
'
MG

% ,
V. d=8(S,V ) VEV Gil

[ AIG U.de =D -

D -
'

k ON
,
IN HON U 217217 + D8 . D

U.t-tullpfl.fi#kaNfHaS2MMfOCNkf8Cs,V)=K-lMNh
-4-213 ,

✓ 217217 So 6×0 )

V.d=8(s,v)= kid I 012

' '

k * ON

0¥ V S -

4- I V -8 4- N 86 I
4217217 •
"
T Fica -☒

V. t-UYU.d-k.jo -821
'

Jk ☒ Vid - k
10381 if

k 4-8 S N P FAN nuts SCS ,U) k SOON

p yaks ie
=
•
-

5. _
_ .
U→v
K KH 06N HON (UN ) 067--00*0 proton

-
✓ -8 SN ☒ 66N A

ftp.V.TT -_ U ki as HOND ✓ -8 P2P 21PM

 342 Inc
-13127 If ☒3 ⑥ 7T€ →
"

T risk GCV E)
,
f- { 512 %

g.
a EEE -
op Ge →
JAW -
V -0MW
,
-_

∅ -
wine W ,U

UETT ,
WÉW notes e- ( wie) ik e=( 4. V7 → 13N

EE

b
b
S C

S C

a d

GI
i
 Cat

FAN e. →Italy je G µ thx f- & G '

A

-5k FON FON KS G +223 G

TIKI
"

◦ ok A

ISH

GON G- D @ AGO njjl Sis G- free +1 ⇐

pika c P "

86
× g. ✗
-

5 Hit 't 512 Read you

o_0
,
y -2
PHAT HI X-D →* IT I'D

#
0
× -

or
me 4. *G- * ↑ so 6×01

-
-

Aapl X-D 16 pm T -

a - if at IG pea

( eons
✗
f) 4- if a 34247 5k Tiko KONA MN Yet ?
'

of

512 PM µ 860.1
✗ 2M 'T je
✗8 →
-

a •
•
,

Imp , 5k YA
of N
'

FON KE G pit

512 f- e → if *A - N "

@ -1*8 +3

-
5k pika •
'

GON ↳ Nkf GI ijj

◦
'
⑧ Nt ⑥ ¢ £011 KG
3MW BFS %) a KING N' 8

-
'

73M afford? Go ← k3H →*

*
G im In @ 0 1Mt
③ X-D fit
'

• ✗ IT X' a * *21T -

/ ' \
1 Y⊕ 0 0
" I 111 111 Y -

d S"k -1ms N' 3172*1

2 ✗ ⑤ 00 000 000

>
yo
! 8668688g -
N - HH X -
N →
, - him 801-1060 a. e)

e) I 7%217 µ -106 Real'k ,

a. IT offset 80 µ
's Nd of a. j

t.1.tt?eoaG-Ma.Y-fX-d-
DX 7*0 -217217 go -106 ¥ * ☒

'

317317 DX
'

µ yk ,
#No -1mn →
* IT 1.0-a6 *
"
I ◦
fail

*i KD •
'

317217 1
'S -06 glib

a 86 (4. V ) I
✗ am *
Iko 4. ✓ mind Ibrox
V I
-
-
U ⑥ XD Ma Na ☒ oka - k Z -
D NO )
 → go.se V -8 2- -

t Holy 4-8 z -

N Then too be •

t 1-Iko
a
YIK xD PIK )k
-

g-
tis Gothia , ( 4.V7 067-1 ✓ -

or Z N -
ffonil 4- I ZN HONAN am / NC Gota

¥8 → XD Sieg - Ika Tonino .

21-+1

DRY ,
2 heal ☒ HKD # IT ya µ -106 µ 1st
 ‫הרצאה ‪- 3‬‬
‫אלגוריתם ‪+ DFS‬‬
‫יער ‪+ DFS‬‬
‫סיווג צלעות‬
‫ותכונת הסוגריים‬
 ‫‪Depth First Search‬‬ ‫‪Tic‬‬
‫‪bi‬‬

‫‪TNA‬‬
‫‪( DFS ‬חיפוש לעומק) מקבל כקלט‪:‬‬
‫‪ ‬גרף בדרך כלל מכוון )𝐸‪ 𝐺(𝑉,‬שמיוצג ברשימת‬
‫שכנויות‬
‫‪ ‬האלגוריתם עובר על כל הקודקודים בגרף‪.‬‬
‫‪ ‬הרעיון של האלגוריתם הוא להמשיך להתקדם כל‬
‫עוד אפשר‪ ,‬אם עברנו על כל הקשתות שיוצאות‬
‫מהקודקוד הנוכחי‪ ,𝑣′ ,‬נחזור אחורה לקודקוד שקרא‬
‫ל‪.𝑣′‬‬
 ‫‪Depth First Search‬‬
‫‪ ‬האלגוריתם מחזיק שעון‪:‬‬
‫‪ ‬כל קודקוד מקבל זמן התחלת ביקור‪ :‬נשמר בשדה 𝑑‪.‬‬
‫‪ ‬כל קודקוד מקבל זמן סיום ביקור‪ :‬נשמר בשדה 𝑓‪.‬‬
‫‪ ‬השעון הוא משתנה גלובלי ומתקדם אחרי כל‬
‫תחילת‪/‬סיום ביקור‪.‬‬
 ‫‪Depth First Search‬‬
‫‪ ‬האלגוריתם "צובע" את הקודקודים ב‪ 3‬צבעים‪:‬‬
‫‪ ‬לבן‪ -‬קודקוד שעדיין לא בקרו בו‬
‫‪ ‬אפור‪ -‬קודקוד שמטופל כעת‬
‫‪ ‬שחור‪ -‬קודקוד שכבר סיימו לטפל בו‬
‫‪ ‬הצבע של כל קודקוד מאוחסן בשדה 𝑟𝑜𝑙𝑜𝑐‪.‬‬
‫‪ ‬בנוסף האלגוריתם משתמש בעוד שדה‪:‬‬
‫‪ ‬שדה 𝜋 ששומר לכל קודקוד מי הקודקוד ש"קרא" לו (פירוט‬
‫בהמשך)‪.‬‬
 40800
'

" Ifk) Depth -

first -

Search

lyse
→ _ N' ↳ 1-
"

8 @ me
G- ( V E) , Ing -

in
-

→ EN KE -
W
-

time folk polo ONAN HKD

:-X 4 hi V 217217 H

V
-
-

o Fa 6 µs
- k Goi -

V. d - 1

V -
S GO.ca 6 pion MS -
K Fo ' -

V. f -2

NUH J 'S '

fk • Kl V - S * _kn3 -0 21721T? I Go '

-

V.IT 3

-0803 A @ tank 0123 2172177 V. color 4

'

→ A
-

C KS
Ho r -

§
co ✓ -
710k

•
V -
a fig a.
-

nine

2172177 G 80
←
a' not

*K - ☒

0-8 a Faik

2172 # G
← So
'
noon

⑥ 8037 ok •
'

72101
AN 108 2172 'T 's

-
'

0^071777
'

28

&

710kt 2172177×003
1- S Yoon - k ◦
'

%
* prison µs #
*→

open G So
←
• no -

Id

☒ 3171217 IN all
'
-
•

IT 770×8 All ◦
jj
Hk @ i.king •
Hip -

2172177
←

1047 -
k
pigs
→ ya / Nsa -
K • j> 28N
717W 3172177 - k - 80131
•
 DFS → 377
212
U V W ✗ Y 2-
U V W d

f
IT null null null null null null

✗ 2- color w w w w w w
y
time:O

221 U Ñ 217217 → no ,
'

IID •
3172177--033 ,
null -0 IT
770N Kil
'
ai
white Had
D
0153
-

U V W ✗ Y 2-
2
1- d 1- 2
u ✓ w
f
IT U null null not null

color G G w w w w
✗ y 2-
time : 12

• ✗ -

I V -
U G -
jolt it a a :3 DG
P
-

Ho 0103 V - → 210
U D TT k
j→0N I
-

.
- -

712ha V - K •
'

0013
ft) µs V I
4028
3 DFS
-1
21*1--0 a' •
Hi
'
-
'
'
_ •
Visit

U V W ✗ Y 2-
2
1- d 1- 2 3
u ✓ w
f
IT U null null ✓ null

color G G W W G W
✗ y 2-
3
time:3

Y -
an V G -
jobs it -
This :3 06
✗ ? Ha 0103 Y - Ka

V D TI "
K
10281 S
-

71*89 &
yasa-ka.jo?0N.Y
24217 -830N -0 DFS
Visit
-8 -
'
→
-177 at
-7

U V W ✗ Y 2-
2
1- d 1- 2 4 3
u ✓ w
f
IT U null Y v null

color G G W G G W
✗ y 2-
4
3
time : 4

NITA Go k X-D 4 ok
its -227
j50N :
'

→ pi > • - •

-
HKD 8-10 ON
'

→ 105 a. →' 8 I § 653 0 ojos He ✗ 2172178

- 71×02 80311 INST HKD × •* a ins - k 102811 1- a
1USD - Il 780)
 U V W ✗ Y 2-

1-
2
d 1- 2 4 3
u ✓ W
f 5

IT U null Y v null

color G G W B G W
✗ y 2-
415 3
time:S

- 1 -
D
µ - k A) + tea ③ 3) ← →
joe 2018 µ , ]
-
f - a :S &

U V W ✗ Y 2-
2
1- d 1- 2 4 3
u v w
f 5 6

IT U null Y v null

color G G W B B W
✗ Y Z
415 time:b
316

1 V S
D
µ k Jintao ② 3) ← →
job 2018 M -
sign :b Dbr
-
-
- -

U V W ✗ Y 2-
217 d 1- 2 4 3
14 ✓ W
f 7 5 6

IT U null Y v null

color G B W B B W
✗ y 2-
415 time:7
316

- l -
o
µ - k %) -1-1*0 ③ 3) ← →
joe 2018 µ ,
U -
F a.IM:7 06

U V W ✗ Y 2-
sit
118 d 1 2 4 3
U V W
f 8 7 56

IT U null Y v null

color B B W B B W
✗ y 2-
415 time:8
316

-
128/71×08037 - A •
'

7210.0*2177 ftp.nwljfkf •
'

In
:D Db
KD 3173178 02T -4 7140 ok

of DFS -8
W KAI § hit W -8 -0yd
Visit
# * asf ] 1-
HIS w → 803 )
- .
.

pjsh.sk -11211
U V W ✗ Y 2-
sit
118 9
d 1 2 9 4 3 10
U V W
56
f 8 7

IT U null Y v w

color B B G B B G
✗ y 2-
415 to time:S to
316
 U V W ✗ Y 2-
sit
118 9
d 1 2 9 4 3 10
U V W
f 8 7125 6 11

IT U null Y v w

color B B B B B B
✗ y 2-
415 to time:/ 2
316
 ‫‪-‬דוגמת ריצה‪DFS‬‬
‫‪ ‬איך תראה ריצת ‪ DFS‬על הגרף הבא? ניתן להניח‬
‫שהרשימה מסודרת לפי סדר הא"ב‪.‬‬

‫‪s‬‬ ‫‪t‬‬ ‫‪u‬‬ ‫‪v‬‬

‫‪w‬‬ ‫‪x‬‬ ‫‪y‬‬ ‫‪z‬‬

 ‫‪DFS‬‬
‫‪ ‬האם התוצאה תהיה זהה אם נתחיל מקודקוד אחר?‬
‫‪ ‬מה סיבוכיות זמן הריצה של האלגוריתם?‬
 ‫יער ה‪DFS‬‬
‫‪ ‬השדה 𝜋 משרה יער ) ‪ 𝐺Π (𝑉Π ,𝐸Π‬בצורה הבאה‪:‬‬
‫‪ ‬הקודקודים ביער הם כל קודקודי הגרף‪.‬‬
‫‪ ‬בצורה פורמלית‪:‬‬
‫𝑉 = ‪𝑉Π‬‬
‫‪ ‬צלעות היער הן הצלעות שהמעבר עליהן הניבו צביעה של‬
‫קודקוד באפור‪ .‬בצורה פורמלית‬
‫𝑙𝑙𝑢𝑁 ≠ ‪𝐸Π = { v. π, 𝑣 : 𝑣 ∈ 𝑉 𝑎𝑛𝑑 v. π‬‬
 ‫‪DFS‬יער ה‬
‫‪u‬‬ ‫‪ ‬איך יראה 𝜋𝐺 על הדוגמא הקודמת?‬

‫‪w‬‬

‫‪v‬‬

‫‪y‬‬ ‫‪z‬‬

‫‪x‬‬
 DFS -7 78
'

G. =
( Vit , Et) xk

→ 2421776 ← Vit =
V

Et =
{ ( u.it ,
u ) :
u.it/-- Null }

② V ④ ✗ Y 2-
↳ as -

null haste #
d 1 2 9 4 3 10
papal # -10670300 as IT
Toto *
f 8 7 12 5 6 11

IT null U null Y v w ⑨ ⑥
Color B B B B B B
I I
④ ⑦

%
 ‫סיווג צלעות‬

‫@ *‪:‬‬ ‫‪into‬‬ ‫‪4‬‬ ‫‪D) l‬‬

‫'‬

‫① ‪ ‬צלע עץ‪-‬צלע שנמצאת ביער ה‪DFS‬‬

‫‪(DFS‬‬ ‫לאב) ) ‪If k3k3nMG‬‬ ‫② ‪ ‬צלע אחורה‪-‬צלע מצאצא לאב קדמון (גם‬
‫‪-2‬‬ ‫‪0 'S‬‬ ‫‪MT‬‬
‫‪DFS‬‬ ‫‪-7‬‬ ‫‪78 'S‬‬ ‫‪-‬‬ ‫‪k3NJ‬‬ ‫‪KG‬‬ ‫③‪ ‬צלע קדימה‪-‬צלע מאב קדמון לצאצא‬
‫④ ‪ ‬צלע חוצה‪ -‬כל צלע אחרת‬
 ‫סיווג צלעות‬

‫‪ ‬ניתן לזהות את סוג הצלעות תוך כדי ריצת ה‪DFS‬‬

‫‪DFS no‬‬ ‫'‬

‫‪80‬‬
‫‪u‬‬ ‫‪v‬‬ ‫‪w‬‬ ‫④‬
‫⑦‬
‫"‬

‫‪%‬‬ ‫‪¥‬‬
‫[‪:‬‬ ‫‪8‬‬
‫‪Po‬‬
‫⑤‬
‫‪%‬‬ ‫‪I‬‬

‫④‬
‫‪.‬‬

‫‪x‬‬ ‫‪Is‬‬
‫‪y‬‬ ‫‪z‬‬
‫⃝?‬
‫⃝?‬
← to 06
0^01
'

DFS 70 'S

7477
'
Of

← → ink 06
0k£ K 3
YNZT

← 73117 86
‫הבחנה‬

‫‪ ‬לכל קודוקד 𝑢 מתקיים 𝑓‪𝑢.𝑑 < 𝑢.‬‬

16 NOT MSN Xp af µs 4- d < Unf UEV Gr
D)XD
7C a → DX
"
✗

he ✓ Ask
2-lnj.sk 4. d < V. dnjjlu.VE V. D '

①
u
4. d < U.fcv.de V. f ①
②
4. d < V. d < V. f- < 4. f ②
V

" 713317
µ if
"

* ok
'

€
i.
µe
:
V _

Uf < V. d. K

4. d <
U.f-ajno.IN
V. d < V. f

① →* no 4. d < 4. f < V. d < V. f- ⇐

V. d- 4.f. a

4. d < V. d < 4. f- nuts

ppl V G → 07*7 He #'

- k →3
'

4 6--1507*7 * 7N 'S

V. f- < 4. f ⇐ 0%0
'
U -

e '
2s a ☒ am V a' on # & 0 → -13N

② N Ino 4. d < V. d < V. f - h .f ⇐

HI
bud < V. d < V. f < 4.f fuk DFS -
D
70'D U & k3k3 V ok
 1057 5180nA GOON
V. fu t -

§ How •
"
T lead µsD OAK DFS? no'D U G 1-313 ✓

7×8 How asst

21721T Go G is
"

is •
'
ON '
bowl ☒ a D 'K

•
11800 15300 just KD PG •
'

0103

DD

Twist ,
DFS -7
780 ✓ -8 4- N Then e
'
DFS -
a 0'S U G 1- 3h3 V0
pN⇐

④ U b 1*3 KID HOND W

217217 a * x-P
i

⑥ job f. 53 W Und 4. d
✗ 81 W.daj-ON.IN
<
Issa

ftp.U.dsso § From 1st

.
P -
O Hwa - k
µ) -
V -

f 4- N poor How -
"

T 4. d
µ

⑥ .
⑦ -
-
-

① DFS -7
O.o u & KID 1-8 V -

e Adams
p
- UG 13113 kids •
"

TNO P How 4-8 -- T

'
→
21721M # W -
D /
NO )

P FROND
'

W -8 w -2
2172 2172 He
④
◦
④ ⑤
-

-
- - . _
_
④
'

p now 4-8 7×1

'
on
-1 W -

e
/
ii. one D8 a. W

G W' W W
-
U 1-31-3 -
e ODD - → a
101kt I

⑤ f- U.fi
'

4. d < wid < w -

Tom

4. d < wid b -

021 ) 4. d
1ns
> 108 ps How 1-31 W -

O
§

⑦ 4. d- 4. f- w.de W - f : U G 1-313 II W L -

pi

w ! -5 < w.DE

(w 86 polka -1008
'

✓
pst ,
W ) a
µ.SN DFS a -500

①2) 3 ,
DFS -7 78 'D U G 1-3113
 DAG -
-
'
80N non
just Ind
Directed Acyclic Graph

7¥

YOU Inc G '

i'

ink -186 µ G Fo DFS :D •

"

ok DAO Kia G

aD

→is → ink 863 I a (UN ) 86A af @ a .

njjl DAG Kin o_0 ⇐

GfODFS.DFS-DnfDV@Ik3UnN1b.G
-

D - e k3N ) as How pivot DFS -7

XD 4- 8 VS HON • "

④ G-
b) of an D GON aim ( 4. V1 867--001×0 as
i
I -106 Kor
①2)0 ,
Ink _ pot . DAG KID

④
Hk -106 lG KS G 80 DFS aae

④
→ % G -

D C for •
"

To Ibo ojjl
i 0
-107µW ☐ FSA C GOWN # He ✓ a µj
*
a

<
C a V -8×0,10 867 -1C (W ,
V) -
a
µ
I

-
V G W -

b → * g-3 ← → ink 06 '

SO *☒ 737 )

V - N & • job •
'
3172177 6 V. d MSD ,
W -
S V -
N FAN C '

v @ 1-3×3 W
-217N 17h Goats D8 ← 108 For Na 116
y

FOND p*2* 6 v. d
µ# GOND • aye
'

3 W -
f V -
N FAN of

1087 Hora Coram pf.la spot ISKA Min Ki V o ajar

.
✓ & k3k3 W

Iya ,
DAG Ki G ☒ → → →a ankle 86 (Wil ) 86.*
‫מיון טופולוגי‬

‫‪ ‬מיון טופולוגי‬
‫)‪G- ( V. E‬‬ ‫‪ ‬קלט – גרף מכוון חסר מעגלים (‪% )DAG‬‬
‫‪ ‬פלט – סידור 𝑔 של הקודקודים כך שלכל צלע )𝑣‪ (𝑢,‬מתקיים )𝑣(𝑔 < 𝑢 𝑔‬

‫⑨‬ ‫←‬
‫⑤‬ ‫←‬
‫②‬

‫‪⑥/ ¥‬‬ ‫‪ca‬‬ ‫‪b‬‬ ‫‪e‬‬ ‫‪5-‬‬ ‫‪d‬‬ ‫×‬

‫‪c→b→a‬‬ ‫‪e‬‬ ‫‪a‬‬ ‫‪#‬‬ ‫✓‬

 ‫דוגמא‪-‬איך נראה המיון הטופולוגי של הגרף‬
‫הבא?‬

‫‪a‬‬ ‫‪b‬‬ ‫‪c‬‬

‫‪d‬‬ ‫‪e‬‬

‫‪f‬‬

‫‪C‬‬ ‫→‬
‫‪b→a→e→d→f‬‬ ‫✓‬ ‫‪c‬‬ ‫‪o‬‬ ‫‪b‬‬ ‫‪e‬‬ ‫‪f‬‬ ‫‪d‬‬ ‫✗‬
‫←‬
 I ao -
e OC i.
Nor Hk

DFS 81 ①

*D
' P' 271 I'D jus ⑨ ok µ) ②
'

- K - ◦ '
a-*

7110 artery KNX ?

⑦ ←
⑤ ←
②
/ / c b e a d f

②
215
⑨ 819

¥
314

-
jib Cady

4. f > V. f o
.

# Cu WEE , OG Gr

→s

WIG (U ,
V) 0Gt 88 → 0 Him V U 0037 So 6×05

.V -
So on > Oes DFS - Visit CGUI 8 *

DFS -
a D U b 1*3 ✓
-1>8 V ①

I>2) 0 4. d < V. d < V. f< 4£ NAN

,

DAG -

I
*
if Drink 86 (UN ) 867 Sk -

710kV ②

V.f- 4.fm/G 1-8430 ✓ NIG V ③

Imp < O U I a- 0 Me
"
→ -

Too _ -

,
?⃝
 ‫הרצאה ‪- 4‬‬
‫רכיבים קשירים היטב‬
Strongly Connected Components ( Scc) Tn
-
[ fans on
.
• .
> →

→2

MN be G=(V. E) .
#
.

4-8 V -
NI V -
S U -
N FAN a
4. VEC 68 ok a'
'

→ CE V 73107

IS 8 '
N' opt C- I
Ty
-
# -

1-

D) X-D § NINH 1381 -

'
31731T 31078 IDS Kak
'
k

'

a b c

d e f

g h

4 →
-

Who
-
-

I
-

v wt u ¥7 Ako V 4 K
µ I
-

" - - -
-
-
•

↑; l

IT) D W I V.4 gk
'

V
-

'

+
"

7^7 f- E- → sea

of → Ine - k G
"
:( Vs
"

,
C- %-) a
µoj .

µN
he G- -

( V. E) it

⇐
G- D 317217 713J G- D for CIN KIA
i'
µ :p →
-

( X ,y)E E -

O → Yecj -1 ✗ Eci a •
"
ok Cci ,cj)EEˢ"8Ga

Ce Cz Cs

a b C

G Cz Cz
gsoc
← d e f
Cs

Ca Cs
g h

CH
 DPI

Fbi
sac

YECJ ⑥ G- a -
"

↑ ✗ Eci Gf •
"
ok
Cj -8 Ci -

N G -

a firm xp

Ci @ - -

→ ④ Cn⑦ - -

→④
Cj

t
⇐_

•
'
GON non Kia @

→
"

Ci
of @ a
"

FOND ☒ 2*17 2 Cj -1 Ci 't -

s GON ◦
↑ ;

i. ↓
y
YE Cj -1 ✗ Eci
Cj

Cj -8 Ci t fibs T GOND I N
2T
✗
'
-
• "

Scc

G- X -8 X-D fibs G D -8 Cj
a 8
y i.
y T a aN Ci Nl
"
- -
- - -

Itp * GON 7017 f- ☒I 7 Cj -1 Ci -

L § → *a

2¥

E- f V 8 4- N GAND W 217217 6 c. C -217217 ✓ I U

µ -2
'
I'd
is
ye
1-
a
-
-

U w
€ V Her
s s w -8 4- N he
-1*89-3 7
- -
- - - -
-

← -
-
-

-
-

-
-
-
- -
-
-
<
4-8 W N -

orbit
Pz
-
4-8 W -
N w -8 U -
N Gbu I ii.8
YOON

8 6- N Gbu V -8 HOW W b
•
W -

horsy u -

t 21# -

got

In HKD V I &
put Hk V S W N How he ☒y Royal
yo )
-
"

T a
-
- -
-

E D NK LU -8 V -
N then
µ
-

How G
ftp.u-fw-N Pr -1 P,
'

-31 stoma
 Ifan he -

a-

G:( VTÉ ) -2 Mon is Kiana Ina be G- (V. E) A

'

E :{ (UN ) :(v. 6) EE} -

b
p

a b C
a b C

d e f e f
d

g h h
g

kossaraju-sharir.im -
K' 3rd Hk

OC / V1 -1 / EI ) G 88 DFS ° N ①

OCIVI -1
/ EI ) - k -
ji > ②

'
§ KID 0%2177 SO NOW 720 ,
GT SO DFS IN ③
⑨ ON
ago by # 271 NO '
'

yrs

OCIVIHEI ) . & * Fos ③ GON Ino DFS" 700 % b ④

*
DFS -3-7

9 / '° 11112
910 718 118
516
A b C
A b C If
GT - j 's

*
131%
114 '" "5
217g
←
d e f f
213 301
DFS -3-7

h GT ↳
g g h
1215 13114 314 516
a b c d e f g h
IT É É É É É e d 9 DFS -0
'
n' 3 HOI
↑
a b C d e
I#
a
e-
's

µ °
e'
9 f
'

h
 I -47227
JIN
'
•

Soc
v6 na Ine G -
l he G it
'

:
G G DFS -3's rink a Ci '
D
'

→HIM G
fat fajita aka 1ns ci.d-minfu.la UEC:} ① :

2172171 G from ci.f-maxfu.fi UEC; } ②

µN a is

Cid =
✗ i. d a
"

217%7 - AHN Xi -

D Mo
'
Ci 6 ND ③

318€

✗i. f =
G. f

"

-
G D -
4- I ✗i -

N Hot of a Who let Xie you ✗ it UECI 68

Kajol f) Ci -
N - e Them 217217 A

Ci -

D '
D anyone listen Xi D por ki Hora ✗ i. d MSD

2) 0 ,
Uf < ✗if ⇐ Xi & 1*3 U 1087 Them Gann

7701

Xi U k3k3 1-17 ✗i ≠ UECI 6

✗ i. d- led - 4.f- ✗i. f ⇐

✗i Xj
ti
Coc
C ; _ tic ;
16 a'
'

he G # 1 you
be G it

ci.fscj.fr#NG%DCCi,Cj) 06 Gr G to DFS Go i

→
Scc
G -

D Ki Cj ) > 86 -
NYC put ✗ if < ✗ j.fnNGCi.ftcj.fi Go

G- DOG (
tj-ccj-ltic-ciawfti.dti.to
• ti ,
t ;) -0
go

✗ i. d < ✗ j.d Mlk) 777N

fit /fit
3
-

'
-

/
¥ !f
"°
"
/ 1
× !d × !a
, ✗ if : _ incl D COIN D8
 → NIM Xj -1 Xi G * 3h3 one got 001) tj -

I ti & Miwa

ti .f <
t.j.de ⇐

(ti tj ) ,
06 L ' '
s DFS Eska -5028 aims

✗ i. d > ✗
j.d-je.MN

:@ 7£07 → DXN
'

713

ills
I 1 I 1

✗ j.d ✗ i. d ✗ i. f ✗

j.fi. Xi -

f ✗j -
N G -

D HON e. pit ✗ j G k3 ✗ i ⇐

✗j -
- -

→ Xi a Aka 's
Xj -
f tj -
N FAN OF

↑ !
I ↓
pi Ako on
'
3 ti f -

✗i -
N AN oil
tj ← - - -
ti

i
GON Him (ti ,tj) 06--001×0 IN a. Mona shik

→
jib a je Cj -1 Ci -0×8 a) XD

①% , Cif >
Cj -5 .
1st

JNS Of xk 700N )
'

:-# I f- 7
"

- " O '

Cif > C2.f >

- - -
s Caf
-

Cz .
.
.
Ci -

a Ci → Cite . .
.
_
Ck

Toti-
"
ok UEC;

G -
D Xi -
8 UN HON ✗
"

T ①

Ci G- -8 If 4 ②
. .
.
i

yd
 K- S
-1µs Got

Ki Hua 6 ③ ☐ Go rapine of b

31¥ G - k first Hua 6µA Ti ,

P -

a Load i 50 a. 3×2*0 It )

D-Ik 1 Ci
-

F- A D
j# O
'
-

✗ n
-
N WIG MoMa ol
'

1ns IOS 317217 .IN Fix '

Ifta

UEC fibs P ?
"

✗^ -

a Hot YET
* gu ,
Gia
-

a
u -

r
G-

1 ≤ j≤ in GG nj) -

jk>

Cj '

317217 xk 7*22 Got Tj ↳ a

:[ i -217217 - k TAS ↳N Ti Road → J -

j'M 283

.
↳
-0153 Ce _ .
.
Ci - n
-
D → ITH Ti & - k -
13'T IN [ticals jilt N

Cn Ñ'O Fix Zofia ☒

'

Ci . - -

got 1ns 2421M aj

>a _K
'

✗i " ①
4- ✗ HON ×; Gq ,
◦
T µ
"

,
,
_

Ings ,
UECI G- a Xi -

GT -

a u -

or WET ,

't if U - et 'd 0123 4- I

y µ
C. . _
.ci-1 -8 802 -
-
'
3 'd

→ FMN
‫הרצאה ‪- 5‬‬
‫‪MST‬‬
 W: E ->
1 x 1080 4x6 +4 Red Poyd 0.000

Minimal
spanning tree (Mst) bajd dug &
:0116 88-11994

ld nt 10x Re G (V, E) in
=

&o + ('1 =
NH1. E'CE:0.x on 816 80 T =
( V, e) -Scd()

I
b C ↓

a 7 e

h g f

(UST) Aajd 81688-11224

at
he wax pa G (V,t)
=

·i

cobi to ROG W: E -> RT "(x)

.okG & by 91680 T =

( V,C') -

a cold

21630 + 0

-81x0004 8 101 fijd EW(e)@

etf'
-) 880141)
↓ I
8 7
=1087 b C ↓
Upad C
8 I

* 4
14
a 11 7 e
W(T) 4 + 8 +7 + 9 +
=

1+
a+ 2 67
=

A G

10
8
h g f
-48 01 1 G

'3x08x-112
&On 11 58 di
80=1
rs+ 10

xN1808-R194

w:c -> RT-1 Nod 48104&c 6 (V,t)=

in

add Mst-o<8108 slob & (34 * Nx

not MST-6 <501 AUK(U.VI3 On A 1160 (180 (U.UIEE OBidcdk)

 12xx 25k -

x- xx

Over slid oaOd 0jd@

·Y (abi aliked his ok sar axoid 0fols@

Generic-MS+(G,W)

A =- o

While (A is not MST1 ?aNdoobok +028(t (

find (U,V) safe for f

A -AU9(u, v)}
-129
return f
it can be 6(V, c) in
-alpalpi to is
5--ING

1s, v(s) -

-131642-80xyalix & <1x15 -

1236(*0
NND
x
S 8 7 L
b C dS
C
8 I

S 4
a 11 ps 14
e
A G

10
8
h -af
g

&(xx(S,v(s). -

43108@

ueUS 1 VES ik veVIs-1 utS on v3 of(U,V) -&cdk

aly'x hp<0 3'x

-

x108 S 8
x ONi
7
b C dS I
(a,b) (C,d) C
8 I

(f,l) (b,c) S 4
ps 14
e
(a,h) a 11
(g,h)
A G

(4,9) 8
10

h -9af

addms+ -
+ +
819-168x3x4*xx*3(x(S.V1S).8
·salx vlob A-6
ikok(31647-k26367xx18cdk)

MST-0<b10,103MsTod qox<xd-1087Oke 8
x ONi
B C
7
dS I
OB
61Ba3060810?(x*
has 15000
>i30 & Ole C
8 I

and 4
H S
a 11 ps 14
e
G
131640 all A
5 20od
yx 10
8
h g 2
f
1
 xx (5,v(s)... -

x+408

+1 1310 c10bx16d1(xxx **I H4 ol xxOB (U.V) -> cdly

1x
+

"Pay'd and addi

synx clobi d to 3x01 x ONi

S 8 7
b dS
six of
C I
oby
jo 180000 is C
8 I

# S
a 11 ps
4
14
e
4(a,n) 6B
*

A G

8(b,c) 8
10

7
h g f
(i, n) 1 2

6 (i,9)
14(d,f)
7(c,d)
g(6,e)
2(i,c) <-jo rid x50x
 dodd
W: E -> R+ +
1x18 184&G =
(V,E) in

188 MST-6 <8168 x108 x364 A.xx

(xsk/s19-108 131046lk ·
x31041=11a019xxx (S,U(s).c

us -+ xy(x1 5 + xxll-
-

x08Aclo N8 (hiV 5"x84 08 (n,V) ol

5 T 6 adn AS MST -1 xk + x po)

...Q=0.-O:
VIS

④
·

ysO1 AUK1n.UYIT.jk (UIVIET On

vls-dalpaind 5-delpelt cold proof dical via and +-6 Mod 0.4 -xCNI

·
(x,y) -
6
xskpos'(xxx**10 108 -NoPproxx -0 <six s

·86 V.I exlix 2016 shot 5x10 joys T-d (xi) then ol

of an&b)
:1581. 1525 <184410x2x.xxx hx (W.N) Ol

&1 DO KIx T= T19(x,313U((U, U13

h
h
S

u Y cv
T i Y cv
I

ekj ekj
8

I g
T As I
-
K 09
(u,V)

1Bkic (x,y) +*-& or of

x3164xsha6d(X(N s

·
ACT19(x1313-9O61 fCT pol

AU9(u,V13<T1[(x,y)3U[(4,v13 =
+' 150

add Mst-s-bx1d(4,0) -> wide of MV.& Nong x3 ynk

846 bod nsid(is
days win

.
MST +1. 9x(((()

w(nV) =
W(X,Y)
-

9801) (91 (x,y) -1 <5408 (mir) - &

(b
W(T) =
w(T)-w(X,Y) +
w(u,V) =W(T)

·
Ac100xN*(4,V)-1 MSTT' pol WIT = WITIC WITIEWCT: MST + & P lok
 Fo

t 1+ & G
W: ->
+
1xdk8 c'84 (V,C) in
=

1x&& MST -> <8160 208 x314 * ixx

Cx -

6-kd46'x c (Vu,(c)
=

+Gx =

(VA) t0 bxos

Gx-> cxkl xk84 jad csh,100dPajax pdx xrob 08c.j

·
A u150 nR186 hi

S 8 7
b C dS
C
8 I

S * 4
14
a 11 15 e
A G

10

f
8
h g 2
1

<(a,b)3 423930x
[(f,9,h13 2d3
 kruskel- 84Ok4 0x1281
DSs -
16

: - 1500

Ol aaloll & 3x4231-make set

Ollogn) this X-1568 xxx

acys
-

find (x

O() b 1 a
ptexlxxd <y'x47-1-311- Merge (a,b)

8 7
b C ↓
C
8 I

* 4
14
a 11 7 e
A G

10
8
h
1
9af

-93363223263323253293 (hy <i3 poo or cook to 100%

9 in to 0 fix
[a3 563 <c3 <a33e3253 29,h3 <i3 merge six find oflo

c.i -80.810
[a35639c,;32d39e327329,h3 merge sixty find old

gif 100 2018

[a35639c,;32d3Se3 25.9,h3 Merge -

find od18

a,b500xx18
2a,b3 9c,;32d3 Se3 2f,9,h3 merge - find olig

2a,b3 [c, i.f. 9.h3 <d3 9e} of 10 0 1010

or 080010134(a0 0.0 ON i,9 find off

2a,b3 [c,i.f,g.h.d3 9e} merge + find c,d800-010

ah 100-018
Sa,b,c, i, f, g, h, d.e} e.d to oily
 ad2le
8 7
b C ↓
C
8 I

* 4
14
a 11 7 e
A G

10
8
h
1
9af

a b c d e f g h i

d XX****N0
D
xx+ k

(i-R) xxx i <14214

# ↓Ull dUl full dull full dull full dull poll

&= a,b, c, d.e.f.g,h, 13

 10?10144" <.O7 Oki

a b c d e f g hi
Idiondi s10Kbld

d XXXXXX
2 O
D &eyex 50010101

# ↓Ull dUl p full full dull full dull poll 1341186190 c Oki

21 128K-2CN Pli

a,b, c, d.e.f.g,h, 13
Ki
#

&=

a bc def I hi 9 -

4641850x10
d XX2&*& 6 x 0 16-0-0901
x-x184 9 & 18xx olix
# ↓Ull dUl p dull full doll · ↓Ull JOK
I sN d
onoys2od
&-a,b, c, d.e.f. 9, h3

a bc def I hi n -

kxx10801610
d XX 24*8 6 70 Q-xholi

# ↓Ull dUl p dull full dull a · JOS

X-118448 ridx Oki

#sk1 d oK
oysao
&-a,b, c, d.e.f. 9, h3
[5j(x)c-x9.186 11672142147 s1b14

-
52nd 1x if 160 a cab
08x
a b c d e f 9h 508kxi-5c<1
-8i 1 08xc
>10x10

-10'8'01s)

d XX 24*8 6 70

# ↓Ull dUl p dull full dull a · JOS

&-a,b, c, d.e.f. 9, h3
& to 100
<2011 c
open
six68+ 1dxk -

d f hi
abc e 9
f. d, i, b:
0ycSx
d I 8 27 * 4 6 70

# ↓Ul C
p C full c · · JOS

&-a,b, d.e.f. 9, h3
f-kox ir/y.x alpalpi s libi

d.c.e,gif & Sullix 5100

d f 9 n ↑
abc e
1823308)f-8<10 028pd
d I 8 2710 4 27 O

# ↓Ul C
*

I of cf · JOS

&-a,b, d.e, g, hj
(f.9) 08 (6011 9-alp214-15
h,i.fig &
opox 501601
a b C d e f g h i

↓ X027104 210

# ↓Ul C
p of cf 9 poll

&-a,b, d.e, hj
 a b c d e f g h i h-16x alp21p7 x 113'4
d 8027104 210 19.21 OB 1601

Cf of b,i,a :opdix to 160

i h c
i
a poll

a =
a,b, d.e}

d slpi allb
1c, d) 081801
d f g h i
e
C.f,eroy &
a b c
x 50 160N
d 802794210
# W C
p C e
cfg roll

a a,b,e5
=

a n't >113'4
f h i
abcde g Ca,h) 08 N601
210 50160d
d 8 4 2794 h,b:ey&x
# ↓ a p C e
cfg roll

a b.e5
=

b'214-153'4
(a,b) 08 N601)

c,h,aroyd to 160
a b c d e f g h i

d 8 4 2794210
# ha i c e of a poll e21421x >113'x
ox 1016011
·

pye
a 2e5
=

abcde f g h i

d 8 4 2794 210

# ha i c e of a poll

a= I

MST -0 <8116 * 13164 0.68 66

A = [(U. π, V): VE(U1 <r3)IQ

:8100 MST-1
Ex [(V.,
=

V): vcV1[r33
6112

☒INN f- es a. 737 •
'
8180N

×h

Wi E → 12 -1 he G- (V. E) it

P=( Vo ,
V, . .
.tk) it
'
-
HON ⑥ ☒Not

{ (p ) =
Éw( vi. Vi -111 How we
i=o

V -
8 UN TH £80M 8pct UNE V H
'
-

- Hota Gow •
2

{
WON IT
min { WCP ) :
www.onp
• K

v. guy
gyu ,
,, =

✗ ,
- - He

WCP ) = ECU ,V ) ok V8 UN 73T How P 4.VEV -

73T Hot 3

1 A
t ×
SO

3 9
2
S 4 6
y

5
Y 2
Z

Pa =
(S ,
V ,
Z ,
X) 84,1-1=8

WIP ) ,
=
5+2+6=13 SCS ,
2-7=7

How
#
'

=
(S Y Z)
,
, 2--8 S N -

pz=( S> t
,
X
,
Z)

WCR ) =
10+1+4=15

How
B=( S Y , ,
t) -

73T

WCP 1=8--88 .tl

>
 •
'

-3T off N U _ jiox

w :-[ → R 1.Ine G- ( V. E) '
-
in

GON GON KS 737 8180N it

✓ -2
Na k XAN HONG HOH Sk
'

DX FOND ☒N ok .ie
✗
-

S 8 ×

U
4 Y
t

S
✓ -2 .

72eiNkfn3_7lfoNaskF@f0N7EydNok.D
-8 ✗
2 1

U
4 Y
3

• How, 6 He -8 Vo -
N
-3T ON f- (Vo ,
Va . - - -
Vu) it -2

-1530 I -3T HON • ↳ •a

"

-
Vj -
or Vi - N 737 Hot Pi ; = ( Vi ,
Viii ,
. .
.
V; -
i
,
V;) ◦ ≤ i <3 ≤ K 68
dikstra -
a- Cop "2 * rick
W : C- → R+U{o } G- ( 4E) Ine -

Up

SEV 71M 217217

SCS ,u) UEV Go -

Csa

: -126
je et V 31721T 68

81s,V ) - n Fo '

Hea Rose -

V. d

73T? FIONA ✓ -8 paid k Fo horse V. IT

217247
'
' -

NUH G 'S '

MON µ -kl

Q WIN
- •
Nj 's _ MOD [ Ski

8pm

1-
 :§k? +3-7
ab
s t ✗ 9 2- r
¥
d o o g g
g g

* Noll Null Null Null Null Null

Q={ 5. t.X.Y.Z.ir }

1- =L }

4=5 • ◦ to ow
t -
d > S.di-WG.tl I
- KH
while
S t ✗ Y 2- r
5.d '-W(Sit)

d 0 N N
to & O
u

* N°11 S Null Null Null Null

Q={t.X.Y.Z.ir }

1- =L }

:-# ON Y KA S G pea & → as > to

s t ✗ 9 2- r
5.d '-W(Sit) S.di-WG.us)
d 0 & N
to & 5
u u

* Noll § Null § NUH NUH

Q={t.X.Y.Z.ir }

1- =L }

k
Y N' 703 1-77 ka K' 31N
' '

-
→ → - •

6 50
PONI y job ins @
-

:p - -

S t ✗ 9 2- r
Y.di-WCYitly.d-wcxys.d-WGDY.d-WCZ.ly)
d 0 N
8 14 5 7
u
"
Y u
"
u

No "
'
'

* y y s Null
y

Q={t.X.Y.Z.ir }

-1=25,9 }
 7- → N' 703 1-77 →
'
ka - k •
'

K' 31N

Z 6 So
:o)-0N @
I -
job - ins

S t ✗ Y 2- r

d @ Y.di-WHHZ.d-wcxzfs.d-WG.DY.d-WCZ.gg
8 13 5 7
"
4. "
u u

N°11 §
"

it y z Null
y

Q={t ,
× ,
2- ,r }

-1=25,9 ,
-2 }

t -
→ N' 703 1- → →
'
ka - k •
'

K' 31N

t G So
:o)-0N @
I #
-
j - ins

S t ✗ Y 2- r
9 'd wat) t.d-WAHS.d-WG.DY.d-wcz.gg
'-

d @ N
8 9 5 7
"
4. "
u u

N°11 §
"

it y t Null
y

Q={t.X.ir }

T={ 5,9 ,Z,t }

✗ -
→ N' 702 1- → →
'
ka - k •
'

K' 31N

✗ 6 50
PONI job ins @
-

:p - -

S t ✗ Y 2- r
9 'd wat) t.d-WAHS.d-WG.DY.d-wcz.gg
'-

d @ N
8 9 5 7

4. ? u
?
It N°11 y t § y
Null

Q={ × ,r }

-1=25,9 ,Z,t,X}

f- → N' 702 1-77 n >

'
ka - k •
'

K' 31N
r G So
g- ONI @
#
j ins
-

:p - -

S t ✗ Y 2- r
9 'd wat) t.d-WAHS.d-WGDY.d-wcz.gg
'-

d @ N
8 9 5 7
"
4. "
u u

N°11 §
'
'

IT y t Null
y

Q={ r }
5- I pÑ%a ↳ q Na
-

d
T={ 5,9 ,Z,t,X,r }
 S
-→ Tt affront 88
'

y Git -
(Vit En )
2 3 ,

2- t V*={ u : u.it # null }U{ s}

^

✗ Ex -_ { ( UiTM ) : UE Un / { s } }
 ‫משפט (נכונות דייקסטרה)‬
‫גרף ו‪ 𝑤: 𝐸 → ℝ ∪ {0}-‬פונקצית משקל ו‪ s -‬קודקוד מקור‪ ,‬אזי בסיום ריצת האלגוריתם‪:‬‬ ‫‪G  V , E ‬‬ ‫יהי‬
‫•‬ ‫‪f. T.ir‬‬

‫‪. u.d‬‬ ‫‪   s, u  : u V‬‬ ‫לכל‬

‫הוכחה‬
‫‪. u.d‬‬ ‫‪   s, u ‬‬ ‫מתקיים‬ ‫מספיק להוכיח את הטענה הבאה‪ :‬לכל ‪u  T‬‬

‫הערך לא יכול להשתנות יותר מכיוון שפונקציית ה‪ Relax‬יכולה רק להקטין ומטענת‬ ‫נשים לב שמהרגע ש ‪u.d    s, u ‬‬
‫החסם העליון הערך לא יכול לקטון יותר‪.‬‬

‫נוכיח באינדוקציה על ‪: T‬‬

‫בסיס האינדוקציה‬
‫‪ -‬נכון באופן ריק‪.‬‬ ‫‪T 0‬‬
‫‪. s.d‬‬ ‫‪ T  1‬כלומר ‪ T  s‬ו‪ 0    s, s  -‬‬
‫הנחת האינדוקציה‬
‫‪.1 ‬‬ ‫‪ T‬עבור ‪T  k  1‬‬ ‫נניח שהטענה נכונה לכל‬
‫צעד האינדוקציה‬
‫‪:T‬‬ ‫‪k‬‬ ‫נוכיח עבור‬

‫מקיימים את הטענה‪ .‬כלומר נותר‬ ‫נסמן ב‪ u -‬את הקודקוד ה‪ k -‬שמצטרף ל‪ . T -‬מהנחת האינדוקציה כל שאר הקודקודים ב‪T -‬‬
‫להוכיח ‪ , u.d    s, u ‬ולכן נניח בשלילה ש‪: u.d    s, u  -‬‬

‫את המסלול‬ ‫מטענת החסם העליון נובע ש‪ , u.d    s, u  -‬נשים לב שלא ייתכן מצב שבו אין מסלול מ‪ s -‬ל‪ . u -‬נסמן ב‪p -‬‬
‫הקצר ביותר מ‪ s -‬ל‪ , u -‬נסתכל על המסלול ‪ p‬רגע לפני ש‪ u -‬מצטרף ל‪ . T -‬המסלול מחבר קודקוד ב‪( T -‬קודקוד ‪,) s‬‬
‫לקודקוד ב‪V \ T -‬‬
‫(קודקוד ‪ ) u‬ולכן קיימת לפחות צלע אחת שמחברת קודקוד מ‪ T -‬לקודקוד ב‪ .V \ T -‬נסמן ב‪x-‬א ת הקודקוד האחרון במסלול‬
‫ששייך ל‪ T-‬וב‪ y-‬את הקודקוד שאחריו במסלול‪ ,‬נשים לב ש‪ ,𝑦 ∈ 𝑉\𝑇-‬נסמן ב‪ p1 -‬את תת המסלול מ‪ s -‬ל‪ x -‬וב‪ p2 -‬את‬
‫תת המסלול מ‪ y -‬ל‪ , u -‬נשים לב שכל תתי המסלולים של ‪ p‬הם בעצמם מסלולים קצרים ביותר‪ x .‬הצטרף ל‪ T -‬לפני ‪u‬‬
‫ולכן בסוף‬ ‫‪Relax  x, y, w‬‬ ‫יצא מהערימה האלגוריתם הפעיל‬ ‫‪ , x.d    s, x ‬כש‪x -‬‬ ‫ולכן לפי הנחת האינדוקציה‬

‫‪ . y.d‬ומטענת החסם העליון )𝑦 ‪.𝑦. 𝑑 = 𝛿(𝑠,‬‬ ‫הפונקציה ‪ x.d  w x, y     s, x   w x, y     s, y ‬‬

‫(מתבסס שהצלעות חיוביות או ‪) 0‬‬ ‫מכיוון שהנחנו ש ‪ u.d    s, u ‬נובע ש𝑦 ≠ 𝑢 נשים לב כי ‪  s, u     s, y ‬‬
‫‪f w‬‬
‫'‬
‫‪k‬‬
‫‪#N‬‬

‫‪ , y.d    s, y     s, u   u.d ‬בסתירה לכך ש‪ u -‬הקודקוד ה‪k -‬‬

‫‪-‬‬
‫'‬
‫•‬
‫‪-‬‬
‫‪-‬‬

‫שמצטרף לערימה ולא ‪ , y‬ולכן‬

‫‪ , u.d‬כנדרש‪.‬‬ ‫‪   s, u ‬‬

 ‫‪T‬‬

‫דוגמא לגרף עם צלע שלילית שהאלגוריתם לא עובד‪:‬‬

‫‪0‬‬
‫‪a‬‬
‫‪10‬‬ ‫‪1‬‬
‫‪10‬‬ ‫‪-2‬‬
‫‪b‬‬ ‫‪c‬‬ ‫‪1‬‬ ‫‪2‬‬
‫‪-12‬‬
‫‪d‬‬
 •
"
GG •
'

SEON

f@ '
KID IS • No -004 GON KID He

kor S N
pants S N CA Fk GON Tok K
-34N gk
-
"
→
' -

- ◦ -

b
- 4 6 :D xD
^
2 4
s × y a C

J
-

-1
d

3
2- w

• S N -

big hf KID ↳K '

FA EON -
"

Te te '
FG Got a If • K - D

Ankit S -
N ◦ '

TMNT gk

b
-4 6 :D @ AND
^
2 s
S ✗ y a C
5

-8
-1
d

3
2-

w.gs
) [8D No µ "
Kf -
Comb '
f 't FON '
W a'
'

or 'd • fat D8 fried him

to C- 8) +1
≥
-1
Tnt
=

2 6
5 1 s -
t
s a c
c- 8

-8
10

b
 3712 Info Erica
W : c- → 12 G=( V. E) Re €8T

IA c) Fk GON :[ Id
'

True S L' ok
'

N
7
yh
'
-

•
False '

{ SKD
'

. >→ K .
orcs ,u) UEV 681

- → 18 3- C. K Go
relax -1007 680
-0 7*01
noes soak ok

old
← f.GION
e.

not
-186s Goro .

> I
• KD DT 's
noes
FLEW 1k ok U 772
Ik Sk N list
If 00 S -

naef
'

7
'

"
7
722 'S
*
015kt Eoka 1581 031M * 117 MIND
I
true l
' '

n
 '

§ & 73^7 noon -20

→Ga So
It ,X )
S X Y 2- t ( t ,y)
( t ,Z)
0 O O N ( ✗ it )
d N

(YA)
Null NUH NUH NUH NUH
(Y ,✗ )
19,2-1
(7) X )
(Z ,S)
: relax '

{Ski D8 a # it (ti) 067 So → 00 ( Sst)

( Sig)
X-D > t.de -1 Wct ,×)
0 > 5 ? ✗

9. d > t.d-wct.ly)
0 > 8 ? ✗

Znd > t.de + Wct ,Z)

to > ✗ + tu) ✗

( Sst )
t.de > Sad +
WCS ,t)
do > 0+6 ✓
t.de 6
t.IT ← 5

(Sig)
Y.dss.de WCS ,y )

✗ > 0+7 ✓

g. d. ← 7

y #← S

S X Y 2- t

0 0 7 0 6
d

N°4 NUH S NUH S

IT

S
Ma →67 720 of Hua D8 -067 So now ANN
-

a.

Y I. D8 IVI 1 -1067 So k
'

v02 -
sora - 030N
-

-
•
-
3

✗
-2 S X Y 2- t

t 0 4 7 -2 2
d
-4

Z
*
v04 Y S t ✗
 17€

5- N W FK GON Me til 21*7 St W: C- →

R
,
It G=( V. E) in
.

Relax G-foot K → k.sk Vk -

PS -
N ' 3T Hot P=(Vo=S ,
Vi . . - -
Vu -

e.
Va ) -k

Vu .d=8(S.lk/-Ts-N-ioGaG 88

<
K & a. 5M€ MY

V0 -_
S K -
O -

n'
37121kt QOD

Relax -102 0 ink 5. d -0--86,5) -

I

→Ga G So Relax & -1807 K-1 make

Ika
-

Uk -
i. D= GCS Vu a) ,
-
• "

i. VK.d-8CS.vn) •
"
¥07 K →KO MY -

jks 283

→ KI Relax ( Vu - i
,
VK.lu) Iaa → K -
D a. 3-C- KD

VK.io ≤
VK-i.d-WCVK-i.lk/--ECS,Vu-ii-wlVv--i ,
Va) =
orcs , Vu )
*

ja

S Vi - -
-
-
VK -
i VK

vii. a ≤ orcs ,
Vu ) ⇐

vii. a ≥ ECS Va) ,

: a 00×7 foot

2) 3 ,
VK.de -_
SCS ,Vk) ⇐
 S t -

Ay FG *✗ Hpd 21*7 St W : c- →
R.be G- ( V. E) it

4. D= 815,47 µN UEV 68 2712 § 's • Too

jk

GCS 4) =D ,
a. 4-8 S -
t Hon µ ok

U.dz 8 ( sie) -
N
☒a → *W

Ings ,
4- D= 0=86,4) ⇐

IVI-t.sk 1
→ CH K ≤ IVI -1 4-8 FAN Ink
grills IN -37 of

bags
4. d=8( sie) -183h G To Relax & ☒
%
'

2710 µÑ 6 XD CM

2*17 St W : C- → 12 ,
G- =
( V. E) '
D
'

(G) W.SI SO 2-10 Mfs -377 ñk

true nsn
'
Esha 5- I e. × '
FG Got µ • kik

t.d-os.ws#-N4C-VGl
False >
'

2%7 ,
- -
ik . D

ans

Ud=5( Sie) - UEV 68 • AT * 8187 NOD NS.N.k

V. D= SCS V ) >
≤ orcs > 4) +
WCUN ) =
U.di-wcu.is :O
-
'
MN ( 4.V3 06 68
t t t
"N
a)☒ 0
a)☒
*

Vid ≤ 4. d. + WCU , V1 ⇐

true l its II His 1st

Ojo
'

go
'

-
true #N find Ida ✗
g) I C=( Vo Vi , ,
.
. .
Uki K)
,
5- N CA GON •
"

TO njj.rs

V1 → V2
V. V. d. ≤ led WCU V) Kea ( 4. V ) 86 68 nuts
vi.
"
-1 •
↓
,

↑
:[ON
'

-1068 C- ON
-

Vu p-N HAD k
_

"
'

" '

- i •
If ◦≤ i ≤ K-1 viii. d ≤ vi. d +
W ( Vi ,
Viii )

Fox ' agile

'

ka k D
-
O' A je - k 000 )

"

É
K-1

I viii. a ≤ ( vi. d -1
WCVI
,
Viii )
i=o
E- o

K-1 K -1 K-1

E Vitra ≤ E vi. d + { Wlvi ,

Viii )
i=o i=o 5=0

0 ≤ € W( Vi ,
Viii )= WCC )
i=O

Ip false is
psi FG from →8
'

a-
 ‫מערכת אי‪-‬שיוויונים‬
‫נתונים ‪ m‬אי‪-‬שיוויונים מהצורה ‪ xi , x j ( xi  x j  bk : 1  k  m -‬משתנים ו‪ bk -‬קבוע)‪ ,‬וישנם ‪n‬‬
‫משתנים ‪. x1 , x2 , ... , xn‬נרצה למצוא את פתרון למערכת שמקיים את האי‪-‬שיוויון‪.‬‬
‫‪1-‬‬

‫‪a‬‬ ‫‪#‬‬ ‫&‬ ‫‪378‬‬ ‫)‪a‬‬

‫"‬ ‫→‬
‫דוגמא‬
‫‪to‬‬
‫‪Hilda‬‬ ‫‪k‬‬ ‫✗ ‪Ge go‬‬
‫‪1%‬‬
‫'‬

‫'‬

‫‪x1  x2  5‬‬
‫‪x1  x3  6‬‬
‫‪ 6,1, 0, 2 ‬‬ ‫‪n4‬‬ ‫←‬
‫‪him‬‬
‫‪⇐ b‬‬
‫פתרונות אפשריים‪:‬‬ ‫‪x2  x4  1‬‬
‫'‬

‫‪2.‬‬

‫‪ 9, 4,3,5 ‬‬ ‫‪x3  x4  2‬‬

‫‪m5‬‬ ‫←‬ ‫‪1410‬‬
‫?‬
‫‪t.no‬‬
‫‪C‬‬ ‫'‬

‫‪x4  x1  3‬‬
‫הבחנה‬
‫אם ‪ x  x1 , x2 , ... xn‬פתרון אז גם ‪ x  d  x1  d , x2  d , ... , xn  d‬פתרון‪.‬‬

‫‪:p‬‬ ‫‪P' 3. file‬‬ ‫&‬ ‫)‪7) a‬‬ ‫•‬

‫‪1) I' 116‬‬
‫'‬

‫‪k‬‬ ‫‪-58N‬‬ ‫‪# A‬‬

‫'‬
‫גרף האילוצים‬
‫‪ x  x‬נוסיף צלע ‪ y , y ‬‬
‫‪j‬‬ ‫‪i‬‬ ‫‪i‬‬ ‫‪j‬‬ ‫לכל משתנה ‪ xi‬נגדיר קודקוד ‪ yi‬ובנוסף נגדיר קודקוד ‪ . s‬לכל אי‪-‬שיוויון ‪ bk‬‬
‫‪W=( Yj‬‬ ‫‪,‬‬
‫‪Yi /‬‬ ‫=‬
‫שמשקלה ‪be . bk‬‬
‫‪WCS 97--0‬‬ ‫ונוסיף צלע מ‪ s -‬לכל קודקוד ‪ yi‬עם משקל ‪. 0‬‬
‫‪/ V / =n -11‬‬ ‫>‬
‫‪1≤i≤ n‬‬ ‫‪Gr‬‬

‫‪IE /‬‬ ‫=‬ ‫‪Mtn‬‬

‫↑‬
‫‪foes‬‬ ‫‪0‬‬
‫‪60‬‬
‫)‪( Sigi‬‬
‫=)‪GCS ,Yi‬‬ ‫‪0‬‬

‫‪y1‬‬ ‫‪5‬‬ ‫‪y2‬‬ ‫‪GCS Yz )= -4‬‬

‫‪,‬‬

‫‪0‬‬ ‫)‪8 ( 5,93‬‬ ‫=‬

‫‪-5‬‬

‫‪s‬‬ ‫‪6‬‬ ‫‪-3‬‬ ‫‪-1‬‬ ‫) ‪865,94‬‬ ‫‪=-3‬‬

‫‪0‬‬
‫‪y3‬‬ ‫‪-2‬‬ ‫‪y4‬‬ ‫‪(0 -4‬‬
‫‪,‬‬ ‫‪,‬‬
‫‪-5‬‬ ‫‪,‬‬
‫‪-‬‬

‫)‪3‬‬

‫‪0‬‬
 ‫אלגוריתם למציאת פתרון למערכת אי שיוויונים‬
‫‪ .1‬בנה גרף אילוצים‬
‫)‪01min‬‬ ‫‪ .2‬הרץ על הגרף והקודקוד ‪ s‬את אלגוריתם בלמן פורד‬
‫‪ .3‬במידה ובלמן פורד החזיר ‪ false‬אין פתרון למערכת‪ .‬אחרת‪ ,‬החזר )‪0(n2 -1mn‬‬

‫‪  s, y1  ,   s, y2  , ... ,   s, yn ‬‬

‫משפט‬
‫בהינתן מערכת אילוצים וגרף אילוצים מתאים‪:‬‬
‫‪ )1‬אם אין בגרף מעגל שלילי נגיש מ‪ s -‬אזי פתרון למערכת ‪.   s, y1  ,   s, y2  , ... ,   s, yn ‬‬

‫‪ )2‬אם יש מעגל שלילי נגיש מ‪ s -‬אזי אין למערכת פתרון‪.‬‬

‫הוכחה‬
‫‪ )1‬צ"ל שכל האי‪-‬שיוויונים מתקיימים‪ ,‬נשים לב שלכל אי‪-‬שיוויון התאמנו צלע‪ .‬לכל אי‪-‬שיוויון מהצורה‬
‫‪xi  x j  bk‬‬

‫צ"ל ‪  s, yi     s, y j   bk‬‬

‫‪‬‬ ‫‪‬‬
‫מאופן הבניה קיימת צלע בגרף ‪ y j , yi‬עם משקל ‪: bk‬‬

‫‪ -‬מטענה‪.‬‬ ‫ולכן ‪  s, yi     s, y j   bk‬‬

‫‪‬‬
‫‪ ,   s, yi    s, y j  bk‬כנדרש‪.‬‬ ‫‪‬‬
‫‪ )2‬נניח שיש מעגל שלילי ‪ , C  y1 , y2 , ... , yk  y1‬ונניח בשלילה שיש פתרון ‪Z1 , Z 2 , ... , Z n‬‬
‫למערכת האי‪-‬שיוויונים‪.‬‬
‫הפתרון מקיים את כל האי‪-‬שיוויונים‪ ,‬ובפרט את האי‪-‬שיוויונים של ה"צלעות" במעגל‪:‬‬
‫‪y2  y1  w  y1 , y2 ‬‬

‫‪y3  y2  w  y2 , y3 ‬‬

‫‪yk  yk 1  w  yk 1 , yk ‬‬
‫‪k 1‬‬
‫‪ , 0 ‬בסתירה לכך שהמעגל שלילי‪ ,‬ולכן אין פתרון למערכת‬ ‫נסכום את האי‪-‬שיוויונים‪ w  v , v  :‬‬
‫‪i 1‬‬
‫‪i‬‬ ‫‪i 1‬‬

‫האי‪-‬שיוויונים‪ ,‬כנדרש‬
‫הרצאה ‪- 6‬‬
‫זרימה‬
 * TS '

ANTS # 7- IED

N=(G- (Vic) ,
C
,
S ,t) a.
'

fan K 'T ANTS →'

8- e- G- (V.E)

VXV BE V20} Got

'

C : → 2 -

-
M 217217 -

SEV

20 217217 tell
'
-

E- { (UN ) : cue ,V ) > 03 06 # → -2k¥ *

-0 < MN) & Gaya - k

¥2
0--6*52=06 •
ago → 1*-4*6 a
3 2

Clt b) = 0 S t
,
2

3
4

'S 3RD RED

"
AN → -

ND ams Fo my F : VXV → R -
I → N=( G. C ,
S ,
-4

:O '3Ñc 3 AN
'

# ok

FUN ) ≤ CNN) - (UN) C- VXV 68 -

Foia Rifle -1

FAV ) = -
FCV ,
U) •
"

pm (UN ) C- VXV 68 -
_ nWo f)K -
2

E flu,v ) = { FCV ,U) ← # WE ✓ ITS,t} Gor -

an sins 3
VEV VEV
F(4.V ) > o F(V14) > o

{ Fair ) I FCUN ) avg.SN A- 8

→•Y→
=
k
-

VEV VEV

F(UNICO
FCU ,V ) > 0

I FCV 4) I felt ,v)=o →•i→

=
,

VEV ✓ EV -11*8 now *

fcvie) flu ,v)

[ =
{ fav ) a-
{few ,v ) →
{ f( 4. V ) = 0
VEV VEV VEV VEV
Fae ,V ) fair)=o flu .lt > •
f- (4. V )< 0
 KWEI

(71×0) g) kN HK)X '

ONA - K an
#
A
113 212
S
112 t
3 IF -1-0 b- I SK 4 v34 3 b -8
go ]
2-8 Sk 3/3
344
•

⇐' e
→
If / =
4 b

ANTI SIE -

→ 227

- N -

o ants f) → -07 N=( G.C.SE) *

If / =
Efcs,V)=Ef( Vit) → em 1ft µ
N at {
'

SK
VEV VEV

-
'
W' 0*7 AN →
"

8D

kN
A
213 % N=(G,C,S,t) axis
-

S
ok t

%
☒I Said a N → f wins
-

Cfa
*
b

19-1=5
[ -5 nA
" "
Cfcs a) ,
=
3-1=2 -1-2 @

Cf ( 5,01=3-3--0
Cf ( b. a) =
2-1--1 N -
o →→ ft am > In N=( Gsc ,S,t)
Cf ( as) =
O (1) =L
-

Cf ( a. b) = 0 -

C- 1) = 1
Cf : VXV → 112+0203 you -
( →A) '
Fix ①
Cf ( f. b) = 0 -

C- 2) =
2

(4) VIE ✓ XV 68 → in
:p

Cf (UN) =
Che ,V )
-

flu ,V )

P G in Is - k → e) t -

8 S -
N Wot -
t
'
_
fist & The flap ②

Cf (D) =
minfcfcu.tl :(4. VIEP }
kN
A
113 %
If / =3 p=( S b. t)
>
F- (S , b. a. t) s
its t

Cf( 5. b) =L Cf (B) =
@
2/3
µ
Cf ( b. f) =3
b

Cf ( P ) =L
 Cf (U,V)=O I → (UN ) 86 -
a.m 06 ③

→ * → na - k Nf (Cf (V , # Cf , Si) -

o
µ)
→
-
a * ④

C- f={ (U ,V ) : Cf (4. V1 > 0 }

KAI
Nf 2
A
2

S ^
t
, , i

3
2 b

If -
a -108 go

CCUN ) > fav) Mlb Cf ( Usu ) >0 - N'

'

TNI N -
D - k3Nj och (UN) 06 ①

.
N -

o - 431 k£ (UN ) 86 ②

Cfcy ,v ) =
CCU,V ) -
fcuivl-O-fcu.ir ) > 0
:p 81
fcv.us > o o
.

XO 'd Hot _
at

-
Ma - Nf -1 N -
o > f ,
X-CG.GS -1) ,
-

pi=(Sis not Gbu "

If -

a t -

o sa p How
.

,
Pz=( 5,9 ,
b. t )
Cf (p ) - o
ga nose Hot P - ke of row #
 [SKS
'
a ND

I V1
°
/ '2
V3
0×6 0/20
f s tin K

S 019 017 t
ok
3

V2 0114 V4 014

2. If -

a TBN •
"

T •

If V1
12
V3 P
16 go

S '°

&
9 7 t Pi -_ ( 5. vi. V3 ,t)
13

V2 14 V4 4
Cf( Pi )=min(lG 12,201--12 ,

A kea t.ms Roy

12112
& " V3
12120
N Rea •
goat
*
If -2
aj→0N am #

S 019 017 t Fiona G so

◦
µ → *I
3

V2 0114 V4 014

If ↳ V1
12
V3 8

is
12
S '°
9 7 t
&
13

V2 14 V4 4

t.az#&oaPz=(S,Vi,Vz.V4.t):kxHoN8oinD10CfCPz)-
( 4.10.14 4) ,
=
4
 "
A"
µ V1 V3
12/20
☒

S ☒ 019 017 t
-414
913

V2 4114 V4 414

If •
V1
12
V3 8

12
S 8 6 9 7 t
13
10 4

V2 V4
4
# &
2 3- Ctc

P3=(S,Vz V4 V3 , , ,
t)

Cf ( Ps ) __min( 13.10.78) -7
"
A"
µ V1 V3
19/20
☒

S ☒ 019 717 t
µ
713
19-1--23
V4 414
.

↓ V2 11114

S -

16+7
t -19+4

If •
V1
12
V3 7

19
S 8 6 9 7 t
6

3 ↳

7- V2 V4

I
11

3 a' 3- Cte %

{ t s 0*7-21
'

pot
ka k "
*0
'
-

-
-
 2 €3M -
Dins

N A % B
* %
%
toy
S OH
013

015
☐ C-
92

5
☐ = ( S.A B. t)
,

If 2 A B 4

Cf ( Pi ) __
5
£ 3
S 3
3 3 t

(4. V1 86 Go 5 Roy y
5
D C-
( V. 4) 8D Go -5 any a

N A % B
* to
Pz=( 5. D. E. t) %
5
013
OH t

Cf ( Pz ) __

2 214
D E 215
212
(4. V1 86 Go 2 Roy
( V. 4) 86 Go -2 any 5

If 2 A B 4

5 3
S z
3 3 t
2 3

2
☐ C- 2
2

t * 515 B
P> =
( S ,A C- -1 )
, ,
518

[ c- (B) I s % 93 t
=
og
2/4
D C- 415
(4. V1 86 Go 2 Roy
2,2
( Vu) 8D Go -2 any

Nf +
A B 4

2
S
2
3
3
? t
,

2
☐ C- 4

2
 P4-CS.BA E B t) N A % B
,
%
, ,

at
Cf(Put = I s
%
% 1/3 t
3/4
D E 415
212

5
If / =
to
5- 7+3 Nf +
A B a

t -

6+4 3
6

S 2 i
1 2 t
, ,

3 D C- 4

a
N A % B
* %
S
og
% 93 t J-
%
215
D E : r 3 A 8
2,2 g- + →

015 AND We f -

e k

tf 012
A B %

015 % →
'
[ MTN - JANN f-b. D
s % % t
1/3
, ,

% D E
'

H
212
-

N -

o ais f- 1 AND I N=( 0,9ft)

: If -2 at 's 9 *I → ~ → If -1

If -191=171+191-1 ,
N -
o an .is fi-g.la

( dtlg-df-g.se

:P '3fM 3-k-N.TN h -0 h= fig pot

U.VE VXV is 68 :G Rfk .e

h( UN ) flu ,V) fcu.vt-cfcu.us

=
+ 9(u,V ) fcu.is/-aNnsg
≤ f- ( ( =
UN) -1
CLUN ) -

- K - N

↳ tile
=
f- (UN ) -1
[ (UN ) -
fcu.rs = CCU.lt

hcu.tn ccu.us ⇐
IF > ,
≤
 UNEVXV [is
68 :-X ix.2

hue ,V ) =
fluid ) -1914N ) = -

fcv.us gcu.us
-
= -
( flat -191461 ) = -

h(V. 4)
→ CAO N

f- i
g k
IT

UEV / {Sit } 68 :X we 3

h(UNI =

§v ( f- ( 4.vigcu ,v ) ) =

€ flu ,Vi- Eg ( un )
nine
= Onto __ 0

2)
5
→N' I

&
g- if

1h/ =
I hcs ,V ) =
Effs ,V ) -19kV ) =
Efes ,V)+ £91s , V1 = 1ft -1191 te
VEV VEV VEV ✓ C- ✓
I#

4. VEVXV 68 .
(Cf )g=Cf+g - e ☒ ☒M.D

(G) G- (UN) @ (UN ) flu ,V )

gcu.us/--CC4.V1-(fcu.v)+9Cu,vD-I2js,Cf-ig(U.VL--
g
(4.V1 = -

GCU ,V ) =
- -

+ To -2 DOC

→ →→ If -

I N -2 His f- I ask D= (G) C)Sit *

:* ) tf -
a t -

8 5- N WN P

{
Cf ( p ) ( 4. VIEP

Cfcp) (Vive) EP
fpcu.us =

◦ →k

( fpt-cfcp.FM It -2 MS k-afp.sk

2-1 1 CN
☒ON

→ is 7 N 28M

N -

D f miss
*
N HKD ok 62
:ñ

did I f- 8 801N Nf Dams -

2 IN Nf -

D fp D KIN

N 7 AND
/A €
-
 → € -4ns *
-

7TH

Rk X
'
X-D (5) T) axis In t-CG-CV.EJ.GS ,t) #

Sn -1=0 sut-V.ie

t-CT.SC-S.at *
A % B
%
S
113
% 1/3 t
3/4
☐ C- 115 *
& Got -

212

t-CG.GS ,t) -

D ( GT ) '
I

S={ S ,
A
,
B} T={t.DE } :#
'

7*8*8*3 :P MEN 7
& To
CGT
)=s¥+s+++☐+a?£ -18+0+0=15
Bit Bit Bit
I
CCS ,T ) =
E ccxiy )
's a -58
'
✗ ES YET
:*
FCS -1 )
,
=
0+3+0+0 +
(-11+0+6+0171)=7

xD AND -77227
4-

5=95 ,A,B ,
E } :#8 -201J N D
-
AND f- I N=(G. C ,
S t)
,
'
DX

1- {E D }
=
,

6*8 N CS -1 ) l
☒
1¥ A D
-

:X "
-

CCS , -11=0+4+0+0 -18+0+5+0=17

ima miss FCS ,
-1) = E E fcxiy ) :p - act
✗ ES YET
FCS ,
-11=0+3+0+61) -16+0+1-1 C- 2) = 7

→ si Fo -

3 HOG

( GT) GO.sk f- (G) C

,
S, -4 AND # a mis f '

DX

If / =
FCS ,
-1) :O
.

f(S,T)≤ CCS ,
-1 ) is # ( Si ) * 68 aj

fls.tl fcxiy )
E
EXES€s§+CCXiY)=CCS
E ≤ -17
=
,

YET

Ifl ≤ CCS -17 ( si) 68

, :p
.

# 7¥
If / =f( S ,
-1 ) ≤ c. ( SM) ñ
 min -

cut -

Max -
flow -

Cow

-
N -2 AN 'S f- I → N' is xD D= (G) C. S.tl *

:P 'T @ - k 0%7--46

-
'

fast at > s
'

f ①

It -

a t -

f t t -
Hot ik ②

If / =
CCS ,T) :L ✗ ( GT) * •
"

T ③

Nt -

a t 8 -

St P Gbu •
* Ada njs ② ⇐ ①

lfpl > o b
p Nt -7 fp airs → *8
it 2
DOW

If 't =/ filfpl > Ifl @yal d-a s K' a f ftfp an 1 *it

~
.
@ OH f- I →
8 a-

.tt -
a 1--8 Work 1st

5=84 :& -04-8 S -

N
library} ikan
g-
So 6¥ ③ ⇐ ②

1- =
VIS

-
tf -

- t -85N FAN µ is + C- T -
b of ow

lft-CCS.tl :D"3

If / < CCS ,
-1 ) ☒man ,
If / f- CCS , -1 ) -
e EAS

If /
¥3
=
fcs ,

)=g ¥ fcxiy )
-1
,
<
✗
E
ES
E
YET
ccxiyl-CCS.TT

fcx ,y ) <
ccxiy ) I YET ✗ ES
e 's •
"

T WIG
go ,

cfcxiyl-CCX.ly/-fCx,y ) > 0 ⇐

It -
a 06 (Ky ) ⇐

.
Nf -
a X-

S SN Hon • "
T ✗ C- S I
got

YET 9-Est ibn Cxig) 0Gt lift

-
I
§ a- → a. IN -

.p ,
Ifl _-
CCS ,
-1 )
1081
£21s 191 CCS ,T)= Ifl .rs 68 ① ③
,
≤ *
g an ⇐
 ‫הרצאה ‪- 7‬‬
‫אדמונדס‪-‬קרפ ‪+‬‬
‫זיווגים‬
 074-0251621 xx 18

BFS 8300 180) cl6'Z N80x > 1.31 (" au108 SoxulSkT

-5 1800,alight
5-1.344 exx wd18

OCIVIC) OLT-OaJEK cli dgrain of

OCIU1(111 1C1) ODURIE +IVICY

+
=

oxulfu
Kin & s10 NON

50 703 ft 7/s x8 1 (G,0,5.7)

=

xx

1f -6 (>108>(x)5-1u8yxddf(u)-6 100s aCV 88

(55)
(2N3IX O&

576 xnS
9- 1.5 12s f 1 (G,c,S,t)
+
=

↓ f(u) df+g(u)
=
0.x GeV 88

ops his 15) Mstyc is' al4914 & qui

occuly8
5-1
18:M

OCNIE) CKIN
Kin NGLORDON &d

⑭In

x *40B 75104) (lk (ix(0 < K08 / 1480 x14 in & Tyc8 60

104(130 0.1.151014) (1500 5+08x

+ xii00 x800 1000) () 584 080
( NK)

·
57 -
6+ -

85.1c34718016-431/(u,V) -1 1-505924(4(x84(4,V)0820K

Af df
I (V) d (u) 1 =
+

S..- 0...
+ -

xh19 4081158 1913 010

kis 1974(ixx(Y,V)
-
0130

1 -6 t-55.11344 4801608 (v,u) -

010 Sfvslkdkid (0 52 x 141118

1-
s - - - +

a... t #df'(u) af (V) 1

=
+

dx(u)Ia (V) =d
+ 1
+
=d (u) 1
-
+
f
(u) 2<+

"Oh > Sid u & qMN -

94(Y,V) -9000 80 NI

0 100 O(E) (
18(4/118 (51.08 (i)(VI-1 Hx
5 -
6 u 89 (8 (10) 10x10+
*N0 x60.9)

it is NOBLIAus85 &.p8 liked his I visONa G-10B>

O (.2151) O((V.151)
=

35
(0x (25 (1.1058408 0.03284800 1830 1001 5184
1916, 11328'k
 10.111510.3120
matching
300 12 -

x235

:
L.R 131042-d p9N4 & if40K 312 (x G, Re G (v,c)
=
x

210 (1R 902) =

LUR=V
I R

1 a
VEL +

GGR ik VaR UCL +

:0.45d M.VIEtOB Or
@

2 b

25x(234
3 C

1006 in80 a
914 80 x031) Blopt
01 (1S mpxMCC
4 d

5
↑
2015 xaa7 -

21.58 &XXD
7 12/6Ko x
(M) 1R= =

M gMS
ofUI (IS ('k

210 10
I R

1 a :A & xk1(A) Acd

0j8X 1304 -

6100) x

2 b ↓(A) 9U: =

(U.Vi -E + nef 0.43

3 C
8
1A1 2
=

((*)) 4=

4 d ↓ (91,23) =

2a,b,c,d3
1 f(A)1

↓(2)yz)
=
3
=

5 e
2b.c,a3
=

·((1S
d(2,3)
(d(A)) 2 =

1084136 031 &

34914 29,53
=

1A1 4 =

(d(A1) 4
=

↓ ([1,3,4,53) [ a,3, c, d3
=

#N

12 12) =

1
=

.9(0 3 Ra G =
(LUR, C)

A1 = (NA)) 0.0 ACd Or Joko 115 0 G -8

⑭I

Silic & <

LURUSABIT 1S 118 & 03/0141 1 2 S y QG -

1 (0) =>

:108 & 3
1304 in
 I R 64
* 14x 08 88204)( 9(s,u):utL3
=

S S
1 &
a
&

T T
* wc 0808 loytEc < (4,V):M,vef, u-L, VeR3
=

1 D

2 b
A I
08
1

S
S &
T 1 +
14x 881047Fs =

2 (, +):YER3
S ↑ 3 ac l t

1
T
&
1
Rago
Miyon sin falzofroud on is a and 60 ads

dT
1

gammondson
1

p8.011
&
T on
5126041 45's 0.2 x128 ,000 11s 0.4

.. 6 (119( (iea 0xx)wh9& T 10xx

0354 2103 50 80)

T 2 3S V/T
=
+
=

S 253
=

T V/is
=

C(S,T) n
=

C(S,T) n
=

& 10x >100 131005 1808 7x4 @

C(S,T) 0>n<- =

·
xxl

1014314015104T0 6x0s
1
RN

S16 21.33 =

⑦ SNL 2V..... Vk3 =

T1 22.4,53 =

② T1 =2Vkn.... Vn}

S1R =
20.23 ③ S1R= 2 X
. . . . X53

TNR 2b, c, d3
=

④
T1R 2x5 =

.....
- Xny

500 13' 08 0.xK's SR.6 daltal45 4 Oa5

cisSNL-1 x519 10B9 60 09s

* N64

SAR- dhiSA ogO& CSNLICSR <=

k 1S1L)
=

((S(L) =
=
IS1R1 =
3 44/47 N

k y
= #

<(5, i) 1T121 S(R)

=
+
=

n 5 n
=

k +
=

991,0815 is 0.4 pila (also 400

x 1651
‫הרצאה ‪-8‬‬
‫זיווגים‬
 3. "8 hin .2d 02's oxulishki305 izy

8400Zxkc12 0j0118 09SK 1316T 1K,N28 0651 11> 0.76 NOD

.0'1' 11): 50

&11 (11.5 (1 p.h(4914 8.315.1.01

-
on

- (792)

21.83=0810o'alpely[8.3, 4.5.7,6,9,107 =
0.001x 814314 *
·3
2136-71131085 0'031) 15 · NGKX- 115N* 880 01831)

x 1054

*1D

poise of 001Xsu/p01445
↓
11 18
2/2'4G SK is <N8
20ye 08 8 >07
OpOKCS4
(8.48 45
&" 10010Z"
(1) 8a(y3(y)
&.0148(10K, 12 · '0 1

·(11) 18.2.550
- *

0'2143140100 RS
·
21's ikjk
&ifn diox
-(1937

vo' didod
&On 31814 SxN
On 212/40
&
0 "10N
 ·

j15X >K" fuz45" 183NK6 (OicI'S diON & NO

#x

& I

G 7
-

&104 100
↳ ↓

⑧ l 234 5

uP assell's cla'd died

#i

25018000"48xy))
=

u MGf(p) (132),p -

x
=

1010x Nizp salyaixicNs(4100 Nox p-0104

812, 0104 (118M pO/MYIMI jS M.900I

10's life, p-S/s0 Ill's M

IMIIM1-8 (S
M
(115 0"
4 (N1(),018046(11548 M -

Sx() <

E(V.1) &2x10 8x051 MAMI

=

100%

2)OFC alpl4 & (x0> xy24

S( 0.31SM- 1 M
.8y01908 0.8)

-31914, 0:1800, 000 5 0'ris'<h.0402d 136 G'8390xY, 2 (7

,NOpIC
13en& pd

·
4.3316

<TSM-1 M.1 (200800 650.8)

Mi. 1080 (11559 p(100x >

IM'/>1M1-
10s" - 5.0

clot Nifod 0916.6 100x1

says, K) 02 (31) 4S
 &21 &
↑80
1934 -

&10xa(434 - -
M -
1
h,215G (V,t)
= &2(5)7x

n.ddfM Rin Nord add to his dig o

906014914
1954
:

M
&1S
-

x00In &xz -
G
<- ax/y3145
308 +10①1 80 -

101101 100" (15 W -

B-r( "
v <- 08 -(V,W)
16 < 0119-1500 90613151781
+

&xN
2 ↑

<- 702545513
1'1' W-86101's
DOIS
.

↳ 3

3paxx5515 ->

1'1' W-86101's
DOIS
.

5
↑ Dex)alpel42761000
V.POS 131) if 10K 3130 alGl4 daNK INN
W.10013418 7010 1.70 15Kalphly (NI

↓18 r -

80x6.315.4/.315 (120) 2.x #

 &Onalpelp K(x + 0
(815W

<- valains aloud priory")

r 10y8ds() (Niw)08nsk 1015 201
<

(3,4)
11s7 & ission
2nd 154 gland 119 14

14300 1000 & -108700

:733 x 1 M [1154
8377

(3 14 930 18K) 5011314314) 831) 18 9100214914OON

(3,4) 481183136) DOxt

2/p014508x <lll 800 18 dox0 901

180
· 1-2-3-4 1809 (31) 1-2-3icx) )* Nous
&a 21-824t
&48- *
8245-R0x

·
3158(1,2),(3,4)80y)(2,3)al) ox 1810 x1085 200 (1k 1110
4150 1080

y15d
101 800 10 1 800 0150
000 N8

1- 6804541823x<
 P.1044
<-

<
4.)(1S
-

90
<- huld perish
(V,t)02 >
1"4910i
<-
xs" &V 1
+"(155 -

15W-1
<- &Ox WalpelyOK 200 ("

<- (1S81 618327 08004

-

alpql4&1913 51594SK
780047
<- / 10 ik "
DON

<-
pely skid. ROi, Goxd
↓B.80 0.1834 200516180xr

<- RONdisCON WOK

807-4786901
<.0% (11) 0"x 18

20107748(6)

3 18 190 2100'K8 718

HIc
jasI

0's... josh 358 8'J

&100 z

palpelys 59 oplin x14-3110 Rid

4x11 108780
296 x -

1S $3104
 &04alpel4002(

7:275/ xiaki &

03.001x'7 [7.8): xy/c

(7.6) 1104096:

④->
&84 -
x)91
418
(11.57 -
 => 0314914 l'k
0.018X
T81
25
2x845
-

015(11'S
<= 48 ( K
 B & 4
in 2017

800 0.2014 118 B #

0 -
5 B #

. B-6 B #

80
&15
 30 18 Re

② ①

④ ③
T

↓ (11.5 (18 jd =

51 121k6 0'801

214 G (6 1085 (x& 014

x 8
<-
 JONDre

+KRz
:(11)

x30X1 1617M

JD83ON (18
03 , "40K
c80K
<
15

((56s'k48
14
·150

5k (ill] 0.80N NiC1 03C

&
M
<-
↑12'/S
<- 000 100 120100 Rxx-G'
0 x 100 90100
x
(11'X-M/
<-1081i 90 1101 D10x 314
(31
<0.618WH B-5c"9Ve'y21p1.36 087210
pai
<- 90s" us 2'4so k
1055
<-
111's xfezc
<-
icINOX Rezb 5lI'S4 >KydR2G1.IOG R35 xSIR

-GRIs, M.-jiy.***
· nn

< -814 0B>1"4 K50K

<
&8a(p214k3a) ack

xd 5xI

<- 10101905"918Wa'4 0K

<-
B5C91s a xa'4 0k -> 100/
->
-
"1509 <530150 8001

->
licBOH sRONN8 88S*is",
-
31'S7 4(, 281)
↓

|5k3il) 520XX((x61158 -08104

-

211(24
·
- 0207 -
41620)
G.(1518817 -
1845 6
- 1

② ①

④ ③

⑤ ⑱
 ⑧ ⑦

<-
314/

⑩ ⑨

⑱
⑭
Extend(M,G,T,(v,w))//𝑣 ∈ 𝐵,𝑤 ∉ 𝑇,w M-coverd

Let (𝑤, 𝑧) be the edge s.t (𝑤, 𝑧) ∈ 𝑀

𝑉(𝑇) = 𝑉(𝑇) ∪ {𝑤, 𝑧}

𝐸(𝑇) = 𝐸(𝑇) ∪ {(𝑣, 𝑤), (𝑤, 𝑧)}

‫ נשתמש בפונקציה הבאה‬,‫על מנת להגדיל את הזיווג באמצעות מסלול שיפור‬

Augment (M,G,T,r,(v,w))//𝑣 ∈ 𝐵,𝑤 ∉ 𝑇,w M-exposed

Let P’ be the path from r to v in T

P=P’∪ (𝑣, 𝑤)

𝑀 = 𝑀 ⊕ 𝐸(𝑃)

:‫נסתכל על אלגוריתם למציאת זיווג מושלם בגרף דו צדדי‬

Perfect_Matching_Algorithm_for_Bipartite_Graph(G=(V,E))

1. 𝑀 ← ∅
2. Choose an M-exposed vertex, r, and 𝑇 = ({𝑟}, ∅)
3. While there exists (𝑣, 𝑤) ∈ 𝐸 with 𝑣 ∈ 𝐵, 𝑤 ∉ 𝑉(𝑇)
a. If w is M-exposed
i. Augment (M,G,T,r,(v,w))
ii. If there is no M-exposed vertex in G
1. Return the perfect matching M
iii. Else
1. 𝑇 = ({𝑟}, ∅)𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 𝑟 𝑖𝑠 𝑀 − 𝑒𝑥𝑝𝑜𝑠𝑒𝑑
b. Else
i. Extend(M,G,T,(v,w))
4. Return no perfect matching
 ‫דוגמת הרצה על הקלט הבא נמצאת במצגת‪:‬‬

‫הנכונות מתבססת על המושגים והטענות הבאים‪:‬‬

‫עץ חילוף ייקרא מתוסכל אם כל צלע בגרף שיש לה קודקוד ב‪ B‬הקודקוד השני שלה נמצא ב‪.O‬‬

‫טענה( בלי הוכחה)‪ -‬מבוסס על חומר שלא נלמד‬

‫בהינתן גרף )𝐸 ‪ 𝐺 = (𝑉,‬וזיווג‪ ,𝑀 ,‬אם ‪ T‬עץ חילוף של ‪ M‬מתוסכל אזי ב‪ G‬אין זיווג מושלם‪.‬‬

‫טענה‬
‫בהינתן גרף דו חלקי )𝐸 ‪ , 𝐺 = (𝑉,‬זיווג‪ 𝑀 ,‬ועץ חילוף‪ T ,‬כך שלא קיים קודקוד ב𝐵 שיש לו שכן שאינו‬
‫בעץ‪ ,‬אזי העץ ‪ T‬מתוסכל‪.‬‬

‫הוכחה‬
‫כל מה שצריך להראות זה שכל קודקוד ב ‪ B‬שכן של קודקוד ב‪ .O‬מההנחה הקודקודים ב‪ B‬שכנים רק של‬
‫קודקודים בעץ‪ .‬לכן נניח בשלילה שיש קודקוד ב‪ B‬ששכן של קודקוד ב‪ B‬לשניהם יש מסלול באורך זוגי מ‪r‬‬
‫מסלולים אלה בתוספת הצלע מהווים מעגל באורך אי זוגי‪ ,‬בסתירה לכך שהגרף דו חלקי‪ .‬ולכן העץ‬
‫מתוסכל‪ ,‬כנדרש‪.‬‬
‫נרצה להרחיב את האלגוריתם שיעבוד גם על גרף לא דו חלקי‪.‬‬
‫תזכורת‪ 𝐺=(𝑉,𝐸) -‬הוא גרף דו צדדי אםם )𝐸‪ 𝐺=(𝑉,‬לא מכיל מעגלים באורך אי‪-‬זוגי‪.‬‬

‫דוגמת הרצה של האלגוריתם על הגרף הלא דו צדדעי הבא נמצאת במצגת‪:‬‬

 ‫בדוגמא הזו לא הצלחנו למצוא זיווג מושלם בגלל שקיים מעגל באורך אי זוגי‪.‬‬
‫על מנת להתגבר על מכשול זה‪ ,‬נסתכל על פונקציה ש"מכווצת" מעגלים באורך אי זוגי‪ ,‬בצורה הבאה‪:‬‬
‫בהנתן גרף )𝐸 ‪ 𝐺 = (𝑉,‬ומעגל אי זוגי 𝐶 נחזיר מולטיגרף ) 𝐶𝐸 ‪ 𝐺𝐶 = (𝑉𝑐 ,‬כאשר }𝐶{ ∪ )𝐶(𝑉 ∖ 𝑉 = ‪VC‬‬
‫ו ‪ EC‬מכילה את כל הקשתות ששני הקודקודים בהם לא ב‪ .C‬ובנוסף עבור צלע שקצה אחד שלה בקודקוד‬
‫שב‪ C‬וקצה שני בקודקוד לא ב‪ ,𝑢 ,C‬נוסיף צלע )𝐶 ‪.(𝑢,‬‬

‫לדוגמא‪:‬‬
 ‫ואחרי הכיווץ‬

‫אם קיים זיווג לגרף המכווץ 𝐶𝐺 אזי ניתן להגדיל את הזיווג בקלות כך שיתאים לגרף 𝐺‪.‬‬

‫באלגוריתם נרצה לכווץ מעגל שכל קודקודיו בעץ לאחר הכיווץ הצלעות שיהיו בעץ הן צלעות‬
‫שהיו בעץ מקודם או " מתאימות" לצלעות שהיו בעץ מקודם‪.‬‬
‫לדוגמא‪ :‬העץ לפני הכיווץ‬
 ‫והעץ אחרי הכיווץ‬

‫האלגוריתם ייראה כך ( דוגמת הרצה נמצאת במצגת)‪:‬‬

Blossom_Algorithm_for_Perfect_Matching (G=(V,E))

1. 𝑀←∅
2. 𝐺 ′ ← 𝐺, 𝑀′ ← 𝑀
3. Choose an M’-exposed vertex in G’, r, and 𝑇 = ({𝑟}, ∅)
4. While there exists (𝑣, 𝑤) ∈ 𝐸 ′with 𝑣 ∈ 𝐵, 𝑤 ∉ 𝑂
a. If 𝑤 ∉ 𝑉(𝑇) and is M’-exposed
i. Augment (M’,G’,T,r,(v,w))
ii. Expand M' to a matching M of G
iii. 𝐺 ′ ← 𝐺, 𝑀′ ← 𝑀
iv. If there is no M'-exposed vertex in G'
1. Return the perfect matching M
v. Else
1. 𝑇 = ({𝑟}, ∅)𝑠𝑢𝑐ℎ 𝑡ℎ𝑎𝑡 𝑟 𝑖𝑠 𝑀′ − 𝑒𝑥𝑝𝑜𝑠𝑒𝑑
b. Else if 𝑤 ∉ 𝑉(𝑇) and is M’-covered
i. Extend(M',G',T,(v,w))
c. Else if 𝑤 ∈ 𝐵
i. Let cycle C be the cycle that is formed from T and (𝑣, 𝑤)
ii. Shrink C. update M' and T. 𝐺 ′ ← 𝐺𝐶
5. G has no perfect matching

‫סיבוכיות‬

‫ כמות‬,‫ מכיוון שהזיווג רק גדל‬.‫ כמות הקודקודים החשופים קטנה באחת‬augment ‫בכל פעולת‬
.𝑂(|𝑉|) ‫הפעולות הללו היא‬

‫ ומקטינה את מספר‬G’‫ לא משנה את מספר הקודקודים ב‬Extend ‫נשים לב שפעולה של‬

.T‫הקודקודים שלא ב‬
.T‫ אך לא משנה את מספר הקודקודים שלא ב‬G’‫פעלת כיווץ מקטינה את מספר הקודקודים ב‬
‫ כלומר‬. 𝑂(|𝑉|) ‫ הן לכל היותר‬Extend‫ מספר פעולות הכיווץ וה‬augment ‫לכן בין שתי פעולות‬
.‫|𝑉|(𝑂 פעולות כאלה‬2 ) ‫סה"כ במהל האלגוריתם יש‬

.𝑂(|𝐸| ⋅ |𝑉|2 ) ‫כל פעולה כזו תיקח לכל היותר )|𝐸|(𝑂 ולכן סה"כ‬