Граф - это объект, состоящий из множества вершин и множества ребер, соединяющих эти вершины. В качестве вершин могут быть какие-либо состояния, объекты, а ребра могут указывать на связь между ними и содержать какое-нибудь значение, описывающее эту связь.