משפט אור

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

המשפט הוכח בשנת 1960 על ידי המתמטיקאי הנורווגי אור אוסטיין (Øystein Ore, 1899 - 1968) ונחשב לאחת התרומות המשמעותיות שלו בכלל התחומים המתמטיים בהם עסק.

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

המשפט קובע תנאי מספיק (אך לא הכרחי) לכך ש-G המילטוני, כלומר כל גרף המקיים את התנאי הוא המילטוני, אך לא בהכרח שכל גרף המילטוני מקיים את התנאי.

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

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

 אינו גרף מלא (כיוון שאז היה המילטוני) ולכן נתסכל על שני קודקודים  בגרף  שאינם מחוברים על ידי קשת.

מהמקסימליות של , נובע שיש מסלול המילטון  בין  ל- בגרף (מכיוון שמתוך המקסימליות של  נובע שהוספת קשת  ל- יוצרת גרף המילטוני).

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

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

כעת נוכיח כי בהכרח קיים  כך שמתקיים  וגם  .

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

ברצוננו להראות ש-, כלומר שקיים קודקוד שכן ל- שהוא בעל האינדקס הנמוך ב- מצומת השכן ל-.

נניח בשלילה ש-. על כן  מוכלת כולה בקבוצה 

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

בסתירה להנחתנו ש- 

לכן בהכרח קיים  כך שמתקיים  וגם .

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

 משפט דירק 
משפט דירק (Dirac Andrew Gabriel, 1984-1925) הוא מקרה פרטי של משפט אור, הקבוע כי לכל גרף  עם  קודקודים בו הדרגה המינימלית היא לפחות  הוא בהכרח המילטוני.

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

 הערות שוליים 

אור