Граф — математична абстракція реальної системи будь-якої природи, об'єкти якої мають парні зв'язки. Граф як математичний об'єкт є сукупність двох множин – множини самих об'єктів, званого безліччю вершин, і множини їх парних зв'язків, званого множиною ребер.
