La teoría de grafos, también llamada teoría de gráficas, es una rama de las matemáticas y las ciencias de la computación que estudia las propiedades de los grafos. Los grafos no deben ser confundidos con las gráficas, que es un término muy amplio. Formalmente, un grafo  G=(V,E) es una pareja ordenada en la que {V} es un conjunto no vacío de vértices y {E} es un conjunto de aristas. Donde {E} consta de pares no ordenados de vértices, tales como {E} entonces se dice que {x} e {y} son adyacentes; y en el grafo se representa mediante una línea no orientada que una dichos vértices. Si el grafo es dirigido se le llama dígrafo, se denota {D}, y entonces el par {(x,y)} es un par ordenado, esto se representa con una flecha que va de {x} a {y} y se dice que {(x,y)\in E}