Bounding the Mim-Width of Hereditary Graph Classes

04/10/2020
by   Nick Brettell, et al.
0

A large number of NP-hard graph problems become polynomial-time solvable on graph classes where the mim-width is bounded and quickly computable. Hence, when solving such problems on special graph classes, it is helpful to know whether the graph class under consideration has bounded mim-width. We first extend the toolkit for proving (un)boundedness of mim-width of graph classes. This enables us to initiate a systematic study into bounding mim-width from the perspective of hereditary graph classes. For a given graph H, the class of H-free graphs has bounded mim-width if and only if it has bounded clique-width. We show that the same is not true for (H_1,H_2)-free graphs. We find several general classes of (H_1,H_2)-free graphs having unbounded clique-width, but the mim-width is bounded and quickly computable. We also prove a number of new results showing that, for certain H_1 and H_2, the class of (H_1,H_2)-free graphs has unbounded mim-width. Combining these with known results, we present summary theorems of the current state of the art for the boundedness of mim-width for (H_1,H_2)-free graphs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/05/2020

Clique-Width: Harnessing the Power of Atoms

Many NP-complete graph problems are polynomially solvable on graph class...
research
05/30/2022

On algorithmic applications of sim-width and mim-width of (H_1, H_2)-free graphs

Mim-width and sim-width are among the most powerful graph width paramete...
research
03/29/2022

A framework for minimal hereditary classes of graphs of unbounded clique-width

We create a framework for hereditary graph classes 𝒢^δ built on a two-di...
research
02/09/2023

t-sails and sparse hereditary classes of unbounded tree-width

It has long been known that the following basic objects are obstructions...
research
02/08/2022

VC-density and abstract cell decomposition for edge relation in graphs of bounded twin-width

We study set systems formed by neighborhoods in graphs of bounded twin-w...
research
11/05/2022

Parity Games of Bounded Tree-Depth

The exact complexity of solving parity games is a major open problem. Se...
research
02/12/2022

What can be certified compactly?

Local certification consists in assigning labels (called certificates) t...

Please sign up or login with your details

Forgot password? Click here to reset