-
Path eccentricity of $k$-AT-free graphs and application on graphs with the consecutive ones property
Authors:
Paul Bastide,
Claire Hilaire,
Eileen Robinson
Abstract:
The central path problem is a variation on the single facility location problem. The aim is to find, in a given connected graph $G$, a path $P$ minimizing its eccentricity, which is the maximal distance from $P$ to any vertex of the graph $G$. The path eccentricity of $G$ is the minimal eccentricity achievable over all paths in $G$. In this article we consider the path eccentricity of the class of…
▽ More
The central path problem is a variation on the single facility location problem. The aim is to find, in a given connected graph $G$, a path $P$ minimizing its eccentricity, which is the maximal distance from $P$ to any vertex of the graph $G$. The path eccentricity of $G$ is the minimal eccentricity achievable over all paths in $G$. In this article we consider the path eccentricity of the class of the $k$-AT-free graphs. They are graphs in which any set of three vertices contains a pair for which every path between them uses at least one vertex of the closed neighborhood at distance $k$ of the third. We prove that they have path eccentricity bounded by $k$.
Moreover, we answer a question of Gómez and Gutiérrez asking if there is a relation between path eccentricity and the consecutive ones property. The latter is the property for a binary matrix to admit a permutation of the rows placing the 1's consecutively on the columns. It was already known that graphs whose adjacency matrices have the consecutive ones property have path eccentricity at most 1, and that the same remains true when the augmented adjacency matrices (with ones on the diagonal) has the consecutive ones property. We generalize these results as follow. We study graphs whose adjacency matrices can be made to satisfy the consecutive ones property after changing some values on the diagonal, and show that those graphs have path eccentricity at most 2, by showing that they are 2-AT-free.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Optimal distance query reconstruction for graphs without long induced cycles
Authors:
Paul Bastide,
Carla Groenland
Abstract:
Let $G=(V,E)$ be an $n$-vertex connected graph of maximum degree $Δ$. Given access to $V$ and an oracle that given two vertices $u,v\in V$, returns the shortest path distance between $u$ and $v$, how many queries are needed to reconstruct $E$? We give a simple deterministic algorithm to reconstruct trees using $Δn\log_Δn+(Δ+2)n$ distance queries and show that even randomised algorithms need to use…
▽ More
Let $G=(V,E)$ be an $n$-vertex connected graph of maximum degree $Δ$. Given access to $V$ and an oracle that given two vertices $u,v\in V$, returns the shortest path distance between $u$ and $v$, how many queries are needed to reconstruct $E$? We give a simple deterministic algorithm to reconstruct trees using $Δn\log_Δn+(Δ+2)n$ distance queries and show that even randomised algorithms need to use at least $\frac1{200} Δn\log_Δn$ queries in expectation. The best previous lower bound was an information-theoretic lower bound of $Ω(n\log n/\log \log n)$. Our lower bound also extends to related query models including distance queries for phylogenetic trees, membership queries for learning partitions and path queries in directed trees.
We extend our deterministic algorithm to reconstruct graphs without induced cycles of length at least $k$ using $O_{Δ,k}(n\log n)$ queries, which includes various graph classes of interest such as chordal graphs, permutation graphs and AT-free graphs. Since the previously best known randomised algorithm for chordal graphs uses $O_Δ(n\log^2 n)$ queries in expectation, we both get rid off the randomness and get the optimal dependency in $n$ for chordal graphs and various other graph classes.
Finally, we build on an algorithm of Kannan, Mathieu, and Zhou [ICALP, 2015] to give a randomised algorithm for reconstructing graphs of treelength $k$ using $O_{Δ,k}(n\log^2n)$ queries in expectation.
△ Less
Submitted 31 July, 2023; v1 submitted 9 June, 2023;
originally announced June 2023.
-
Reconstructing Graphs from Connected Triples
Authors:
Paul Bastide,
Linda Cook,
Jeff Erickson,
Carla Groenland,
Marc van Kreveld,
Isja Mannens,
Jordi L. Vermeulen
Abstract:
We introduce a new model of indeterminacy in graphs: instead of specifying all the edges of the graph, the input contains all triples of vertices that form a connected subgraph. In general, different (labelled) graphs may have the same set of connected triples, making unique reconstruction of the original graph from the triples impossible. We identify some families of graphs (including triangle-fr…
▽ More
We introduce a new model of indeterminacy in graphs: instead of specifying all the edges of the graph, the input contains all triples of vertices that form a connected subgraph. In general, different (labelled) graphs may have the same set of connected triples, making unique reconstruction of the original graph from the triples impossible. We identify some families of graphs (including triangle-free graphs) for which all graphs have a different set of connected triples. We also give algorithms that reconstruct a graph from a set of triples, and for testing if this reconstruction is unique. Finally, we study a possible extension of the model in which the subsets of size $k$ that induce a connected graph are given for larger (fixed) values of $k$.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
Improved pyrotechnics : Closer to the burning graph conjecture
Authors:
Paul Bastide,
Marthe Bonamy,
Anthony Bonato,
Pierre Charbit,
Shahin Kamali,
Théo Pierron,
Mikaël Rabie
Abstract:
The Burning Number Conjecture claims that for every connected graph $G$ of order $n,$ its burning number satisfies $b(G) \le \lceil \sqrt{n} \rceil.$ While the conjecture remains open, we prove that it is asymptotically true when the order of the graph is much larger than its \emph{growth}, which is the maximal distance of a vertex to a well-chosen path in the graph. We prove that the conjecture f…
▽ More
The Burning Number Conjecture claims that for every connected graph $G$ of order $n,$ its burning number satisfies $b(G) \le \lceil \sqrt{n} \rceil.$ While the conjecture remains open, we prove that it is asymptotically true when the order of the graph is much larger than its \emph{growth}, which is the maximal distance of a vertex to a well-chosen path in the graph. We prove that the conjecture for graphs of bounded growth reduces to a finite number of cases. We provide the best-known bound on the burning number of a connected graph $G$ of order $n,$ given by $b(G) \le \sqrt{4n/3} + 1,$ improving on the previously known $\sqrt{3n/2}+O(1)$ bound. Using the improved upper bound, we show that the conjecture almost holds for all graphs with minimum degree at least $3$ and holds for all large enough graphs with minimum degree at least $4$. The previous best-known result was for graphs with minimum degree $23$.
△ Less
Submitted 4 March, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
On Extending Brandt's Speedup Theorem from LOCAL to Round-Based Full-Information Models
Authors:
Paul Bastide,
Pierre Fraigniaud
Abstract:
Given any task $Π$, Brandt's speedup theorem (PODC 2019) provides a mechanical way to design another task~$Π'$ on the same input-set as $Π$ such that, for any $t\geq 1$, $Π$ is solvable in $t$ rounds if and only if $Π'$ is solvable in $t-1$ rounds. The theorem applies to the anonymous variant of the LOCAL model, in graphs with sufficiently large girth, and to locally checkable labeling (LCL) tasks…
▽ More
Given any task $Π$, Brandt's speedup theorem (PODC 2019) provides a mechanical way to design another task~$Π'$ on the same input-set as $Π$ such that, for any $t\geq 1$, $Π$ is solvable in $t$ rounds if and only if $Π'$ is solvable in $t-1$ rounds. The theorem applies to the anonymous variant of the LOCAL model, in graphs with sufficiently large girth, and to locally checkable labeling (LCL) tasks. In this paper, using combinatorial topology applied to distributed computing, we dissect the construction in Brandt's speedup theorem for expressing it in the broader framework of round-based models supporting full information protocols, which includes models as different as wait-free shared-memory computing with iterated immediate snapshots, and synchronous failure-free network computing. In particular, we provide general definitions for notions such as local checkability and local independence, in our broader framework. In this way, we are able to identify the hypotheses on the computing model, and on the tasks, that are sufficient for Brandt's speedup theorem to apply. More precisely, we identify which hypotheses are sufficient for the each direction of the if-and-only-if condition. Interestingly, these hypotheses are of different natures. Our general approach enables to extend Brandt's speedup theorem from LOCAL to directed networks, to hypergraphs, to dynamic networks, and even to graphs including short cyclic dependencies between processes (i.e., the large girth condition is, to some extend, not necessary). The theorem can even be extended to shared-memory wait-free computing. In particular, we provide new impossibility proofs for consensus and perfect renaming in 2-process systems.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.