-
The Canadian Traveller Problem on outerplanar graphs
Authors:
Laurent Beaudou,
Pierre Bergé,
Vsevolod Chernyshev,
Antoine Dailly,
Yan Gerard,
Aurélie Lagoutte,
Vincent Limouzy,
Lucas Pastor
Abstract:
We study the PSPACE-complete $k$-Canadian Traveller Problem, where a weighted graph $G=(V,E,ω)$ with a source $s\in V$ and a target $t\in V$ are given. This problem also has a hidden input $E_* \subsetneq E$ of cardinality at most $k$ representing blocked edges. The objective is to travel from $s$ to $t$ with the minimum distance. At the beginning of the walk, the blockages $E_*$ are unknown: the…
▽ More
We study the PSPACE-complete $k$-Canadian Traveller Problem, where a weighted graph $G=(V,E,ω)$ with a source $s\in V$ and a target $t\in V$ are given. This problem also has a hidden input $E_* \subsetneq E$ of cardinality at most $k$ representing blocked edges. The objective is to travel from $s$ to $t$ with the minimum distance. At the beginning of the walk, the blockages $E_*$ are unknown: the traveller discovers that an edge is blocked when visiting one of its endpoints. Online algorithms, also called strategies, have been proposed for this problem and assessed with the competitive ratio, i.e. the ratio between the distance actually traversed by the traveller divided by the distance we would have traversed knowing the blockages in advance.
Even though the optimal competitive ratio is $2k+1$ even on unit-weighted planar graphs of treewidth 2, we design a polynomial-time strategy achieving competitive ratio $9$ on unit-weighted outerplanar graphs. This value $9$ also stands as a lower bound for this family of graphs as we prove that, for any $\varepsilon > 0$, no strategy can achieve a competitive ratio $9-\varepsilon$. Finally, we show that it is not possible to achieve a constant competitive ratio (independent of $G$ and $k$) on weighted outerplanar graphs.
△ Less
Submitted 8 March, 2024; v1 submitted 4 March, 2024;
originally announced March 2024.
-
Local certification of geometric graph classes
Authors:
Oscar Defrain,
Louis Esperet,
Aurélie Lagoutte,
Pat Morin,
Jean-Florent Raymond
Abstract:
The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their certificates and the certificates of their neighbors, and based only on this local view, they must decide whether $G$ satisfies the given property. If the graph indeed s…
▽ More
The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their certificates and the certificates of their neighbors, and based only on this local view, they must decide whether $G$ satisfies the given property. If the graph indeed satisfies the property, all vertices must accept the instance, and otherwise at least one vertex must reject the instance (for any possible assignment of certificates). The goal is to minimize the size of the certificates.
In this paper we study the local certification of geometric and topological graph classes. While it is known that in $n$-vertex graphs, planarity can be certified locally with certificates of size $O(\log n)$, we show that several closely related graph classes require certificates of size $Ω(n)$. This includes penny graphs, unit-distance graphs, (induced) subgraphs of the square grid, 1-planar graphs, and unit-square graphs. These bounds are tight up to a constant factor and give the first known examples of hereditary (and even monotone) graph classes for which the certificates must have linear size. For unit-disk graphs we obtain a lower bound of $Ω(n^{1-δ})$ for any $δ>0$ on the size of the certificates, and an upper bound of $O(n \log n)$. The lower bounds are obtained by proving rigidity properties of the considered graphs, which might be of independent interest.
△ Less
Submitted 2 July, 2024; v1 submitted 28 November, 2023;
originally announced November 2023.
-
Connected greedy colourings of perfect graphs and other classes: the good, the bad and the ugly
Authors:
Laurent Beaudou,
Caroline Brosse,
Oscar Defrain,
Florent Foucaud,
Aurélie Lagoutte,
Vincent Limouzy,
Lucas Pastor
Abstract:
The Grundy number of a graph is the maximum number of colours used by the "First-Fit" greedy colouring algorithm over all vertex orderings. Given a vertex ordering $σ= v_1,\dots,v_n$, the "First-Fit" greedy colouring algorithm colours the vertices in the order of $σ$ by assigning to each vertex the smallest colour unused in its neighbourhood.
By restricting this procedure to vertex orderings tha…
▽ More
The Grundy number of a graph is the maximum number of colours used by the "First-Fit" greedy colouring algorithm over all vertex orderings. Given a vertex ordering $σ= v_1,\dots,v_n$, the "First-Fit" greedy colouring algorithm colours the vertices in the order of $σ$ by assigning to each vertex the smallest colour unused in its neighbourhood.
By restricting this procedure to vertex orderings that are connected, we obtain {\em connected greedy colourings}. For some graphs, all connected greedy colourings use exactly $χ(G)$ colours; they are called {\em good graphs}. On the opposite, some graphs do not admit any connected greedy colouring using only $χ(G)$ colours; they are called {\em ugly graphs}.
We show that no perfect graph is ugly. We also give simple proofs of this fact for subclasses of perfect graphs (block graphs, comparability graphs), and show that no $K_4$-minor free graph is ugly.
Moreover, our proofs are constructive, and imply the existence of polynomial-time algorithms to compute good connected orderings for these graph classes.
△ Less
Submitted 25 March, 2024; v1 submitted 26 October, 2021;
originally announced October 2021.
-
On Vizing's edge colouring question
Authors:
Marthe Bonamy,
Oscar Defrain,
Tereza Klimošová,
Aurélie Lagoutte,
Jonathan Narboni
Abstract:
Soon after his 1964 seminal paper on edge colouring, Vizing asked the following question: can an optimal edge colouring be reached from any given proper edge colouring through a series of Kempe changes? We answer this question in the affirmative for triangle-free graphs.
Soon after his 1964 seminal paper on edge colouring, Vizing asked the following question: can an optimal edge colouring be reached from any given proper edge colouring through a series of Kempe changes? We answer this question in the affirmative for triangle-free graphs.
△ Less
Submitted 16 July, 2021;
originally announced July 2021.
-
Efficient enumeration of maximal split subgraphs and induced sub-cographs and related classes
Authors:
Caroline Brosse,
Aurélie Lagoutte,
Vincent Limouzy,
Arnaud Mary,
Lucas Pastor
Abstract:
In this paper, we are interested in algorithms that take in input an arbitrary graph $G$, and that enumerate in output all the (inclusion-wise) maximal "subgraphs" of $G$ which fulfil a given property $Π$. All over this paper, we study several different properties $Π$, and the notion of subgraph under consideration (induced or not) will vary from a result to another.
More precisely, we present e…
▽ More
In this paper, we are interested in algorithms that take in input an arbitrary graph $G$, and that enumerate in output all the (inclusion-wise) maximal "subgraphs" of $G$ which fulfil a given property $Π$. All over this paper, we study several different properties $Π$, and the notion of subgraph under consideration (induced or not) will vary from a result to another.
More precisely, we present efficient algorithms to list all maximal split subgraphs, sub-cographs and some subclasses of cographs of a given input graph. All the algorithms presented here run in polynomial delay, and moreover for split graphs it only requires polynomial space. In order to develop an algorithm for maximal split (edge-)subgraphs, we establish a bijection between the maximal split subgraphs and the maximal independent sets of an auxiliary graph. For cographs and some subclasses , the algorithms rely on a framework recently introduced by Conte & Uno called Proximity Search. Finally we consider the extension problem, which consists in deciding if there exists a maximal induced subgraph satisfying a property $Π$ that contains a set of prescribed vertices and that avoids another set of vertices. We show that this problem is NP-complete for every "interesting" hereditary property $Π$. We extend the hardness result to some specific edge version of the extension problem.
△ Less
Submitted 8 March, 2023; v1 submitted 2 July, 2020;
originally announced July 2020.
-
Revisiting a theorem by Folkman on graph colouring
Authors:
Marthe Bonamy,
Pierre Charbit,
Oscar Defrain,
Gwenaël Joret,
Aurélie Lagoutte,
Vincent Limouzy,
Lucas Pastor,
Jean-Sébastien Sereni
Abstract:
We give a short proof of the following theorem due to Jon H. Folkman (1969): The chromatic number of any graph is at most $2$ plus the maximum over all subgraphs of the difference between half the number of vertices and the independence number.
We give a short proof of the following theorem due to Jon H. Folkman (1969): The chromatic number of any graph is at most $2$ plus the maximum over all subgraphs of the difference between half the number of vertices and the independence number.
△ Less
Submitted 23 March, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Colouring perfect graphs with bounded clique number
Authors:
Maria Chudnovsky,
Aurélie Lagoutte,
Paul Seymour,
Sophie Spirkl
Abstract:
A graph is perfect if the chromatic number of every induced subgraph equals the size of its largest clique, and an algorithm of Grötschel, Lovász, and Schrijver from 1988 finds an optimal colouring of a perfect graph in polynomial time. But this algorithm uses the ellipsoid method, and it is a well-known open question to construct a "combinatorial" polynomial-time algorithm that yields an optimal…
▽ More
A graph is perfect if the chromatic number of every induced subgraph equals the size of its largest clique, and an algorithm of Grötschel, Lovász, and Schrijver from 1988 finds an optimal colouring of a perfect graph in polynomial time. But this algorithm uses the ellipsoid method, and it is a well-known open question to construct a "combinatorial" polynomial-time algorithm that yields an optimal colouring of a perfect graph.
A skew partition in $G$ is a partition $(A,B)$ of $V(G)$ such that $G[A]$ is not connected and $\bar{G}[B]$ is not connected, where $\bar{G}$ denotes the complement graph ; and it is balanced if an additional parity condition of paths in $G$ and $\bar{G}$ is satisfied.
In this paper we first give a polynomial-time algorithm that, with input a perfect graph, outputs a balanced skew partition if there is one. Then we use this to obtain a combinatorial algorithm that finds an optimal colouring of a perfect graph with clique number $k$, in time that is polynomial for fixed $k$.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Decomposition techniques applied to the Clique-Stable set Separation problem
Authors:
Nicolas Bousquet,
Aurélie Lagoutte,
Frédéric Maffray,
Lucas Pastor
Abstract:
In a graph, a Clique-Stable Set separator (CS-separator) is a family $\mathcal{C}$ of cuts (bipartitions of the vertex set) such that for every clique $K$ and every stable set $S$ with $K \cap S = \emptyset$, there exists a cut $( W,W')$ in $\mathcal{C}$ such that $K \subseteq W$ and $S \subseteq W'$. Starting from a question concerning extended formulations of the Stable Set polytope and a relate…
▽ More
In a graph, a Clique-Stable Set separator (CS-separator) is a family $\mathcal{C}$ of cuts (bipartitions of the vertex set) such that for every clique $K$ and every stable set $S$ with $K \cap S = \emptyset$, there exists a cut $( W,W')$ in $\mathcal{C}$ such that $K \subseteq W$ and $S \subseteq W'$. Starting from a question concerning extended formulations of the Stable Set polytope and a related complexity communication problem, Yannakakis [17] asked in 1991 the following questions: does every graph admit a polynomial-size CS-separator? If not, does every perfect graph do? Several positive and negative results related to this question were given recently. Here we show how graph decomposition can be used to prove that a class of graphs admits a polynomial CS-separator. We apply this method to apple-free graphs and cap-free graphs.
△ Less
Submitted 26 July, 2017; v1 submitted 21 March, 2017;
originally announced March 2017.
-
Coloring graphs with no even hole $\geq 6$: the triangle-free case
Authors:
Aurélie Lagoutte
Abstract:
In this paper, we prove that the class of graphs with no triangle and no induced cycle of even length at least 6 has bounded chromatic number. It is well-known that even-hole-free graphs are $χ$-bounded but we allow here the existence of $C_4$. The proof relies on the concept of Parity Changing Path, an adaptation of Trinity Changing Path which was recently introduced by Bonamy, Charbit and Thomas…
▽ More
In this paper, we prove that the class of graphs with no triangle and no induced cycle of even length at least 6 has bounded chromatic number. It is well-known that even-hole-free graphs are $χ$-bounded but we allow here the existence of $C_4$. The proof relies on the concept of Parity Changing Path, an adaptation of Trinity Changing Path which was recently introduced by Bonamy, Charbit and Thomassé to prove that graphs with no induced cycle of length divisible by three have bounded chromatic number.
△ Less
Submitted 14 April, 2017; v1 submitted 27 March, 2015;
originally announced March 2015.
-
Strong edge-coloring of $(3, Δ)$-bipartite graphs
Authors:
Julien Bensmail,
Aurélie Lagoutte,
Petru Valicov
Abstract:
A strong edge-coloring of a graph $G$ is an assignment of colors to edges such that every color class induces a matching. We here focus on bipartite graphs whose one part is of maximum degree at most $3$ and the other part is of maximum degree $Δ$. For every such graph, we prove that a strong $4Δ$-edge-coloring can always be obtained. Together with a result of Steger and Yu, this result confirms a…
▽ More
A strong edge-coloring of a graph $G$ is an assignment of colors to edges such that every color class induces a matching. We here focus on bipartite graphs whose one part is of maximum degree at most $3$ and the other part is of maximum degree $Δ$. For every such graph, we prove that a strong $4Δ$-edge-coloring can always be obtained. Together with a result of Steger and Yu, this result confirms a conjecture of Faudree, Gyárfás, Schelp and Tuza for this class of graphs.
△ Less
Submitted 18 August, 2015; v1 submitted 8 December, 2014;
originally announced December 2014.
-
Identifying codes in hereditary classes of graphs and VC-dimension
Authors:
Nicolas Bousquet,
Aurélie Lagoutte,
Zhentao Li,
Aline Parreau,
Stéphan Thomassé
Abstract:
An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We show a dichotomy for the size of the smallest identifying code in classes of graphs closed under induced subgraphs. Our dichotomy is derived from the VC-dimension of the considered class C, that is the maximum VC-dimension over the h…
▽ More
An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We show a dichotomy for the size of the smallest identifying code in classes of graphs closed under induced subgraphs. Our dichotomy is derived from the VC-dimension of the considered class C, that is the maximum VC-dimension over the hypergraphs formed by the closed neighbourhoods of elements of C. We show that hereditary classes with infinite VC-dimension have infinitely many graphs with an identifying code of size logarithmic in the number of vertices while classes with finite VC-dimension have a polynomial lower bound.
We then turn to approximation algorithms. We show that the problem of finding a smallest identifying code in a given graph from some class is log-APX-hard for any hereditary class of infinite VC-dimension. For hereditary classes of finite VC-dimension, the only known previous results show that we can approximate the identifying code problem within a constant factor in some particular classes, e.g. line graphs, planar graphs and unit interval graphs. We prove that it can be approximate within a factor 6 for interval graphs. In contrast, we show that on C_4-free bipartite graphs (a class of finite VC-dimension) it cannot be approximated to within a factor of c.log(|V|) for some c>0.
△ Less
Submitted 14 April, 2017; v1 submitted 22 July, 2014;
originally announced July 2014.
-
Clique-Stable Set separation in perfect graphs with no balanced skew-partitions
Authors:
Aurélie Lagoutte,
Théophile Trunck
Abstract:
Inspired by a question of Yannakakis on the Vertex Packing polytope of perfect graphs, we study the Clique-Stable Set Separation in a non-hereditary subclass of perfect graphs. A cut (B,W) of G (a bipartition of V(G)) separates a clique K and a stable set S if $K\subseteq B$ and $S\subseteq W$. A Clique-Stable Set Separator is a family of cuts such that for every clique K, and for every stable set…
▽ More
Inspired by a question of Yannakakis on the Vertex Packing polytope of perfect graphs, we study the Clique-Stable Set Separation in a non-hereditary subclass of perfect graphs. A cut (B,W) of G (a bipartition of V(G)) separates a clique K and a stable set S if $K\subseteq B$ and $S\subseteq W$. A Clique-Stable Set Separator is a family of cuts such that for every clique K, and for every stable set S disjoint from K, there exists a cut in the family that separates K and S. Given a class of graphs, the question is to know whether every graph of the class admits a Clique-Stable Set Separator containing only polynomially many cuts. It is open for the class of all graphs, and also for perfect graphs, which was Yannakakis' original question. Here we investigate on perfect graphs with no balanced skew-partition; the balanced skew-partition was introduced in the proof of the Strong Perfect Graph Theorem. Recently, Chudnovsky, Trotignon, Trunck and Vuskovic proved that forbidding this unfriendly decomposition permits to recursively decompose Berge graphs using 2-join and complement 2-join until reaching a basic graph, and they found an efficient combinatorial algorithm to color those graphs. We apply their decomposition result to prove that perfect graphs with no balanced skew-partition admit a quadratic-size Clique-Stable Set Separator, by taking advantage of the good behavior of 2-join with respect to this property. We then generalize this result and prove that the Strong Erdos-Hajnal property holds in this class, which means that every such graph has a linear-size biclique or complement biclique. This property does not hold for all perfect graphs (Fox 2006), and moreover when the Strong Erdos-Hajnal property holds in a hereditary class of graphs, then both the Erdos-Hajnal property and the polynomial Clique-Stable Set Separation hold.
△ Less
Submitted 15 February, 2016; v1 submitted 10 December, 2013;
originally announced December 2013.
-
The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters
Authors:
Aurélie Lagoutte,
Sébastien Tavenas
Abstract:
The Shortest Common Supersequence problem (SCS for short) consists in finding a shortest common supersequence of a finite set of words on a fixed alphabet Sigma. It is well-known that its decision version denoted [SR8] in [Garey and Johnson] is NP-complete. Many variants have been studied in the literature. In this paper we settle the complexity of two such variants of SCS where inputs do not cont…
▽ More
The Shortest Common Supersequence problem (SCS for short) consists in finding a shortest common supersequence of a finite set of words on a fixed alphabet Sigma. It is well-known that its decision version denoted [SR8] in [Garey and Johnson] is NP-complete. Many variants have been studied in the literature. In this paper we settle the complexity of two such variants of SCS where inputs do not contain identical consecutive letters. We prove that those variants denoted \varphi SCS and MSCS both have a decision version which remains NP-complete when |Σ| is at least 3. Note that it was known for MSCS when |Σ| is at least 4 [Fleisher and Woeginger] and we discuss how [Darte] states a similar result for |Σ| at least 3.
△ Less
Submitted 8 January, 2015; v1 submitted 2 September, 2013;
originally announced September 2013.
-
The Erdős-Hajnal Conjecture for Paths and Antipaths
Authors:
Nicolas Bousquet,
Aurélie Lagoutte,
Stéphan Thomassé
Abstract:
We prove that for every k, there exists $c_k>0$ such that every graph G on n vertices not inducing a path $P_k$ and its complement contains a clique or a stable set of size $n^{c_k}$.
We prove that for every k, there exists $c_k>0$ such that every graph G on n vertices not inducing a path $P_k$ and its complement contains a clique or a stable set of size $n^{c_k}$.
△ Less
Submitted 26 June, 2014; v1 submitted 21 March, 2013;
originally announced March 2013.
-
Clique versus Independent Set
Authors:
Nicolas Bousquet,
Aurélie Lagoutte,
Stéphan Thomassé
Abstract:
Yannakakis' Clique versus Independent Set problem (CL-IS) in communication complexity asks for the minimum number of cuts separating cliques from stable sets in a graph, called CS-separator. Yannakakis provides a quasi-polynomial CS-separator, i.e. of size $O(n^{\log n})$, and addresses the problem of finding a polynomial CS-separator. This question is still open even for perfect graphs. We show t…
▽ More
Yannakakis' Clique versus Independent Set problem (CL-IS) in communication complexity asks for the minimum number of cuts separating cliques from stable sets in a graph, called CS-separator. Yannakakis provides a quasi-polynomial CS-separator, i.e. of size $O(n^{\log n})$, and addresses the problem of finding a polynomial CS-separator. This question is still open even for perfect graphs. We show that a polynomial CS-separator almost surely exists for random graphs. Besides, if H is a split graph (i.e. has a vertex-partition into a clique and a stable set) then there exists a constant $c_H$ for which we find a $O(n^{c_H})$ CS-separator on the class of H-free graphs. This generalizes a result of Yannakakis on comparability graphs. We also provide a $O(n^{c_k})$ CS-separator on the class of graphs without induced path of length k and its complement. Observe that on one side, $c_H$ is of order $O(|H| \log |H|)$ resulting from Vapnik-Chervonenkis dimension, and on the other side, $c_k$ is exponential.
One of the main reason why Yannakakis' CL-IS problem is fascinating is that it admits equivalent formulations. Our main result in this respect is to show that a polynomial CS-separator is equivalent to the polynomial Alon-Saks-Seymour Conjecture, asserting that if a graph has an edge-partition into k complete bipartite graphs, then its chromatic number is polynomially bounded in terms of k. We also show that the classical approach to the stubborn problem (arising in CSP) which consists in covering the set of all solutions by $O(n^{\log n})$ instances of 2-SAT is again equivalent to the existence of a polynomial CS-separator.
△ Less
Submitted 27 June, 2014; v1 submitted 11 January, 2013;
originally announced January 2013.
-
2-FREE-FLOOD-IT is polynomial
Authors:
Aurelie Lagoutte
Abstract:
We study a discrete diffusion process introduced in some combinatorial games called FLOODIT and MADVIRUS that can be played online and whose computational complexity has been recently studied by Arthur et al (FUN'2010). The flooding dynamics used in those games can be defined for any colored graph. It has been shown in a first report (in french, hal-00509488 on HAL archive) that studying this dyna…
▽ More
We study a discrete diffusion process introduced in some combinatorial games called FLOODIT and MADVIRUS that can be played online and whose computational complexity has been recently studied by Arthur et al (FUN'2010). The flooding dynamics used in those games can be defined for any colored graph. It has been shown in a first report (in french, hal-00509488 on HAL archive) that studying this dynamics directly on general graph is a valuable approach to understand its specificities and extract uncluttered key patterns or algorithms that can be applied with success to particular cases like the square grid of FLOODIT or the hexagonal grid of MADVIRUS, and many other classes of graphs. This report is the translation from french to english of the section in the french report showing that the variant of the problem called 2-FREE-FLOOD-IT can be solved with a polynomial algorithm, answering a question raised in the previous study of FLOODIT by Arthur et al.
△ Less
Submitted 18 August, 2010;
originally announced August 2010.