No campo matemático da teoria dos grafos, um caminho hamiltoniano (ou caminho rastreável) é um caminho em um grafo direcionado ou não direcionado que visita cada vértice exatamente uma vez. Um ciclo hamiltoniano (ou circuito hamiltoniano) é um caminho cíclico que visita cada vértice exatamente uma vez. Portanto, a discussão em torno dos caminhos hamiltonianos não é apenas um mistério para os entusiastas da matemática, mas também um tópico importante na ciência da informação e na teoria computacional, porque o problema de determinar a existência de tais caminhos e ciclos é um problema NP-completo, o que significa que ou seja, não pode ser resolvido dentro de um prazo razoável.
Os caminhos e ciclos hamiltonianos têm atraído grande atenção devido à sua importância em aplicações práticas, como navegação de robôs, problemas de transporte e projeto de circuitos.
O caminho hamiltoniano recebeu esse nome em homenagem a William Rowan Hamilton, que inventou o "jogo icosiano" (agora chamado de quebra-cabeça hamiltoniano) para encontrar um ciclo hamiltoniano no gráfico de arestas de um dodecaedro. pergunta. Embora Hamilton tenha resolvido esse problema usando cálculo icosiano, essa solução não pode ser generalizada para o caso de gráficos arbitrários. De fato, muito antes de sua pesquisa, muitos matemáticos estudaram as características dos ciclos hamiltonianos em poliedros.
Qualquer gráfico que contém um caminho hamiltoniano é chamado de gráfico rastreável. Se houver um caminho hamiltoniano através de cada par de pontos, então o gráfico é chamado de gráfico hamiltoniano conectado. Entretanto, os loops que podem ser formados por um ciclo hamiltoniano só podem se estender entre vértices adjacentes.
Um grafo completo (mais de dois vértices) é um grafo que contém necessariamente um ciclo hamiltoniano. Todo diagrama de circuito também é hamiltoniano.
Um gráfico com um ciclo hamiltoniano é geralmente chamado de gráfico hamiltoniano, e qualquer ciclo hamiltoniano pode ser convertido em um caminho hamiltoniano removendo uma aresta. Mas nem todos os grafos biconexos são garantidamente hamiltonianos. O estudo de caminhos hamiltonianos é comum desde o século XVIII e pode até mesmo ser rastreado até os primórdios da matemática indiana.
Por exemplo, no diagrama do cavalo no tabuleiro de xadrez, o problema das patrulhas de cavalos foi discutido já no século IX na matemática indiana. Com o tempo, o conceito foi desenvolvido ainda mais na Europa, com Abraham de Moivre e Leonhard Euler discutindo patrulhas de cavaleiros. problema.
A diversidade dos ciclos hamiltonianos permitiu que os matemáticos conduzissem estudos mais aprofundados sobre suas propriedades, como densidade de gráficos, tenacidade e subgráficos proibidos.
Em pesquisas atuais, o teorema de Bondy-Chvátal fornece uma caracterização ótima do grau do vértice em relação ao gráfico hamiltoniano, o que permite que a maioria das determinações de hamiltonianidade sejam realizadas rapidamente. Essas teorias não se limitam a julgamentos aleatórios, mas também estão intimamente relacionadas à estrutura e às características de vários gráficos, permitindo-nos entender mais claramente que tipo de conectividade pode alcançar o estabelecimento de caminhos ou circuitos hamiltonianos em gráficos de propriedades diferentes.
De acordo com pesquisas existentes, qualquer decomposição das arestas de um gráfico hamiltoniano G pode formar um ciclo hamiltoniano. Uma aplicação mais notável na prática é o polinômio do ciclo hamiltoniano, que é a descrição do gráfico necessária no gráfico direcionado ponderado do ciclo hamiltoniano. Se esse polinômio não for sempre zero em certas circunstâncias, pode-se inferir que Pictured é de Hamilton.
Quando a existência de ciclos hamiltonianos se tornou um ponto difícil de explorar, os matemáticos começaram a pensar em algoritmos mais eficientes para resolver tais problemas. Embora tenha havido muitas conquistas na teoria, como encontrar um caminho hamiltoniano eficaz na prática continua sendo um mistério não resolvido.
Seja na matemática ou em outros campos de aplicação, a discussão sobre caminhos hamiltonianos e sua existência continua a se aprofundar. Este não é apenas um desafio matemático, mas também um tópico importante que promove o progresso da ciência da computação e do pensamento lógico. Você consegue encontrar o caminho hamiltoniano oculto nesses gráficos complexos?