理查德·卡普（Richard M.Karp）。 组合问题之间的约简性。 （英语） Zbl 1467.68065号 Miller，Raymond E.（编辑）等人，《计算机计算的复杂性》。1972年3月20日至22日在纽约约克敦高地的IBM Thomas J.Watson研究中心举行的计算机计算复杂性研讨会论文集，由海军研究办公室、数学程序、IBM世贸公司和IBM研究数学科学部赞助。IBM研究研讨会系列。纽约-朗登：阻燃出版社。85-103 (1972). 摘要：一大类计算问题涉及图、有向图、整数、整数数组、有限集的有限族、布尔公式和其他可数域的元素的性质的确定。通过将这些域的简单编码转换为有限字母表上的单词集，这些问题可以转化为语言识别问题，我们可以探究它们的计算复杂性。当找到一个求解算法，该算法在输入长度上以多项式为界的若干步内终止时，可以认为这样的问题已圆满解决。我们证明了大量经典的未解决的覆盖、匹配、打包、路由、赋值和排序问题是等价的，即它们要么具有多项式边界算法，要么没有。有关整个系列，请参见[Zbl 1467.68010号]. 引用于4评论引用于1480文件 MSC公司： 65年第68季度 算法和问题复杂性分析 04年第68季度 经典计算模型（图灵机等） 65年第68季度 形式语言和自动机 68卢比 离散数学与计算机科学 关键词：多项式时间；图灵机器；正则表达式；组合问题；有限字母表上的单词；语言识别 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Karp}，in：计算机计算的复杂性。1972年3月20日至22日在纽约约克敦高地的IBM Thomas J.Watson研究中心举行的计算机计算复杂性研讨会论文集，由海军研究办公室、数学程序、IBM世贸公司和IBM研究数学科学部赞助。纽约-朗登：阻燃出版社。85-103（1972年；Zbl 1467.68065） 全文： 内政部 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。