有向无环图实现度序列的 NP 困难性与固定参数可解性
计算复杂性
2012-01-18 v2
摘要
在图实现问题中，给定一个度序列，任务是判断是否存在一个图，其顶点度与给定序列匹配。当图为有向或无向时，该实现问题已知是多项式时间可解的。相反，我们证明了用有向无环图实现给定的正整数对序列（表示入度和出度）的问题是 NP 完全的，从而回答了 Berger 和 Müller-Hannemann [FCT 2011] 的一个开放问题。此外，我们将该问题归类为关于参数“最大度”的固定参数可解问题。
引用
@article{arxiv.1110.1510,
title = {NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs},
author = {Sepp Hartung and André Nichterlein},
journal= {arXiv preprint arXiv:1110.1510},
year = {2012}
}
备注
new author Sepp Hartung, new section with fixed-parameter tractability result; 25 pages, 4 figures