גרף מיתרי

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

משפחת הגרפים המיתריים היא תת-משפחה של הגרפים המושלמים.

== צמתים סימפליקליים וסדר הסרה מושלם ==

צומת סימפליקלי (simplicial) הוא צומת שקבוצת השכנים שלו מהווה קליקה.
גרף מיתרי תמיד מכיל קודקוד סימפליקלי

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

סדר הסרה מושלם (perfect elimination ordering) של גרף, הוא תמורה
<math>\pi</math>
של קדקדי הגרף כך שלכל קדקד
<math>v</math>
מתקיים כי
<math>v</math>
והשכנים של
<math>v</math>
שמופיעים לאחריו
ב-<math>\pi</math>
מהווים קליקה.
כלומר,
<math>\pi= \left\langle v_1,v_2,\cdots,v_n \right\rangle </math>
הוא סדר הסרה מושלם אם לכל
<math>1\leq i \leq n</math>
מתקיים כי הצומת
<math>v_i</math>
הוא סימפליקלי בתת הגרף המושרה על
<math>\{v_i,v_{i+1},\cdots,v_n\}</math>.

משפט: גרף הוא מיתרי אם ורק אם יש לו סדר הסרה מושלם.

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

== אלגוריתמים יעילים לגרפים מיתריים ==

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

=== קליקה מקסימלית ===
בהינתן גרף מיתרי <math>G</math> עם סדר הסרה מושלם
<math>\pi= \left\langle v_1,v_2,\cdots,v_n \right\rangle </math>, אזי לפי ההגדרה לכל צומת <math>v_i</math> מתקיים כי
<math>v_i</math> ביחד עם השכנים שלו שמופיעים אחריו ב-<math>\pi</math>,
מהווים קליקה.
אם כן, האלגוריתם סורק את צומתי הגרף וכאשר הוא מטפל בצומת <math>v_i</math> הוא סופר את מספר השכנים של <math>v_i</math> אשר מופיעם אחריו ב-<math>\pi</math>, ובוחר את הקליקה הגדולה ביותר מבין כל אלו שנסרקו.

=== צביעה של גרף מיתרי ===
בהינתן גרף מיתרי <math>G</math> עם סדר הסרה מושלם
<math>\pi=\left\langle v_i,v_{i+1},\cdots,v_n \right\rangle </math>,
האלגוריתם סורק את צומתי הגרף בסדר הפוך (כלומר מתחיל ב-<math>v_n</math> ומסיים ב-<math>v_1</math>),
וצובע את צומתי הגרף באופן חמדני.
ביתר פירוט- כאשר האלגוריתם מטפל בצומת <math>v_i</math> הוא צובע אותו בצבע <math>k</math>
המינימלי כך שאף אחד משכניו של <math>v_i</math> אינו צבוע בצבע שמספרו <math>k</math>.
קל לראות שאלגוריתם זה מוביל לצביעה במספר מינימלי של צבעים. נניח בשלילה שלא כך הוא, ונתבונן בגרף מיתרי <math>G</math> ובפעם הראשונה שהאלגוריתם משתמש ביותר צבעים מאשר המינימום ההכרחי.
כעת, מאחר ש-<math>G</math> מיתרי, הוא בפרט מושלם ולכן מספר הצביעה של <math>G</math>
(כלומר המספר המינימלי של צבעים שבאמצעותם ניתן לצבוע את <math>G</math>)
הוא בדיוק כגודל הקליקה המקסימלית ב-<math>G</math>.
אבל אז, משמעות הדבר היא שבחרנו עבור צומת כלשהו את הצבע המינמאלי שאינו בשימוש על ידי אף אחד משכניו, ומספר זה גדול יותר מאשר גודל הקליקה המקסימלית ב-<math>G</math>.
זה כמובן לא ייתכן, כי מספר שכניו בהכרח קטן (בלפחות 1) מגודל הקליקה המקסימלית.

== ראו גם ==
* גרף מושלם
* גרף קטעים

== לקריאה נוספת ==
<div style="direction: ltr;">
* Martin Charles Golumbic, Algorithmic graph theory and perfect graphs, Elsevier, 1980.
</div>

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

* 

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

קטגוריה:תורת הגרפים