Nel campo della teoria matematica dei grafi, un percorso hamiltoniano (o percorso tracciabile) si riferisce a un percorso in un grafo non orientato o diretto che visita ciascun vertice esattamente una volta. Un ciclo hamiltoniano (o circuito hamiltoniano) è un percorso ciclico che visita ciascun vertice una volta. Pertanto, la discussione sui percorsi hamiltoniani non è solo un mistero per gli appassionati di matematica, ma anche un argomento importante nella scienza dell'informazione e nella teoria computazionale, perché il problema di determinare l'esistenza di tali percorsi e cicli è un problema NP-completo, ovvero , la questione non può essere risolta entro un termine ragionevole.
Il motivo per cui i percorsi e i cicli hamiltoniani hanno attirato un'attenzione diffusa deriva dalla loro importanza in applicazioni pratiche, come la navigazione robotica, i problemi di trasporto e la progettazione di circuiti.
Il nome del percorso hamiltoniano deriva da William Rowan Hamilton, che inventò il "gioco icosiano" (ora chiamato puzzle hamiltoniano) per trovare il ciclo hamiltoniano che si forma nel grafico degli spigoli del dodecaedro. Sebbene Hamilton abbia risolto questo problema utilizzando il calcolo icosiano, questa soluzione non può essere generalizzata a grafici arbitrari. In effetti, molti matematici avevano studiato le caratteristiche dei cicli hamiltoniani nei poliedri molto prima delle sue ricerche.
Qualsiasi grafo contenente un percorso hamiltoniano è chiamato grafo tracciabile. Se per ogni coppia di punti passa un percorso hamiltoniano, il grafo si dice connesso hamiltoniano. Tuttavia, un ciclo hamiltoniano può formare solo un anello che si estende tra vertici adiacenti.
Un grafo completo (più di due vertici) è un grafo che contiene necessariamente un ciclo hamiltoniano. Ogni grafo del ciclo è anche hamiltoniano.
Un grafico con un ciclo hamiltoniano si riferisce generalmente a un grafico hamiltoniano e qualsiasi ciclo hamiltoniano può essere convertito in un percorso hamiltoniano rimuovendo un bordo. Ma non è garantito che tutti i grafi doppiamente connessi siano hamiltoniani. Sin dal XVIII secolo, la ricerca correlata sui percorsi hamiltoniani è stata comune e può essere fatta risalire agli albori della matematica indiana.
Ad esempio, nel diagramma dei cavalieri sulla scacchiera, il problema della pattuglia dei cavalieri è stato discusso nella matematica indiana già nel IX secolo. Nel corso del tempo, il concetto è stato ulteriormente sviluppato in Europa, ad esempio Abraham de Moivre e Leonhard Euler hanno entrambi esplorato il problema delle pattuglie cavalleresche.
La diversificazione dei cicli hamiltoniani ha portato i matematici a condurre ricerche più approfondite sulle sue proprietà, come la densità dei grafi, la tenacità e i sottografi tabù.
Nella ricerca attuale, il teorema di Bondy-Chvátal fornisce le migliori caratteristiche del grado di vertice rispetto ai grafi hamiltoniani, il che consente di formulare rapidamente la maggior parte dei giudizi hamiltoniani. Queste teorie non si limitano a giudizi casuali, ma sono anche strettamente legate alla struttura e alle caratteristiche dei vari grafi, permettendoci di comprendere più chiaramente che tipo di metodi di connessione possono ottenere la creazione di percorsi o anelli hamiltoniani in grafi di proprietà diverse.
Secondo la ricerca esistente, la scomposizione di qualsiasi bordo del grafico hamiltoniano G può formare un ciclo hamiltoniano. Un'applicazione più interessante nella pratica è il polinomio del ciclo hamiltoniano, che è la descrizione del grafico richiesta nel grafico guidato ponderato del ciclo hamiltoniano. Se questo polinomio non è costante zero in un caso specifico, si può dedurre che questo nella foto è Hamilton.
Quando l’esistenza di un ciclo hamiltoniano diventa un problema difficile da esplorare, i matematici iniziano a pensare ad algoritmi più efficienti per risolvere tali problemi. Sebbene in teoria siano stati ottenuti molti risultati, come trovare nella pratica un percorso hamiltoniano efficace è ancora un mistero irrisolto.
Sia in matematica che in altri campi di applicazione, la discussione sui percorsi hamiltoniani e sulla loro esistenza è ancora approfondita. Questa non è solo una sfida matematica, ma anche una questione importante che promuove il progresso dell’informatica e del pensiero logico. Riesci a trovare il percorso hamiltoniano nascosto in questi grafici complessi?