卡普 21 个 NP 完全问题的线性增长归约
组合数学
2019-02-28 v1 计算复杂性
数据结构与算法
摘要
我们探讨将某些如今经典的非确定性多项式时间（NP）完全问题转换为较少数量的核 NP 完全问题是否值得。特别地，我们证明卡普经典的 21 个 NP 完全问题集合包含一个含六个问题的核子集，其性质为较大集合中的每个问题均可归约到这六个问题之一，且问题规模仅线性增长。该发现因核子集包含 0-1 整数规划、作业排序与无向哈密顿圈问题，在优化理论中具潜在应用。
引用
@article{arxiv.1902.10349,
title = {Linearly-growing Reductions of Karp's 21 NP-complete Problems},
author = {Jerzy A Filar and Michael Haythorpe and Richard Taylor},
journal= {arXiv preprint arXiv:1902.10349},
year = {2019}
}