Parameterized Complexity of Finding Subgraphs with Hereditary Properties on Hereditary Graph Classes

01/25/2021
by   David Eppstein, et al.
0

We investigate the parameterized complexity of finding subgraphs with hereditary properties on graphs belonging to a hereditary graph class. Given a graph G, a non-trivial hereditary property Π and an integer parameter k, the general problem P(G,Π,k) asks whether there exists k vertices of G that induce a subgraph satisfying property Π. This problem, P(G,Π,k) has been proved to be NP-complete by Lewis and Yannakakis. The parameterized complexity of this problem is shown to be W[1]-complete by Khot and Raman, if Π includes all trivial graphs but not all complete graphs and vice versa; and is fixed-parameter tractable (FPT), otherwise. As the problem is W[1]-complete on general graphs when Π includes all trivial graphs but not all complete graphs and vice versa, it is natural to further investigate the problem on restricted graph classes. Motivated by this line of research, we study the problem on graphs which also belong to a hereditary graph class and establish a framework which settles the parameterized complexity of the problem for various hereditary graph classes. In particular, we show that: P(G,Π,k) is solvable in polynomial time when the graph G is co-bipartite and Π is the property of being planar, bipartite or triangle-free (or vice-versa). P(G,Π,k) is FPT when the graph G is planar, bipartite or triangle-free and Π is the property of being planar, bipartite or triangle-free, or graph G is co-bipartite and Π is the property of being co-bipartite. P(G,Π,k) is W[1]-complete when the graph G is C_4-free, K_1,4-free or a unit disk graph and Π is the property of being either planar or bipartite.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/30/2018

On Efficient Domination for Some Classes of H-Free Bipartite Graphs

A vertex set D in a finite undirected graph G is an efficient dominatin...
research
09/13/2021

On the Parameterized Complexity of the Acyclic Matching Problem

A matching is a set of edges in a graph with no common endpoint. A match...
research
08/08/2019

Efficient Generation of Different Topological Representations of Graphs Beyond-Planarity

Beyond-planarity focuses on combinatorial properties of classes of non-p...
research
03/19/2020

Independent sets in (P_4+P_4,Triangle)-free graphs

The Maximum Weight Independent Set Problem (WIS) is a well-known NP-hard...
research
04/23/2019

Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness

We study the problem #IndSub(P) of counting all induced subgraphs of siz...
research
07/06/2020

On B_1-EPG and EPT graphs

This research contains as a main result the prove that every Chordal B_1...
research
08/14/2018

Multicast Triangular Semilattice Network

We investigate the structure of the code graph of a multicast network th...

Please sign up or login with your details

Forgot password? Click here to reset