La teoría de grafos es una disciplina antigua con aplicaciones modernas. Un grafo representa una estructura discreta compuesta por vértices y aristas que conectan los vértices. Los grafos se pueden usar para modelar diversos sistemas como redes sociales, influencia entre personas y dependencia entre tareas de un programa.