Ein Graph G ist ein geordnetes Paar ( V , E ), wobei V eine Menge von Knoten (englisch vertex/vertices, oft auch Ecken genannt) und E eine Menge von Kanten (englisch edge/edges, manchmal auch Bögen genannt) bezeichnet.