Qraf nəzəriyyəsi
Qraf nəzəriyyəsi — qrafların xüsusiyyətlərini öyrənən diskret riyaziyyatın bir qolu. Ümumi mənada bir qrafik kənarları ilə birləşdirilmiş zirvələr (düyünlər) toplusu kimi təmsil olunur. Qəti tərifdə qraf G = ( V , E ) {\displaystyle G=(V,E)} cüt cütüdür, burada V {\displaystyle V} istənilən sayılan çoxluğun alt dəstidir və E {\displaystyle E}  — altdır V × V {\displaystyle V\times V} . Qraf nəzəriyyəsi, məsələn, coğrafi informasiya sistemlərində (CİS) istifadə olunur. Mövcud və ya yeni dizayn edilmiş evlər, tikililər, məhəllələr və s. zirvələr, onları birləşdirən yollar, mühəndis şəbəkələri, elektrik xətləri və s. Belə bir qrafik üzərində aparılmış müxtəlif hesablamaların istifadəsi, məsələn, ən qısa yol yolunu və ya ən yaxın ərzaq mağazasını tapmaq və optimal marşrutu planlaşdırma imkanı verir. Qraf nəzəriyyəsi çox sayda həll olunmamış problemi və hələ təsdiqlənməmiş fərziyyələri ehtiva edir.