关于确定是否存在唯一的哈密顿环路或路径的复杂性
摘要：一个给定图中存在哈密尔顿回路或哈密尔顿路径的决策问题，以及一个满足给定布尔公式 $C$ 的真值赋值存在的决策问题，在计算复杂度上是被广泛知晓的 NP-完全问题。在这里，我们研究了在无向图、有向图或有序图中唯一性哈密尔顿回路或路径的问题，并表明它们与唯一满足 $C$ 的赋值的唯一性问题 U-SAT 有相同的复杂度，多项式时间内可归约。由此可得，这些哈密尔顿问题是 NP-困难问题，并属于 DP 类问题，如 U-SAT。
作者：Olivier Hudry and Antoine Lobstein
论文ID：2205.05782
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-05-13