משפט החתונה

בקומבינטוריקה, **משפט החתונה**, שמיוחס למתמטיקאי האנגלי פיליפ הול (1935), הוא משפט שמגדיר תנאי הכרחי ומספיק לבחירת נציגים ייחודיים עבור משפחה של קבוצות.

נניח שיש לנו שתי קבוצות זרות, "קבוצת הנשים" ו"קבוצת הגברים", וכל אישה מעוניינת בחלק מהגברים. נשאלת השאלה, באילו תנאים ניתן לשדך לכל אחת מהנשים גבר יחיד שהיא מעוניינת בו (באופן מונוגמי). ברור כי תנאי הכרחי הוא שמספר הגברים יהיה לפחות כמספר הנשים. ניתן להכליל דרישה זו לכל תת-קבוצה של הנשים. כלומר, תנאי הכרחי הוא שכל k נשים תהיינה מעוניינות (יחדיו) בלפחות k גברים. משפט החתונה של הול טוען כי זהו גם תנאי מספיק. 

## ניסוח פורמלי
תהא  \{S_1,\dots ,S_n\}  משפחה של קבוצות סופיות שאינן בהכרח זרות זו לזו. **קבוצת נציגים ייחודיים** של המשפחה הזו היא קבוצה של איברים a_1,\dots ,a_n כך שכל שני איברים שונים זה מזה, i\ne j \rArr a_i\ne a_j, וכן a_i\isin S_i (איבר זה הוא ה**נציג** של אותה קבוצה).

על פי משפט החתונה, תנאי הכרחי ומספיק לקיום של קבוצת נציגים ייחודיים למשפחת קבוצות נתונה הוא שלכל תת-קבוצה של המשפחה, T=\left\{S_{i_1},\dots,S_{i_t}\right\} יתקיים ,\left |\cup S_{i_k}\right |\ge t כלומר בכל t קבוצות שונות של המשפחה יש לפחות t איברים שונים בכל הקבוצות.

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

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

למשפט יש גם הרבה שימושים מעניינים שאינם קשורים ישירות לשידוכים. לדוגמה, בהינתן חפיסת קלפים סטנדרטית, שמחולקת באופן שרירותי ל-13 רביעיות, ניתן להראות באמצעות משפט החתונה שניתן לבחור קלף אחד בדיוק מכל רביעייה כך ש-13 הקלפים הנבחרים יכילו בדיוק קלף אחד מכל 'מספר' (אס, 2, 3, 4, 5, 6, 7, 8, 9, 10, נסיך, מלכה ומלך).

### ניסוח עבור גרפים
דרך אחרת לנסח את המשפט היא עבור גרפים דו צדדיים. אם \ G=(S,T,E) הוא גרף דו צדדי, אז קיים בו שידוך המכסה את צד \ S  אם ורק אם לכל תת-קבוצה \ X\subseteq S מתקיים |X|\le|N_G(X)|, כאשר \ N_G(X) הוא אוסף השכנים של צמתים ב-\ X. השקילות לניסוח הקודם קלה להוכחה - הקבוצה \ S מייצגת את משפחת הקבוצות שעבורן בוחרים נציגים, הקבוצה \ T את אוסף האיברים שהקבוצות במשפחה יכולות להכיל, וקשת מייצגת קשר של הכלה.

## הוכחות

### הוכחה באמצעות מסלולים מרחיבים
ההוכחה היא לפי הניסוח של המשפט עבור שידוך בגרף דו צדדי.

(\Leftarrow) נתון גרף דו צדדי \ G עם צדדים \ S,T ונניח שהשידוך המקסימלי מכסה את כל הקודקודים \ S. נראה שלכל S'\subseteq S מתקיים |N(S')| \geq |S'|:

נסמן ב-\ M שידוך שמכסה את כל הקודקודים ב-\ S. תהי M(S') קבוצת כל הקודקודים ב-\ T שהותאמו לקבוצה נתונה S'\subseteq S. על פי הגדרת שידוך, |M(S')|=|S'|. היות שכל האיברים ב-M(S') הם שכנים של S', מתקיים M(S') \subseteq N_G(S') ולכן, |M(S')| \leq |N_G(S')|. מכך יוצא ש-|S'| \leq |N_G(S')|.

(\Rightarrow) נתון גרף דו צדדי \ G עם צדדים \ S,T ונניח את תנאי המשפט - לכל S'\subseteq S מתקיים ש-|N(S')| \geq |S'|.

נסתכל על שידוך בגודל מקסימלי \ M לצמתי \ S. נסמן את הצמתים שאינם משודכים ב-\ S על ידי \tilde S. נניח בשלילה ש \tilde S \neq \emptyset.

מסלול מרחיב הוא מסלול (שיכול להיות ריק) \ P=(v_1, v_2, ..., v_n) בגרף המתחיל בצומת מ-\ \tilde S כך שהקשתות האי זוגיות \ (v_{2i-1},v_{2i}) שייכות ל-\ E-M והקשתות הזוגיות \ (v_{2i},v_{2i+1}) שייכות ל \ M.

נניח שקיים מסלול מרחיב P המסתיים בצומת ב-\ T שאינו משודך. נוכל להגדיר שידוך חדש M'=M\triangle P שגודלו יהיה לפחות \ |M|+1 בסתירה לכך שהשידוך \ M הוא מגודל מקסימלי. לכן כל מסלול מרחיב שמסתיים ב \ T חייב להסתיים בצומת ששייך לשידוך \ M.

נגדיר את S' \subseteq S להיות כל הצמתים מ-\ S שניתן להגיע אליהם עם מסלולים מרחיבים ונסמן \ T'=N(S').

נניח שקיים \ u\in T' שאינו משודך. אז הוא שכן של v \in S' כלשהו, ובנוסף הקשת \ e_1 המחברת ביניהם אינה שייכת לשידוך. לפי הגדרת S', קיים מסלול מרחיב P המגיע ל-v. לאחר הוספת הקשת \ e_1 מקבלים מסלול מרחיב המגיע ל-u, בסתירה לטענה שהוכחנו קודם לכן. קיבלנו, אם כן, ש-\ T' מכיל רק צמתים משודכים ב-M. מפני שצמתי \tilde S אינם משודכים, נובע שהצמתים המשודכים אל \ T' נמצאים ב-S' - \tilde S. נוכל איפוא לרשום:

\ |S'|=|S'-\tilde S|+|\tilde S|\geq|T'|+|\tilde S|>|T'|=|N(S')|

ומקבלים סתירה לכך ש-|S'|\leq |N(S')|.  \square

### הוכחה באינדוקציה
נוכיח את הכיוון הקשה (\Rightarrow) בלבד, לפי הניסוח של המשפט עבור שידוך בגרף דו צדדי. נתון גרף דו צדדי \ G עם צדדים \ S,T ונניח את תנאי המשפט - לכל S'\subseteq S מתקיים ש-|N(S')| \geq |S'|. נוכיח שקיים שידוך ב-G המכסה את S .

ההוכחה תתבצע באינדוקציה שלמה על הגודל |S|. בבסיס האינדוקציה נניח כי |S|=1. נסמן ב-u את הצומת היחיד ב-S. מכיוון ש-|N(S)|\ge |S|=1, יש ל-u שכן v\in T. הקשת uv היא שידוך המכסה את S .

כעת נניח כי |S|=n>1 וכי הטענה נכונה כאשר |S|. נאמר שתת-קבוצה \tilde S\subset S היא הדוקה אם \tilde S\ne \emptyset,S וגם |N(\tilde S)|=|\tilde S|. נפריד לשני מקרים.

**מקרה 1.** לא קיימת תת-קבוצה הדוקה \tilde S\subset S. נבחר צומת כלשהו u\in S. אז יש ל-u שכן v\in T. נסמן S_1=S-\{u\} ו-T_1=T-\{v\}. כעת נגדיר גרף דו-צדדי G_1 בתור תת-הגרף המושרה של G עם צדדים S_1,T_1. לכל תת-קבוצה S'\subset S_1 מתקיים

|N_{G_1}(S')|\ge|N_{G}(S')|-1\ge |S'|+1-1=|S'|

לכן, מהנחת האינדוקציה, קיים שידוך M_1 ב-G_1 המכסה את S_1 . קבוצת הקשתות M_1\cup\{uv\} היא שידוך ב-G המכסה את S .

**מקרה 2.** קיימת תת-קבוצה הדוקה \tilde S\subset S. נסמן \tilde T=N(\tilde S). מהנחת האינדוקציה, קיים שידוך \tilde M ב-G המכסה את \tilde S. תהיינה S_1=S-\tilde S ו-T_1=T-\tilde T. נגדיר גרף דו-צדדי G_1 בתור תת-הגרף המושרה של G עם צדדים S_1,T_1. לכל תת-קבוצה S'\subset S_1 מתקיים

|S'|+|\tilde S|=|S'\cup\tilde S|\le |N_G(S'\cup\tilde S)|=|N_{G_1}(S')\cup\tilde T|=|N_{G_1}(S')|+|\tilde T|

מכיוון ש-\tilde S  הדוקה, נובע ש-|\tilde S|=|\tilde T|  ולכן |N_{G_1}(S')|\ge|S'| לכל תת-קבוצה S'\subset S_1. מהנחת האינדוקציה, קיים שידוך M_1 ב-G_1 המכסה את S_1 . קבוצת הקשתות M_1\cup\tilde M היא שידוך ב-G המכסה את S .

הוכחנו את צעד האינדוקציה בשני המקרים, מה שמשלים את ההוכחה. \square

## מספר האפשרויות
מהוכחת המשפט ניתן גם לתת חסם תחתון למספר האפשרויות שבהן ניתן לבחור נציגים ייחודיים. אם t הוא גודלה המינימלי של הקבוצה הקטנה מכל הקבוצות ו-n הוא מספר הקבוצות, הרי שאם מתקיים \!\,t\ge n, מספר האפשרויות הוא לפחות t\cdot(t-1)\cdot\dots\cdot(t-n+1) אפשרויות. אם t, הרי שיש לפחות t! אפשרויות. נשים לב כי זהו חסם נמוך מאוד, ולעיתים קרובות מספר האפשרויות גדול ממנו בהרבה.

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

## ראו גם
* שידוך (תורת הגרפים)

## קישורים חיצוניים
* 

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
חתונה
חתונה
קטגוריה:הוכחות