识别背包多面体面的复杂性
The Complexity of Recognizing Facets for the Knapsack Polytope
AI总结：
本文证明识别背包多面体面的问题为 DP 完全，并针对不同系数数量固定的不等式提出多项式时间判定算法。
摘要：
复杂性类 DP 是所有由 NP 中语言与 coNP 中语言的交集构成的语言类。此前有人猜想，识别背包多面体（knapsack polytope）的一个面是 DP 完全的。我们对该猜想给出了肯定回答。此外，尽管该识别问题具有 DP 困难性，我们仍给出了一种多项式时间算法，用于判定具有固定数量不同系数的不等式是否定义了背包多面体的一个面。
英文摘要：
The complexity class DP is the class of all languages that are the intersection of a language in NP and a language in coNP. It was conjectured that recognizing a facet for the knapsack polytope is DP-complete. We provide a positive answer to this conjecture. Moreover, despite the \DP-hardness of the recognition problem, we give a polynomial time algorithm for deciding if an inequality with a fixed number of distinct coefficients defines a facet of a knapsack polytope.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
