Um Grafo é uma estrutura de dados formada por um conjunto de não vazio de vértices (ou nós) e por um conjunto de arestas (ou arcos), ligando estes vértices. Seja G um grafo onde V é o conjunto dos vértices e A é o conjunto das arestas.
Representando grafos
Conceitualmente, grafos genealógicos são abstrações de redes sociais, onde os relacionamentos são estabelecidos entre indivíduos com algum vínculo familiar. Representam-se laços de parentesco através de símbolos convencionados na Teoria dos Grafos: vértices, arestas e arcos (arestas direcionadas).
Dependendo da aplicação, arestas podem ou não ter direção, pode ser permitido ou não arestas ligarem um vértice a ele próprio e vértices e/ou arestas podem ter um peso (numérico) associado. Se as arestas têm um sentido associado (indicado por uma seta na representação gráfica) temos um dígrafo (grafo orientado).
Leonhard Euler
Um vértice isolado não tem vértices adjacentes. O grau de um vértice é igual ao número de vértices adjacentes. Um caso especial é um laço que une um vértice a ele próprio; se tal aresta existe, o vértice pertence à sua própria vizinhança.