ETA: Tutto quanto sotto è nel documento " Sulla massima dispersione TSP ", Arkin et al, SODA 1997.
Non conosco le risposte esatte, ma ecco un altro approccio leggermente diverso dal suggerimento di Suresh sul raggruppamento di Gonzalez:
Supponiamo per semplicità che sia pari. Per ogni vertice , trova la mediana delle distanze . Forma un grafico non orientato in cui ogni vertice è collegato agli altri vertici che sono almeno alla distanza mediana. Il grado minimo in questo grafico è almeno , quindi dal teorema di Dirac è possibile trovare un ciclo hamiltoniano in questo grafico.p n - 1 d ( p , q ) p n / 2npn−1d(p,q)pn/2
D'altra parte, ci sono vertici nel disco centrati in con raggio , troppi per formare un insieme indipendente nel ciclo, quindi ogni ciclo hamiltoniano dovrebbe avere un bordo connesso circa due di questi vertici, di lunghezza al massimo . Pertanto, il ciclo hamiltoniano trovato da questo algoritmo è nel peggiore dei casi un'approssimazione di 2 al ciclo massimo del collo di bottiglia.p d ( p , q ) 2 d ( p , q )n/2+1pd(p,q)2d(p,q)
Funzionerà in qualsiasi spazio metrico e fornirà il rapporto di approssimazione ottimale tra gli algoritmi che funzionano in qualsiasi spazio metrico. Perché, se potessi approssimarti meglio che entro un fattore due, potresti risolvere esattamente i problemi del ciclo hamiltoniano, riducendo il grafico di input al problema del ciclo hamiltoniano in uno spazio metrico con distanza 2 per ogni bordo del grafico e distanza 1 per ogni non -bordo.
Probabilmente con un po 'di attenzione puoi massaggiare questo in un algoritmo di approssimazione per percorsi anziché cicli.