משפט טורן
בתורת הגרפים, משפט טוראן הוא משפט הקובע, בהינתן מספר קבוע של צמתים, את הגרף עם מספר הקשתות המקסימלי שאינו מכיל תת-גרף שלם (קליקה) מגודל נתון. את המשפט הוכיח המתמטיקאי ההונגרי-יהודי פאל טוראן (Turán Pál) בשנת 1941.
![](http://up.wiki.x.io/wikipedia/commons/thumb/1/1b/Turan_13-4.svg/250px-Turan_13-4.svg.png)
ביתר פירוט, המשפט קובע כי הגרף עם n צמתים שאינו מכיל קליקה ומספר קשתותיו הוא מקסימלי הוא גרף שמחולק ל-t קבוצות זרות של צמתים מאותו הגודל (עד כמה שהדבר ניתן), ושלכל צומת יש קשת לכל צומת בקבוצה אחרת ולאף צומת בקבוצה שלה. גרף כזה נקרא גרף טורן.
הוכחת משפט טוראן נחשבת להולדתה של תורת הגרפים הקיצונית, ענף של תורת הגרפים ושל קומבינטוריקה קיצונית שקרוב לתורת רמזי. הענף חוקר את הגרפים הקטנים והגדולים ביותר שמקיימים תכונות כלשהן.
רקע והגדרה פורמלית
עריכהגרף טוראן הוא גרף עם n צמתים שמחולק ל-t קבוצות זרות של צמתים. מתוכן יש קבוצות של צמתים ובשאר הקבוצות יש צמתים (לפשר הסימונים ראו חשבון מודולרי ופונקציית הערך השלם). כלומר הקבוצות שוות בגודלן ככל הניתן (ההפרשים במספר הצמתים ביניהן הוא לכל היותר 1). במקרה בו t מחלק את n מתקבל המקרה הפשוט ביותר - בכל t הקבוצות יש צמתים בדיוק. בגרף טוראן כל שני צמתים מקבוצות שונות מחוברים בקשת, וכל שני צמתים מאותה קבוצה אינם מחוברים בקשת.
משפט טוראן קובע כי מבין כל הגרפים עם n צמתים שאינם מכילים קליקה , ל- יש את מספר הקשתות הגדול ביותר.
קל לחשב את מספר הקשתות ב- . למען הפשטות נעסוק במקרה בו t מחלק את n. בין כל שתי קבוצות יש קשתות (לפי עקרון הכפל, כי לכל אחד מבין הצמתים בקבוצה הראשונה יש קשת לכל אחד מבין הצמתים בקבוצה השנייה). ובסך הכל ישנם זוגות של קבוצות (ראו מקדם בינומי ומספר משולשי). ואין אף קשת נוספת בגרף. לכן מספר הקשתות הכולל ב- כאשר t מחלק את n הוא:
לכן משפט טוראן קובע שזהו חסם עליון על מספר הקשתות המקסימלי בגרף עם n צמתים שאינו מכיל קליקה (תקף גם כאשר t אינו מחלק את n). לשם השוואה, בהיעדר הגבלה על גודל הקליקה המותרת, הגרף המקסימלי הוא הגרף השלם שלו קשתות.
הוכחות
עריכהידועות הוכחות רבות למשפט טוראן. הספר Proofs from THE BOOK, שמאגד הוכחות יפות, מביא חמש הוכחות שונות למשפט.
הוכחה באינדוקציה
עריכהההוכחה המקורית של טוראן הראתה שמספר הקשתות של גרף טוראן אכן חוסם את מספר הקשתות האפשרי תחת התנאי הנתון. ההוכחה נעשית באינדוקציה על n לכל t קבוע.
נסמן ב- את הגרף עם n צמתים שאינו מכיל קליקה ומספר הקשתות שלו הוא מקסימלי (קיים גרף כזה כי מספר הקשתות חסום על ידי המקרה השלם). אם אז (כי במקרים אלה הגרף לא יכול להכיל קליקה עם יותר צמתים משיש בגרף עצמו). ומכאן שעבור מספר הקשתות בגרף מקיים:
ולכן המשפט נכון לכל n כזה (כולל n=1 שהוא בסיס האינדוקציה). עתה נניח כי . נשים לב שבמקרים כאלה הגרף חייב להכיל קליקה . אחרת ניתן להוסיף לו קשת מבלי לקבל את קליקה וזאת בסתירה למספר הקשתות המקסימלי של . נחלק את הצמתים של לשתי קבוצות זרות: שמכילה את צמתי הקליקה ו- שמכילה את שאר הצמתים בגרף. ב- יש קשתות. ב- יש צמתים, ולכן לפי הנחת האינדוקציה יש בה לכל היותר קשתות. בין כל צומת ב- לבין קבוצת הצמתים ב- יש לכל היותר קשתות. אחרת הם יוצרים יחדיו קליקה ב- , בניגוד להגדרתו. כלומר בין ל- יש לכל היותר קשתות. נחבר את שלושת הביטויים האלגבריים האלה כדי לקבל חסם עליון על מספר הקשתות ב- :
כנדרש.
הוכחה ישירה
עריכהלהלן הוכחה ישירה כי גרף עם n צמתים שאינו מכיל קליקה ומספר הקשתות שלו הוא מקסימלי הוא בהכרח גרף טורן.
נוכיח כי היחס "אין קשת בין ל- " הוא יחס שקילות בין הצמתים בגרף:
- רפלקסיביות: לעולם אין קשת בין צומת לעצמו.
- סימטריות: אם אין קשת בין ל- אז אין קשת בין ל- .
- טרנזיטיביות: נניח בשלילה כי היחס אינו טרנזיטיבי. כלומר קיימים צמתים כך שאין קשתות ו- , אבל ישנה קשת . נסמן ב- את הדרגה של . נפצל לשלושה מקרים:
- - נמחק את הצומת מהגרף ונחליפו בצומת שהוא העתק של הצומת (מחובר לאותם צמתים). מצד אחד לא נוצרה קליקה גדולה יותר, כי לכל קליקה ש- חבר בה, יש קליקה מגודל זהה ש- חבר בה, ומצד שני הגדלנו את מספר הקשתות בסתירה למקסימליות של .
- - אנלוגי למקרה הקודם.
- - נמחק את ו- שיחדיו מחוברים אליהם קשתות (פחות אחד, כי הקשת ביניהם נספרת פעמיים). ונחליפם בשני עותקים של . כמו קודם, לא נוצרות קליקות גדולות יותר. בסך הכל מספר הקשתות גדל ב- בסתירה למקסימליות של .
הוכחנו כי "אין קשת בין ל- " הוא יחס שקילות בין צמתי . לכן צמתי מתחלקים למחלקות שקילות, כך שבין כל שני צמתים יש קשת אם ורק אם הם ממחלקות שקילות שונות. מספר מחלקות השקילות קטן מ- , אחרת נוכל לבחור נציג אחד מכל מחלקת שקילות ונקבל קליקה בניגוד לתנאי. מצד שני, בהכרח מכיל קליקה , אחרת ניתן להוסיף לו קשת בלי לקבל את וזאת בסתירה למספר הקשתות המקסימלי של . צמתים שונים בקליקה חייבים להיות ממחלקות שקילות שונות, כי יש ביניהם קשת, ומכאן שיש בדיוק מחלקות שקילות שונות.
עד כה קיבלנו שצמתי מחולקים ל- מחלקות זרות, כך שכל צומת מקושר לכל צומת מקבוצה אחרת ולאף צומת מהקבוצה שלו. כדי להוכיח כי גרף טורן נותר רק להראות שכל המחלקות כמעט באותו הגודל (ההפרש ביניהן הוא לכל היותר 1). נשים לב כי לכל מחלקה ולכל צומת מתקיים (v מקושר לכל הצמתים שלא ב-A). נניח בשלילה כי ישנה מחלקה שיש בה לפחות שני צמתים יותר מבמחלקה אחרת . נמחק צומת מ- ונוסיף צומת ל- . מספר הקשתות שיתווספו ל- הוא: , בסתירה למספר הקשתות המקסימלי של .
מכאן ש- הוא בהכרח גרף טוראן.
המקרה t=2
עריכהמשפט טוראן למקרה הפרטי t=2 ידוע עוד משנת 1907 ושמו משפט מנטל. המשפט קובע שהגרף המקסימלי מגודל n שאינו מכיל משולשים (קליקה ) הוא גרף דו צדדי שבכל צד מופיעים חצי מהצמתים (אם n אי-זוגי, בצד אחד יש אחד יותר). וכל צומת מקושר לכל הצמתים מהצד השני (זהו ). מספר הקשתות במקרה כזה יהיה , בערך חצי ממספר הקשתות האפשריות ללא הגבלת משולשים (המקרה של הגרף השלם).
הכללה של משפט מנטל אומרת שכל גרף עם n צמתים ולפחות קשתות הוא או גרף טוראן , או שהוא מכיל מעגל מכל אורך שהוא עד n (ולא רק משולש).
קישורים חיצוניים
עריכה- גדי אלכסנדרוביץ', משפט טורן והולדת תורת הגרפים האקסטרמלית, באתר "לא מדויק", 2 בספטמבר 2011