-
Broadcast independence number of oriented circulant graphs
Authors:
Abdelamin Laouar,
Isma Bouchemakh,
Eric Sopena
Abstract:
In 2001, D. Erwin \cite{Erw01} introduced in his Ph.D. dissertation the notion of broadcast independence in unoriented graphs. Since then, some results but not many, are published on this notion, including research work on the broadcast independence number of unoriented circulant graphs \cite{LBS23}. In this paper, we are focused in the same parameter but of the class of oriented circulant graphs.…
▽ More
In 2001, D. Erwin \cite{Erw01} introduced in his Ph.D. dissertation the notion of broadcast independence in unoriented graphs. Since then, some results but not many, are published on this notion, including research work on the broadcast independence number of unoriented circulant graphs \cite{LBS23}. In this paper, we are focused in the same parameter but of the class of oriented circulant graphs. An independent broadcast on an oriented graph $\overrightarrow{G}$ is a function $f: V\longrightarrow \{0,\ldots,\diam(\overrightarrow{G})\}$ such that $(i)$ $f(v)\leq e(v)$ for every vertex $v\in V(\overrightarrow{G})$, where $\diam(\overrightarrow{G})$ denotes the diameter of $\overrightarrow{G}$ and $e(v)$ the eccentricity of vertex $v$, and $(ii)$ $d_{\overrightarrow{G}}(u,v) > f(u)$ for every distinct vertices $u$, $v$ with $f(u)$, $f(v)>0$, where $d_{\overrightarrow{G}}(u,v)$ denotes the length of a shortest oriented path from $u$ to $v$. The broadcast independence number $β_b(\overrightarrow{G})$ of $\overrightarrow{G}$ is then the maximum value of $\sum_{v \in V} f(v)$, taken over all independent broadcasts on $\overrightarrow{G}$. The goal of this paper is to study the properties of independent broadcasts of oriented circulant graphs $\overrightarrow{C}(n;1,a)$, for any integers $n$ and $a$ with $n>|a|\geq 1$ and $a \notin \{1,n-1\}$. Then, we give some bounds and some exact values for the number $β_b(\overrightarrow{C}(n;1,a))$.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
A theoretical expansion of the Sprout game
Authors:
Soura Sena Das,
Zin Mar Myint,
Soumen Nandi,
Sagnik Sen,
Éric Sopena
Abstract:
Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while kee** the graph sub-cubic planar at all times. The first player not being able to move loses. A major conjecture claims that Player 1 has a winning strategy if and only if $n \equiv 3,4,5$ ($\bmod~6$). The conjecture is verified until $44$,…
▽ More
Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while kee** the graph sub-cubic planar at all times. The first player not being able to move loses. A major conjecture claims that Player 1 has a winning strategy if and only if $n \equiv 3,4,5$ ($\bmod~6$). The conjecture is verified until $44$, and a few isolated values of $n$, usually with the help of a computer. However, to the best of our understanding, not too much progress could be made towards finding a theoretical proof of the conjecture till now.
In this article, we try to take a bottom-up approach and start building a theory around the problem. We start by expanding a related game called Brussels Sprout (where dots are replaced by crosses) introduced by Conway, possibly to help the understanding of Sprout. In particular, we introduce and study a generalized version of Brussels Sprout where crosses are replaced by a dot having an arbitrary number of ``partial edges'' (say, general cross) coming out, and planar graphs are replaced by any (pre-decided) hereditary class of graphs. We study the game for forests, graphs on surfaces, and sparse planar graphs. We also do a nimber characterization of the game when the hereditary class is taken to be triangle-free planar graphs, and we have started the game with two arbitrary generalized crosses. Moreover, while studying this particular case, we naturally stumble upon a circular version of the same game and solve a difficult nimber characterization using the method of structural induction. The above mentioned proof may potentially be one approach to solving the Sprout conjecture.
△ Less
Submitted 4 November, 2023;
originally announced November 2023.
-
Homomorphisms of (n,m)-graphs with respect to generalised switch
Authors:
Sagnik Sen,
Éric Sopena,
S Taruni
Abstract:
The study of homomorphisms of $(n,m)$-graphs, that is, adjacency preserving vertex map**s of graphs with $n$ types of arcs and $m$ types of edges was initiated by Nešetřil and Raspaud [Journal of Combinatorial Theory, Series B 2000]. Later, some attempts were made to generalize the switch operation that is popularly used in the study of signed graphs, and study its effect on the above mentioned…
▽ More
The study of homomorphisms of $(n,m)$-graphs, that is, adjacency preserving vertex map**s of graphs with $n$ types of arcs and $m$ types of edges was initiated by Nešetřil and Raspaud [Journal of Combinatorial Theory, Series B 2000]. Later, some attempts were made to generalize the switch operation that is popularly used in the study of signed graphs, and study its effect on the above mentioned homomorphism.
In this article, we too provide a generalization of the switch operation on $(n,m)$-graphs, which to the best of our knowledge, encapsulates all the previously known generalizations as special cases. We approach to study the homomorphism with respect to the switch operation axiomatically. We prove some fundamental results that are essential tools in the further study of this topic. In the process of proving the fundamental results, we have provided yet another solution to an open problem posed by Klostermeyer and MacGillivray [Discrete Mathematics 2004]. We also prove the existence of a categorical product for $(n,m)$-graphs on with respect to a particular class of generalized switch which implicitly uses category theory. This is a counter intuitive solution as the number of vertices in the Categorical product of two $(n,m)$-graphs on $p$ and $q$ vertices has a multiple of $pq$ many vertices, where the multiple depends on the switch. This solves an open question asked by Brewster in the PEPS 2012 workshop as a corollary. We also provide a way to calculate the product explicitly, and prove general properties of the product. We define the analog of chromatic number for $(n,m)$-graphs with respect to generalized switch and explore the interrelations between chromatic numbers with respect to different switch operations. We find the value of this chromatic number for the family of forests using group theoretic notions.
△ Less
Submitted 7 March, 2024; v1 submitted 4 April, 2022;
originally announced April 2022.
-
Generalising the achromatic number to Zaslavsky's colourings of signed graphs
Authors:
Julien Bensmail,
François Dross,
Nacim Oijid,
Éric Sopena
Abstract:
The chromatic number, which refers to the minimum number of colours required to colour the vertices of graphs properly, is one of the most central notions of the graph chromatic theory. Several of its aspects of interest have been investigated in the literature, including variants for modifications of proper colourings. These variants include, notably, the achromatic number of graphs, which is the…
▽ More
The chromatic number, which refers to the minimum number of colours required to colour the vertices of graphs properly, is one of the most central notions of the graph chromatic theory. Several of its aspects of interest have been investigated in the literature, including variants for modifications of proper colourings. These variants include, notably, the achromatic number of graphs, which is the maximum number of colours required to colour the vertices of graphs properly so that each possible combination of distinct colours is assigned along some edge. The behaviours of this parameter have led to many investigations of interest, bringing to light both similarities and discrepancies with the chromatic number. This work takes place in a recent trend aiming at extending the chromatic theory of graphs to the realm of signed graphs, and, in particular, at investigating how classic results adapt to the signed context. Most of the works done in that line to date are with respect to two main generalisations of proper colourings of signed graphs, attributed to Zaslavsky and Guenin. Generalising the achromatic number to signed graphs was initiated recently by Lajou, his investigations being related to Guenin's colourings. We here pursue this line of research, but with taking Zaslavsky's colourings as our notion of proper colourings. We study the general behaviour of our resulting variant of the achromatic number, mainly by investigating how known results on the classic achromatic number generalise to our context. Our results cover, notably, bounds, standard operations on graphs, and complexity aspects.
△ Less
Submitted 11 May, 2022; v1 submitted 28 September, 2021;
originally announced September 2021.
-
A proof of the Multiplicative 1-2-3 Conjecture
Authors:
Julien Bensmail,
Hervé Hocquard,
Dimitri Lajou,
Éric Sopena
Abstract:
We prove that the product version of the 1-2-3 Conjecture, raised by Skowronek-Kazi{ó}w in 2012, is true. Namely, for every connected graph with order at least 3, we prove that we can assign labels 1,2,3 to the edges in such a way that no two adjacent vertices are incident to the same product of labels.
We prove that the product version of the 1-2-3 Conjecture, raised by Skowronek-Kazi{ó}w in 2012, is true. Namely, for every connected graph with order at least 3, we prove that we can assign labels 1,2,3 to the edges in such a way that no two adjacent vertices are incident to the same product of labels.
△ Less
Submitted 18 May, 2022; v1 submitted 24 August, 2021;
originally announced August 2021.
-
On a List Variant of the Multiplicative 1-2-3 Conjecture
Authors:
Julien Bensmail,
Hervé Hocquard,
Dimitri Lajou,
Éric Sopena
Abstract:
The 1-2-3 Conjecture asks whether almost all graphs can be (edge-)labelled with $1,2,3$ so that no two adjacent vertices are incident to the same sum of labels. In the last decades, several aspects of this problem have been studied in literature, including more general versions and slight variations. Notable such variations include the List 1-2-3 Conjecture variant, in which edges must be assigned…
▽ More
The 1-2-3 Conjecture asks whether almost all graphs can be (edge-)labelled with $1,2,3$ so that no two adjacent vertices are incident to the same sum of labels. In the last decades, several aspects of this problem have been studied in literature, including more general versions and slight variations. Notable such variations include the List 1-2-3 Conjecture variant, in which edges must be assigned labels from dedicated lists of three labels, and the Multiplicative 1-2-3 Conjecture variant, in which labels~$1,2,3$ must be assigned to the edges so that adjacent vertices are incident to different products of labels. Several results obtained towards these two variants led to observe some behaviours that are distant from those of the original conjecture.
In this work, we consider the list version of the Multiplicative 1-2-3 Conjecture, proposing the first study dedicated to this very problem. In particular, given any graph $G$, we wonder about the minimum~$k$ such that $G$ can be labelled as desired when its edges must be assigned labels from dedicated lists of size~$k$. Exploiting a relationship between our problem and the List 1-2-3 Conjecture, we provide upper bounds on~$k$ when $G$ belongs to particular classes of graphs. We further improve some of these bounds through dedicated arguments.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
On the Broadcast Independence Number of Circulant Graphs
Authors:
Abdelamin Laouar,
Isma Bouchemakh,
Eric Sopena
Abstract:
An independent broadcast on a graph $G$ is a function $f: V \longrightarrow \{0,\ldots,{\rm diam}(G)\}$ such that $(i)$ $f(v)\leq e(v)$ for every vertex $v\in V(G)$, where $\operatorname{diam}(G)$ denotes the diameter of $G$ and $e(v)$ the eccentricity of vertex $v$, and $(ii)$ $d(u,v) > \max \{f(u), f(v)\}$ for every two distinct vertices $u$ and $v$ with $f(u)f(v)>0$. The broadcast independence…
▽ More
An independent broadcast on a graph $G$ is a function $f: V \longrightarrow \{0,\ldots,{\rm diam}(G)\}$ such that $(i)$ $f(v)\leq e(v)$ for every vertex $v\in V(G)$, where $\operatorname{diam}(G)$ denotes the diameter of $G$ and $e(v)$ the eccentricity of vertex $v$, and $(ii)$ $d(u,v) > \max \{f(u), f(v)\}$ for every two distinct vertices $u$ and $v$ with $f(u)f(v)>0$. The broadcast independence number $β_b(G)$ of $G$ is then the maximum value of $\sum_{v \in V} f(v)$, taken over all independent broadcasts on $G$. We prove that every circulant graph of the form $C(n;1,a)$, $3\le a\le \lfloor\frac{n}{2} \rfloor$, admits an optimal $2$-bounded independent broadcast, that is, an independent broadcast~$f$ satisfying $f(v)\le 2$ for every vertex $v$, except when $n=2a+1$, or $n=2a$ and $a$ is even. We then determine the broadcast independence number of various classes of such circulant graphs, and prove that, for most of these classes, the equality $β_b(C(n;1,a)) = α(C(n;1,a))$ holds, where $α(C(n;1,a))$ denotes the independence number of $C(n;1,a)$.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
(α, β)-Modules in Graphs
Authors:
Michel Habib,
Lalla Mouatadid,
Eric Sopena,
Mengchuan Zou
Abstract:
Modular Decomposition focuses on repeatedly identifying a module M (a collection of vertices that shares exactly the same neighbourhood outside of M) and collapsing it into a single vertex. This notion of exactitude of neighbourhood is very strict, especially when dealing with real world graphs. We study new ways to relax this exactitude condition. However, generalizing modular decomposition is fa…
▽ More
Modular Decomposition focuses on repeatedly identifying a module M (a collection of vertices that shares exactly the same neighbourhood outside of M) and collapsing it into a single vertex. This notion of exactitude of neighbourhood is very strict, especially when dealing with real world graphs. We study new ways to relax this exactitude condition. However, generalizing modular decomposition is far from obvious. Most of the previous proposals lose algebraic properties of modules and thus most of the nice algorithmic consequences. We introduce the notion of an (α, β)-module, a relaxation that allows a bounded number of errors in each node and maintains some of the algebraic structure. It leads to a new combinatorial decomposition with interesting properties. Among the main results in this work, we show that minimal (α, β)-modules can be computed in polynomial time, and that every graph admits an (α,β)-modular decomposition tree, thus generalizing Gallai's Theorem (which corresponds to the case for α = β = 0). Unfortunately we give evidence that computing such a decomposition tree can be difficult.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
On the signed chromatic number of some classes of graphs
Authors:
Julien Bensmail,
Sandip Das,
Soumen Nandi,
Théo Pierron,
Sagnik Sen,
Eric Sopena
Abstract:
A signed graph $(G, σ)$ is a graph $G$ along with a function $σ: E(G) \to \{+,-\}$. A closed walk of a signed graph is positive (resp., negative) if it has an even (resp., odd) number of negative edges, counting repetitions. A homomorphism of a (simple) signed graph to another signed graph is a vertex-map** that preserves adjacencies and signs of closed walks. The signed chromatic number of a si…
▽ More
A signed graph $(G, σ)$ is a graph $G$ along with a function $σ: E(G) \to \{+,-\}$. A closed walk of a signed graph is positive (resp., negative) if it has an even (resp., odd) number of negative edges, counting repetitions. A homomorphism of a (simple) signed graph to another signed graph is a vertex-map** that preserves adjacencies and signs of closed walks. The signed chromatic number of a signed graph $(G, σ)$ is the minimum number of vertices $|V(H)|$ of a signed graph $(H, π)$ to which $(G, σ)$ admits a homomorphism.Homomorphisms of signed graphs have been attracting growing attention in the last decades, especially due to their strong connections to the theories of graph coloring and graph minors. These homomorphisms have been particularly studied through the scope of the signed chromatic number. In this work, we provide new results and bounds on the signed chromatic number of several families of signed graphs (planar graphs, triangle-free planar graphs, $K_n$-minor-free graphs, and bounded-degree graphs).
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Proper connection and proper-walk connection of digraphs
Authors:
Anna Fiedorowicz,
Elżbieta Sidorowicz,
Èric Sopena
Abstract:
An arc-colored digraph D is properly (properly-walk) connected if, for any ordered pair of vertices $(u, v)$, the digraph $D$ contains a directed path (a directed walk) from $u$ to $v$ such that arcs adjacent on that path (on that walk) have distinct colors. The proper connection number $\overrightarrow{pc}(D)$ (the proper-walk connection number $\overrightarrow{wc}(D)$) of a digraph $D$ is the mi…
▽ More
An arc-colored digraph D is properly (properly-walk) connected if, for any ordered pair of vertices $(u, v)$, the digraph $D$ contains a directed path (a directed walk) from $u$ to $v$ such that arcs adjacent on that path (on that walk) have distinct colors. The proper connection number $\overrightarrow{pc}(D)$ (the proper-walk connection number $\overrightarrow{wc}(D)$) of a digraph $D$ is the minimum number of colours to make $D$ properly connected (properly-walk connected). We prove that $\overrightarrow{pc}(C_n(S)) \leq 2$ for every circulant digraph $C_n(S)$ with $S\subseteq\{1,\ldots ,n-1\}, |S|\ge 2$ and $1\in S$. Furthermore, we give some sufficient conditions for a Hamiltonian digraph $D$ to satisfy $\overrightarrow{pc}(D)= \overrightarrow{wc}(D) = 2$.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Exact square coloring of subcubic planar graphs
Authors:
Florent Foucaud,
Hervé Hocquard,
Suchismita Mishra,
Narayanan Narayanan,
Reza Naserasr,
Éric Sopena,
Petru Valicov
Abstract:
We study the exact square chromatic number of subcubic planar graphs. An exact square coloring of a graph G is a vertex-coloring in which any two vertices at distance exactly 2 receive distinct colors. The smallest number of colors used in such a coloring of G is its exact square chromatic number, denoted $χ^{\sharp 2}(G)$. This notion is related to other types of distance-based colorings, as well…
▽ More
We study the exact square chromatic number of subcubic planar graphs. An exact square coloring of a graph G is a vertex-coloring in which any two vertices at distance exactly 2 receive distinct colors. The smallest number of colors used in such a coloring of G is its exact square chromatic number, denoted $χ^{\sharp 2}(G)$. This notion is related to other types of distance-based colorings, as well as to injective coloring. Indeed, for triangle-free graphs, exact square coloring and injective coloring coincide. We prove tight bounds on special subclasses of planar graphs: subcubic bipartite planar graphs and subcubic K 4-minor-free graphs have exact square chromatic number at most 4. We then turn our attention to the class of fullerene graphs, which are cubic planar graphs with face sizes 5 and 6. We characterize fullerene graphs with exact square chromatic number 3. Furthermore, supporting a conjecture of Chen, Hahn, Raspaud and Wang (that all subcubic planar graphs are injectively 5-colorable) we prove that any induced subgraph of a fullerene graph has exact square chromatic number at most 5. This is done by first proving that a minimum counterexample has to be on at most 80 vertices and then computationally verifying the claim for all such graphs.
△ Less
Submitted 24 January, 2021; v1 submitted 2 September, 2020;
originally announced September 2020.
-
Further Evidence Towards the Multiplicative 1-2-3 Conjecture
Authors:
Julien Bensmail,
Hervé Hocquard,
Dimitri Lajou,
Eric Sopena
Abstract:
The product version of the 1-2-3 Conjecture, introduced by Skowronek-Kazi{ó}w in 2012, states that, a few obvious exceptions apart, all graphs can be 3-edge-labelled so that no two adjacent vertices get incident to the same product of labels. To date, this conjecture was mainly verified for complete graphs and 3-colourable graphs. As a strong support to the conjecture, it was also proved that all…
▽ More
The product version of the 1-2-3 Conjecture, introduced by Skowronek-Kazi{ó}w in 2012, states that, a few obvious exceptions apart, all graphs can be 3-edge-labelled so that no two adjacent vertices get incident to the same product of labels. To date, this conjecture was mainly verified for complete graphs and 3-colourable graphs. As a strong support to the conjecture, it was also proved that all graphs admit such 4-labellings. In this work, we investigate how a recent proof of the multiset version of the 1-2-3 Conjecture by Vu{\v c}kovi{ć} can be adapted to prove results on the product version. We prove that 4-chromatic graphs verify the product version of the 1-2-3 Conjecture. We also prove that for all graphs we can design 3-labellings that almost have the desired property. This leads to a new problem, that we solve for some graph classes.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Pushable chromatic number of graphs with degree constraints
Authors:
Julien Bensmail,
Sandip Das,
Soumen Nandi,
Théo Pierron,
Soumyajit Paul,
Sagnik Sen,
Eric Sopena
Abstract:
Pushable homomorphisms and the pushable chromatic number $χ_p$ of oriented graphs were introduced by Klostermeyer and MacGillivray in 2004. They notably observed that, for any oriented graph $\overrightarrow{G}$, we have $χ_p(\overrightarrow{G}) \leq χ_o(\overrightarrow{G}) \leq 2 χ_p(\overrightarrow{G})$, where $χ_o(\overrightarrow{G})$ denotes the oriented chromatic number of…
▽ More
Pushable homomorphisms and the pushable chromatic number $χ_p$ of oriented graphs were introduced by Klostermeyer and MacGillivray in 2004. They notably observed that, for any oriented graph $\overrightarrow{G}$, we have $χ_p(\overrightarrow{G}) \leq χ_o(\overrightarrow{G}) \leq 2 χ_p(\overrightarrow{G})$, where $χ_o(\overrightarrow{G})$ denotes the oriented chromatic number of $\overrightarrow{G}$. This stands as first general bounds on $χ_p$. This parameter was further studied in later works.This work is dedicated to the pushable chromatic number of oriented graphs fulfilling particular degree conditions. For all $Δ\geq 29$, we first prove that the maximum value of the pushable chromatic number of an oriented graph with maximum degree $Δ$ lies between $2^{\fracΔ{2}-1}$ and $(Δ-3) \cdot (Δ-1) \cdot 2^{Δ-1} + 2$ which implies an improved bound on the oriented chromatic number of the same family of graphs. For subcubic oriented graphs, that is, when $Δ\leq 3$, we then prove that the maximum value of the pushable chromatic number is~$6$ or~$7$. We also prove that the maximum value of the pushable chromatic number of oriented graphs with maximum average degree less than~$3$ lies between~$5$ and~$6$. The former upper bound of~$7$ also holds as an upper bound on the pushable chromatic number of planar oriented graphs with girth at least~$6$.
△ Less
Submitted 22 November, 2019;
originally announced November 2019.
-
Distinguishing numbers and distinguishing indices of oriented graphs
Authors:
Kahina Meslem,
Eric Sopena
Abstract:
A distinguishing r-vertex-labelling (resp. r-edge-labelling) of an undirected graph G is a map** $λ$ from the set of vertices (resp. the set of edges) of G to the set of labels {1,. .. , r} such that no non-trivial automorphism of G preserves all the vertex (resp. edge) labels. The distinguishing number D(G) and the distinguishing index D (G) of G are then the smallest r for which G admits a dis…
▽ More
A distinguishing r-vertex-labelling (resp. r-edge-labelling) of an undirected graph G is a map** $λ$ from the set of vertices (resp. the set of edges) of G to the set of labels {1,. .. , r} such that no non-trivial automorphism of G preserves all the vertex (resp. edge) labels. The distinguishing number D(G) and the distinguishing index D (G) of G are then the smallest r for which G admits a distinguishing r-vertex-labelling or r-edge-labelling, respectively. The distinguishing chromatic number D $χ$ (G) and the distinguishing chromatic index D $χ$ (G) are defined similarly, with the additional requirement that the corresponding labelling must be a proper colouring. These notions readily extend to oriented graphs, by considering arcs instead of edges. In this paper, we study the four corresponding parameters for oriented graphs whose underlying graph is a path, a cycle, a complete graph or a bipartite complete graph. In each case, we determine their minimum and maximum value, taken over all possible orientations of the corresponding underlying graph, except for the minimum values for unbalanced complete bipartite graphs K m,n with m = 2, 3 or 4 and n > 3, 6 or 13, respectively, or m $\ge$ 5 and n > 2 m -- m 2 , for which we only provide upper bounds.
△ Less
Submitted 15 May, 2020; v1 submitted 28 October, 2019;
originally announced October 2019.
-
A note on the neighbour-distinguishing index of digraphs
Authors:
Eric Sopena,
Mariusz Woźniak
Abstract:
In this note, we introduce and study a new version of neighbour-distinguishing arc-colourings of digraphs. An arc-colouring $γ$ of a digraph $D$ is proper if no two arcs with the same head or with the same tail are assigned the same colour. For each vertex $u$ of $D$, we denote by $S_γ^-(u)$ and $S_γ^+(u)$ the sets of colours that appear on the incoming arcs and on the outgoing arcs of $u$, respe…
▽ More
In this note, we introduce and study a new version of neighbour-distinguishing arc-colourings of digraphs. An arc-colouring $γ$ of a digraph $D$ is proper if no two arcs with the same head or with the same tail are assigned the same colour. For each vertex $u$ of $D$, we denote by $S_γ^-(u)$ and $S_γ^+(u)$ the sets of colours that appear on the incoming arcs and on the outgoing arcs of $u$, respectively. An arc colouring $γ$ of $D$ is \emph{neighbour-distinguishing} if, for every two adjacent vertices $u$ and $v$ of $D$, the ordered pairs $(S_γ^-(u),S_γ^+(u))$ and $(S_γ^-(v),S_γ^+(v))$ are distinct. The neighbour-distinguishing index of $D$ is then the smallest number of colours needed for a neighbour-distinguishing arc-colouring of $D$.We prove upper bounds on the neighbour-distinguishing index of various classes of digraphs.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Homomorphisms of signed graphs: An update
Authors:
Reza Naserasr,
Eric Sopena,
Thomas Zaslavsky
Abstract:
A signed graph is a graph together with an assignment of signs to the edges. A closed walk in a signed graph is said to be positive (negative) if it has an even (odd) number of negative edges, counting repetition. Recognizing the signs of closed walks as one of the key structural properties of a signed graph, we define a homomorphism of a signed graph $(G,σ)$ to a signed graph $(H, π)$ to be a map…
▽ More
A signed graph is a graph together with an assignment of signs to the edges. A closed walk in a signed graph is said to be positive (negative) if it has an even (odd) number of negative edges, counting repetition. Recognizing the signs of closed walks as one of the key structural properties of a signed graph, we define a homomorphism of a signed graph $(G,σ)$ to a signed graph $(H, π)$ to be a map** of vertices and edges of $G$ to (respectively) vertices and edges of $H$ which preserves incidence, adjacency and the signs of closed walks.
In this work we first give a characterization of the sets of closed walks in a graph $G$ that correspond to the set of negative walks in some signed graph on $G$. We also give an easy algorithm for the corresponding decision problem.
After verifying the equivalence between this definition and earlier ones, we discuss the relation between homomorphisms of signed graphs and those of 2-edge-colored graphs. Next we provide some basic no-homomorphism lemmas. These lemmas lead to a general method of defining chromatic number which is discussed at length. Finally, we list a few problems that are the driving force behind the study of homomorphisms of signed graphs.
△ Less
Submitted 14 July, 2020; v1 submitted 12 September, 2019;
originally announced September 2019.
-
A Connected Version of the Graph Coloring Game
Authors:
Eric Sopena,
Clément Charpentier,
Hervé Hocquard,
Xuding Zhu
Abstract:
The graph coloring game is a two-player game in which, given a graph G and a set of k colors, the two players, Alice and Bob, take turns coloring properly an uncolored vertex of G, Alice having the first move. Alice wins the game if and only if all the vertices of G are eventually colored. The game chromatic number of a graph G is then defined as the smallest integer k for which Alice has a winnin…
▽ More
The graph coloring game is a two-player game in which, given a graph G and a set of k colors, the two players, Alice and Bob, take turns coloring properly an uncolored vertex of G, Alice having the first move. Alice wins the game if and only if all the vertices of G are eventually colored. The game chromatic number of a graph G is then defined as the smallest integer k for which Alice has a winning strategy when playing the graph coloring game on G with k colors. In this paper, we introduce and study a new version of the graph coloring game by requiring that, after each player's turn, the subgraph induced by the set of colored vertices is connected. The connected game chromatic number of a graph G is then the smallest integer k for which Alice has a winning strategy when playing the connected graph coloring game on G with k colors. We prove that the connected game chromatic number of every outerplanar graph is at most 5 and that there exist outerplanar graphs with connected game chromatic number 4. Moreover, we prove that for every integer k $\ge$ 3, there exist bipartite graphs on which Bob wins the connected coloring game with k colors, while Alice wins the connected coloring game with two colors on every bipartite graph.
△ Less
Submitted 16 March, 2020; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Broadcasts on Paths and Cycles
Authors:
Sabrina Bouchouika,
Isma Bouchemakh,
Eric Sopena
Abstract:
A broadcast on a graph $G=(V,E)$ is a function $f: V\longrightarrow \{0,\ldots,\operatorname{diam}(G)\}$ such that $f(v)\leq e\_G(v)$ for every vertex $v\in V$, where$\operatorname{diam}(G)$ denotes the diameter of $G$ and $e\_G(v)$ the eccentricity of $v$ in $G$. The cost of such a broadcast is then the value $\sum\_{v\in V}f(v)$.Various types of broadcast functions on graphs have been considere…
▽ More
A broadcast on a graph $G=(V,E)$ is a function $f: V\longrightarrow \{0,\ldots,\operatorname{diam}(G)\}$ such that $f(v)\leq e\_G(v)$ for every vertex $v\in V$, where$\operatorname{diam}(G)$ denotes the diameter of $G$ and $e\_G(v)$ the eccentricity of $v$ in $G$. The cost of such a broadcast is then the value $\sum\_{v\in V}f(v)$.Various types of broadcast functions on graphs have been considered in the literature, in relation with domination, irredundence, independenceor packing, leading to the introduction of several broadcast numbers on graphs.In this paper, we determine these broadcast numbers for all paths and cycles, thus answering a questionraised in [D.~Ahmadi, G.H.~Fricke, C.~Schroeder, S.T.~Hedetniemi and R.C.~Laskar, Broadcast irredundance in graphs. {\it Congr. Numer.} 224 (2015), 17--31].
△ Less
Submitted 29 January, 2020; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Every planar graph with $Δ\geqslant 8$ is totally $(Δ+2)$-choosable
Authors:
Marthe Bonamy,
Théo Pierron,
Éric Sopena
Abstract:
Total coloring is a variant of edge coloring where both vertices and edges are to be colored. A graph is totally $k$-choosable if for any list assignment of $k$ colors to each vertex and each edge, we can extract a proper total coloring. In this setting, a graph of maximum degree $Δ$ needs at least $Δ+1$ colors. In the planar case, Borodin proved in 1989 that $Δ+2$ colors suffice when $Δ$ is at le…
▽ More
Total coloring is a variant of edge coloring where both vertices and edges are to be colored. A graph is totally $k$-choosable if for any list assignment of $k$ colors to each vertex and each edge, we can extract a proper total coloring. In this setting, a graph of maximum degree $Δ$ needs at least $Δ+1$ colors. In the planar case, Borodin proved in 1989 that $Δ+2$ colors suffice when $Δ$ is at least 9. We show that this bound also holds when $Δ$ is $8$.
△ Less
Submitted 9 December, 2022; v1 submitted 26 April, 2019;
originally announced April 2019.
-
On the Broadcast Independence Number of Locally Uniform 2-Lobsters
Authors:
Messaouda Ahmane,
Isma Bouchemakh,
Eric Sopena
Abstract:
Let $G$ be a simple undirected graph.A broadcast on $G$ isa function $f : V(G) \to \mathbf{N}$ such that $f(v)\le e_G(v)$ holds for every vertex $v$ of $G$, where $e_G(v)$ denotes the eccentricity of $v$ in $G$, that is, the maximum distance from $v$ to any other vertex of $G$.The cost of $f$ is the value cost$(f)=\sum_{v\in V(G)}f(v)$.A broadcast $f$ on $G$ is independent if for every two distinc…
▽ More
Let $G$ be a simple undirected graph.A broadcast on $G$ isa function $f : V(G) \to \mathbf{N}$ such that $f(v)\le e_G(v)$ holds for every vertex $v$ of $G$, where $e_G(v)$ denotes the eccentricity of $v$ in $G$, that is, the maximum distance from $v$ to any other vertex of $G$.The cost of $f$ is the value cost$(f)=\sum_{v\in V(G)}f(v)$.A broadcast $f$ on $G$ is independent if for every two distinct vertices $u$ and $v$ in $G$, $d_G(u,v)>\max\{f(u),f(v)\}$,where $d_G(u,v)$ denotes the distance between $u$ and $v$ in $G$.The broadcast independence number of $G$ is then defined as the maximum cost of an independent broadcast on $G$.A caterpillar is a tree such that, after the removal of all leaf vertices, the remaining graph is a non-empty path.A lobster is a tree such that, after the removal of all leaf vertices, the remaining graph is a caterpillar.In [M. Ahmane, I. Bouchemakh and E. Sopena.On the Broadcast Independence Number of Caterpillars.Discrete Applied Mathematics, in press (2018)], we studied independent broadcasts of caterpillars.In this paper, carrying on with this line of research, we consider independent broadcasts of lobsters and give an explicit formula for the broadcast independence number of a family of lobsters called locally uniform $2$-lobsters.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
Oriented Colourings of Graphs with Maximum Degree Three and Four
Authors:
Christopher Duffy,
Gary MacGillivray,
Eric Sopena
Abstract:
We show that any orientation of a graph with maximum degree three has an oriented 9-colouring, and that any orientation of a graph with maximum degree four has an oriented 69-colouring. These results improve the best known upper bounds of 11 and 80, respectively.
We show that any orientation of a graph with maximum degree three has an oriented 9-colouring, and that any orientation of a graph with maximum degree four has an oriented 69-colouring. These results improve the best known upper bounds of 11 and 80, respectively.
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Packing colouring of some classes of cubic graphs
Authors:
Daouya Laïche,
Eric Sopena
Abstract:
The packing chromatic number $χ$ $ρ$ (G) of a graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1 ,. .. , V k , in such a way that every two distinct vertices in V i are at distance greater than i in G for every i, 1 $\le$ i $\le$ k. Recently, Balogh, Kostochka and Liu proved that $χ$ $ρ$ is not bounded in the class of subcubic graph…
▽ More
The packing chromatic number $χ$ $ρ$ (G) of a graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1 ,. .. , V k , in such a way that every two distinct vertices in V i are at distance greater than i in G for every i, 1 $\le$ i $\le$ k. Recently, Balogh, Kostochka and Liu proved that $χ$ $ρ$ is not bounded in the class of subcubic graphs [Packing chromatic number of subcubic graphs, Discrete Math. 341 (2018), 474483], thus answering a question previously addressed in several papers. However, several subclasses of cubic or subcubic graphs have bounded packing chromatic number. In this paper, we determine the exact value of, or upper and lower bounds on, the packing chromatic number of some classes of cubic graphs, namely circular ladders, and so-called H-graphs and generalised H-graphs.
△ Less
Submitted 14 August, 2018; v1 submitted 8 August, 2018;
originally announced August 2018.
-
Incidence Choosability of Graphs
Authors:
Brahim Benmedjdoub,
Isma Bouchemakh,
Eric Sopena,
Â\' Sopena
Abstract:
An incidence of a graph G is a pair (v, e) where v is a vertex of G and e is an edge of G incident with v. Two incidences (v, e) and (w, f) of G are adjacent whenever (i) v = w, or (ii) e = f , or (iii) vw = e or f. An incidence p-colouring of G is a map** from the set of incidences of G to the set of colours {1,. .. , p} such that every two adjacent incidences receive distinct colours. Incidenc…
▽ More
An incidence of a graph G is a pair (v, e) where v is a vertex of G and e is an edge of G incident with v. Two incidences (v, e) and (w, f) of G are adjacent whenever (i) v = w, or (ii) e = f , or (iii) vw = e or f. An incidence p-colouring of G is a map** from the set of incidences of G to the set of colours {1,. .. , p} such that every two adjacent incidences receive distinct colours. Incidence colouring has been introduced by Brualdi and Quinn Massey in 1993 and, since then, studied by several authors. In this paper, we introduce and study the list version of incidence colouring. We determine the exact value of -- or upper bounds on -- the incidence choice number of several classes of graphs, namely square grids, Halin graphs, cactuses and Hamiltonian cubic graphs.
△ Less
Submitted 30 July, 2018; v1 submitted 4 May, 2017;
originally announced May 2017.
-
Equitable neighbour-sum-distinguishing edge and total colourings
Authors:
Olivier Baudon,
Monika Pilsniak,
Jakub Przybylo,
Mohammed Senhaji,
Eric Sopena,
Mariusz Wozniak
Abstract:
With any (not necessarily proper) edge $k$-colouring $γ:E(G)\longrightarrow\{1,\dots,k\}$ of a graph $G$,one can associate a vertex colouring $σ\_γ$ given by $σ\_γ(v)=\sum\_{e\ni v}γ(e)$.A neighbour-sum-distinguishing edge $k$-colouring is an edge colouring whose associated vertex colouring is proper.The neighbour-sum-distinguishing index of a graph $G$ is then the smallest $k$ for which $G$ admit…
▽ More
With any (not necessarily proper) edge $k$-colouring $γ:E(G)\longrightarrow\{1,\dots,k\}$ of a graph $G$,one can associate a vertex colouring $σ\_γ$ given by $σ\_γ(v)=\sum\_{e\ni v}γ(e)$.A neighbour-sum-distinguishing edge $k$-colouring is an edge colouring whose associated vertex colouring is proper.The neighbour-sum-distinguishing index of a graph $G$ is then the smallest $k$ for which $G$ admitsa neighbour-sum-distinguishing edge $k$-colouring.These notions naturally extends to total colourings of graphs that assign colours to both vertices and edges.We study in this paper equitable neighbour-sum-distinguishing edge colourings andtotal colourings, that is colourings $γ$ for whichthe number of elements in any two colour classes of $γ$ differ by at most one.We determine the equitable neighbour-sum-distinguishing indexof complete graphs, complete bipartite graphs and forests,and the equitable neighbour-sum-distinguishing total chromatic numberof complete graphs and bipartite graphs.
△ Less
Submitted 17 January, 2017;
originally announced January 2017.
-
On the Broadcast Independence Number of Caterpillars
Authors:
Messaouda Ahmane,
Isma Bouchemakh,
Eric Sopena
Abstract:
Let $G$ be a simple undirected graph.A broadcast on $G$ isa function $f : V(G)\rightarrow\mathbb{N}$ such that $f(v)\le e\_G(v)$ holds for every vertex $v$ of $G$, where $e\_G(v)$ denotes the eccentricity of $v$ in $G$, that is, the maximum distance from $v$ to any other vertex of $G$.The cost of $f$ is the value ${\rm cost}(f)=\sum\_{v\in V(G)}f(v)$.A broadcast $f$ on $G$ is independent if for ev…
▽ More
Let $G$ be a simple undirected graph.A broadcast on $G$ isa function $f : V(G)\rightarrow\mathbb{N}$ such that $f(v)\le e\_G(v)$ holds for every vertex $v$ of $G$, where $e\_G(v)$ denotes the eccentricity of $v$ in $G$, that is, the maximum distance from $v$ to any other vertex of $G$.The cost of $f$ is the value ${\rm cost}(f)=\sum\_{v\in V(G)}f(v)$.A broadcast $f$ on $G$ is independent if for every two distinct vertices $u$ and $v$ in $G$, $d\_G(u,v)>\max\{f(u),f(v)\}$,where $d\_G(u,v)$ denotes the distance between $u$ and $v$ in $G$.The broadcast independence number of $G$ is then defined as the maximum cost of an independent broadcast on $G$. In this paper, we study independent broadcasts of caterpillars and give an explicit formula for the broadcast independence number of caterpillars having no pair of adjacent vertices with degree 2.
△ Less
Submitted 16 January, 2018; v1 submitted 25 December, 2016;
originally announced December 2016.
-
Octal Games on Graphs: The game 0.33 on subdivided stars and bistars
Authors:
Laurent Beaudou,
Pierre Coupechoux,
Antoine Dailly,
Sylvain Gravier,
Julien Moncel,
Aline Parreau,
Eric Sopena
Abstract:
Octal games are a well-defined family of two-player games played on heaps of counters, in which the players remove alternately a certain number of counters from a heap, sometimes being allowed to split a heap into two nonempty heaps, until no counter can be removed anymore. We extend the definition of octal games to play them on graphs: heaps are replaced by connected components and counters by ve…
▽ More
Octal games are a well-defined family of two-player games played on heaps of counters, in which the players remove alternately a certain number of counters from a heap, sometimes being allowed to split a heap into two nonempty heaps, until no counter can be removed anymore. We extend the definition of octal games to play them on graphs: heaps are replaced by connected components and counters by vertices. Thus, an octal game on a path P\_n is equivalent to playing the same octal game on a heap of n counters. We study one of the simplest octal games, called 0.33, in which the players can remove one vertex or two adjacent vertices without disconnecting the graph. We study this game on trees and give a complete resolution of this game on subdivided stars and bistars.
△ Less
Submitted 8 June, 2018; v1 submitted 17 December, 2016;
originally announced December 2016.
-
On the Distinguishing Number of Cyclic Tournaments: Towards the Albertson-Collins Conjecture
Authors:
Kahina Meslem,
Eric Sopena
Abstract:
A distinguishing $r$-labeling of a digraph $G$ is a map** $λ$ from the set of verticesof $G$ to the set of labels $\{1,\dots,r\}$ such that no nontrivial automorphism of $G$ preserves all the labels.The distinguishing number $D(G)$ of $G$ is then the smallest $r$ for which $G$ admits a distinguishing $r$-labeling.From a result of Gluck (David Gluck, Trivial set-stabilizers in finite permutation…
▽ More
A distinguishing $r$-labeling of a digraph $G$ is a map** $λ$ from the set of verticesof $G$ to the set of labels $\{1,\dots,r\}$ such that no nontrivial automorphism of $G$ preserves all the labels.The distinguishing number $D(G)$ of $G$ is then the smallest $r$ for which $G$ admits a distinguishing $r$-labeling.From a result of Gluck (David Gluck, Trivial set-stabilizers in finite permutation groups,{\em Can. J. Math.} 35(1) (1983), 59--67),it follows that $D(T)=2$ for every cyclic tournament~$T$ of (odd) order $2q+1\ge 3$.Let $V(T)=\{0,\dots,2q\}$ for every such tournament.Albertson and Collins conjectured in 1999that the canonical 2-labeling $λ^*$ given by$λ^*(i)=1$ if and only if $i\le q$ is distinguishing.We prove that whenever one of the subtournaments of $T$ induced by vertices $\{0,\dots,q\}$or $\{q+1,\dots,2q\}$ is rigid, $T$ satisfies Albertson-Collins Conjecture.Using this property, we prove that several classes of cyclic tournaments satisfy Albertson-Collins Conjecture.Moreover, we also prove that every Paley tournament satisfies Albertson-Collins Conjecture.
△ Less
Submitted 8 October, 2018; v1 submitted 17 August, 2016;
originally announced August 2016.
-
Packing Coloring of Undirected and Oriented Generalized Theta Graphs
Authors:
Daouya Laïche,
Isma Bouchemakh,
Eric Sopena
Abstract:
The packing chromatic number $χ$ $ρ$ (G) of an undirected (resp. oriented) graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1,..., V k, in such a way that every two distinct vertices in V i are at distance (resp. directed distance) greater than i in G for every i, 1 $\le$ i $\le$ k. The generalized theta graph $Θ$ {\ell} 1,...,{\ell…
▽ More
The packing chromatic number $χ$ $ρ$ (G) of an undirected (resp. oriented) graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1,..., V k, in such a way that every two distinct vertices in V i are at distance (resp. directed distance) greater than i in G for every i, 1 $\le$ i $\le$ k. The generalized theta graph $Θ$ {\ell} 1,...,{\ell}p consists in two end-vertices joined by p $\ge$ 2 internally vertex-disjoint paths with respective lengths 1 $\le$ {\ell} 1 $\le$ . . . $\le$ {\ell} p. We prove that the packing chromatic number of any undirected generalized theta graph lies between 3 and max{5, n 3 + 2}, where n 3 = |{i / 1 $\le$ i $\le$ p, {\ell} i = 3}|, and that both these bounds are tight. We then characterize undirected generalized theta graphs with packing chromatic number k for every k $\ge$ 3. We also prove that the packing chromatic number of any oriented generalized theta graph lies between 2 and 5 and that both these bounds are tight.
△ Less
Submitted 19 September, 2016; v1 submitted 3 June, 2016;
originally announced June 2016.
-
A Study of $k$-dipath Colourings of Oriented Graphs
Authors:
Christopher Duffy,
Gary MacGillivray,
Éric Sopena
Abstract:
We examine $t$-colourings of oriented graphs in which, for a fixed integer $k \geq 1$, vertices joined by a directed path of length at most $k$ must be assigned different colours. A homomorphism model that extends the ideas of Sherk for the case $k=2$ is described. Dichotomy theorems for the complexity of the problem of deciding, for fixed $k$ and $t$, whether there exists such a $t$-colouring are…
▽ More
We examine $t$-colourings of oriented graphs in which, for a fixed integer $k \geq 1$, vertices joined by a directed path of length at most $k$ must be assigned different colours. A homomorphism model that extends the ideas of Sherk for the case $k=2$ is described. Dichotomy theorems for the complexity of the problem of deciding, for fixed $k$ and $t$, whether there exists such a $t$-colouring are proved.
△ Less
Submitted 23 January, 2018; v1 submitted 28 May, 2016;
originally announced May 2016.
-
2-Distance Colorings of Integer Distance Graphs
Authors:
Brahim Benmedjdoub,
Eric Sopena,
Isma Bouchemakh
Abstract:
A 2-distance k-coloring of a graph G is a map** from V (G) to the set of colors {1,. .. , k} such that every two vertices at distance at most 2 receive distinct colors. The 2-distance chromatic number $χ$ 2 (G) of G is then the mallest k for which G admits a 2-distance k-coloring. For any finite set of positive integers D = {d 1 ,. .. , d k }, the integer distance graph G = G(D) is the infinite…
▽ More
A 2-distance k-coloring of a graph G is a map** from V (G) to the set of colors {1,. .. , k} such that every two vertices at distance at most 2 receive distinct colors. The 2-distance chromatic number $χ$ 2 (G) of G is then the mallest k for which G admits a 2-distance k-coloring. For any finite set of positive integers D = {d 1 ,. .. , d k }, the integer distance graph G = G(D) is the infinite graph defined by V (G) = Z and uv $\in$ E(G) if and only if |v -- u| $\in$ D. We study the 2-distance chromatic number of integer distance graphs for several types of sets D. In each case, we provide exact values or upper bounds on this parameter and characterize those graphs G(D) with $χ$ 2 (G(D)) = Δ(G(D)) + 1.
△ Less
Submitted 29 February, 2016;
originally announced February 2016.
-
i-MARK: A New Subtraction Division Game
Authors:
Eric Sopena
Abstract:
Given two finite sets of integers $S\subseteq\NNN\setminus\{0\}$ and $D\subseteq\NNN\setminus\{0,1\}$,the impartial combinatorial game $\IMARK(S,D)$ is played on a heap of tokens. From a heap of $n$ tokens, each player can moveeither to a heap of $n-s$ tokens for some $s\in S$, or to a heap of $n/d$ tokensfor some $d\in D$ if $d$ divides $n$.Such games can be considered as an integral variant of \…
▽ More
Given two finite sets of integers $S\subseteq\NNN\setminus\{0\}$ and $D\subseteq\NNN\setminus\{0,1\}$,the impartial combinatorial game $\IMARK(S,D)$ is played on a heap of tokens. From a heap of $n$ tokens, each player can moveeither to a heap of $n-s$ tokens for some $s\in S$, or to a heap of $n/d$ tokensfor some $d\in D$ if $d$ divides $n$.Such games can be considered as an integral variant of \MARK-type games, introduced by Elwyn Berlekamp and Joe Buhlerand studied by Aviezri Fraenkel and Alan Guo, for which it is allowed to move from a heap of $n$ tokensto a heap of $\lfloor n/d\rfloor$ tokens for any $d\in D$.Under normal convention, it is observed that the Sprague-Grundy sequence of the game $\IMARK(S,D)$ is aperiodic for any sets $S$ and $D$.However, we prove that, in many cases, this sequence is almost periodic and that the set of winning positions is periodic.Moreover, in all these cases, the Sprague-Grundy value of a heap of $n$ tokens can be computed in time $O(\log n)$.We also prove that, under misère convention, the outcome sequence of these games is purely periodic.
△ Less
Submitted 9 November, 2015; v1 submitted 14 September, 2015;
originally announced September 2015.
-
Ice sliding games
Authors:
Paul Dorbec,
Eric Duchêne,
André Fabbri,
Julien Moncel,
Aline Parreau,
Eric Sopena
Abstract:
This paper deals with sliding games, which are a variant of the better known pushpush game. On a given structure (grid, torus...), a robot can move in a specific set of directions, and stops when it hits a block or boundary of the structure. The objective is to place the minimum number of blocks such that the robot can visit all the possible positions of the structure. In particular, we give the e…
▽ More
This paper deals with sliding games, which are a variant of the better known pushpush game. On a given structure (grid, torus...), a robot can move in a specific set of directions, and stops when it hits a block or boundary of the structure. The objective is to place the minimum number of blocks such that the robot can visit all the possible positions of the structure. In particular, we give the exact value of this number when playing on a rectangular grid and a torus. Other variants of this game are also considered, by constraining the robot to stop on each case, or by replacing blocks by walls.
△ Less
Submitted 2 July, 2015;
originally announced July 2015.
-
Packing coloring of some undirected and oriented coronae graphs
Authors:
Laïche Daouya,
Isma Bouchemakh,
Eric Sopena
Abstract:
The packing chromatic number $\pcn(G)$ of a graph $G$ is the smallest integer $k$ such that its set of vertices $V(G)$ can be partitioned into $k$ disjoint subsets $V\_1$, \ldots, $V\_k$, in such a way that every two distinct vertices in $V\_i$ are at distance greater than $i$ in $G$ for every $i$, $1\le i\le k$.
For a given integer $p \ge 1$, the generalized corona $G\odot pK\_1$ of a graph $G$ i…
▽ More
The packing chromatic number $\pcn(G)$ of a graph $G$ is the smallest integer $k$ such that its set of vertices $V(G)$ can be partitioned into $k$ disjoint subsets $V\_1$, \ldots, $V\_k$, in such a way that every two distinct vertices in $V\_i$ are at distance greater than $i$ in $G$ for every $i$, $1\le i\le k$.
For a given integer $p \ge 1$, the generalized corona $G\odot pK\_1$ of a graph $G$ is the graph obtained from $G$ by adding $p$ degree-one neighbors to every vertex of $G$.
In this paper, we determine the packing chromatic number of generalized coronae of paths and cycles.
Moreover, by considering digraphs and the (weak) directed distance between vertices, we get a natural extension of the notion of packing coloring to digraphs. We then determine the packing chromatic number of orientations of generalized coronae of paths and cycles.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Outerplanar and planar oriented cliques
Authors:
Ayan Nandy,
Sagnik Sen,
Eric Sopena
Abstract:
The clique number of an undirected graph $G$ is the maximum order of a complete subgraph of $G$ and is a well-known lower bound for the chromatic number of $G$. Every proper $k$-coloring of $G$ may be viewed as a homomorphism (an edge-preserving vertex map**) of $G$ to the complete graph of order $k$. By considering homomorphisms of oriented graphs (digraphs without cycles of length at most 2),…
▽ More
The clique number of an undirected graph $G$ is the maximum order of a complete subgraph of $G$ and is a well-known lower bound for the chromatic number of $G$. Every proper $k$-coloring of $G$ may be viewed as a homomorphism (an edge-preserving vertex map**) of $G$ to the complete graph of order $k$. By considering homomorphisms of oriented graphs (digraphs without cycles of length at most 2), we get a natural notion of (oriented) colorings and oriented chromatic number of oriented graphs. An oriented clique is then an oriented graph whose number of vertices and oriented chromatic number coincide. However, the structure of oriented cliques is much less understood than in the undirected case.
In this paper, we study the structure of outerplanar and planar oriented cliques. We first provide a list of 11 graphs and prove that an outerplanar graph can be oriented as an oriented clique if and only if it contains one of these graphs as a spanning subgraph. Klostermeyer and MacGillivray conjectured that the order of a planar oriented clique is at most 15, which was later proved by Sen [S. Sen. Maximum Order of a Planar Oclique Is 15. Proc. IWOCA'2012. {\em Lecture Notes Comput. Sci.} 7643:130--142]. We show that any planar oriented clique on 15 vertices must contain a particular oriented graph as a spanning subgraph, thus reproving the above conjecture. We also provide tight upper bounds for the order of planar oriented cliques of girth $k$ for all $k \ge 4$.
△ Less
Submitted 26 November, 2014;
originally announced November 2014.
-
Incidence coloring game and arboricity of graphs
Authors:
Clément Charpentier,
Eric Sopena
Abstract:
An incidence of a graph $G$ is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ an edge incident to $v$. Two incidences $(v,e)$ and $(w,f)$ are adjacent whenever $v = w$, or $e = f$, or $vw = e$ or $f$. The incidence coloring game [S.D. Andres, The incidence game chromatic number, Discrete Appl. Math. 157 (2009), 1980-1987] is a variation of the ordinary coloring game where the two players, Ali…
▽ More
An incidence of a graph $G$ is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ an edge incident to $v$. Two incidences $(v,e)$ and $(w,f)$ are adjacent whenever $v = w$, or $e = f$, or $vw = e$ or $f$. The incidence coloring game [S.D. Andres, The incidence game chromatic number, Discrete Appl. Math. 157 (2009), 1980-1987] is a variation of the ordinary coloring game where the two players, Alice and Bob, alternately color the incidences of a graph, using a given number of colors, in such a way that adjacent incidences get distinct colors. If the whole graph is colored then Alice wins the game otherwise Bob wins the game. The incidence game chromatic number $i_g(G)$ of a graph $G$ is the minimum number of colors for which Alice has a winning strategy when playing the incidence coloring game on $G$. Andres proved that %$\lceil 3/2 Δ(G)\rceil \le $i_g(G) \le 2Δ(G) + 4k - 2$ for every $k$-degenerate graph $G$. %The arboricity $a(G)$ of a graph $G$ is the minimum number of forests into which its set of edges can be partitioned. %If $G$ is $k$-degenerate, then $a(G) \le k \le 2a(G) - 1$. We show in this paper that $i_g(G) \le \lfloor\frac{3Δ(G) - a(G)}{2}\rfloor + 8a(G) - 2$ for every graph $G$, where $a(G)$ stands for the arboricity of $G$, thus improving the bound given by Andres since $a(G) \le k$ for every $k$-degenerate graph $G$. Since there exists graphs with $i_g(G) \ge \lceil\frac{3Δ(G)}{2}\rceil$, the multiplicative constant of our bound is best possible.
△ Less
Submitted 31 March, 2013;
originally announced April 2013.
-
Upper oriented chromatic number of undirected graphs and oriented colorings of product graphs
Authors:
Eric Sopena
Abstract:
The oriented chromatic number of an oriented graph $\vec G$ is the minimum order of an oriented graph $\vev H$ such that $\vec G$ admits a homomorphism to $\vev H$. The oriented chromatic number of an undirected graph $G$ is then the greatest oriented chromatic number of its orientations. In this paper, we introduce the new notion of the upper oriented chromatic number of an undirected graph $G$,…
▽ More
The oriented chromatic number of an oriented graph $\vec G$ is the minimum order of an oriented graph $\vev H$ such that $\vec G$ admits a homomorphism to $\vev H$. The oriented chromatic number of an undirected graph $G$ is then the greatest oriented chromatic number of its orientations. In this paper, we introduce the new notion of the upper oriented chromatic number of an undirected graph $G$, defined as the minimum order of an oriented graph $\vev U$ such that every orientation $\vec G$ of $G$ admits a homomorphism to $\vec U$. We give some properties of this parameter, derive some general upper bounds on the ordinary and upper oriented chromatic numbers of Cartesian, strong, direct and lexicographic products of graphs, and consider the particular case of products of paths.
△ Less
Submitted 17 May, 2010;
originally announced May 2010.
-
The Incidence Chromatic Number of Toroidal Grids
Authors:
Eric Sopena,
Jiaojiao Wu
Abstract:
An incidence in a graph $G$ is a pair $(v,e)$ with $v \in V(G)$ and $e \in E(G)$, such that $v$ and $e$ are incident. Two incidences $(v,e)$ and $(w,f)$ are adjacent if $v=w$, or $e=f$, or the edge $vw$ equals $e$ or $f$. The incidence chromatic number of $G$ is the smallest $k$ for which there exists a map** from the set of incidences of $G$ to a set of $k$ colors that assigns distinct colors t…
▽ More
An incidence in a graph $G$ is a pair $(v,e)$ with $v \in V(G)$ and $e \in E(G)$, such that $v$ and $e$ are incident. Two incidences $(v,e)$ and $(w,f)$ are adjacent if $v=w$, or $e=f$, or the edge $vw$ equals $e$ or $f$. The incidence chromatic number of $G$ is the smallest $k$ for which there exists a map** from the set of incidences of $G$ to a set of $k$ colors that assigns distinct colors to adjacent incidences. In this paper, we prove that the incidence chromatic number of the toroidal grid $T_{m,n}=C_m\Box C_n$ equals 5 when $m,n \equiv 0 \pmod 5$ and 6 otherwise.
△ Less
Submitted 6 May, 2012; v1 submitted 22 July, 2009;
originally announced July 2009.
-
Coloring the square of the Cartesian product of two cycles
Authors:
Eric Sopena,
Jiaojiao Wu
Abstract:
The square $G^2$ of a graph $G$ is defined on the vertex set of $G$ in such a way that distinct vertices with distance at most two in $G$ are joined by an edge. We study the chromatic number of the square of the Cartesian product $C_m\Box C_n$ of two cycles and show that the value of this parameter is at most 7 except when $m=n=3$, in which case the value is 9, and when $m=n=4$ or $m=3$ and $n=5$,…
▽ More
The square $G^2$ of a graph $G$ is defined on the vertex set of $G$ in such a way that distinct vertices with distance at most two in $G$ are joined by an edge. We study the chromatic number of the square of the Cartesian product $C_m\Box C_n$ of two cycles and show that the value of this parameter is at most 7 except when $m=n=3$, in which case the value is 9, and when $m=n=4$ or $m=3$ and $n=5$, in which case the value is 8. Moreover, we conjecture that whenever $G=C_m\Box C_n$, the chromatic number of $G^2$ equals $\lceil mn/α(G^2) \rceil$, where $α(G^2)$ denotes the size of a maximal independent set in $G^2$.
△ Less
Submitted 31 May, 2010; v1 submitted 5 June, 2009;
originally announced June 2009.
-
Compound Node-Kayles on Paths
Authors:
Adrien Guignard,
Eric Sopena
Abstract:
In his celebrated book "On Number and Games" (Academic Press, New-York, 1976), J.H. Conway introduced twelve versions of compound games. We analyze these twelve versions for the Node-Kayles game on paths. For usual disjunctive compound, Node-Kayles has been solved for a long time under normal play, while it is still unsolved under misère play. We thus focus on the ten remaining versions, leaving…
▽ More
In his celebrated book "On Number and Games" (Academic Press, New-York, 1976), J.H. Conway introduced twelve versions of compound games. We analyze these twelve versions for the Node-Kayles game on paths. For usual disjunctive compound, Node-Kayles has been solved for a long time under normal play, while it is still unsolved under misère play. We thus focus on the ten remaining versions, leaving only one of them unsolved.
△ Less
Submitted 5 January, 2009; v1 submitted 18 June, 2008;
originally announced June 2008.