פורטל:מתמטיקה/חידה/16/פתרון בונוס – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ הגהה
מ ←‏הערה: קישורי פנימי, הגהה
שורה 94:
==הערה==
הכללה של הבעיה ופתרונה, תוארה על ידי [[נגה אלון]].{{הערה|[https://www.tau.ac.il/~nogaa/PDFS/coalition.pdf High School Coalitions]}} הפתרון שם כללי יותר ומתבסס על משפט של [[קרסטן תומאסן]].{{הערה| C. Thomassen, Disjoint cycles in digraphs, Combinatorica 3 (1983), 393-396.
}} משפט זה משחק תפקיד דומה לזה של [[#למה 8|למה 8]] בהוכחה כאן. המשפט אומר שבכל [[גרף מכוון]] שדרגתש[[דרגה היציא(תורת הגרפים)#דרגת יציאה|רגת היציאה]] של כל קודקוד בו היא לפחת 3 קיימים שני מעגלים (מכוונים) שקבוצות קוקודיהם זרות.
 
קל להסיק את המשפט של תומאסן מהבעיה כאן. כך שלמעשה ניתן לראות את הבעיה כניסוח שקול של המשפט של תומאסן.