U-Bubble Model for Mixed Unit Interval Graphs and its Applications: The MaxCut Problem Revisited

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Kratochvíl, Jan, Masařík, Tomáš, Novotná, Jana
Format: Preprint
Published: 2020
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911454547935232
author Kratochvíl, Jan
Masařík, Tomáš
Novotná, Jana
author_facet Kratochvíl, Jan
Masařík, Tomáš
Novotná, Jana
contents Interval graphs, intersection graphs of segments on a real line (intervals), play a key role in the study of algorithms and special structural properties. Unit interval graphs, their proper subclass, where each interval has a unit length, has also been extensively studied. We study mixed unit interval graphs---a generalization of unit interval graphs where each interval has still a unit length, but intervals of more than one type (open, closed, semi-closed) are allowed. This small modification captures a much richer class of graphs. In particular, mixed unit interval graphs are not claw-free, compared to unit interval graphs. Heggernes, Meister, and Papadopoulos defined a representation of unit interval graphs called the bubble model which turned out to be useful in algorithm design. We extend this model to the class of mixed unit interval graphs and demonstrate the advantages of this generalized model by providing a subexponential-time algorithm for solving the MaxCut problem on mixed unit interval graphs. In addition, we derive a polynomial-time algorithm for certain subclasses of mixed unit interval graphs. We point out a substantial mistake in the proof of the polynomiality of the MaxCut problem on unit interval graphs by Boyaci, Ekim, and Shalom (2017). Hence, the time complexity of this problem on unit interval graphs remains open. We further provide a better algorithmic upper-bound on the clique-width of mixed unit interval graphs. Clique-width is one of the most general structural graph parameters, where a large group of natural problems is still solvable in the tractable time when an efficient representation is given. Unfortunately, the exact computation of the clique-width representation is \NP-hard. Therefore, good upper-bounds on clique-width are highly appreciated, in particular, when such a bound is algorithmic.
format Preprint
id arxiv_https___arxiv_org_abs_2002_08311
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle U-Bubble Model for Mixed Unit Interval Graphs and its Applications: The MaxCut Problem Revisited
Kratochvíl, Jan
Masařík, Tomáš
Novotná, Jana
Data Structures and Algorithms
Computational Complexity
Discrete Mathematics
Interval graphs, intersection graphs of segments on a real line (intervals), play a key role in the study of algorithms and special structural properties. Unit interval graphs, their proper subclass, where each interval has a unit length, has also been extensively studied. We study mixed unit interval graphs---a generalization of unit interval graphs where each interval has still a unit length, but intervals of more than one type (open, closed, semi-closed) are allowed. This small modification captures a much richer class of graphs. In particular, mixed unit interval graphs are not claw-free, compared to unit interval graphs. Heggernes, Meister, and Papadopoulos defined a representation of unit interval graphs called the bubble model which turned out to be useful in algorithm design. We extend this model to the class of mixed unit interval graphs and demonstrate the advantages of this generalized model by providing a subexponential-time algorithm for solving the MaxCut problem on mixed unit interval graphs. In addition, we derive a polynomial-time algorithm for certain subclasses of mixed unit interval graphs. We point out a substantial mistake in the proof of the polynomiality of the MaxCut problem on unit interval graphs by Boyaci, Ekim, and Shalom (2017). Hence, the time complexity of this problem on unit interval graphs remains open. We further provide a better algorithmic upper-bound on the clique-width of mixed unit interval graphs. Clique-width is one of the most general structural graph parameters, where a large group of natural problems is still solvable in the tractable time when an efficient representation is given. Unfortunately, the exact computation of the clique-width representation is \NP-hard. Therefore, good upper-bounds on clique-width are highly appreciated, in particular, when such a bound is algorithmic.
title U-Bubble Model for Mixed Unit Interval Graphs and its Applications: The MaxCut Problem Revisited
topic Data Structures and Algorithms
Computational Complexity
Discrete Mathematics
url https://arxiv.org/abs/2002.08311