Source author record

Ararat Harutyunyan

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
3topics
4close collaborators

Published work

11 publications

preprint2022arXiv

Digraph Coloring and Distance to Acyclicity

In kk-Digraph Coloring we are given a digraph and are asked to partition its vertices into at most kk sets, so that each set induces a DAG. This well-known problem is NP-hard, as it generalizes (undirected) kk-Coloring, but becomes trivial if the input digraph is acyclic. This poses the natural parameterized complexity question what happens when the input is "almost" acyclic. In this paper we study this question using parameters that measure the input's distance to acyclicity in either the directed or the undirected sense. It is already known that, for all k≥2k\ge 2, kk-Digraph Coloring is NP-hard on digraphs of DFVS at most k+4k+4. We strengthen this result to show that, for all k≥2k\ge 2, kk-Digraph Coloring is NP-hard for DFVS kk. Refining our reduction we obtain two further consequences: (i) for all k≥2k\ge 2, kk-Digraph Coloring is NP-hard for graphs of feedback arc set (FAS) at most k2k^2; interestingly, this leads to a dichotomy, as we show that the problem is FPT by kk if FAS is at most k2−1k^2-1; (ii) kk-Digraph Coloring is NP-hard for graphs of DFVS kk, even if the maximum degree ΔΔ is at most 4k−14k-1; we show that this is also almost tight, as the problem becomes FPT for DFVS kk and Δ≤4k−3Δ\le 4k-3. We then consider parameters that measure the distance from acyclicity of the underlying graph. We show that kk-Digraph Coloring admits an FPT algorithm parameterized by treewidth, whose parameter dependence is (tw!)ktw(tw!)k^{tw}. Then, we pose the question of whether the tw!tw! factor can be eliminated. Our main contribution in this part is to settle this question in the negative and show that our algorithm is essentially optimal, even for the much more restricted parameter treedepth and for k=2k=2. Specifically, we show that an FPT algorithm solving 22-Digraph Coloring with dependence tdo(td)td^{o(td)} would contradict the ETH.

preprint2020arXiv

Disproving the normal graph conjecture

A graph GG is called normal if there exist two coverings, C\mathbb{C} and S\mathbb{S} of its vertex set such that every member of C\mathbb{C} induces a clique in GG, every member of S\mathbb{S} induces an independent set in GG and C∩S≠∅C \cap S \neq \emptyset for every C∈CC \in \mathbb{C} and S∈SS \in \mathbb{S}. It has been conjectured by De Simone and Körner in 1999 that a graph GG is normal if GG does not contain C5C_5, C7C_7 and C7‾\overline{C_7} as an induced subgraph. We disprove this conjecture.

preprint2016arXiv

Disjoint cycles of different lengths in graphs and digraphs

Understanding how the cycles of a graph or digraph behave in general has always been an important point of graph theory. In this paper, we study the question of finding a set of kk vertex-disjoint cycles (resp. directed cycles) of distinct lengths in a given graph (resp. digraph). In the context of undirected graphs, we prove that, for every k≥1k \geq 1, every graph with minimum degree at least k2+5k−22\frac{k^2+5k-2}{2} has kk vertex-disjoint cycles of different lengths, where the degree bound is best possible. We also consider stronger situations, and exhibit degree bounds (some of which are best possible) when e.g. the graph is triangle-free, or the kk cycles are requested to have different lengths congruent to some values modulo some rr. In the context of directed graphs, we consider a conjecture of Lichiardopol concerning the least minimum out-degree required for a digraph to have kk vertex-disjoint directed cycles of different lengths. We verify this conjecture for tournaments, and, by using the probabilistic method, for regular digraphs and digraphs of small order.

preprint2016arXiv

Edge-partitioning a graph into paths: beyond the Barát-Thomassen conjecture

The Barát-Thomassen conjecture asserts that there is a function ff such that for every fixed tree TT with tt edges, every graph which is f(t)f(t)-edge-connected with its number of edges divisible by tt has a partition of its edges into copies of TT. This has been proved in the case of paths of length 2k2^k by Thomassen, and recently shown to be true for all paths by Botler, Mota, Oshiro and Wakabayashi. Our goal in this paper is to propose an alternative proof of the path case with a weaker hypothesis: Namely, we prove that there is a function ff such that every 2424-edge-connected graph with minimum degree f(t)f(t) has an edge-partition into paths of length tt whenever tt divides the number of edges. We also show that 2424 can be dropped to 44 when the graph is eulerian.

preprint2015arXiv

List coloring digraphs

The dichromatic number χ⃗(D)\vecχ(D) of a digraph DD is the least number kk such that the vertex set of DD can be partitioned into kk parts each of which induces an acyclic subdigraph. Introduced by Neumann-Lara in 1982, this digraph invariant shares many properties with the usual chromatic number of graphs and can be seen as the natural analog of the graph chromatic number. In this paper, we study the list dichromatic number of digraphs, giving evidence that this notion generalizes the list chromatic number of graphs. We first prove that the list dichromatic number and the dichromatic number behave the same in many contexts, such as in small digraphs (by proving a directed version of Ohba's Conjecture), tournaments, and random digraphs. We then consider bipartite digraphs, and show that their list dichromatic number can be as large as Ω(log⁡2n)Ω(\log_2 n). We finally give a Brooks-type upper bound on the list dichromatic number of digon-free digraphs.

preprint2014arXiv

Strong edge-colouring of sparse planar graphs

A strong edge-colouring of a graph is a proper edge-colouring where each colour class induces a matching. It is known that every planar graph with maximum degree ΔΔ has a strong edge-colouring with at most 4Δ+44Δ+4 colours. We show that 3Δ+13Δ+1 colours suffice if the graph has girth 6, and 4Δ4Δ colours suffice if Δ≥7Δ\geq 7 or the girth is at least 5. In the last part of the paper, we raise some questions related to a long-standing conjecture of Vizing on proper edge-colouring of planar graphs.

preprint2011arXiv

Strengthened Brooks Theorem for digraphs of girth three

Brooks' Theorem states that a connected graph GG of maximum degree ΔΔ has chromatic number at most ΔΔ, unless GG is an odd cycle or a complete graph. A result of Johansson (1996) shows that if GG is triangle-free, then the chromatic number drops to O(Δ/log⁡Δ)O(Δ/ \log Δ). In this paper, we derive a weak analog for the chromatic number of digraphs. We show that every (loopless) digraph DD without directed cycles of length two has chromatic number χ(D)≤(1−e−13)Δ~χ(D) \leq (1-e^{-13}) \tildeΔ, where Δ~\tildeΔ is the maximum geometric mean of the out-degree and in-degree of a vertex in DD, when Δ~\tildeΔ is sufficiently large. As a corollary it is proved that there exists an absolute constant α<1α< 1 such that χ(D)≤α(Δ~+1)χ(D) \leq α(\tildeΔ + 1) for every Δ~>2\tildeΔ > 2.

preprint2011arXiv

Two results on the digraph chromatic number

It is known (Bollobás (1978); Kostochka and Mazurova (1977)) that there exist graphs of maximum degree ΔΔ and of arbitrarily large girth whose chromatic number is at least cΔ/log⁡Δc Δ/ \log Δ. We show an analogous result for digraphs where the chromatic number of a digraph DD is defined as the minimum integer kk so that V(D)V(D) can be partitioned into kk acyclic sets, and the girth is the length of the shortest cycle in the corresponding undirected graph. It is also shown, in the same vein as an old result of Erdos (1962), that there are digraphs with arbitrarily large chromatic number where every large subset of vertices is 2-colorable.

Research graph

See the researcher in context

Open full explorer

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.