arXiv subjects

Tomáš Masařík

Publications and source records attributed to Tomáš Masařík.

59 records · Page 4Linked to original sources

arXiv2017

Notes on complexity of packing coloring

A packing $k$-coloring for some integer $k$ of a graph $G=(V,E)$ is a mapping $φ:V\to\{1,\ldots,k\}$ such that any two vertices $u, v$ of color $φ(u)=φ(v)$ are in distance at least $φ(u)+1$. This concept is motivated by frequency assignment problems. The \emph{packing chromatic number} of $G$ is the smallest $k$ such that there exists a packing $k$-coloring of $G$. Fiala and Golovach showed that determining the packing chromatic number for chordal graphs is \NP-complete for diameter exactly 5. While the problem is easy to solve for diameter 2, we show \NP-completeness for any diameter at least 3. Our reduction also shows that the packing chromatic number is hard to approximate within $n^{{1/2}-\varepsilon}$ for any $\varepsilon > 0$. In addition, we design an \FPT algorithm for interval graphs of bounded diameter. This leads us to exploring the problem of finding a partial coloring that maximizes the number of colored vertices.

cs.CC↗

arXiv2017

Parameterized complexity of fair deletion problems

Deletion problems are those where given a graph $G$ and a graph property $π$, the goal is to find a subset of edges such that after its removal the graph $G$ will satisfy the property $π$. Typically, we want to minimize the number of elements removed. In fair deletion problems we change the objective: we minimize the maximum number of deletions in a neighborhood of a single vertex. We study the parameterized complexity of fair deletion problems with respect to the structural parameters of the tree-width, the path-width, the size of a minimum feedback vertex set, the neighborhood diversity, and the size of minimum vertex cover of graph $G$. We prove the W[1]-hardness of the fair FO vertex-deletion problem with respect to the first three parameters combined. Moreover, we show that there is no algorithm for fair FO vertex-deletion problem running in time $n^{o(k^{1/3})}$, where $n$ is the size of the graph and $k$ is the sum of the first three mentioned parameters, provided that the Exponential Time Hypothesis holds. On the other hand, we provide an FPT algorithm for the fair MSO edge-deletion problem parameterized by the size of minimum vertex cover and an FPT algorithm for the fair MSO vertex-deletion problem parameterized by the neighborhood diversity

cs.DS↗

arXiv2016

Anti-Path Cover on Sparse Graph Classes

We show that it is possible to use Bondy-Chvatal closure to design an FPT algorithm that decides whether or not it is possible to cover vertices of an input graph by at most k vertex disjoint paths in the complement of the input graph. More precisely, we show that if a graph has tree-width at most w and its complement is closed under Bondy-Chvatal closure, then it is possible to bound neighborhood diversity of the complement by a function of w only. A simpler proof where tree-depth is used instead of tree-width is also presented.

cs.DS↗

arXiv2016

Triangle-free planar graphs with the smallest independence number

Steinberg and Tovey proved that every n-vertex planar triangle-free graph has an independent set of size at least (n+1)/3, and described an infinite class of tight examples. We show that all n-vertex planar triangle-free graphs except for this one infinite class have independent sets of size at least (n+2)/3.

math.CO↗

arXiv2015

Computational complexity of distance edge labeling

The problem of Distance Edge Labeling is a variant of Distance Vertex Labeling (also known as $L_{2,1}$ labeling) that has been studied for more than twenty years and has many applications, such as frequency assignment. The Distance Edge Labeling problem asks whether the edges of a given graph can be labeled such that the labels of adjacent edges differ by at least two and the labels of edges of distance two differ by at least one. Labels are chosen from the set $\{0,1,\dots,λ\}$ for $λ$ fixed. We present a full classification of its computational complexity - a dichotomy between the polynomially solvable cases and the remaining cases which are NP-complete. We characterise graphs with $λ\le 4$ which leads to a polynomial-time algorithm recognizing the class and we show NP-completeness for $λ\ge 5$ by several reductions from Monotone Not All Equal 3-SAT.

cs.DM↗