使用有向无环图实现度序列的NP-难性和固定参数可追踪性
摘要：图实现问题中，给定一个度序列，任务是决定是否存在一个图，其顶点的度与给定的序列相匹配。当图是有向或无向时，这个实现问题已知是多项式时间可解的。相反地，我们证明了在具有有向无环图的情况下，给定一对正整数的序列（表示入度和出度），问题的实现是NP完全的，回答了Berger和M"uller-Hannemann在FCT 2011中提出的一个悬而未决的问题。此外，我们根据"最大度数"参数将该问题分类为固定参数可解的。
作者：Sepp Hartung and Andr''e Nichterlein
论文ID：1110.1510
分类：Computational Complexity
分类简称：cs.CC
提交时间：2012-01-18