**גרף תחרות** (נקרא גם **טורניר**) הוא גרף מכוון כך שלכל שני קודקודים {\displaystyle \displaystyle u} ו-\displaystyle v קיימת בדיוק אחת מהקשתות {\displaystyle \displaystyle (u,v)} ו-{\displaystyle \displaystyle (v,u)}. במילים אחרות גרף תחרות מתקבל על ידי הוספת כיוון יחיד לכל אחת מקשתות גרף שלם (לא מכוון). באופן טבעי גרף כזה מייצג ניצחון או הפסד בין כל 2 קודקודים. סכום דרגת היציאה והכניסה של כל קודקוד בגרף תחרות עם \displaystyle n קודקודים הוא {\displaystyle \displaystyle n-1}.

מסלולים המילטונים בגרף תחרות
----------------------------

משפט שהוכח על ידי רדאי (Rédei) אומר כי בכל גרף תחרות יש מסלול המילטוני. ניתן להוכיח זאת באינדוקציה. בסיס האינדוקציה: נניח שבגרף יש 2 קודקודים, {\displaystyle \displaystyle v\_{0},v\_{1}}, אזי קיים מסלול אחד ביניהם.

הנחת האינדוקציה: אם קיימים \displaystyle n קודקודים בגרף תחרות אזי יש בו מסלול המילטוני.

צעד האינדוקציה: יהי הגרף {\displaystyle \displaystyle T=(V,E)} כך ש-{\displaystyle \displaystyle |V|=n+1} גרף תחרות ונבחר קודקוד \displaystyle v שדרגת היציאה שלו **איננה** 0. נתבונן בגרף {\displaystyle {\hat {T}}} שמתקבל על ידי השמטת \displaystyle v. גם {\displaystyle {\hat {T}}} הוא גרף תחרות ולפי הנחת האינדוקציה יש ב-{\displaystyle {\hat {T}}} מסלול המילטון. כלומר ניתן לסדר את כל n הקודקודים בשורה {\displaystyle v\_{0},v\_{1},\dots ,v\_{n-1}} כך שכל אחד מהם יופיע בה פעם אחת, והשורה מהווה מסלול פשוט מ-{\displaystyle v\_{0}} ל-{\displaystyle v\_{n-1}}. עתה נוסיף חזרה את הקודקוד \displaystyle v שהשמטנו. קיים {\displaystyle \displaystyle v\_{i}} מינימלי כך ש-\displaystyle v מצביע אליו. אם {\displaystyle \displaystyle i=0} נצרף את הקודקוד לפני {\displaystyle \displaystyle v\_{0}} ואז: {\displaystyle {v,v\_{0},v\_{1},\dots ,v\_{n-1}}} הוא מסלול המילטוני ב-{\displaystyle \displaystyle T}. אם {\displaystyle \displaystyle i>0} אז מובטח לנו כי {\displaystyle \displaystyle v\_{i-1}} מצביע על \displaystyle v, אחרת נקבל סתירה למינימליות {\displaystyle \displaystyle i}. כעת נחבר את \displaystyle v בין {\displaystyle \displaystyle v\_{i-1}} ל-{\displaystyle \displaystyle v\_{i}} ונקבל את המסלול 
{\displaystyle {v\_{0},v\_{1},\dots v\_{i-1},v,v\_{i},\dots v\_{n-1}}} אשר מהווה מסלול המילטוני בגרף {\displaystyle \displaystyle T}.

הוכחה זו אף מגדירה אלגוריתם למציאת מסלול המילטוני אשר זמן הריצה שלו הוא {\displaystyle \displaystyle n^{2}}. ידוע כי יש אלגוריתמים יעילים יותר, עם קשר הדוק לאלגוריתמי מיון, הדורשים בדיקה של {\displaystyle \displaystyle O(n\log n)} קשתות בלבד.(ההוכחה למעלה קשורה למיון הכנסה).

גרף תחרות טרנזיטיבי
-------------------

גרף תחרות טרנזיטיבי עם 8 צמתים
גרף תחרות נקרא **טרנזיטיבי** אם קיומה של קשת מ-{\displaystyle \displaystyle u} ל-\displaystyle v ומ-\displaystyle v ל-{\displaystyle \displaystyle w} גורר את קיומה של קשת מ-{\displaystyle \displaystyle u} ל-{\displaystyle \displaystyle w}. ידוע כי התנאים הבאים שקולים לגרף תחרות {\displaystyle \displaystyle T}:

1. {\displaystyle \displaystyle T} הוא טרנזיטיבי
2. אין ב-{\displaystyle \displaystyle T} מעגלים מכוונים
3. אין ב-{\displaystyle \displaystyle T} מעגל מכוון בגודל 3
4. קבוצת דרגות היציאה ב-{\displaystyle \displaystyle T} היא {2,1,0,...*n* − 1}
5. יש ב-{\displaystyle \displaystyle T} רק מסלול המילטוני אחד

בכל גרף תחרות עם \displaystyle n צמתים קיים תת-גרף תחרות טרנזיטיבי על {\displaystyle \displaystyle \log n} צמתים.

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

סדרת הדרגות של גרף תחרות
------------------------

יש תנאים פשוטים לאפשרות קיומו של גרף תחרות עם סדרת דרגות יציאה נתונות, כפי שהוכח על ידי לנדאו. תהא {\displaystyle (s\_{1},s\_{2},\cdots ,s\_{n})} סדרה מונוטונית לא יורדת. אז היא יכולה להוות סדרת דרגות יציאה של גרף תחרות עם צמתים אם ורק אם:

1. {\displaystyle 0\leq s\_{1}\leq s\_{2}\leq \cdots \leq s\_{n}}
2. {\displaystyle s\_{1}+s\_{2}+\cdots +s\_{i}\geq {i \choose 2}} עבור {\displaystyle n-1,\cdots ,2,1=i}
3. {\displaystyle s\_{1}+s\_{2}+\cdots +s\_{n}={n \choose 2}}

נקרא לצומת **מלך** אם קים מסלול באורך 2 לכל היותר ממנו לכל צומת אחר. תכונה נוספת אשר מתקיימת בגרף תחרות היא קיומו של מלך. בפרט, כל הצמתים בעלי דרגת היציאה המקסימלית חייבים להיות מלכים. ידוע גם כי אם אין בגרף התחרות צומת שדרגתו {\displaystyle \displaystyle n-1} ("קיסר") אז יש לפחות שלושה מלכים.

קישורים חיצוניים
----------------

* גרף תחרות, באתר MathWorld (באנגלית)
* תחרויות (תורת הגרפים), דף שער בספרייה הלאומית

הערות שוליים
------------

1. ↑  Rédei, László (1934), "Ein kombinatorischer Satz", *Acta Litteraria Szeged*, **7**: 39–43`{{citation}}`: תחזוקה - ציטוט: extra punctuation (link) תחזוקה - ציטוט: multiple names: authors list (link)
2. ↑  Szele, T. "Kombinatorische Untersuchungen über den gerichteten vollständigen Graphen." Mat. Fiz. Lapok 50, 223-256, 1943
3. ↑  H.G. Landau, On dominance relations and the structure of animal societies, III: the condition for a score structure, Bull. Math. Biophys. 15 (1953), pp. 143–148.
4. ↑  J.W. Moon, Solution to problem 463, Math. Mag. 35 (1962), p. 189.

| נושאים בתורת הגרפים |
| --- |
| הגדרות | צומת • קשת • דרגה • מסלול • מרחק |
| מבנים | גרף • גרף ממושקל • מעגל • גרף מקרי • היפרגרף • מולטיגרף • עץ • קומפלקס |
| בניות וטיפוסים | גרף משלים • גרף קיילי • גרף שלם • גרף תחרות • עץ פורש • רשת זרימה • שידוך |
| תכונות | גרף n-צביע • גרף דו-צדדי • גרף מישורי • גרף מרחיב • גרף רגולרי • גרף קשיר • עץ בינומי • עץ פורש מינימלי |

|  |  |
| --- | --- |
| בקרת זהויות עריכת הנתון בוויקינתונים | 
* NLI: 987007544535305171
* BnF: cb12265666t (data)
* GND: 4473306-9
* LCCN: sh97007070
* NKC: ph274756

 |