‫מבנים בדידים וקומבינטוריקה – סמסטר אביב‬

‫תרגול ‪8‬‬
‫עצים‪:‬‬
‫הגדרות‪:‬‬
‫עץ הוא גרף לא מכוון קשיר וחסר מעגלים‪ .‬עץ עם ‪ n‬קדקודים מכיל ‪ n-1‬צלעות‪.‬‬
‫יהא ‪ G‬גרף עם ‪ n‬קדקודים‪ ,‬תנאי מספיק לכך ש‪ G -‬הוא עץ‪ ,‬הוא קיום שניים מבין התנאים הבאים‪:‬‬
‫‪ G .1‬קשיר‪.‬‬
‫‪ G .2‬חסר מעגלים‪.‬‬
‫‪ G .3‬מכיל ‪ n-1‬צלעות‪.‬‬
‫בהינתן גרף לא מכוון 𝐺 ‪ ,‬תת‪-‬גרף פורש של 𝐺 הוא תת‪-‬גרף שמכיל את כל קדקודי 𝐺‪.‬‬
‫עץ פורש של 𝐺 הוא תת‪-‬גרף פורש של 𝐺 שהוא עץ‪.‬‬
‫עבור גרף )𝐸 ‪ ,𝐺 = (𝑉,‬צלע 𝐸 ∈ 𝑒 וקודקוד 𝑉 ∈ 𝑣‪ ,‬נשתמש בסימונים הבאים‪:‬‬
‫‪𝐺\{𝑒} = (𝑉, 𝐸\{𝑒}) .1‬‬
‫‪𝐺\{𝑣} = (𝑉\{𝑣}, 𝐸\{𝑒: 𝑣 ∈ 𝑒}) .2‬‬
‫טענה שהראנו בהרצאה‪ :‬כל גרף קשיר מכיל עץ פורש‬

‫תרגילים‪:‬‬
‫שאלה ‪:1‬‬
‫נתון גרף קשיר )𝐸 ‪ . 𝐺 = (𝑉,‬יש להוכיח כי קיים קדקוד 𝑉 ∈ 𝑣 כך שהגרף }𝑣{\𝐺 = ‪ 𝐺′‬הינו גרף קשיר‪.‬‬
‫פתרון‪:‬‬
‫כיוון שהגרף 𝐺 קשיר‪ ,‬הוא מכיל עץ פורש ‪.T‬‬
‫כפי שנלמד בכיתה‪ ,‬בכל עץ פורש עם שני קדקודים לפחות‪ ,‬ישנו עלה‪.‬‬
‫נבחין כי המסלולים היחידים בהם עלה משתתף הם מסלולים בהם הוא קדקוד קצה (ראשון‪/‬אחרון)‪.‬‬
‫לכן‪ ,‬אם ננתק עלה ‪ v‬מ‪ ,T-‬המסלולים בין כל זוגות הקדקודים שנותרו יישארו כפי שהיו‪ ,‬כלומר שאר הקודקודים‬
‫ישארו מקושרים אחד לשני וכך גם בכל גרף שמכיל את }𝑣{\𝑇 זה ובפרט בגרף }𝑣{\𝐺 = ‪.𝐺′‬‬

‫שאלה ‪:2‬‬
‫נתון שבעץ מסוים 𝑇 ‪ ,‬ישנם שני מסלולים ארוכים ביותר בעלי אורך שווה‪ ,‬נסמנם ‪ . 𝑃1 , 𝑃2‬צריך להוכיח‬
‫שהמסלולים ‪ 𝑃1 , 𝑃2‬אינם זרים בקדקודים‪ ,‬כלומר‪ ,‬יש להם קדקוד משותף אחד לפחות‪.‬‬
‫פתרון‪:‬‬
‫נניח בשלילה כי המסלולים אינם חולקים קדקוד משותף‪.‬‬
‫נתבונן בזוג קדקודים‪ ,‬האחד מ‪ 𝑃1 -‬והשני מ‪ ,𝑃2 -‬בעלי מרחק מינימלי‪ 𝑣1 ,‬ו‪ ,𝑣2 -‬בהתאמה‪ .‬מהמינימליות‪ ,‬המסלול‬
‫המחבר בניהם אינו חולק קודקוד משותף עם ‪ 𝑃1‬או עם ‪.𝑃2‬‬
‫נסמן ב‪ 𝐵 -‬את תת המסלול הארוך של ‪ 𝑃1‬מבין השניים המתחילים בקצה של המסלול ומסתיימים ב‪( 𝑣1 -‬במקרה‬
‫של אורכים שווים‪ ,‬נבחר אחד מהם שרירותית)‪ .‬באופן דומה‪ ,‬נסמן ב‪ 𝐶 -‬את תת המסלול הארוך של ‪ 𝑃2‬מבין‬
‫השניים המתחילים בקצה של המסלול ומסתיים ב‪ , 𝑣2 -‬וכן ב‪ 𝐷 -‬את המסלול בין ‪ 𝑣1‬ל‪.𝑣2 -‬‬
 ‫מבנים בדידים וקומבינטוריקה – סמסטר אביב‬

‫נקבל כי שרשור המסלולים‪ , 𝐵𝐷𝐶 ,‬הוא מסלול פשוט ארוך יותר מכ"א מהמסלולים ‪ 𝑃1‬ו‪ 𝑃2 -‬כיוון שמכיל שני‬
‫חלקים מכ"א מהם שאורכם לפחות חצי‪ ,‬וכן לפחות צלע נוספת של 𝐷 ‪ ,‬בסתירה לכך ש‪ 𝑃1 , 𝑃2 -‬הינם המסלולים‬
‫הארוכים ביותר בעץ‪ ,‬מש"ל‪.‬‬

‫שאלה ‪:3‬‬
‫יהי )𝐸 ‪ 𝑇 = (𝑉,‬עץ כך ש‪,|𝑉| = 𝑛 -‬‬
‫א‪ .‬הוכיחו שעבור כל זוג קדקודים 𝑉 ∈ 𝑣 ‪ 𝑢,‬כך ש‪ ,{𝑢, 𝑣} ∉ 𝐸 -‬מתקיים כי בגרף‬
‫)}𝑣 ‪ 𝐺 = (𝑉, 𝐸 ∪ {𝑢,‬יש מעגל פשוט יחיד‪.‬‬
‫ב‪ .‬הוכיחו שלכל צלע 𝐸 ∈ }𝑣 ‪ ,{𝑢,‬בגרף)}}𝑣 ‪ 𝐺 = (𝑉, 𝐸\{{𝑢,‬יש בדיוק שני רכיבי קשירות‪.‬‬
‫פתרון‪:‬‬
‫א‪ .‬נבחין תחילה שלא קיים בגרף המתקבל מעגל שאינו פשוט כיוון שאז גם לאחר הסרת }𝑣 ‪ {𝑢,‬הגרף 𝑇 מכיל‬
‫מעגל ואיננו עץ בסתירה לנתון בשאלה‪ .‬מקשירות העץ נובע שקיים בעץ מסלול בין 𝑢 ו‪ .𝑣 -‬כעת‪ ,‬לאחר‬
‫הוספת הצלע נוצר מעגל פשוט‪ ,‬נסמן אותו ‪ .𝐶1‬אם קיים בגרף 𝐺 מעגל פשוט נוסף‪ {𝑢, 𝑣} , 𝐶2 ,‬חייבת‬
‫להשתתף בו‪ ,‬כיוון שבעץ המקורי 𝑇 אין מעגלים‪ .‬מכאן שב‪ T-‬יש לפחות שני מסלולים בין 𝑢 ו 𝑣‪ ,‬כלומר ישנו‬
‫מעגל‪ ,‬בסתירה להיותו עץ‪.‬‬
‫ב‪ .‬הצלע }𝑣 ‪ {𝑢,‬הינה המסלול הפשוט היחיד בין 𝑢 ו‪ 𝑣 -‬בעץ‪ .‬אם היה עוד אחד‪ 𝑇 ,‬היה מכיל מעגל‪ ,‬בסתירה‬
‫להיותו עץ‪ .‬לכן כשמסירים אותה‪ ,‬ב‪ 𝐺 -‬לפחות שני רכיבי קשירות‪ .‬נבחין שלא יתכן שיש ב‪ 𝐺 -‬יותר משני‬
‫רכיבי קשירות כיוון שבהוספת }𝑣 ‪ {𝑢,‬ניתן לחבר לכל היותר שני רכיבים (הרכיב של ‪ u‬והרכיב של 𝑣) אולם‬
‫𝐺 בתוספת בצלע }𝑣 ‪ {𝑢,‬זהו העץ 𝑇 שהינו קשיר‪.‬‬
 ‫מבנים בדידים וקומבינטוריקה – סמסטר אביב‬

‫שאלה ‪:4‬‬
‫יהיו ) ‪ 𝑇1 = (𝑉, 𝐸1 ) , 𝑇2 = (𝑉, 𝐸2‬עצים מעל קבוצת קדקודים 𝑉‪ .‬צריך להוכיח כי לכל צלע ‪ 𝑒1 ∈ 𝐸1‬קיימת‬
‫צלע ‪ 𝑒2 ∈ 𝐸2‬כך שהגרפים‪ 𝐺1 = (𝑉, (𝐸1 \{𝑒1 }) ∪ {𝑒2 }) -‬וכן )} ‪ 𝐺2 = (𝑉, (𝐸2 \{𝑒2 }) ∪ {𝑒1‬הינם‬
‫עצים‪.‬‬
‫פתרון‪:‬‬
‫תהי ‪𝑒1 ∈ 𝐸1‬‬
‫מקרה ‪: 𝑒1 ∈ 𝐸2 -1‬‬
‫במקרה זה ברור כי אם נבחר ‪ 𝑒2 = 𝑒1‬אזי )} ‪𝐺1 = (𝑉, (𝐸1 \{𝑒1 }) ∪ {𝑒1‬‬
‫הינם עצים‪.‬‬ ‫וכן)} ‪𝐺2 = (𝑉, (𝐸2 \{𝑒1 }) ∪ {𝑒1‬‬
‫מקרה ‪: 𝑒1 ∉ 𝐸2 - 2‬‬
‫נסמן )𝑣 ‪ , 𝑒1 = (𝑢,‬בגרף )} ‪ 𝐺 ′ = (𝑉, 𝐸1 \{𝑒1‬יש בדיוק שני רכיבי קשירות‪ ,‬נסמנם 𝑣𝐶 ‪. 𝐶𝑢 ,‬‬
‫ב‪ 𝑇2 -‬יש מסלול פשוט בין 𝑣 ל 𝑢 שאינו מכיל את ‪ ,𝑒1‬נסמנו ב‪.𝑃 -‬‬
‫כיוון ש‪ 𝑃 -‬מתחיל בקדקוד מ 𝑣𝐶 ומסתיים בקדקוד מ‪ ,𝐶𝑢 -‬יש בו צלע ‪ 𝑒2‬המחברת בין 𝑣𝐶 ל‪.𝐶𝑢 -‬‬
‫נבחין ש‪ ,𝑒2 ∉ 𝐸1 \{𝑒1 } -‬כיוון שב‪ 𝐺 ′ -‬אין צלע בין שני רכיבי הקשירות 𝑣𝐶 ‪. 𝐶𝑢 ,‬‬
‫לכן נקבל ש )} ‪ 𝐺1 = (𝑉, (𝐸1 \{𝑒1 }) ∪ {𝑒2‬קשיר בעל ‪ 𝑛 − 1‬צלעות ולכן עץ‪ ,‬כנדרש‪.‬‬
‫ב‪ 𝐺 ′′ = (𝑉, 𝐸2 ∪ {𝑒1 }) -‬יש מעגל פשוט יחיד המכיל את הצלעות ‪ 𝑒2‬ו ‪( 𝑒1‬זה המורכב מהמסלול היחיד ב‪𝑇2 -‬‬
‫בין 𝑣 ו 𝑢 שמכיל את הצלע ‪ 𝑒2‬בתוספת הצלע )𝑣 ‪.𝑒1 = (𝑢,‬‬
‫לכן ב‪ 𝐺2 = (𝑉, (𝐸2 \{𝑒2 }) ∪ {𝑒1 }) -‬יש ‪ 𝑛 − 1‬צלעות ולא נותרו מעגלים‪ ,‬כלומר‪ 𝐺2 ,‬הינו עץ כנדרש‪.‬‬

‫שאלה ‪:5‬‬
‫נתון גרף )𝐸 ‪ 𝐺 = (𝑉,‬קשיר כך ש ‪ |𝑉| > 1 -‬ועבור כל צלע 𝐸 ∈ 𝑒 הגרף )}𝑒{\𝐸 ‪ 𝐺′ = (𝑉,‬הוא עץ‪ .‬יש‬
‫להוכיח שכל קדקוד ב ‪ 𝐺 -‬הוא בעל דרגה ‪( 2‬כלומר 𝐺 מעגל)‪.‬‬

‫פתרון‪:‬‬
‫ראשית נבחין כי לכל קודקוד ב‪ 𝐺 -‬דרגה ‪ 2‬לפחות‪ .‬אחרת‪ ,‬ישנו קודקוד עבורו צלע יחידה החלה בו וע"י השמטתה‬
‫נקבל גרף לא קשיר‪ .‬נראה כי לכל קדקוד דרגה ‪ 2‬בדיוק‪.‬‬
‫יהי 𝑉 ∈ 𝑣 ותהי }𝑣 ‪ 𝑒 = {𝑢,‬צלע ב – 𝐺‪ .‬מהנתון‪ ,‬אם נשמיט את 𝑒 מ𝐺 ‪ -‬נקבל עץ‪ .‬בעץ לפחות שני עלים‪,‬‬
‫ודרגת כל עלה היא ‪ .1‬דרגת כל קדקוד ב‪ G-‬היא לפחות ‪ 2‬והסרת הצלע הפחיתה רק מדרגות 𝑣 ‪ ,𝑢,‬לכן ‪𝑢 −‬‬
‫𝑣 ו הם עלים בעץ ‪ , 𝐺′‬כלומר דרגתם המקורית הייתה בדיוק ‪.2‬‬
 ‫מבנים בדידים וקומבינטוריקה – סמסטר אביב‬

‫גרפים דו‪-‬חלקיים (דו‪-‬צדדיים)‪:‬‬

‫הגדרות‪:‬‬
‫• גרף לא מכוון 𝐺 נקרא רגולרי אם לכל הקדקודים בו יש את אותה הדרגה‪ .‬אם לכל הקדקודים דרגה 𝑑‪ ,‬הגרף‬
‫נקרא 𝒅‪-‬רגולרי‪.‬‬
‫• גרף )𝐸 ‪ 𝐺 = (𝑉,‬ייקרא דו‪-‬חלקי אם ניתן לחלק את 𝑉 לשתי קבוצות זרות ‪ ,V = 𝑉1 ⊍ 𝑉2‬כך שכל צלע‬
‫בגרף היא בין קדקוד מ – ‪ 𝑉1‬לקדקוד מ – ‪ ,𝑉2‬כלומר ‪𝐸 ⊆ 𝑉1 × 𝑉2‬‬

‫משפט‪ :‬גרף הוא דו‪-‬חלקי אם ורק אם כל המעגלים שלו הם באורך זוגי‪.‬‬

‫שאלה ‪:6‬‬
‫הגדרה‪ :‬גרף הקובייה 𝑛𝑄 הוא הגרף שקדקודיו הם כל הסדרות הבינאריות באורך ‪ ,n‬ובין שני קדקודים יש צלע‬
‫אם ורק אם הסדרות הבינאריות שהם מייצגים נבדלות בביט יחיד‪.‬‬

‫צ"ל שגרף הקובייה 𝑛𝑄 דו‪-‬חלקי‪.‬‬

‫פתרון ‪:1‬‬
‫נגדיר‪:‬‬
‫‪ = L‬כל הקדקודים המייצגים סדרה עם מספר זוגי של אפסים‪.‬‬
‫‪ = R‬כל הקדקודים המייצגים סדרה עם מספר אי‪-‬זוגי של אפסים‪.‬‬
‫כל קדקוד מייצג סדרה בינארית עם מספר זוגי או אי זוגי של אפסים‪ ,‬לכן ) 𝑛𝑄(𝑉 = 𝑅 ∪ 𝐿‪ ,‬וכן ∅ = 𝑅 ∩ 𝐿‪.‬‬
‫נראה שאין צלעות בגרף בין שני קדקודים ב‪ 𝐿 -‬או בין שני קדקודים ב‪.𝑅 -‬‬
‫יהיו ) 𝑛𝑄(𝑉 ∈ 𝑣 ‪ .𝑢,‬אם ) 𝑛𝑄(𝐸 ∈ }𝑣 ‪ ,{𝑢,‬אז הסדרות המיוצגות ע"י 𝑣 ‪ 𝑢,‬נפרדות בביט אחד בדיוק‪ .‬לכן באחת‬
‫הסדרות בהכרח מס' אי זוגי של אפסים ובשנייה מס' זוגי‪ ,‬ולכן אחד הקדקודים נמצא ב – ‪ ,R‬והשני ב ‪.L -‬‬

‫פתרון ‪:2‬‬
‫נראה כי כל המעגלים בגרף הקובייה הם באורך זוגי‪.‬‬
‫טענה‪ :‬זוג קדקודים 𝑣 ‪ 𝑢,‬בגרף הקובייה מחוברים במסלול באורך זוגי אם"ם 𝑣 ו 𝑢 נבדלים במספר זוגי של ביטים‪.‬‬
‫נוכיח את הטענה באינדוקציה על אורך המסלול ‪.m‬‬
‫בסיס‪ , 𝑚 = 1 :‬כלומר המסלול הינו צלע (𝑣 ‪ . (𝑢,‬מהגדרת גרף הקובייה 𝑣 ו 𝑢 נבדלים בביט אחד‪ ,‬כלומר מספר‬
‫אי‪-‬זוגי של ביטים‪.‬‬
‫נניח שהטענה נכונה עבור מסלולים באורך ‪.𝑚 − 1‬‬
‫נתבונן במסלול באורך 𝑚 מ‪ 𝑣 -‬ל‪ .(𝑣 = 𝑣0 , … , 𝑣𝑚 = 𝑢) ,𝑢 -‬המסלול בין ‪ 𝑣0‬ל ‪ 𝑣𝑚−1‬הוא באורך ‪.𝑚 − 1‬‬
‫נניח כי ‪ 𝑚 − 1‬זוגי‪ ,‬אזי מהנחת האינדוקציה ‪ 𝑣0‬ו ‪ 𝑣𝑚−1‬נבדלים במספר זוגי 𝑘 של ביטים‪ 𝑣𝑚 .‬נבדל מ‪𝑣𝑚−1 -‬‬
‫בביט אחד ולכן נבדל מ‪ 𝑣0 -‬ב‪ 𝑘 + 1 -‬או ‪ 𝑘 − 1‬ביטים‪ ,‬כלומר במספר אי‪-‬זוגי של ביטים‪ .‬היות ו‪ 𝑚 − 1 -‬זוגי‪,‬‬
‫הרי ש‪ 𝑚 -‬אי זוגי‪ ,‬כנדרש‪ .‬המקרה השני בו ‪ 𝑚 − 1‬אי זוגי דומה‪.‬‬
‫כעת‪ ,‬נראה כי כל המעגלים בגרף הקובייה הם באורך זוגי‪.‬‬
‫יהא מעגל ) 𝑚𝑣 ‪ (𝑣0 , . . ,‬בגרף‪ ,‬אזי זהו מסלול מהקדקוד ‪ 𝑣0‬לעצמו‪ .‬מכיוון שכל קדקוד נבדל מעצמו ב‪ 0-‬ביטים‬
‫הרי שאורך מסלול ממנו לעצמו‪ ,‬ע"פ הטענה‪ ,‬הינו זוגי‪ .‬מכאן שגרף הקובייה הוא דו‪-‬חלקי‪.‬‬
 ‫מבנים בדידים וקומבינטוריקה – סמסטר אביב‬

‫שאלה ‪:7‬‬
‫גרף דו‪-‬חלקי מלא )𝐸 ‪ 𝐺 = (𝑉1 ⊍ 𝑉2 ,‬הינו גרף דו‪-‬חלקי שבו ישנה צלע בין כל אחד מקדקודי ‪ 𝑉1‬לכל אחד‬
‫מקדקודי ‪ )𝐸 = 𝑉1 × 𝑉2 ( ,𝑉2‬ונהוג לסמנו ‪ 𝐾𝑚,𝑙 -‬כאשר 𝑚 = | ‪.|𝑉2 | = 𝑙 ,|𝑉1‬‬
‫א‪ .‬הראו שלכל ‪ 𝐾1,𝑙 ,𝑙 > 0‬הינו עץ‪.‬‬
‫ב‪ .‬הראו שלכל ‪ 𝐾𝑚,𝑙 ,𝑚, 𝑙 ≥ 2‬אינו עץ‪.‬‬

‫פתרון‪:‬‬
‫א‪ 𝐾1,𝑙 .‬הינו גרף דו חלקי מלא כך שבצד אחד נמצא קדקוד יחיד‪ ,‬נסמנו ב‪ ,𝑥 -‬ובצד שני כל היתר‪ ,‬נסמנם‬
‫ב – 𝑌‪ .‬צלעות הגרף הן }𝑦 ‪ ,{𝑥,‬לכל 𝑌 ∈ 𝑦‪ .‬ישנם ‪ 𝑛 = |𝑌| + 1‬קודקודים ו‪ 𝑛 − 1 = |𝑌|-‬צלעות‬
‫וכן‪ ,‬בין כל שני קדקודים ישנו מסלול העובר דרך 𝑥 ולכן הגרף קשיר‪ .‬מכאן שזהו עץ‪.‬‬
‫ב‪ .‬נסמן את שני קדקודים שבצד האחד ב ‪ ,{𝑥1 , 𝑥2 } -‬ושני קודקודים בצד השני ב ‪( {𝑦1 , 𝑦2 } -‬ניתן‬
‫לביצוע כי ‪ .)𝑚, 𝑙 ≥ 2‬הגרף מכיל את המעגל ) ‪ ,(𝑥1 , 𝑦1 , 𝑥2 , 𝑦2 , 𝑥1‬ולכן אינו עץ‪.‬‬

‫שאלה ‪:8‬‬
‫נתון גרף דו‪-‬חלקי‪ ,‬קשיר ו – 𝑟‪-‬רגולרי )𝐸 ‪ .𝐺 = (𝑉,‬הוכיחו שעבור כל קודקוד 𝑉 ∈ 𝑣‪ 𝐺′ = 𝐺\{𝑣} ,‬גרף‬
‫קשיר‪.‬‬

‫פתרון‪:‬‬
‫𝐺 גרף דו‪-‬חלקי‪ ,‬נסמן ב‪ 𝑉 = 𝐴 ⊍ 𝐵 -‬את צדדי הגרף‪ .‬כעת נבחין כי אם ‪ |𝑉| = 2‬הטענה טריוויאלית‪ .‬אם > |𝑉|‬
‫‪ 2‬אז ‪ 𝑟 > 1‬כי ‪ G‬קשיר‪ .‬נבחר 𝑉 ∈ 𝑣 כלשהו‪ 𝐺\{𝑣} ,‬נניח בה"כ כי 𝐴 ∈ 𝑣 ונתבונן בגרף }𝑣{\𝐺 = ‪.𝐺′‬‬
‫נניח בשלילה כי ‪ 𝐺′‬אינו קשיר‪ .‬כלומר‪ ,‬ישנם ‪ 2‬שכנים של ‪ v‬ב‪ 𝑥, 𝑦, G-‬שנמצאים כעת ברכיבים שונים‪.‬‬
‫יהא ‪ 𝐺1‬רכיב קשירות של ‪ 𝐺′‬שמכיל את ‪ .x‬נסמן ב‪ 𝑘 < 𝑟-‬את מספר השכנים של ‪ v‬ברכיב ואת צדדי ‪ 𝐺1‬ב – ‪𝐴1‬‬
‫וב – ‪ .𝐵1‬דרגת כל קודקוד ב– ‪ 𝐴1‬היא 𝑟 וב– ‪ 𝐵1‬דרגת 𝑘 שכניו של ‪ v‬היא ‪ 𝑟 − 1‬ודרגת שאר הקדקודים היא 𝑟‪.‬‬
‫מכיוון ש‪ 𝐺1 -‬דו‪-‬חלקי מתקיים )𝑣(𝑑 ‪ .∑𝑣∈𝐴1 𝑑(𝑣) = ∑𝑣∈𝐵1‬לכן‪,‬‬
‫𝑟 ⋅ | ‪,𝑘 ⋅ (𝑟 − 1) + (|𝐵1 | − 𝑘) ⋅ 𝑟 = |𝐴1‬‬
‫ז"א )𝑘 ‪.𝑘 ⋅ (𝑟 − 1) = 𝑟(|𝐴1 | − |𝐵1 | +‬‬
‫השוויון הנ"ל מתקיים אם שני האגפים שווים ‪ ,0‬או ש‪ 𝑟 -‬מחלק את )‪.𝑘 ⋅ (𝑟 − 1‬‬
‫לא ייתכן כי אגף שמאל שווה ל‪ 0-‬כי ‪ x( 𝑘 > 0‬שכן של ‪ v‬ברכיב ‪ )𝐺1‬ו‪ 𝑟 − 1 > 0 -‬ולכן 𝑟 מחלק את ⋅ 𝑘‬
‫)‪ 𝑟, 𝑟 − 1 .(𝑟 − 1‬זרים‪ ,‬לכן 𝑟 מחלק את 𝑘‪ ,‬אך 𝑟 < 𝑘‪ ,‬סתירה‪.‬‬
‫אם כן‪ 𝐺′ ,‬קשיר‪.‬‬

‫שאלה ‪:9‬‬
‫מהו מספר הגרפים הדו‪-‬חלקיים עם קבוצות הקדקודים 𝐵 ‪ |𝐴| = |𝐵| = 3 , 𝐴,‬שאינם מכילים רכיב קשירות בעל‬
‫צלע בודדת?‬

‫פתרון‪:‬‬
‫נחשב בעזרת הבעיה המשלימה ונשתמש בעיקרון ההכלה וההדחה‪.‬‬
‫עבור גרף דו‪-‬חלקי עם שתי קבוצות קדקודים בגודל ‪ 3‬ישנן ‪ 9‬צלעות אפשריות‪ ,‬כשכל אחת יכולה להופיע או‬
‫להעדר‪ .‬לכן‪ ,‬סה"כ ישנם ‪ 29‬גרפים אפשריים‪.‬‬
‫לכל צלע אפשרית 𝑖𝑒 ‪ 1 ≤ 𝑖 ≤ 9 ,‬נסמן ב‪ ,𝐸𝑖 -‬את קבוצת הגרפים בהם הצלע 𝑖𝑒 שייכת לרכיב קשירות בעל‬
‫צלע בודדת‪ .‬לכל ‪ :|𝐸𝑖 | = 24 , 1 ≤ 𝑖 ≤ 9‬כמספר האפשרויות ליתר הצלעות בגרף‪.‬‬
‫לכל ‪ ,1 ≤ 𝑖 < 𝑗 ≤ 9‬אם לצלעות 𝑖𝑒 ו‪ 𝑒𝑗 -‬נקודת קצה משותפת אז ‪.|𝐸𝑖 ∩ 𝐸𝑗 | = 0‬‬
‫אחרת‪ :|𝐸𝑖 ∩ 𝐸𝑗 | = 2 ,‬כמספר האפשרויות להמצאות‪/‬היעדרות הצלע הנותרת‪ .‬מספר הזוגות ללא נקודת קצה‬
‫משותפת הוא ‪ :(32) ∙ 3 ∙ 2‬מספר האפשרויות לבחירת נקודות הקצה מ‪ A-‬והתאמת נקודת קצה מ‪ B-‬לכל אחת מהן‪.‬‬
‫מספר השלשות של צלעות 𝑘𝑒 ‪ 𝑒𝑖 , 𝑒𝑗 ,‬הזרות בזוגות הוא כמספר התמורות‪ .3! :‬ומתקיים ‪.|𝐸𝑖 ∩ 𝐸𝑗 ∩ 𝐸𝑘 | = 1‬‬
‫לכן‪ ,‬מספר הגרפים האפשריים הוא‪29 − 9 ⋅ 24 + (32) ∙ 3 ∙ 2 ⋅ 2 − 3! :‬‬