arXiv++ Combinatorics

Chocolate bar games are variants of the game of Nim in which the goal is to leave your opponent with the single bitter part of the chocolate bar. The rectangular chocolate bar game is a thinly disguised form of classical multi-heap Nim. In this work, we investigate the mathematical structure of triangular chocolate bar games in which the triangular chocolate bar can be cut in three directions. In the triangular chocolate bar game, a position is a $\mathcal{P}$-position if and only if $x \oplus y \oplus z = 0$, where the numbers $x,y,z$ stand for the maximum number of times that the chocolate bar can be cut in each direction. Moreover, the Grundy number of a position $(x,y,z)$ is not always equal to $x \oplus y \oplus z $, and a generic formula for Grundy numbers in not known. Therefore, the mathematical structure of triangular chocolate bar game is different from that of classical Nim.

This paper describes Wythoff's game with a pass, which is a variant of the classical Wythoff's game. The classical form is played with two piles of stones, from which two players take turns to remove stones from one or both piles. When removing stones from both piles, an equal number must be removed from each. The player who removes the last stone or stones is the winner. In Wythoff's game with a pass, we modify the standard rules to allow for a one-time pass, i.e., a pass move that may be used at most once in a game but not from a terminal position. Once either player has used the pass, it is no longer available. We denote the position of the game by (x,y,p) , where x,y are numbers of stones in two piles and p=1 if a pass is available, and p=0 if not. The authors proved that for (x,y,1) with x <= 9 or y x <= 9 , (x,y,1) is a P-position (the previous player's winning position) if and only if the Grundy number of (x,y,0) is 1 . Therefore, by using the result by U. Blass and A.S. Fraenkel, the Euclid distance between each previous player's winning position in Wythoff's game with a pass and a nearby previous player's winning position in Wythoff's game without a pass is within square root of 20 .

Chocolate bar games are variants of the CHOMP game in which the goal is to leave your opponent with the single bitter part of the chocolate. In this paper, we investigate step chocolate bars whose widths are determined by a fixed function of the horizontal distance from the bitter square. When the width of chocolate bar is proportional to the distance from the bitter square and the constant of proportionality is even, the authors have already proved that the Grundy number of this chocolate bar is $(m-1) \oplus (n-1)$, where $m$ is is the largest width of the chocolate and $n$ is the longest horizontal distance from the bitter part. This result was published in a mathematics journal(Integers,15, 2015). On the other hand, if the constant of proportionality is odd, the Grundy number of this chocolate bar is not $(m-1) \oplus (n-1)$. Therefore, it is natural to look for a necessary and sufficient condition for chocolate bars to have the Grundy number that is equal to $(m-1) \oplus (n-1)$, where $m$ is the largest width of the chocolate and $n$ is the longest horizontal distance from the bitter part. In the first part of the present paper, the authors present this necessary and sufficient condition. Next, we modified the condition that the Grundy number that is equal to $(m-1) \oplus (n-1)$, and we studied a necessary and sufficient condition for chocolate bars to have Grundy number that is equal to $((m-1) \oplus (n-1+s))-s$, where $m$ is is the largest width of the chocolate and $n$ is the longest horizontal distance from the bitter part. We present this necessary and sufficient condition in the second part of this paper.

The authors introduce the impartial game of the generalized Ryūō Nim, a variant of the classical game of Wythoff Nim. In the latter game, two players take turns in moving a single queen on a large chessboard, attempting to be the first to put her in the upper left corner, position $(0,0)$. Instead of the queen used in Wythoff Nim, we use the generalized Ryūō for a given natural number $p$. The generalized Ryūō for $p$ can be moved horizontally and vertically, as far as one wants. It also can be moved diagonally from $(x,y)$ to $(x-s,y-t)$, where $s,t$ are non-negative integers such that $1 \leq s \leq x, 1 \leq t \leq y \textit{and} s+t \leq p-1$. When $p$ is $3$, the generalized Ryūō for $p$ is a Ryūō, i.e., a promoted hisha piece of Japanese chess. A Ryūō combines the power of the rook and the king in Western chess. The generalized Ryūō Nim for $p$ is mathematically the same as the Nim with two piles of counters in which a player may take any number from either heap, and a player may also simultaneously remove $s$ counters from either of the piles and $t$ counters from the other, where $s+t \leq p-1$ and $p$ is a given natural number. The Grundy number of the generalized Ryūō Nim for $p$ is given by $\bmod(x+y,p) + p(\lfloor \frac{x}{p} \rfloor \oplus \lfloor \frac{y}{p}\rfloor)$. The authors also study the generalized Ryūō Nim for $p$ with a pass move. The generalized Ryūō Nim for $p$ without a pass move has simple formulas for Grundy numbers. This is not the case after the introduction of a pass move, but it still has simple formulas for the previous player's positions. We also study the Ryūō Nim that restricted the diagonal and side movement. Moreover, we extended the Ryūō Nim dimension to the $n$-dimension.

A graph is chordal if every induced cycle has three vertices. The Hadwiger number is the order of the largest complete minor of a graph. We characterize the chordal graphs in terms of the Hadwiger number and we also characterize the families of graphs such that for each induced subgraph $H$, (1) the Hadwiger number of $H$ is equal to the maximum clique order of $H$, (2) the Hadwiger number of $H$ is equal to the achromatic number of $H$, (3) the $b$-chromatic number is equal to the pseudoachromatic number, (4) the pseudo-$b$-chromatic number is equal to the pseudoachromatic number, (5) the Hadwiger number of $H$ is equal to the Grundy number of $H$, and (6) the $b$-chromatic number is equal to the pseudo-Grundy number.

Let G=(V,E) be a connected graph. A set U subseteq V is convex if G[U] is connected and all vertices of V\U have at most one neighbor in U. Let sigma(W) denote the unique smallest convex set that contains W subseteq V. Two players play the following game. Consider a convex set U and call it the `playground.' Initially, U = emptyset. When U=V, the player to move loses the game. Otherwise, that player chooses a vertex x in V\U which is at distance at most two from U. The effect of the move is that the playground U changes into sigma(U cup {x}) and the opponent is presented with this new playground. A graph is chordal bipartite if it is bipartite and has no induced cycle of length more than four. In this paper we show that, when G is chordal bipartite, there is a polynomial-time algorithm that computes the Grundy number of the P_3-game played on G. This implies that there is an efficient algorithm to decide whether the first player has a winning strategy.

In this paper, we generalize the concept of {\it{perfect graphs}} to other parameters related to graph vertex coloring. This idea was introduced by Christen and Selkow in 1979 and Yegnanarayanan in 2001. Let $ a,b \in \{ ω, χ, Γ, α, ψ\} $ where $ ω$ is the clique number, $ χ$ is the chromatic number, $ Γ$ is the Grundy number, $ α$ is the achromatic number and $ ψ$ is the pseudoachromatic number. A graph $ G $ is \emph{$ ab $-perfect}, if for every induced subgraph $ H $ of $G$, $ a(H)$ equals $b(H) $. In this paper, we characterize the $ab$-perfect graphs when $a=ω$ and $b=ψ$.

A coloring of a graph $G=(V,E)$ is a partition $\{V_1, V_2, \ldots, V_k\}$ of $V$ into independent sets or color classes. A vertex $v\in V_i$ is a Grundy vertex if it is adjacent to at least one vertex in each color class $V_j$ for every $j<i$. A coloring is a Grundy coloring if every vertex is a Grundy vertex, and the Grundy number $Γ(G)$ of a graph $G$ is the maximum number of colors in a Grundy coloring. We provide two new upper bounds on Grundy number of a graph and a stronger version of the well-known Nordhaus-Gaddum theorem. In addition, we give a new characterization for a $\{P_{4}, C_4\}$-free graph by supporting a conjecture of Zaker, which says that $Γ(G)\geq δ(G)+1$ for any $C_4$-free graph $G$.

Consider the following game on a graph $G$: Alice and Bob take turns coloring the vertices of $G$ properly from a fixed set of colors; Alice wins when the entire graph has been colored, while Bob wins when some uncolored vertices have been left. The game chromatic number of $G$ is the minimum number of colors that allows Alice to win the game. The game Grundy number of $G$ is defined similarly except that the players color the vertices according to the first-fit rule and they only decide on the order in which it is applied. The $(a,b)$-game chromatic and Grundy numbers are defined likewise except that Alice colors $a$ vertices and Bob colors $b$ vertices in each round. We study the behavior of these parameters for incomparability graphs of posets with bounded width. We conjecture a complete characterization of the pairs $(a,b)$ for which the $(a,b)$-game chromatic and Grundy numbers are bounded in terms of the width of the poset; we prove that it gives a necessary condition and provide some evidence for its sufficiency. We also show that the game chromatic number is not bounded in terms of the Grundy number, which answers a question of Havet and Zhu.

The Grundy number of a graph is the maximum number of colors used by the greedy coloring algorithm over all vertex orderings. In this paper, we study the computational complexity of GRUNDY COLORING, the problem of determining whether a given graph has Grundy number at least $k$. We also study the variants WEAK GRUNDY COLORING (where the coloring is not necessarily proper) and CONNECTED GRUNDY COLORING (where at each step of the greedy coloring algorithm, the subgraph induced by the colored vertices must be connected). We show that GRUNDY COLORING can be solved in time $O^*(2.443^n)$ and WEAK GRUNDY COLORING in time $O^*(2.716^n)$ on graphs of order $n$. While GRUNDY COLORING and WEAK GRUNDY COLORING are known to be solvable in time $O^*(2^{O(wk)})$ for graphs of treewidth $w$ (where $k$ is the number of colors), we prove that under the Exponential Time Hypothesis (ETH), they cannot be solved in time $O^*(2^{o(w\log w)})$. We also describe an $O^*(2^{2^{O(k)}})$ algorithm for WEAK GRUNDY COLORING, which is therefore $\fpt$ for the parameter $k$. Moreover, under the ETH, we prove that such a running time is essentially optimal (this lower bound also holds for GRUNDY COLORING). Although we do not know whether GRUNDY COLORING is in $\fpt$, we show that this is the case for graphs belonging to a number of standard graph classes including chordal graphs, claw-free graphs, and graphs excluding a fixed minor. We also describe a quasi-polynomial time algorithm for GRUNDY COLORING and WEAK GRUNDY COLORING on apex-minor graphs. In stark contrast with the two other problems, we show that CONNECTED GRUNDY COLORING is $\np$-complete already for $k=7$ colors.

A coloring of a graph G = (V,E) is a partition {V1, V2, . . ., Vk} of V into independent sets or color classes. A vertex v Vi is a Grundy vertex if it is adjacent to at least one vertex in each color class Vj . A coloring is a Grundy coloring if every color class contains at least one Grundy vertex, and the Grundy number of a graph is the maximum number of colors in a Grundy coloring. We derive a natural upper bound on this parameter and show that graphs with sufficiently large girth achieve equality in the bound. In particular, this gives a linear time algorithm to determine the Grundy number of a tree.

The Grundy number of a graph G is the maximum number k of colors used to color the vertices of G such that the coloring is proper and every vertex x colored with color i, is adjacent to (i - 1) vertices colored with each color j, In this paper we give bounds for the Grundy number of some graphs and Cartesian products of graphs. In particular, we determine an exact value of this parameter for n-dimensional meshes and some n-dimensional toroidal meshes. Finally, we present an algorithm to generate all graphs for a given Grundy number

Let $k$ be an integer. Two vertex $k$-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{$k$-mixing} if any proper $k$-coloring can be transformed into any other through a sequence of adjacent proper $k$-colorings. Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We first improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring. Any graph is $(tw+2)$-mixing, where $tw$ is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two $(tw+2)$-colorings is at most quadratic (which is optimal up to a constant factor), a problem left open in Bonamy et al. (2012). We also prove that given any two $(χ(G)+1)$-colorings of a cograph (resp. distance-hereditary graph) $G$, we can find a linear (resp. quadratic) sequence between them. In both cases, the bounds cannot be improved by more than a constant factor for a fixed $χ(G)$. The graph classes are also optimal in some sense: one of the smallest interesting superclass of distance-hereditary graphs corresponds to comparability graphs, for which no such property holds (even when relaxing the constraint on the length of the sequence). As for cographs, they are equivalently the graphs with no induced $P_4$, and there exist $P_5$-free graphs that admit no sequence between two of their $(χ(G)+1)$-colorings. All the proofs are constructivist and lead to polynomial-time recoloring algorithm

Our work becomes integrated into the general problem of the stability of the network ad hoc. Some, works attacked (affected) this problem. Among these works, we find the modelling of the network ad hoc in the form of a graph. We can resume the problem of coherence of the network ad hoc of a problem of allocation of frequency We study a new class of graphs, the fat-extended P4 graphs, and we give a polynomial time algorithm to calculate the Grundy number of the graphs in this class. This result implies that the Grundy number can be found in polynomial time for many graphs

Our work becomes integrated into the general problem of the stability of the network ad hoc. Some, works attacked this problem. Among these works, we find the modelling of the network ad hoc in the form of a graph. Thus the problem of stability of the network ad hoc which corresponds to a problem of allocation of frequency amounts to a problem of allocation of colors in the vertex of graph. we present use a parameter of coloring the number of Grundy. The Grundy number of a graph G, denoted by (G), is the largest k such that G has a greedy k-coloring, that is a coloring with colours obtained by applying the greedy algorithm according to some ordering of the vertices of G. In this paper, we study the Grundy number of the lexicographic, Cartesian and direct products of two graphs in terms of the Grundy numbers of these graphs.

A complete $k$-coloring of a graph $G=(V,E)$ is an assignment $\varphi:V\to\{1,\ldots,k\}$ of colors to the vertices such that no two vertices of the same color are adjacent, and the union of any two color classes contains at least one edge. Three extensively investigated graph invariants related to complete colorings are the minimum and maximum number of colors in a complete coloring (chromatic number $χ(G)$ and achromatic number $ψ(G)$, respectively), and the Grundy number $Γ(G)$ defined as the largest $k$ admitting a complete coloring $\varphi$ with exactly $k$ colors such that every vertex $v\in V$ of color $\varphi(v)$ has a neighbor of color $i$ for all $1\le i<\varphi(v)$. The inequality chain $χ(G)\le Γ(G)\le ψ(G)$ obviously holds for all graphs $G$. A triple $(f,g,h)$ of positive integers at least 2 is called realizable if there exists a connected graph $G$ with $χ(G)=f$, $Γ(G)=g$, and $ψ(G)=h$. Chartrand et al. (A note on graphs with prescribed complete coloring numbers, J. Combin. Math. Combin. Comput. LXXIII (2010) 77-84) found the list of realizable triples. In this paper we determine the minimum number of vertices in a connected graph with chromatic number $f$, Grundy number $g$, and achromatic number $h$, for all realizable triples $(f,g,h)$ of integers. Furthermore, for $f=g=3$ we describe the (two) extremal graphs for each $h \geq 6$. For $h=4$ and $5$, there are more extremal graphs, their description is contained as well.

The Grundy number of a graph $G$, denoted by $Γ(G)$, is the largest $k$ such that there exists a partition of $V(G)$, into $k$ independent sets $V_1,\ldots, V_k$ and every vertex of $V_i$ is adjacent to at least one vertex in $V_j$, for every $j < i$. The objects which are studied in this article are families of $r$-regular graphs such that $Γ(G) = r + 1$. Using the notion of independent module, a characterization of this family is given for $r=3$. Moreover, we determine classes of graphs in this family, in particular the class of $r$-regular graphs without induced $C_4$, for $r \le 4$. Furthermore, our propositions imply results on partial Grundy number.

Let $k$ be an integer. Two vertex $k$-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{$k$-mixing} if any proper $k$-coloring can be transformed into any other through a sequence of adjacent proper $k$-colorings. Any graph is $(tw+2)$-mixing, where $tw$ is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two $(tw+2)$-colorings is at most quadratic, a problem left open in Bonamy et al. (2012). Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring.

The game of Nim as played on graphs was introduced in Nim on Graphs I and extended in Nim on Graphs II by Masahiko Fukuyama. His papers detail the calculation of Grundy numbers for graphs under specific circumstances. We extend these results and introduce the strategy for even cycles. This paper examines a more general class of graphs by restricting the edge weight to one. We provide structural conditions for which there exist a winning strategy. This yields the solution for the complete graph.

The Grundy number of an impartial game G is the size of the unique Nim heap equal to G. We introduce a new variant of Nim, Restricted Nim, which restricts the number of stones a player may remove from a heap in terms of the size of the heap. Certain classes of Restricted Nim are found to produce sequences of Grundy numbers with a self-similar fractal structure. Extending work of C. Kimberling, we obtain new characterizations of these "fractal sequences" and give a bijection between these sequences and certain upper-triangular arrays. As a special case we obtain the game of Serial Nim, in which the Nim heaps are ordered from left to right, and players can move only in the leftmost nonempty heap.