Em teoria dos grafos, um caminho em um grafo é uma sequência finita ou infinita de vértices conectados por uma sequência de arestas que, na maioria das definições, são todos diferentes uns dos outros. O primeiro vértice é chamado de vértice inicial e o último é chamado de vértice final. Em um grafo direcionado, um caminho dirigido (às vezes chamado de dipath[1]) é uma sequência de arestas que se conectam a uma sequência de vértices, mas com a restrição de que as arestas sejam todas dirigidas no mesmo sentido.
Os caminhos são conceitos fundamentais de teoria de grafos, descrito nas seções introdutórias da maioria dos textos sobre teoria dos grafos.
Um passeio de distância em um grafo é uma sequência alternante de vértices e arestas , que começa e termina em vértices. Um caminho é um passeio na qual todos os vértices (exceto possivelmente o primeiro e o último) são distintos, enquanto uma trilha é um passeio no qual todas as arestas (ou edges, em inglês) são distintas. [2]
Certos autores requerem que as arestas e vértices sejam distintos. Alguns, porém, não procedem dessa forma, preferindo usar o termo caminho simples ao invés para se referir a um caminho que não repete vértices. Um caminho simples em um grafo é uma sequência de vértices de , por exemplo, , tal que para todo .
Se o grafo é não dirigido, então os nós de são e . Se o grafo é dirigido, então é um arco de a .
Um caminho infinito é uma sequência alternante do mesmo tipo descrito acima, mas sem um primeiro ou último vértice, enquanto um caminho semi-infinito tem um primeiro vértice mas nenhum último vértice.
Um grafo ponderado, também chamado de valorado, associa um valor (peso) a cada aresta no grafo. O peso de um caminho em um grafo ponderado é a soma dos pesos das arestas percorridas.
Um ciclo de comprimento r é um caminho constituído por r + 1 vértices, onde o primeiro vértice é igual ao último. Note que a escolha do vértice inicial em um ciclo é arbitrária.
Um caminho sem vértices repetidos é chamado de caminho simples e um ciclo sem vértices repetidos com exceção do inicial/final é um ciclo simples. Por vezes o termo "simples" é omitido de "caminho simples" e "ciclo simples", embora essa não seja a regra.
Um grafo é conexo se há caminhos contendo cada par de vértices, ou seja, se para quaisquer dois vértices, existe um caminho que começa em um e termina no outro.
Um gráfico direcionado é fortemente conectado se há caminhos direcionados opostos contendo cada par de vértices.
Um caminho que não há arestas do grafo conectando dois vértices não consecutivos é chamado de caminho induzido.
Um caminho que passa uma única vez em todos os vértices do grafo é conhecido como um caminho hamiltoniano.
Um ciclo simples que envolva todos os vértices de um grafo é chamado de ciclo hamiltoniano.
Dois caminhos são independentes nos vértices se eles não têm qualquer vértice em comum. Da mesma forma, dois caminhos são independente nas arestas se eles não têm qualquer aresta em comum. Dois caminhos independentes nos vértices são independentes nas arestas, mas o inverso não é necessariamente verdadeiro.
A distância entre dois vértices em um grafo é o comprimento do caminho mais curto entre eles, se houver, caso contrário, a distância é infinita.
O diâmetro do grafo é a maior distância (definida acima) entre os pares de vértices do grafo.
Vários algoritmos existem para encontrar os caminhos mais curto e mais longo em grafos, com a diferença de que o primeiro problema é computacionalmente mais fácil do que o último.
O algoritmo de Dijkstra produz uma lista de caminhos mais curtos de um vértice "fonte" a todos os outros vértices em grafos direcionados e não-direcionados com pesos não-negativos nas arestas (ou nenhum peso), enquanto o algoritmo de Bellman–Ford pode ser aplicado para grafos dirigidos com pesos negativos nas arestas. O algoritmo de Floyd–Warshall pode ser usado para encontrar o menor caminho entre todos os pares de vértices em grafos ponderados dirigidos.