在F-超图中寻找$(s,d)$-超网络是NP困难的。
摘要：在无环F-超图中计算$(s,d)$-超网络的问题是指导向超图中出现的基本计算问题，也是处理可达性和冗余问题的基本步骤。在前人的研究中，这个问题已经在一般的有向超图（包含环）和无环B-超图中进行了探索，后者可以实现线性时间算法。然而，令人惊讶的是，在无环F-超图中，这个问题是NP难的，这也意味着在BF-超图中也是难解的。这是一个引人注目的复杂性界限，因为F-超图和B-超图一开始似乎是对称的。我们给出了复杂性证明，并解释了为什么这两类有向超图之间存在根本的不对称性。
作者：Reynaldo Gil-Pons, Max Ward, Lo"ic Miller
论文ID：2201.04799
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2022-01-17