We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computational Complexity

Title: On the Complexity of Determining Whether there is a Unique Hamiltonian Cycle or Path

Abstract: The decision problems of the existence of a Hamiltonian cycle or of a Hamiltonian path in a given graph, and of the existence of a truth assignment satisfying a given Boolean formula $C$, are well-known {\it NP}-complete problems. Here we study the problems of the {\it uniqueness} of a Hamiltonian cycle or path in an undirected, directed or oriented graph, and show that they have the same complexity, up to polynomials, as the problem U-SAT of the uniqueness of an assignment satisfying $C$. As a consequence, these Hamiltonian problems are {\it NP}-hard and belong to the class~{\it DP}, like U-SAT.
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:2205.05782 [cs.CC]
  (or arXiv:2205.05782v1 [cs.CC] for this version)

Submission history

From: Olivier Hudry [view email]
[v1] Wed, 11 May 2022 21:38:40 GMT (72kb)

Link back to: arXiv, form interface, contact.