מעגל (תורת הגרפים) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 19:
|סימון= ''C<sub>n</sub>''
}}
ב[[תורת הגרפים]], '''מעגל''' (ב[[אנגלית]]: '''Cycle graph''' או '''Circular graph''') הוא [[גרף (תורת הגרפים)|גרף]] המורכב מ[[מסלול (תורת הגרפים)|מסלול]] לא-ריק שמתחילהמתחיל ומסתיים באותו [[צומת (תורת הגרפים)|צומת]]., ללא צמתים נוספים.
 
באופן פורמלי, מעגל הוא גרף המורכבבעל מקשתותצמתים <math>\ v_0,\dots,v_{n-1}</math>, כך שלכל i,עם הקשתות <math>\ v_i, v_{i+1 \pmod{n}}</math>. נפגשות בצומת משותף, ואין צמתים משותפים אחרים.
 
נהוג לסמן גרף מעגל המורכב מ-<math>\ n</math> קשתות כך: ''C<sub>n</sub>''. בגרף ''C<sub>n</sub>'' מספר הקשתות שווה למספר ה[[צומת (תורת הגרפים)|צמתים]] (שווה ל-<math>\ n</math> ) ו[[דרגה (תורת הגרפים)|דרגת]] כל צומת שווה ל-2. כלומר, מכל צומת יוצאות שתי קשתות.
 
==טרמינולוגיה==
ישנם שמות נרדפים רבים ל'''גרף מעגל''': '''גרף מעגל פשוט''' (''simple cycle graph''), '''גרף בעל מעגליםמעגלי''' (''cyclic graph''), על אף שהשם השני אינו שכיח כיוון שהוא מתייחסעשוי בעיקרלהתייחס למקריםגם בהםלמקרה גרףהכללי הואיותר לאשבו הגרף מכיל מעגלים (כלומר, אינו [[גרף חסר מעגלים]] (''acyclic graph'')). שמות נפוצים נוספים: '''מעגל''', '''פוליגון''', '''n-gon'''.
 
מעגל בעל מספר זוגי של צמתים נקרא '''מעגל זוגי''' (''even cycle''); מעגל בעל מספר אי-זוגי של צמתים נקרא '''מעגל אי-זוגי''' (''odd cycle'').