Showing 1–6 of 6 results for author: Talon, A

Partitioning into degenerate graphs in linear time

Authors: Timothée Corsini, Quentin Deschamps, Carl Feghali, Daniel Gonçalves, Hélène Langlois, Alexandre Talon

Abstract: Let $G$ be a connected graph with maximum degree $Δ\geq 3$ distinct from $K_{Δ+ 1}$. Generalizing Brooks' Theorem, Borodin, Kostochka and Toft proved that if $p_1, \dots, p_s$ are non-negative integers such that $p_1 + \dots + p_s \geq Δ- s$, then $G$ admits a vertex partition into parts $A_1, \dots, A_s$ such that, for $1 \leq i \leq s$, $G[A_i]$ is $p_i$-degenerate. Here we show that such a part… ▽ More Let $G$ be a connected graph with maximum degree $Δ\geq 3$ distinct from $K_{Δ+ 1}$. Generalizing Brooks' Theorem, Borodin, Kostochka and Toft proved that if $p_1, \dots, p_s$ are non-negative integers such that $p_1 + \dots + p_s \geq Δ- s$, then $G$ admits a vertex partition into parts $A_1, \dots, A_s$ such that, for $1 \leq i \leq s$, $G[A_i]$ is $p_i$-degenerate. Here we show that such a partition can be performed in linear time. This generalizes previous results that treated subcases of a conjecture of Abu-Khzam, Feghali and Heggernes~\cite{abu2020partitioning}, which our result settles in full. △ Less

Submitted 22 March, 2023; v1 submitted 23 April, 2022; originally announced April 2022.

Comments: 12 pages, 4 figures, 5 algorithms

MSC Class: 05C15

Intensive use of computing resources for dominations in grids and other combinatorial problems

Authors: Alexandre Talon

Abstract: Our goal is to prove new results in graph theory and combinatorics thanks to the speed of computers, used with smart algorithms. We tackle four problems. The four-colour theorem states that any map whose countries are connected can be coloured with 4 colours such that neighbouring countries have differnt colours. It was the first result proved using computers, in 1989. We wished to automatise fu… ▽ More Our goal is to prove new results in graph theory and combinatorics thanks to the speed of computers, used with smart algorithms. We tackle four problems. The four-colour theorem states that any map whose countries are connected can be coloured with 4 colours such that neighbouring countries have differnt colours. It was the first result proved using computers, in 1989. We wished to automatise further its proof. We explain the proof and provide a program which replays the proof. It also makes it possible to obtain other results with the same method. We give ideas to automatise the search for discharging rules. We also study the problems of domination in grids. The simplest one is the one of domination. It consists in putting a stone on some cells of a grid such that every cell has a stone, or has a neighbour with a stone. This problem was solved in 2011, using computers to prove a formula giving the minimum number of stones needed. We adapt this method for the first time for variants of the domination. We solve partially two other problems and give for them lower bounds for grids of arbitrary size. We also tackle the counting problem for dominating sets. How many dominating sets are there for a given grid? We study this counting problem for the domination and three variants. For each of these problems, we prove the existence of asymptotic growths rates for which we give bounds. Finally we study polyominoes and the way they can tile rectangles. We tried to solve a problem from 1989: is there a polyomino of odd order? It consists in finding a polyomino which can tile a rectangle with an odd number of copies, but cannot tile any smaller rectangle. We did not manage to solve this problem, but we made a program to enumerate polyominoes and try to find their orders, discarding those which cannot tile rectangles. We also give statistics on the orders of polyominoes of size up to 18. △ Less

Submitted 26 February, 2020; originally announced February 2020.

Comments: Contains the source of the programs mentioned and used in the thesis. See the "Other formats" option for downloads, then "Download source"

Asymptotic growth rate of square grids dominating sets: a symbolic dynamics approach

Authors: Silvère Gangloff, Alexandre Talon

Abstract: In this text, we prove the existence of an asymptotic growth rate of the number of dominating sets (and variants) on finite rectangular grids, when the dimensions of the grid grow to infinity. Moreover, we provide, for each of the variants, an algorithm which computes the growth rate. We also give bounds on these rates provided by a computer program. In this text, we prove the existence of an asymptotic growth rate of the number of dominating sets (and variants) on finite rectangular grids, when the dimensions of the grid grow to infinity. Moreover, we provide, for each of the variants, an algorithm which computes the growth rate. We also give bounds on these rates provided by a computer program. △ Less

Submitted 12 August, 2019; v1 submitted 25 June, 2019; originally announced June 2019.

Comments: 19 pages, 11 figures v2 corrects a about the entropy and the growth rate (they are not equal: one is the log of the other)

The 2-domination and Roman domination numbers of grid graphs

Authors: Michaël Rao, Alexandre Talon

Abstract: We investigate the 2-domination number for grid graphs, that is the size of a smallest set $D$ of vertices of the grid such that each vertex of the grid belongs to $D$ or has at least two neighbours in $D$. We give a closed formula giving the 2-domination number of any $n \!\times\! m$ grid, hereby confirming the results found by Lu and Xu, and Shaheen et al. for $n \leq 4$ and slightly correct th… ▽ More We investigate the 2-domination number for grid graphs, that is the size of a smallest set $D$ of vertices of the grid such that each vertex of the grid belongs to $D$ or has at least two neighbours in $D$. We give a closed formula giving the 2-domination number of any $n \!\times\! m$ grid, hereby confirming the results found by Lu and Xu, and Shaheen et al. for $n \leq 4$ and slightly correct the value of Shaheen et al. for $n = 5$. The proof relies on some dynamic programming algorithms, using transfer matrices in (min,+)-algebra. We also apply the method to solve the Roman domination problem on grid graphs. △ Less

Submitted 17 May, 2019; v1 submitted 30 October, 2018; originally announced October 2018.

Comments: 11 pages, 5 figures, presented at ICGT 2018 The program that led to the results is included in the Source directory (see Other formats) Accepted in DMTCS vol 21. Journal version with their template

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (May 23, 2019) dmtcs:4952

Decomposing 8-regular graphs into paths of length 4

Authors: Fábio Botler, Alexandre Talon

Abstract: A $T$-decomposition of a graph $G$ is a set of edge-disjoint copies of $T$ in $G$ that cover the edge set of $G$. Graham and Häggkvist (1989) conjectured that any $2\ell$-regular graph $G$ admits a $T$-decomposition if $T$ is a tree with $\ell$ edges. Kouider and Lonc (1999) conjectured that, in the special case where $T$ is the path with $\ell$ edges, $G$ admits a $T$-decomposition $\mathcal{D}$… ▽ More A $T$-decomposition of a graph $G$ is a set of edge-disjoint copies of $T$ in $G$ that cover the edge set of $G$. Graham and Häggkvist (1989) conjectured that any $2\ell$-regular graph $G$ admits a $T$-decomposition if $T$ is a tree with $\ell$ edges. Kouider and Lonc (1999) conjectured that, in the special case where $T$ is the path with $\ell$ edges, $G$ admits a $T$-decomposition $\mathcal{D}$ where every vertex of $G$ is the end-vertex of exactly two paths of $\mathcal{D}$, and proved that this statement holds when $G$ has girth at least $(\ell+3)/2$. In this paper we verify Kouider and Lonc's Conjecture for paths of length $4$. △ Less

Submitted 5 July, 2016; originally announced July 2016.

MSC Class: 05B40; 05C70; 05C51; 05C38

Completion of the mixed unit interval graphs hierarchy

Authors: Alexandre Talon, Jan Kratochvíl

Abstract: We describe the missing class of the hierarchy of mixed unit interval graphs, generated by the intersection graphs of closed, open and one type of half-open intervals of the real line. This class lies strictly between unit interval graphs and mixed unit interval graphs. We give a complete characterization of this new class, as well as quadratic-time algorithms that recognize graphs from this class… ▽ More We describe the missing class of the hierarchy of mixed unit interval graphs, generated by the intersection graphs of closed, open and one type of half-open intervals of the real line. This class lies strictly between unit interval graphs and mixed unit interval graphs. We give a complete characterization of this new class, as well as quadratic-time algorithms that recognize graphs from this class and produce a corresponding interval representation if one exists. We also mention that the work in arXiv:1405.4247 directly extends to provide a quadratic-time algorithm to recognize the class of mixed unit interval graphs. △ Less

Submitted 21 February, 2017; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: 17 pages, 36 figures (three not numbered). v1 Accepted in the TAMC 2015 conference. The recognition algorithm is faster in v2. One graph was not listed in Theorem 7 of v1 of this paper v3 provides a proposition to recognize the mixed unit interval graphs in quadratic time. v4 is a lot clearer

MSC Class: 05C62