במתמטיקה, תורת הגרפים היא מחקר של גרפים, שהם מבנים מתמטיים המשמשים מודל ליחסים זוגיים בין אובייקטים. הגרף בהקשר זה מורכב של קודקודים, צמתים, או נקודות אשר מחוברים על ידי קצוות, קשתות, או קווים. גרף עשוי להיות מנותב, כלומר אין הבחנה בין שני הקודקודים הקשורים לכל קצה, או הקצוות שלה עשוי להיות מופנה מקודקוד אחד למשנהו; ראה תרשים (מתמטיקה בדידה) להגדרות מפורטות יותר ולשינויים אחרים בסוגי הגרפים הנחשבים בדרך כלל. גרפים הם אחד האובייקטים הממשלה של לימוד במתמטיקה בדידה. עיין במילון המונחים של תורת הגרפים להגדרות בסיסיות בתורת הגרפים. [מָתֵימָטִיקָה][גרף של פונקציה]