אחיה בר-און (שיחה | תרומות) (←תרגילים נוספים) |
1593237070 (שיחה | תרומות) |
||
(18 גרסאות ביניים של 3 משתמשים אינן מוצגות) | |||
שורה 73: | שורה 73: | ||
'''פתרון''': נבחר <math>v_0\in V</math> ונצא ממנו לאחד משכניו. מפה נמשיך למסלול רנדומאלי כך שאם הולכים מ <math>v\to u</math> הצעד הבא לא יהיה <math>u\to v</math> (זה אפשרי כי כל קדקוד יש לפחות 2 שכנים אז אם נכנסים אליו משכן א ניתן לצאת משכן ב). כיוון שיש מספר סופי של קדקודים נקבל חזרה על קדקוד כלשהו בשלב כלשהו. בפעם הראשונה שנקבל חזרה קיבלנו מעגל! | '''פתרון''': נבחר <math>v_0\in V</math> ונצא ממנו לאחד משכניו. מפה נמשיך למסלול רנדומאלי כך שאם הולכים מ <math>v\to u</math> הצעד הבא לא יהיה <math>u\to v</math> (זה אפשרי כי כל קדקוד יש לפחות 2 שכנים אז אם נכנסים אליו משכן א ניתן לצאת משכן ב). כיוון שיש מספר סופי של קדקודים נקבל חזרה על קדקוד כלשהו בשלב כלשהו. בפעם הראשונה שנקבל חזרה קיבלנו מעגל! | ||
+ | |||
+ | ==תרגיל== | ||
+ | יהי <math>G=(V,E)</math> גרף, ונסמן <math>\delta_G=\underset{v\in V}{\min}\{deg(V)\}</math> את הדרגה המינימלית בגרף. נניח <math>\delta_G\geq 1</math>. הוכיחו: | ||
+ | |||
+ | א. יש בגרף מסלול פשוט מאורך לפחות <math>\delta_G</math>. | ||
+ | |||
+ | ב. יש בגרף מעגל פשוט מאורך לפחות <math>\delta_G+1</math>. | ||
+ | |||
+ | ===פתרון=== | ||
+ | |||
+ | א. יהי <math>(v_1,v_2,\dots ,v_k)</math> מסלול פשוט מאורך מקסימלי. מתקיים: <math>\deg(v_1)\geq \delta_G</math>. טענה: כל שכניו נמצאים במסלול. הוכחה: אחרת אפשר להוסיף שכן שלא במסלול לתחילת המסלול ולקבל מסלול פשוט ארוך יותר בסתירה למקסימליות. לכן אורך המסלול לפחות כמו <math>\delta_G</math>. | ||
+ | |||
+ | ב. יהי <math>(v_1,v_2,\dots ,v_k)</math> מסלול פשוט מאורך מקסימלי. ראינו שכל שכני הראשון במסלול, ולכן מספיק לקחת את המסלול עד שמגיעים לאחרון השכנים, ואז לחזור חזרה ל <math>v_1</math> ולקבל מעגל פשוט מהאורך המתאים. | ||
==תרגיל== | ==תרגיל== | ||
שורה 79: | שורה 92: | ||
'''פתרון''': באינדוקציה. | '''פתרון''': באינדוקציה. | ||
− | עבור <math>n=3</math> הגרף הוא בהכרח משולש (לא יכולות להיות יותר מ- | + | עבור <math>n=3</math> הגרף הוא בהכרח משולש (לא יכולות להיות יותר מ-3 צלעות עבור 3 קדקודים) ואכן יש מעגל. |
נניח כי הטענה נכונה עבור <math>n</math> ונוכיח עבור <math>n+1</math>. יהי <math>G</math> בעל <math>n+1>3</math> קדקודים ו- <math> m\ge n+1</math> צלעות. | נניח כי הטענה נכונה עבור <math>n</math> ונוכיח עבור <math>n+1</math>. יהי <math>G</math> בעל <math>n+1>3</math> קדקודים ו- <math> m\ge n+1</math> צלעות. | ||
שורה 105: | שורה 118: | ||
'''פתרון''': יהיו <math>v,u\in V</math>. צריך להוכיח כי <math>[v]=[u]</math> (כך נסמן את רכיב הקשירות). | '''פתרון''': יהיו <math>v,u\in V</math>. צריך להוכיח כי <math>[v]=[u]</math> (כך נסמן את רכיב הקשירות). | ||
− | נניח כי הם שונים, אזי ב<math>|[v]|,|[u]|\geq 51</math> ( הקודוקד + לפחות 50 שכנים). אלו הם שני מרכיבי קשירות שונים ולכן הם זרים, ומכך שבגרף יש לכל | + | נניח כי הם שונים, אזי ב<math>|[v]|,|[u]|\geq 51</math> ( הקודוקד + לפחות 50 שכנים). אלו הם שני מרכיבי קשירות שונים ולכן הם זרים, ומכך שבגרף יש לכל הפחות 102 קדקודים, סתירה. |
+ | '''הערה:''' אפשר להכליל את התרגיל, ולהפוך אותו לתרגיל על קוטר של גרף: יהי <math>G=(V,E)</math> גרף עם <math>|V|=n</math>. הוכיחו שאם דרגת כל קודקוד היא לפחות <math>\frac{n-1}{2}</math> אז <math>diam(G)\leq 2</math>, ובפרט <math>G</math> קשיר. | ||
+ | |||
+ | הוכחה: יהיו <math>v,u\in V</math>. אם הם שכנים אז <math>d(v,u)=1</math>. אם לא, אז נניח בשלילה שאין להם שכן משותף ונקבל ש- <math>\Gamma(v)\cap \Gamma(u)=\varnothing</math>, ובנוסף <math>|\Gamma(v)|,|\Gamma(u)|\geq \frac{n-1}{2}</math>, ולכן יש בגרף לפחות <math>|\Gamma(v)\cup \Gamma(u)\cup \{v,u\}|=2\cdot \frac{n-1}{2}+2=n+1</math> קודקודים (נובע מכך שהאיחוד זר) בסתירה. לכן יש להם שכן משותף ולכן <math>d(v,u)=2</math>. בסה"כ נקבל <math>\forall v,u:d(v,u)\leq 2</math> ולכן <math>diam(G)\leq 2</math>. | ||
==תרגיל== | ==תרגיל== | ||
שורה 113: | שורה 129: | ||
'''פתרון''': לפי תרגיל קודם קיים <math>v\in V</math> כך שדרגתו לכל היותר 1 (אחרת לכל הקדקודים יש דרגה לפחות 2 ואז יש מעגל לפי תרגיל קודם). | '''פתרון''': לפי תרגיל קודם קיים <math>v\in V</math> כך שדרגתו לכל היותר 1 (אחרת לכל הקדקודים יש דרגה לפחות 2 ואז יש מעגל לפי תרגיל קודם). | ||
− | נמשיך באינדוקציה על <math>n</math>מספר הקדקודים בגרף. | + | נמשיך באינדוקציה על <math>n</math>, מספר הקדקודים בגרף. |
אם <math>n=2</math> אזי או שהגרף הוא 2 נקודות ללא צלעות או 2 נקודות המחוברות בצלע. בכל מקרה 2 הנקודות של הגרף הן מדרגה קטנה שווה ל-1. | אם <math>n=2</math> אזי או שהגרף הוא 2 נקודות ללא צלעות או 2 נקודות המחוברות בצלע. בכל מקרה 2 הנקודות של הגרף הן מדרגה קטנה שווה ל-1. | ||
שורה 130: | שורה 146: | ||
הוכח/הפרך: | הוכח/הפרך: | ||
# אם מתקיים <math>\forall v \in V: \operatorname{deg}(v)\ge2</math>, אז <math>G</math> קשיר. | # אם מתקיים <math>\forall v \in V: \operatorname{deg}(v)\ge2</math>, אז <math>G</math> קשיר. | ||
− | # קיים גרף | + | # קיים גרף בן שישה קדקודים 1,2,3,4,4,5. |
− | # קיים גרף | + | # קיים גרף בן שישה קדקודים 1,2,3,4,5,5. |
'''פתרון''': | '''פתרון''': | ||
שורה 137: | שורה 153: | ||
# לא נכון, כי סכום הדרגות אי-זוגי, בסתירה למשפט לחיצת הידיים. | # לא נכון, כי סכום הדרגות אי-זוגי, בסתירה למשפט לחיצת הידיים. | ||
# הפעם משפט לחיצת הידיים לא נכשל, אך זה עדיין לא נכון - אילו היו שני קדקודים מדרגה 5, הר שכל הקדקודים היו מחוברים אל שניהם, ולכן אין קדקוד מדרגה 1. | # הפעם משפט לחיצת הידיים לא נכשל, אך זה עדיין לא נכון - אילו היו שני קדקודים מדרגה 5, הר שכל הקדקודים היו מחוברים אל שניהם, ולכן אין קדקוד מדרגה 1. | ||
+ | |||
+ | ==תרגיל== | ||
+ | יהא <math>G=(V,E)</math> גרף פשוט סופי לא מכוון. נניח כי <math>V=V_1\cup V_2</math> איחוד זר (כלומר החיתוך <math>V_1\cap V_2=\emptyset</math>. עוד נניח כי קיים <math>v_i\in V_i</math> כך שקיימת קשת <math>(v_1,v_2)\in E</math> והיא הקשת היחידה בין <math>V_1</math> ל <math>V_2</math>. | ||
+ | |||
+ | הוכיחו שקיים קודקוד בעל דרגה אי זוגית. | ||
+ | |||
+ | פתרון: נסתכל על תת הגרף <math>V_1</math> אם <math>v_1</math> בעל דרגה זוגית בו אז הוא יהיה בעל דרגה אי זוגית ב V. אחרת דרגתו ב V1 אי זוגית ולכן לפי משפט לחיצת הידיים שסכום הדרגות זוגיות, קיים עוד קודוד בעל דרגה אי זוגית ב V1. כיוון שהקשת היחידה בין <math>V_1</math> ל <math>V_2</math> היא <math>(v_1,v_2)\in E</math> נקבל כי קודקוד זה בעל דרגה אי זוגית גם ב G. | ||
+ | |||
+ | ==תרגיל== | ||
+ | יהא <math>G=(V,E)</math> גרף פשוט סופי לא מכוון קשיר בעל מעגל יחיד עם <math>3\leq |V|</math>. הוכיחו כי <math>|E|=|V|</math> | ||
+ | |||
+ | פתרון: נסמן את המעגל היחידי ב G ב <math>C=(v_0,\dots,v_n)</math>. | ||
+ | |||
+ | טענה: <math>|V|\leq |E|</math> | ||
+ | |||
+ | הוכחה: נסתכל על הגרף <math>G'=(V,E\setminus \{v_{n-1},v_n\})</math> הוא בעל <math>|E|-1</math> קשתות אך עדיין קשיר (כי אם יש מסלול המערב את הקשת שהורדה ניתן להחליף אותה <math>C=(v_0,\dots,v_{n-1})</math>.) לכן לפי הרצאה יש לו לפחות <math>|V|-1</math> קשתות ולכן <math>|V|-1\leq |E|-1</math> ואחרי העברת אגפים נקבל את המבוקש. | ||
+ | |||
+ | טענה: <math>|E|\leq |V|</math> | ||
+ | |||
+ | הוכחה: נניח בשלילה כי <math>|V|+1\leq |E|</math> | ||
+ | |||
+ | נסתכל על הגרף <math>G'=(V,E\setminus \{v_{n-1},v_n\})</math> | ||
+ | הוא בעל <math>|V| \leq|E|-1</math> קשתות אך הרסנו את המעגל היחידי שהיה ב G אבל לפי תרגיל ממקודם אם מספר הצלעות גדול שווה ממספר הקודקודים יש בו מעגל. סתירה. | ||
+ | |||
+ | ==תרגיל== | ||
+ | א. מהו הקוטר המקסימלי של גרף קשיר עם <math>n</math> קודקודים? | ||
+ | |||
+ | ב. מהו המספר המינימלי של קשתות בגרף עם <math>n</math> קודקודים וקוטר 2? | ||
+ | |||
+ | '''פתרון:''' | ||
+ | |||
+ | א. <math>n-1</math>. לא יכול להיות יותר כי הקוטר מוגדר כמרחק המקסימלי בין קודקודים, ומרחק הוא אורך המסלול הקצר, ומסלול קצר לא מכיל מעגלים, ולכן מכיל לכל היותר <math>n</math> קודקודים, ולכן לכל היותר <math>n-1</math> קשתות. גרף קו הוא עם קוטר <math>n-1</math> כי זה המרחק בין הימני ביותר לשמאלי ביותר, לכן זה הקוטר המקסימלי. | ||
+ | |||
+ | ב. <math>n-1</math>. לא יכול להיות פחות כי אז הגרף לא יהיה קשיר וקטרו יהיה אינסוף ולא 2. גרף כוכב (יש קודקוד <math>u</math> המקיים <math>E=\{\{u,v\}:u\neq v\}</math> כלומר, הוא מחובר לכולם ואין עוד קשתות) הוא עם <math>n-1</math> קשתות וקוטר 2, כי המרחק בין שני קודקודים שאינם <math>u</math> הוא 2 (ואם אחד מהם הוא <math>u</math> אז 1). |
גרסה אחרונה מ־07:11, 19 באוגוסט 2019
הגדרות בסיסיות
הגדרה: גרף מעל קבוצה
הוא זוג סדור
כאשר
- כלומר קבוצה המכילה זוגות סדורים מאיברי
.
הקבוצה היא קבוצת הקדקודים של הגרף, והקבוצה
היא קבוצת הקשתות/צלעות של הגרף.
הגדרה: הסדר של גרף הוא
. גרף יקרא סופי אם הסדר שלו סופי, וקבוצת הקשתות
סופית.
הגדרה: גרף ייקרא לא מכוון אם היחס
הוא סימטרי, כלומר אין משמעות לכיוון הצלע. אחרת הגרף ייקרא מכוון. בגרף לא מכוון, אין משמעות לכיוון הצלע, ולכן לעתים מסמנים
בתור
.
דוגמא: מייצג משולש. הסדר שלו הוא 3, כמספר הקדקודים במשולש. זהו גרף סופי.
דוגמא: נביט בקבוצה , ובגרף
מעליה, בו מחברים בין כל שני קדקודים במרחק 1 זה מזה - מתקבלת רשת אינסופית. זהו גרף אינסופי, בו לכל קדקוד יש ארבעה שכנים.
הערה: שימו לב שמהניסוח לעיל נובע-
- בגרף יכולה להיות קשת מקדקוד אל עצמו (לולאה). זה שקול ל-
.
- צלע בין שני קדקודים יכולה להופיע אך ורק פעם אחת (כי
קבוצה). בפועל, יש גרפים שבהם מופיעה יותר מצלע אחת בין שני קדקודים (למשל שתי לולאות סביב נקודה). נסו לחשוב איך להגדיר את זה פורמלית.
הבהרה: אנחנו נעסוק בגרפים סופיים, לא מכוונים, בלי צלעות כפולות ובלי לולאות.
הגדרה יהיה . נאמר כי
שכנים אם
. במקרה זה נאמר כי הצלע
חלה ב
(או חלה ב
)
את קבוצת השכנים של מסמנים
.
הדרגה של , המסומנת
, היא מספר הצלעות החלות ב
, כלומר
.
דוגמא: במשולש, כל 2 קדקודים שכנים. כל קדקוד מדרגה 2: השכנים של כל קדקוד הם שני הקדקודים האחרים.
משפט (לחיצת הידיים)
יהי גרף לא מכוון. אזי
.
תרגיל
נאמר כי גרף הוא
-רגולרי אם הדרגה של כל קדקוד שווה ל-
. למשל, משולש הוא גרף 2-רגולרי.
הוכח כי אם אי-זוגיים, לא קיים גרף
-רגולרי מסדר
.
הוכחה:
לפי משפט לחיצת הידיים . לכן
זוגי, ולכן
זוגי או
זוגי.
הגדרות נוספות
יהי גרף לא מכוון. סדרת קדקודים (סדורה)
נקראת מסלול אם
וגם כל הצלעות שונות - כלומר לכל
מתקיים
.
מסלול יקרא פשוט אם כל הקדקודים שונים זה מזה, פרט אולי ל
, ובמקרה זה המסלול נקרא מעגל. אורך המסלול
הוא
, והנקודות
ו-
נקראות נקודות ההתחלה והסיום של המסלול.
הגדרה: המרחק בין הוא המסלול עם אורך מינימלי בין
. אם אין מסלול בין הנקודות, אומרים שהמרחק הוא אינסוף. מסמנים את המרחק
, ואם יש צורך להדגיש את הגרפים אז מסמנים
.
הקוטר של גרף מוגדר כמרחק המקסימאלי בין זוגות קדקודים - כלומר
בניה
עבור גרף לא מכוון נגדיר יחס שקילות
על
, כך: לכל
מתקיים
אמ"מ קיים מסלול מ
ל-
(כלומר
).
תרגיל: הוכח כי זהו יחס שקילות.
פתרון:
- רפלקסיבי - לכל קדקוד
, המסלול
עושה את העבודה.
- סימטרי - אם
, אז יש מסלול
בין
ל-
. נביט במסלול ההפוך -
- זהו מסלול בין
ל-
, ולכן
.
- טרנזיטיבי - אם
וגם
, אז יש מסלולים
ו-
. היות ש-
, נביט במסלול
- זהו מסלול המעיד על כך ש-
.
הגדרה מחלקות השקילות של יחס זה נקראים רכיבי קשירות.
הגדרה: G יקרא קשיר אם בין כל שני קודקודים יש מסלול. זה שקול לכך שיש רכיב קשירות או באופן שקול
דוגמא: ציור חביב לפי דעת המתרגל.
תרגילים נוספים
תרגיל
נניח כ בגרף מתקיים אז בגרף יש מעגל.
פתרון: נבחר ונצא ממנו לאחד משכניו. מפה נמשיך למסלול רנדומאלי כך שאם הולכים מ
הצעד הבא לא יהיה
(זה אפשרי כי כל קדקוד יש לפחות 2 שכנים אז אם נכנסים אליו משכן א ניתן לצאת משכן ב). כיוון שיש מספר סופי של קדקודים נקבל חזרה על קדקוד כלשהו בשלב כלשהו. בפעם הראשונה שנקבל חזרה קיבלנו מעגל!
תרגיל
יהי גרף, ונסמן
את הדרגה המינימלית בגרף. נניח
. הוכיחו:
א. יש בגרף מסלול פשוט מאורך לפחות .
ב. יש בגרף מעגל פשוט מאורך לפחות .
פתרון
א. יהי מסלול פשוט מאורך מקסימלי. מתקיים:
. טענה: כל שכניו נמצאים במסלול. הוכחה: אחרת אפשר להוסיף שכן שלא במסלול לתחילת המסלול ולקבל מסלול פשוט ארוך יותר בסתירה למקסימליות. לכן אורך המסלול לפחות כמו
.
ב. יהי מסלול פשוט מאורך מקסימלי. ראינו שכל שכני הראשון במסלול, ולכן מספיק לקחת את המסלול עד שמגיעים לאחרון השכנים, ואז לחזור חזרה ל
ולקבל מעגל פשוט מהאורך המתאים.
תרגיל
יהי גרף בעל
קדקודים. ו-
צלעות. אזי בגרף יש מעגל.
פתרון: באינדוקציה.
עבור הגרף הוא בהכרח משולש (לא יכולות להיות יותר מ-3 צלעות עבור 3 קדקודים) ואכן יש מעגל.
נניח כי הטענה נכונה עבור ונוכיח עבור
. יהי
בעל
קדקודים ו-
צלעות.
אפשרות 0 - קיים קדקוד מדרגה 0 - כלומר אין לו שכנים. אז נביט בגרף בלי הקדקוד הזה, ומהנחת האינדוקציה נקבל שיש בו מעגל; זהו מעגל גם בגרף המקורי.
אפשרות 1: קיים מדרגה 1. נוריד את הקדקוד הזה (ואת הצלע שחלה בו) ונקבל גרף חדש עם
קדקודים ו
צלעות. לפי הנחת האינדוקציה קיים בו מעגל. מעגל זה קיים גם בגרף בו התחלנו.
אפשרות 2: לכל קדקוד דרגה גדולה שווה 2. ולפי תרגיל קודם יש מעגל
תרגיל
יהי גרף מסדר
. הוכח שקיימים 2 קדקודים בעלי אותה דרגה.
פתרון: נביט בפונקציית הדרגה השולחת כל איבר אל הדרגה שלו:
; כדי להבין את התמונה של הפונקציה, נשים לב שיש שני מקרים:
- אם קיים קדקוד מדרגה
, אז הוא מחובר לכולם ולכן אין קדקוד מדרגה אפס. במקרה זה מתקיים
.
- אם אין קדקוד מדרגה
אז
.
בשני המקרים קיבלנו כי ולכן
אינה חח"ע.
כלומר קיימים
כך ש
כלומר בעלי דרגה שווה.
תרגיל
יהיה גרף פשוט עם 100 קדקודים כך שדרגת כל קדקוד לפחות 50. הוכח כי
קשיר.
פתרון: יהיו . צריך להוכיח כי
(כך נסמן את רכיב הקשירות).
נניח כי הם שונים, אזי ב
( הקודוקד + לפחות 50 שכנים). אלו הם שני מרכיבי קשירות שונים ולכן הם זרים, ומכך שבגרף יש לכל הפחות 102 קדקודים, סתירה.
הערה: אפשר להכליל את התרגיל, ולהפוך אותו לתרגיל על קוטר של גרף: יהי גרף עם
. הוכיחו שאם דרגת כל קודקוד היא לפחות
אז
, ובפרט
קשיר.
הוכחה: יהיו . אם הם שכנים אז
. אם לא, אז נניח בשלילה שאין להם שכן משותף ונקבל ש-
, ובנוסף
, ולכן יש בגרף לפחות
קודקודים (נובע מכך שהאיחוד זר) בסתירה. לכן יש להם שכן משותף ולכן
. בסה"כ נקבל
ולכן
.
תרגיל
יהי גרף ללא מעגלים עם
. הוכח כי קיימים
כך שדרגתם לכל היותר 1.
פתרון: לפי תרגיל קודם קיים כך שדרגתו לכל היותר 1 (אחרת לכל הקדקודים יש דרגה לפחות 2 ואז יש מעגל לפי תרגיל קודם).
נמשיך באינדוקציה על , מספר הקדקודים בגרף.
אם אזי או שהגרף הוא 2 נקודות ללא צלעות או 2 נקודות המחוברות בצלע. בכל מקרה 2 הנקודות של הגרף הן מדרגה קטנה שווה ל-1.
כעת נניח כי הטענה נכונה עבור . נוכיח את הטענה עבור
.
נבחר את הקדקוד שדרגתו לכל היותר 1. נוריד אותו ואת הצלע שחלה בו (אם קיימת), ונקבל גרף עם
קדקודים. לפי הנחת האינדוקציה יש בו 2 קדקודים
בעלי דרגה 1 לכל היותר. כעת נשוב לגרף המקורי (הכולל את
שהשמטנו). יש מספר מקרים:
- אם
שכן של
אזי
בעלי דרגה לכל היותר 1.
- אם
שכן של
אזי
בעלי דרגה לכל היותר 1.
- אם
שכן של
- סתירה כי הדרגה של
היא 1 לכל היותר.
- אם
לא שכן של
אזי
בעלי דרגה לכל היותר 1.
בכל מקרה קיבלנו כי קיימים 2 קדקודים בעלי דרגה 1 לכל היותר!
תרגיל
הוכח/הפרך:
- אם מתקיים
, אז
קשיר.
- קיים גרף בן שישה קדקודים 1,2,3,4,4,5.
- קיים גרף בן שישה קדקודים 1,2,3,4,5,5.
פתרון:
- לא נכון, למשל שני משולשים מופרדים.
- לא נכון, כי סכום הדרגות אי-זוגי, בסתירה למשפט לחיצת הידיים.
- הפעם משפט לחיצת הידיים לא נכשל, אך זה עדיין לא נכון - אילו היו שני קדקודים מדרגה 5, הר שכל הקדקודים היו מחוברים אל שניהם, ולכן אין קדקוד מדרגה 1.
תרגיל
יהא גרף פשוט סופי לא מכוון. נניח כי
איחוד זר (כלומר החיתוך
. עוד נניח כי קיים
כך שקיימת קשת
והיא הקשת היחידה בין
ל
.
הוכיחו שקיים קודקוד בעל דרגה אי זוגית.
פתרון: נסתכל על תת הגרף אם
בעל דרגה זוגית בו אז הוא יהיה בעל דרגה אי זוגית ב V. אחרת דרגתו ב V1 אי זוגית ולכן לפי משפט לחיצת הידיים שסכום הדרגות זוגיות, קיים עוד קודוד בעל דרגה אי זוגית ב V1. כיוון שהקשת היחידה בין
ל
היא
נקבל כי קודקוד זה בעל דרגה אי זוגית גם ב G.
תרגיל
יהא גרף פשוט סופי לא מכוון קשיר בעל מעגל יחיד עם
. הוכיחו כי
פתרון: נסמן את המעגל היחידי ב G ב .
טענה:
הוכחה: נסתכל על הגרף הוא בעל
קשתות אך עדיין קשיר (כי אם יש מסלול המערב את הקשת שהורדה ניתן להחליף אותה
.) לכן לפי הרצאה יש לו לפחות
קשתות ולכן
ואחרי העברת אגפים נקבל את המבוקש.
טענה:
הוכחה: נניח בשלילה כי
נסתכל על הגרף
הוא בעל
קשתות אך הרסנו את המעגל היחידי שהיה ב G אבל לפי תרגיל ממקודם אם מספר הצלעות גדול שווה ממספר הקודקודים יש בו מעגל. סתירה.
תרגיל
א. מהו הקוטר המקסימלי של גרף קשיר עם קודקודים?
ב. מהו המספר המינימלי של קשתות בגרף עם קודקודים וקוטר 2?
פתרון:
א. . לא יכול להיות יותר כי הקוטר מוגדר כמרחק המקסימלי בין קודקודים, ומרחק הוא אורך המסלול הקצר, ומסלול קצר לא מכיל מעגלים, ולכן מכיל לכל היותר
קודקודים, ולכן לכל היותר
קשתות. גרף קו הוא עם קוטר
כי זה המרחק בין הימני ביותר לשמאלי ביותר, לכן זה הקוטר המקסימלי.
ב. . לא יכול להיות פחות כי אז הגרף לא יהיה קשיר וקטרו יהיה אינסוף ולא 2. גרף כוכב (יש קודקוד
המקיים
כלומר, הוא מחובר לכולם ואין עוד קשתות) הוא עם
קשתות וקוטר 2, כי המרחק בין שני קודקודים שאינם
הוא 2 (ואם אחד מהם הוא
אז 1).