Let G and H be respectively a graph and a hypergraph defined on a same set of vertices, and let F be a fixed graph. We say that G F-overlays a hyperedge S of H if F is a spanning subgraph of the subgraph of G induced by S, and that it F-overlays H if it F-overlays every hyperedge of H. Motivated by structural biology, we study the computational complexity of two problems. The first problem, (△ ≤ k) F-Overlay, consists in deciding whether there is a graph with maximum degree at most k that F-overlays a given hypergraph H. It is a particular case of the second problem Max (△ ≤ k) F-Overlay, which takes a hypergraph H and an integer .s as input, and consists in deciding whether there is a graph with maximum degree at most k that F-overlays at least s hyperedges of H. We give a complete polynomial/Af'P-complete dichotomy for the Max (△ ≤ k)-F-OvERLAY problems depending on the pairs (F, k), and establish the complexity of (△ ≤ k) F-Overlay for many pairs (F,k).
展开▼