Definição de grafo
Um grafo \(G = (V, A)\) é uma estrutura matemática constituída pelos conjuntos:
- \(V\), um conjunto finito e não vazio de vértices, com \(|V| = n\);
- \(A\), um conjunto com \(|A| = m\) arestas, onde cada aresta é um par não ordenado de elementos de \(V\).
Em um grafo simples não direcionado, vale que \(A \subseteq \{\{u,v\} \mid u,v \in V,\; u \neq v\}\).