הוכחות מתמטיות/מתמטיקה בדידה/משפט החתונה של הול

בגרף דו-צדדי בו יש זיווג מושלם אם ורק אם לכל קבוצה מתקיים

הוכחה

עריכה

כיוון אחד: הוכחת הכרחיות. נוכיח שאם קיים זיווג מושלם בהכרח מתקיים התנאי   זיווג מושלם של קבוצה אחת לשנייה מקביל להתאמה חד חד ערכית ועל. לא ניתן לעשות התאמה חד חד ערכית אם קיימת תת קבוצה שמספר האיברים בתמונתה קטן ממספר איבריה. לכן אם קיים זיווג מושלם ודאי שיתקיים   כאשר   היא קבוצת השכנים של של S


כיוון שני: הוכחת מספיקות. נניח שהתנאי מתקיים ונוכיח כי קיים זיווג מושלם. ההוכחה באינדוקציה.

בסיס האינדוקציה: אם   קיימים שני קודקודים ובינהם צלע - הטענה מתקיימת.

נניח נכונות עבור   ונוכיח עבור  .

תהא קבוצה חלקית ממש:  . אם התנאי החזק יותר מתקיים, אזי מתקיים לכל תת קבוצה:  

ולכן קיים קודקוד   שיש לו שני שכנים:  .

נבחר באופן שרירותי אחד מהקודקודים   ונסיר את הקודקודים   ואת הצלעות החלות בהם, כך שנוצר גרף חדש:  .

כמובן שלכל תת קבוצה   מתקיים   ולפי הנחת האינדוקציה, זהו גרף עם זיווג מושלם. נוסיף לו את הזוג   וזהו זיווג מושלם ב  .

אם התנאי החזק לא מתקיים הרי שקיימת תת קבוצה חלקית ממש כך ש  

(אם הקבוצה לא חלקית, לכל קודקוד ב   מתאים קודקוד יחיד ב , ואז המשפט מתקיים).

נתבונן בתת הגרף  : הוא עומד בתנאי משפט הול, ולפי הנחת האינדוקציה מכיל זיווג מושלם.

נותר לזווג את   ל-  ; ומאחר שמתקיים   הרי שקבוצת הקודקודים הנותרת מקיימת את התנאי החזק יותר.