Parameterized complexity of computing maximum minimal blocking and hitting sets

Abstract

A blocking set in a graph G is a subset of vertices that intersects every maximum independent set of G. Let mmbs(G) be the size of a maximum (inclusion-wise) minimal blocking set of G. This parameter has recently played an important role in the kernelization of Vertex Cover parameterized by the distance to a graph class F. Indeed, it turns out that the existence of a polynomial kernel for this problem is closely related to the property that mmbs(F) = sup G∈F mmbs(G) is bounded by a constant, and thus several recent results focused on determining mmbs(F) for different classes F. We consider the parameterized complexity of computing mmbs under various parameterizations, such as the size of a maximum independent set of the input graph and the natural parameter. We provide a panorama of the complexity of computing both mmbs and mmhs, which is the size of a maximum minimal hitting set of a hypergraph, a closely related parameter. Finally, we consider the problem of computing mmbs parameterized by treewidth, especially relevant in the context of kernelization. Given the "counting" nature of mmbs, it does not seem to be expressible in monadic second-order logic, hence its tractability does not follow from Courcelle's theorem. Our main technical contribution is a fixed-parameter tractable algorithm for this problem. ACM Subject ClassificationMathematics of computing → Graph algorithms.

Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. V

“…Blocking sets and the blockers of set families (families are often regarded as the hyperedge families of hypergraphs) are discussed, e.g., in the monographs [11,22,29,31,32,43,46,48,50,51,53,54,56,67,70,72,73,78,79,81] and in the works [3,4,5,6,7,9,10,12,13,16,17,20,21,23,24,25,26,27,28,30,33,34,38,39,40,41,42,44,45,47,52,…”