Given an input which is a complete weighted graph, where is a distance function. The output is the shortest Hamiltonian cycle visiting all vertices. Formalising this problem, we find: