צומת (תורת הגרפים)

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

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

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

לכל קודקוד  בגרף, קבוצת כל השכנים שלו בגרף מסומנת: , ובאופן פורמלי: .

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

בגרף מכוון, דרגת הכניסה של קודקוד שווה למספר הצלעות ה"נכנסות" אליו, ודרגת היציאה שווה למספר הצלעות ה"יוצאות" ממנו.

גרף n-צביע הוא גרף הניתן לצביעה ב-n צבעים כך שכל שני קודקודים שכנים צבועים בצבע שונה.
קישורים חיצוניים



קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:תורת הגרפים