间隙连续1性质问题的困难性结果
计算复杂性
2009-12-05 v2
摘要
受比较基因组学和古基因组学问题的启发，在[Chauve等人，2009]中，作者引入了间隙连续1性质问题(k,δ)-C1P：给定一个二元矩阵M和两个整数k与δ，能否对M的列进行排列，使得每一行最多包含k个1块，并且任意两个连续的1块之间的间隔不超过δ个零。经典的C1P问题已知是多项式时间可解的，等价于(1,0)-C1P问题。他们证明了(2,δ)-C1P问题对于所有δ≥2是NP完全的，并且(3,1)-C1P问题是NP完全的。他们还猜想(k,δ)-C1P问题对于k≥2，δ≥1且(k,δ)≠(2,1)是NP完全的。在此，我们证明该猜想是正确的。唯一剩余的情况是(2,1)-C1P问题，它可能是多项式时间可解的。
引用
@article{arxiv.0912.0309,
title = {Hardness Results for the Gapped Consecutive-Ones Property},
author = {Cedric Chauve and Jan Manuch and Murray Patterson},
journal= {arXiv preprint arXiv:0912.0309},
year = {2009}
}