משפט תומאסן על מעגלים זרים

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

ניסוח המשפט
הניסוח מדויק של המשפט הוא:

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

גרסאות הדוקות יותר
הוכחתו של תומאסן מראה שאפשר לבחור את  להיות

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

אלון התקרב להוכחת השערה זאת והוכיח שאפשר לבחור את  להיות

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

במילים אחרות:

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

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

ראו גם
 חידת הכתה המופרעת - חידה קשורה בפורטל מתמטיקה של הוויקיפדיה העברית.

הערות שוליים

משפטים בתורת הגרפים