Source author record

Karolina Okrasa

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Complexity Data Structures and Algorithms Discrete Mathematics math.CO

Catalog footprint

Research overview

7works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Complexity of the list homomorphism problem in hereditary graph classes

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$ . For a fixed graph $H$ , in the list homomorphism problem, denoted by LHom( $H$ ), we are given a graph $G$ , whose every vertex $v$ is equipped with a list $L(v) \subseteq V(H)$ . We ask if there exists a homomorphism $f$ from $G$ to $H$ , in which $f(v) \in L(v)$ for every $v \in V(G)$ . Feder, Hell, and Huang [JGT~2003] proved that LHom( $H$ ) is polynomial time-solvable if $H$ is a bi-arc-graph, and NP-complete otherwise. We are interested in the complexity of the LHom( $H$ ) problem in graphs excluding a copy of some fixed graph $F$ as an induced subgraph. It is known that if $F$ is connected and is not a path nor a subdivided claw, then for every non-bi-arc graph the LHom( $H$ ) problem is NP-complete and cannot be solved in subexponential time, unless the ETH fails. We consider the remaining cases for connected graphs $F$ . If $F$ is a path, we exhibit a full dichotomy. We define a class called predacious graphs and show that if $H$ is not predacious, then for every fixed $t$ the LHom( $H$ ) problem can be solved in quasi-polynomial time in $P_t$ -free graphs. On the other hand, if $H$ is predacious, then there exists $t$ , such that LHom( $H$ ) cannot be solved in subexponential time in $P_t$ -free graphs. If $F$ is a subdivided claw, we show a full dichotomy in two important cases: for $H$ being irreflexive (i.e., with no loops), and for $H$ being reflexive (i.e., where every vertex has a loop). Unless the ETH fails, for irreflexive $H$ the LHom( $H$ ) problem can be solved in subexponential time in graphs excluding a fixed subdivided claw if and only if $H$ is non-predacious and triangle-free. If $H$ is reflexive, then LHom( $H$ ) cannot be solved in subexponential time whenever $H$ is not a bi-arc graph.

preprint2022arXiv

Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws

For graphs $G$ and $H$ , an $H$ -coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$ . In the $H$ -Coloring problem the graph $H$ is fixed and we ask whether an instance graph $G$ admits an $H$ -coloring. A generalization of this problem is $H$ -ColoringExt, where some vertices of $G$ are already mapped to vertices of $H$ and we ask if this partial mapping can be extended to an $H$ -coloring. We study the complexity of variants of $H$ -Coloring in $F$ -free graphs, i.e., graphs excluding a fixed graph $F$ as an induced subgraph. For integers $a,b,c \geq 1$ , by $S_{a,b,c}$ we denote the graph obtained by identifying one endvertex of three paths on $a+1$ , $b+1$ , and $c+1$ vertices, respectively. For odd $k \geq 5$ , by $W_k$ we denote the graph obtained from the $k$ -cycle by adding a universal vertex. As our main algorithmic result we show that $W_5$ -ColoringExt is polynomial-time solvable in $S_{2,1,1}$ -free graphs. This result exhibits an interesting non-monotonicity of $H$ -ColoringExt with respect to taking induced subgraphs of $H$ . Indeed, $W_5$ contains a triangle, and $K_3$ -Coloring, i.e., classical 3-coloring, is NP-hard already in claw-free (i.e., $S_{1,1,1}$ -free) graphs. Our algorithm is based on two main observations: 1. $W_5$ -ColoringExt in $S_{2,1,1}$ -free graphs can be in polynomial time reduced to a variant of the problem of finding an independent set intersecting all triangles, and 2. the latter problem can be solved in polynomial time in $S_{2,1,1}$ -free graphs. We complement this algorithmic result with several negative ones. In particular, we show that $W_5$ -ColoringExt is NP-hard in $S_{3,3,3}$ -free graphs. This is again uncommon, as usually problems that are NP-hard in $S_{a,b,c}$ -free graphs for some constant $a,b,c$ are already hard in claw-free graphs.

preprint2022arXiv

Computing list homomorphisms in geometric intersection graphs

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$ . Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by \textsc{LHom}( $H$ ), the instance is a graph $G$ , whose every vertex is equipped with a subset of $V(H)$ , called list. We ask whether there exists a homomorphism from $G$ to $H$ , such that every vertex from $G$ is mapped to a vertex from its list. We study the complexity of the \textsc{LHom}( $H$ ) problem in intersection graphs of various geometric objects. In particular, we are interested in answering the question for what graphs $H$ and for what types of geometric objects, the \textsc{LHom}( $H$ ) problem can be solved in time subexponential in the number of vertices of the instance. We fully resolve this question for string graphs, i.e., intersection graphs of continuous curves in the plane. Quite surprisingly, it turns out that the dichotomy exactly coincides with the analogous dichotomy for graphs excluding a fixed path as an induced subgraph [Okrasa, Rzążewski, STACS 2021]. Then we turn our attention to subclasses of string graphs, defined as intersections of fat objects. We observe that the (non)existence of subexponential-time algorithms in such classes is closely related to the size $\mathrm{mrc}(H)$ of a maximum reflexive clique in $H$ , i.e., maximum number of pairwise adjacent vertices, each of which has a loop. We study the maximum value of $\mathrm{mrc}(H)$ that guarantees the existence of a subexponential-time algorithm for \textsc{LHom}( $H$ ) in intersection graphs of (i) convex fat objects, (ii) fat similarly-sized objects, and (iii) disks. In the first two cases we obtain optimal results, by giving matching algorithms and lower bounds. Finally, we discuss possible extensions of our results to weighted generalizations of \textsc{LHom}( $H$ ).

preprint2022arXiv

On objects dual to tree-cut decompositions

Tree-cut width is a graph parameter introduced by Wollan that is an analogue of treewidth for the immersion order on graphs in the following sense: the tree-cut width of a graph is functionally equivalent to the largest size of a wall that can be found in it as an immersion. In this work we propose a variant of the definition of tree-cut width that is functionally equivalent to the original one, but for which we can state and prove a tight duality theorem relating it to naturally defined dual objects: appropriately defined brambles and tangles. Using this result we also propose a game characterization of tree-cut width.

preprint2020arXiv

Fine-grained complexity of the graph homomorphism problem for bounded-treewidth graphs

For graphs $G$ and $H$ , a \emph{homomorphism} from $G$ to $H$ is an edge-preserving mapping from the vertex set of $G$ to the vertex set of $H$ . For a fixed graph $H$ , by \textsc{Hom( $H$ )} we denote the computational problem which asks whether a given graph $G$ admits a homomorphism to $H$ . If $H$ is a complete graph with $k$ vertices, then \textsc{Hom( $H$ )} is equivalent to the $k$ -\textsc{Coloring} problem, so graph homomorphisms can be seen as generalizations of colorings. It is known that \textsc{Hom( $H$ )} is polynomial-time solvable if $H$ is bipartite or has a vertex with a loop, and NP-complete otherwise [Hell and Nešetřil, JCTB 1990]. In this paper we are interested in the complexity of the problem, parameterized by the treewidth of the input graph $G$ . If $G$ has $n$ vertices and is given along with its tree decomposition of width $\mathrm{tw}(G)$ , then the problem can be solved in time $|V(H)|^{\mathrm{tw}(G)} \cdot n^{\mathcal{O}(1)}$ , using a straightforward dynamic programming. We explore whether this bound can be improved. We show that if $H$ is a \emph{projective core}, then the existence of such a faster algorithm is unlikely: assuming the Strong Exponential Time Hypothesis (SETH), the \textsc{Hom( $H$ )} problem cannot be solved in time $(|V(H)|-ε)^{\mathrm{tw}(G)} \cdot n^{\mathcal{O}(1)}$ , for any $ε> 0$ . This result provides a full complexity characterization for a large class of graphs $H$ , as almost all graphs are projective cores. We also notice that the naive algorithm can be improved for some graphs $H$ , and show a complexity classification for all graphs $H$ , assuming two conjectures from algebraic graph theory. In particular, there are no known graphs $H$ which are not covered by our result. In order to prove our results, we bring together some tools and techniques from algebra and from fine-grained complexity.

preprint2020arXiv

Full complexity classification of the list homomorphism problem for bounded-treewidth graphs

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$ . Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by LHom( $H$ ), we are given a graph $G$ , whose every vertex $v$ is assigned with a list $L(v)$ of vertices of $H$ . We ask whether there exists a homomorphism $h$ from $G$ to $H$ , which respects lists $L$ , i.e., for every $v \in V(G)$ it holds that $h(v) \in L(v)$ . The complexity dichotomy for LHom( $H$ ) was proven by Feder, Hell, and Huang [JGT 2003]. We are interested in the complexity of the problem, parameterized by the treewidth of the input graph. This problem was investigated by Egri, Marx, and Rzążewski [STACS 2018], who obtained tight complexity bounds for the special case of reflexive graphs $H$ . In this paper we extend and generalize their results for \emph{all} relevant graphs $H$ , i.e., those, for which the LHom{H} problem is NP-hard. For every such $H$ we find a constant $k = k(H)$ , such that LHom( $H$ ) on instances with $n$ vertices and treewidth $t$ * can be solved in time $k^{t} \cdot n^{\mathcal{O}(1)}$ , provided that the input graph is given along with a tree decomposition of width $t$ , * cannot be solved in time $(k-\varepsilon)^{t} \cdot n^{\mathcal{O}(1)}$ , for any $\varepsilon >0$ , unless the SETH fails. For some graphs $H$ the value of $k(H)$ is much smaller than the trivial upper bound, i.e., $|V(H)|$ . Obtaining matching upper and lower bounds shows that the set of algorithmic tools we have discovered cannot be extended in order to obtain faster algorithms for LHom( $H$ ) in bounded-treewidth graphs. Furthermore, neither the algorithm, nor the proof of the lower bound, is very specific to treewidth. We believe that they can be used for other variants of LHom( $H$ ), e.g. with different parameterizations.

preprint2020arXiv

Sparsification Lower Bounds for List $H$ -Coloring

We investigate the List $H$ -Coloring problem, the generalization of graph coloring that asks whether an input graph $G$ admits a homomorphism to the undirected graph $H$ (possibly with loops), such that each vertex $v \in V(G)$ is mapped to a vertex on its list $L(v) \subseteq V(H)$ . An important result by Feder, Hell, and Huang [JGT 2003] states that List $H$ -Coloring is polynomial-time solvable if $H$ is a so-called bi-arc graph, and NP-complete otherwise. We investigate the NP-complete cases of the problem from the perspective of polynomial-time sparsification: can an $n$ -vertex instance be efficiently reduced to an equivalent instance of bitsize $O(n^{2-\varepsilon})$ for some $\varepsilon > 0$ ? We prove that if $H$ is not a bi-arc graph, then List $H$ -Coloring does not admit such a sparsification algorithm unless $NP \subseteq coNP/poly$ . Our proofs combine techniques from kernelization lower bounds with a study of the structure of graphs $H$ which are not bi-arc graphs.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Karolina Okrasa

Research overview

Is this your work?

7 publications

Complexity of the list homomorphism problem in hereditary graph classes

Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws

Computing list homomorphisms in geometric intersection graphs

On objects dual to tree-cut decompositions

Fine-grained complexity of the graph homomorphism problem for bounded-treewidth graphs

Full complexity classification of the list homomorphism problem for bounded-treewidth graphs

Sparsification Lower Bounds for List $H$ -Coloring

See the researcher in context

Building this map preview

Karolina Okrasa

Research overview

Is this your work?

7 publications

Complexity of the list homomorphism problem in hereditary graph classes

Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws

Computing list homomorphisms in geometric intersection graphs

On objects dual to tree-cut decompositions

Fine-grained complexity of the graph homomorphism problem for bounded-treewidth graphs

Full complexity classification of the list homomorphism problem for bounded-treewidth graphs

Sparsification Lower Bounds for List HHH-Coloring

See the researcher in context

Building this map preview

Sparsification Lower Bounds for List $H$ -Coloring