一种用图转换方法证明NP问题间约化正确性的方法
摘要：NP问题的复杂性类是一类决策问题，可以通过多项式时间的非确定性计算解决，其在理论和实践中具有重要意义，其中NP问题之间的多项式时间约化是研究NP性质的关键概念。由于许多典型的NP问题自然地可以描述为图问题，它们及其约化在使用图转换方法进行研究时是明显的候选项。在本文中，我们提出了一种基于图转换的方法，用于证明NP问题之间约化的正确性。
作者：Hans-J"org Kreowski (University of Bremen), Sabine Kuske (University of Bremen), Aaron Lye (University of Bremen), Aljoscha Windhorst (University of Bremen)
论文ID：2212.11627
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-12-23