משפט טורן


כל מה שרצית לדעת על משפט טורן:
בתורת הגרפים, משפט טורן הוא משפט הקובע, בהינתן מספר קבוע של צמתים, את הגרף עם מספר הקשתות המקסימלי שאינו מכיל תת-גרף שלם (קליקה) מגודל נתון.
את המשפט הוכיח המתמטיקאי ההונגרי פאול טורן (Paul Turán) בשנת 1941.
ביתר פירוט, המשפט קובע כי הגרף עם n צמתים שאינו מכיל קליקה   K t + 1 {\displaystyle \ K_{t+1}} ומספר קשתותיו הוא מקסימלי הוא גרף שמחולק ל-t קבוצות זרות של צמתים מאותו הגודל (עד כמה שהדבר ניתן), ושלכל צומת יש קשת לכל צומת בקבוצה אחרת ולאף צומת בקבוצה שלה.
גרף כזה נקרא גרף טורן.
הוכחת משפט טורן נחשבת להולדתה של תורת הגרפים הקיצונית, ענף של תורת הגרפים ושל קומבינטוריקה קיצונית שקרוב לתורת רמזי.
הענף חוקר את הגרפים הקטנים והגדולים ביותר שמקיימים תכונות כלשהן.

נלקח מויקיפדיה

הגדרות נוספות הקשורות למשפט טורן:
משפטים בתורת הגרפים
משפטים בקומבינטוריקה