דיסקרטית- משפט החתונה של HALL

חגיכי

New member
דיסקרטית- משפט החתונה של HALL

שלום,
אני צריך עזרה בהוכחת קיום שידוך בגרף דו צדדי ע"י משפט החתונה של HALL.
הוכחתי את השלב הראשון שבו מצאתי שהקבוצה בעלת העוצמה הקטנה היא R אבל עכשיו נותר לי להראות שאכן מתקיים שידוך שגודלו |R| מקבוצה זו ל- L

אני מצרף את השאלה----->

תודה!
 

אורי769

New member
באמת צריך את הול

מה התנאי של הול? תקח תת-קבוצה של קודקודים R' של R. נסמן ב-L' את השכנים של R'. עליך להוכיח ש-L' גדול או שווה ל-R'. זה טענת ספירה די פשוטה.
 

חגיכי

New member
נראה לי עשיתי בסדר...יש סיכוי שאתה מסתכל?

פשוט קיבלתי את הרושם שזה אמור להיות יותר מסובך. עם חלוקה למקרים וכו'....

זאת ההוכחה--->
 
למעלה