Clustered Spanning Tree-Conditions for Feasibility

Nili Guttmann-Beck , Zeev Sorek , Michal Stern (1)

1 Caesarea Rothschild Institute and Department of Computer Science

Let H =< G, S > be a hypergraph, where G = (V, E) is a complete undirected graph and S is a set of not necessarily disjoint clusters Si ⊆ V. The Clustered Spanning Tree problem is to find a spanning tree of G which satisifes that each cluster induces a subtree, when it exists. We provide an efficient and unique algorithm which finds a feasible solution tree for H when it exists, or states that no feasible solution exists. The paper also uses special structures of the intersection graph of H to construct a feasible solution more efficiently. For cases when the hypergraph does not have a feasible solution tree, we consider adding vertices to exactly one cluster in order to gain feasibility. We characterize when such addition can gain feasibility, find the appropriate cluster and a possible set of vertices to be added.

Domaines: Mathématique discrète [cs.DM]

Nili Guttmann-Beck, Zeev Sorek, Michal Stern. Clustered Spanning Tree-Conditions for Feasibility. Discrete Mathematics and Theoretical Computer Science, 2015. ⟨hal-01887552v1⟩