Grau (teoria dos grafos)

Um grafo com vértices rotulados por grau

Na teoria dos grafos, o grau (ou valência) de um vértice de um grafo é o número de arestas incidentes para com o vértice, com os laços contados duas vezes. Ou de forma análoga, o número de vértices adjacentes a ele. O grau de um vértice $v$ é denotado $\deg(v).$ O grau máximo de um grafo G, denotado por Δ(G), e o grau mínimo de um grafo, denotado por δ(G), são os graus máximos e mínimos de seus vértices. No grafo à direita, o grau máximo é 3 e o mínimo é 0. Em um grafo regular, todos os graus são os mesmos, e assim podemos falar de o grau do grafo [sic?].

Lema do aperto de mãos

A fórmula da soma dos graus afirma que, dado um grafo $G=(V,E),$

$$\sum _{v\in V}\deg(v)=2|E|\,.$$

A fórmula implica que em qualquer grafo, o número de vértices de grau ímpar é par. Esta afirmação (bem como a fórmula de soma grau) é conhecida como o Lema do aperto de mãos (em inglês, handshaking lemma). O último nome vem de um problema matemático popular, para provar que, em qualquer grupo de pessoas o número de pessoas que apertam as mãos com um número ímpar de outras pessoas do grupo é par.

Sequência de graus

Dois grafos não isomorfos com a mesma seqüência de graus (3, 2, 2, 2, 2, 1, 1, 1).

A sequência de grau de um grafo não direcionado é a sequência não crescente dos seus graus de vértices; para o grafo acima, é (3, 3, 3, 2, 2, 1, 0). A seqüência de grau é uma invariante do grafo, logo grafos isomorfos têm a mesma sequência. No entanto, a sequência de grau, em geral, não identifica unicamente um grafo; em alguns casos, os grafos não isomorfos têm o mesmo grau de sequência.

O problema da sequência de graus, é o problema de encontrar alguns ou todos os grafos com a seqüência de grau sendo uma dada sequência não crescente de números inteiros positivos. Zeros finais podem ser ignorados, uma vez que são trivialmente efetuados pela adição de um número adequado de vértices isolados do grafo.

O problema de encontrar ou estimar o número de grafos com uma seqüência de determinado grau é um problema do campo da enumeração de grafos.

Como consequência da fórmula da soma de graus, toda a sequência com uma soma ímpar, como (3, 3, 1), não pode ser entendida como a sequência de grau de um grafo. O inverso também é verdadeiro: se uma seqüência tem uma soma par, é a seqüência de grau de um grafo. A construção de um grafo como este é simples: conecte vértices ímpares em pares, e preencha com laços (auto-loops).

Frequentemente, se deseja procurar por grafos simples, tornando o problema da seqüência de graus mais desafiador. Obviamente, a sequência (8, 4) não é a seqüência de grau de um grafo simples, pois teríamos a contradição Δ(G) > ((número de vértices;− 1). A sequência (3, 3, 3, 1) também não é a sequência de grau de um grafo simples, mas neste caso o motivo é menos óbvio. Encontrar os critérios gerais de seqüências de grau de grafos simples é um problema clássico; soluções têm sido oferecidas por Erdős e Gallai (1960), V. J. Havel (1955) e S. L. Hakimi (1961) e S. A. Choudum.

Por exemplo, o Teorema de Erdös-Gallai afirma que a seqüência (d_i)_i=1,...,n sendo d_i ≥d_i+1 é uma sequência de grau de um grafo simples sse, a soma da sequência é par e

$$\sum _{i=1}^{k}d_{i}\leq k(k-1)+\sum _{i=k+1}^{n}\min(d_{i},k)\quad {\text{for }}k\in \{1,\dots ,n\}.$$

Havel e Hakimi provaram que (d₁, d₂, ..., d_n) é uma seqüência de grau de um grafo simples sse (d₂ − 1, d₃ − 1, ..., d_d1+1 − 1, d_d1+2, d_d1+3, ..., d_n) é. Este fato leva a um algoritmo simples (o algoritmo Havel-Hakimi) para a realização de um grafo simples, com uma seqüência de determinado grau de realização: Comece com um grafo sem bordas. Mantenha uma lista de vértices cujo grau de exigência não tenha ainda sido atingido em ordem não crescente de exigência de grau residual. Conecte o primeiro vértice com os próximos d₁ vértices na lista, e depois remova-o da lista. Reordene a lista e repita até que todas as exigências do grau estejam cumpridas.

Valores especiais

Um grafo não direcionado com nodos-folha 4, 5, 6, 7, 10, 11, e 12

• Um vértice com grau 0 é chamado de vértice isolado.
• Um vértice com grau 1 é chamado de vértice folha e a aresta conectada a este vértice é chamada de aresta pendente. No grafo à direita, {3,5} é uma aresta pendente. Esta terminologia é comum no estudo de árvores em teoria dos grafos e em especial árvores como estrutura de dados.

Propriedades globais

• Se cada vértice do grafo tem o mesmo grau k o grafo é chamado de um grafo k-regular e o próprio grafo é dito ter grau k.
• Um grafo conexo, não direcionado, tem um caminho euleriano se e somente se ele tem 0 ou 2 vértices de grau ímpar. Se tem 0 vértices de grau ímpar, o caminho Euleriano é um circuito Euleriano.
• Um grafo direcionado é uma pseudofloresta se e somente se se cada vértice tem um grau de saída no máximo 1. Um grafo funcional é um caso especial de um pseudofloresta em que cada vértice tem exatamente um grau de saída 1.
• Pelo Teorema de Brooks, qualquer grafo que não seja um clique ou um ciclo ímpar tem um número cromático, de no máximo Δ, e pelo Teorema de Vizing, um grafo tem um índice cromático de no máximo Δ + 1.