פורטל:מתמטיקה/חידה/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 קיימים שני מעגלים (מכוונים) שקבוצות קוקודיהם זרות.
 
קל להסיק את המשפט של תומאסן מהבעיה כאן. כך שלמעשה ניתן לראות את הבעיה כניסוח שקול של המשפט של תומאסן.
 
במאמרו, תומאסן דן בקריטריונים לכך שבגרף יהיו מספר מעגלים זרים בקודקודיהם במונחים של דרגת היציאהיציאה המינימלית. במאמר אחר{{הערה| N. Alon, Disjoint directed cycles, J. Combinatorial Theory, Ser. B 68 (1996), 167-178}} אלון מקבל תוצאה הדוקה יותר לגבי שאלה זאת.
 
==הערות שוליים==