Parameterized Enumeration of Minimal Defensive Alliances

2026-09-23

AI Summary

研究了极小防御联盟的枚举复杂性，提出了一种在最大度为5的图上的多项式延迟算法，并探讨了不同参数下的算法可能性。

Abstract

In this paper, we consider the complexity of enumerating inclusion minimal defensive alliances. We present a polynomial-delay algorithm on graphs with maximum degree 5. We complement this result by proving that there is no output-polynomial algorithm on bipartite graphs with maximum degree 6 and degeneracy 2, unless P = NP. Furthermore, there is an FPT-delay algorithm when parameterized by neighborhood diversity. This result is the first exploit of a recently published enumeration algorithm for ILPs. By way of contrast, we prove that, for the parameter pathwidth, there is no FPT-delay algorithm for enumerating all inclusion minimal defensive alliances (unless FPT = W[1]). To the best of our knowledge, this is the first non-enumerability result using parameterized complexity for variations of Another/Next-problems.

Problem

• enumeration
• minimal defensive alliances
• complexity

Innovation

• polynomial-delay algorithm
• neighborhood diversity
• FPT-delay algorithm
• parameterized complexity
• minimal defensive alliances