Тео́рия гра́фов — раздел
дискретной математики, изучающий свойства
графов. В наиобщем смысле граф представляется как множество
вершин (узлов), соединённых
рёбрами. В строгом определении графом называется такая пара множеств G={R,V}, где V есть подмножество любого счётного множества, а R - подмножество V×V.