非确定性图灵机可解问题类的形式化
数据结构与算法
2007-05-23 v1 计算复杂性
摘要
本文的目的是形式化 NP 问题的定义。我们构建了离散问题的数学模型，将其作为带权元素的独立系统。我们引入了两个辅助集合来刻画问题的解：伴随集，包含原集合中不可添加到已选解元素的任何元素；以及剩余集，其中每个元素均可添加到先前所选的解元素。在无预见问题中，每个伴随集均可由求解算法在多项式时间内有效生成。本研究的主要结果是断言 NP 类等同于无预见问题类。由此可知，若我们未能为给定问题找到有效的（多项式时间）求解算法，则需要在无预见问题集中寻找该问题的另一种表述。
引用
@article{arxiv.cs/9903012,
title = {Formalization of the class of problems solvable by a nondeterministic Turing machine},
author = {Anatoly D. Plotnikov},
journal= {arXiv preprint arXiv:cs/9903012},
year = {2007}
}
备注
10 pages, 2 figures