Teoria dos grafos
A teoria dos grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto. Para tanto, se utiliza de estruturas chamada grafos que são representadas por , onde é um conjunto não-vazio de vértices e é um subconjunto de arestas, isto é, pares não ordenados de V.
Dependendo da aplicação, essas arestas podem ter uma direção específica (e nesse caso, os grafos são chamados de dígrafos), ou então pode ser permitido ou não arestas ligarem um vértice a ele próprio ou vértices e/ou arestas terem um peso numérico associado a eles.