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

*'''גרף בלתי מכוון''' ולעיתים בפשטות '''גרף''' הוא קבוצה של צמתים וקבוצה של '''קשתות'''. כל קשת מקשרת בין שני צמתים. באופן פורמלי, גרף בלתי מכוון <math>G</math> מוגדר על ידי <math>(V,E)</math> כאשר <math>V</math> היא קבוצת הצמתים ו-<math>E \subseteq \{\{u,v\} \mid u,v \in V\}</math> היא קבוצת הקשתות. ניתן לראות בגרפים בלתי מכוונים [[מקרה פרטי]] של גרפים מכוונים (בהם עבור כל זוג צמתים <math>u </math> ו-<math>v</math>, הקשתות מ-<math>u </math> ל-<math>v</math> ומ-<math>v</math> ל-<math>u </math> קיימות שתיהן, או חסרות שתיהן).

*{{עוגן|גרף מכוון|'''גרף מכוון'''}} הוא [[קבוצה (מתמטיקה)|קבוצה]] של '''צמתים''' (גם: קודקודים או נקודות) וקבוצה של '''קשתות מכוונות'''. כאשר ישנה משמעות לכיוונה של קשת מכוונת - היא יוצאת מצומת אחד ונכנסת לצומת אחר. באופן פורמלי, גרף מכוון <math>D</math> מוגדר על ידי <math>(V,E)</math> כאשר <math>V</math> היא קבוצת הצמתים ו-<math>E \subseteq V \times V</math> היא קבוצת הקשתות. קשת <math>e=(u,v)\in E</math> יוצאת מ-<math>u </math> ונכנסת ל-<math>v</math>.

*'''גרף מעורב''' הוא קבוצה של צמתים, קבוצה של קשתות מכוונות וקבוצה של קשתות לא מכוונות. כל קשת, מכוונת או לא מכוונת, מקשרת בין שני צמתים.

*'''לולאה''' (גם: '''חוג עצמי''') היא קשת (או קשת מכוונת) שמקשרת צומת עם עצמו.