arXiv++ Combinatorics

We study graph coloring with color preferences, in which each vertex ranks the available colors. In addition to assigning different colors to adjacent vertices, we require the coloring to be stable: no group of vertices can cyclically exchange their assigned colors so that each strictly prefers its new color to its original one. We define the stable chromatic number $χ_\mathrm{stable}(G)$ of a graph $G$ as the minimum integer $k$ such that every preference profile admits a stable $k$-coloring of $G$. We establish several upper and lower bounds. In particular, for any acyclic orientation of the edges of $G$, the largest number of vertices reachable from a vertex by directed paths, including the vertex itself, is an upper bound on $χ_\mathrm{stable}(G)$. This shows that $χ_\mathrm{stable}(G)$ is well-defined. We also show that $O(t \log (1+n/t))$ colors suffice for an $n$-vertex graph $G$ of treewidth $t$, and complement this with a lower bound in terms of the Grundy number. Turning to the problem of finding a minimum stable coloring for a given profile, we show that stable $2$-colorability is polynomial-time solvable, whereas stable $k$-colorability is NP-complete for every fixed $k\ge 3$. Using the treewidth bound, we give a fixed-parameter tractable algorithm parameterized by treewidth.

We consider a subtraction Nim with subtraction set {s_1,s_2,s_3={2,4n,4n+2}, where n is a positive integer such that n >= 3. We do not treat the case that n=1 or n=2 in this article. We show that this game satisfies the reverse-mex property of Grundy numbers, i.e., G(x)=mex{G(x+s_1), G(x+s_2), G(x+s_3)}, where the mex is taken over successors rather than predecessors. We modify the rule of this subtraction Nim to allow a one-time pass, that is, a passing move usable at most once during the game, unavailable from terminal positions; once used by either player, it becomes unavailable. In classical Nim, the introduction of a pass move complicates the game, and finding a formula that describes the set of P-positions in traditional three-pile Nim with a pass remains an important open question. In the case of subtraction Nim with a pass, however, the introduction of a pass move does not complicate the game. We prove that this game still satisfies the reverse-mex property of Grundy numbers when a pass move is available.

A combinatorial game is a two-player game without hidden information or chance elements. The disjunctive sum $G + H$ of games $G$ and $H$ is the game in which $G$ and $H$ are played in parallel, and a player makes a move on exactly one of $G$ and $H$ in a turn. The ordinal sum $G \colon H$ is similar to the disjunctive sum, but once the left game $G$ is played, the right game $H$ is discarded and can no longer be played. It is known that the outcome of a mixture of disjunctive sums and ordinal sums, such as $(G_1 \colon G_2) + ((G_3 + G_4) \colon G_5)$, is determined by the variation sets, the set of Grundy numbers of all options, of the components in the normal-play. In this paper, we propose a generalization of an ordinal sum, called an ordinal sum with substitution $G \colon_{\widehat{H}} H$, which is the game made by combining $G$, $H$, and $\widehat{H}$ in the following way: the games $G$ and $H$ are played in parallel; a player makes a move on exactly one of $G$ and $H$ in a turn; each time the left game $G$ is played, the right game $H$ is replaced with $\widehat{H}$. We investigate their fundamental properties and prove a simple formula for the variation sets of ordinal sums with substitution. Apply the formula, we give an explicit expression of the Grundy number of a chain of ordinal sums with substitution consisting of nimbers. We also provide an example illustrating the generalization of ordinal sums with substitution to poset structures.

A combinatorial game is a two-player game without hidden information or chance elements. The main object of combinatorial game theory is to obtain the outcome, which player has a winning strategy, of a given combinatorial game. Positions of many well-known combinatorial games are naturally decomposed into a disjunctive sum of multiple components and can be analyzed independently for each component. Therefore, the study of disjunctive sums is a major topic in combinatorial game theory. Combinatorial games in which both players have the same set of possible moves for every position are called impartial games. In the normal-play convention, it is known that the outcome of a disjunctive sum of impartial games can be obtained by computing the Grundy number of each term. The theory of impartial games is generalized in various forms. This paper proposes another generalization of impartial games to a new framework, impartial games with activeness: each game is assigned a status of either ``active'' or ``inactive''; the status may change by moves; a disjunctive sum of games ends immediately, not only when no further moves can be made, but also when all terms become inactive. We formally introduce impartial games with activeness and investigate their fundamental properties.

In this paper, we study 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. Equivalently, we consider a single chess queen placed somewhere on a large grid of squares. Each player can move the queen toward the upper-left corner of the grid, either vertically, horizontally, or diagonally, in any number of steps. The winner is the player who moves the queen into the upper-left corner, the position (0,0) in our coordinate system. We call (0,0) the terminal position of Wythoff's game. In our variant of Wythoff's game, we have a set of positions {(0,0),(1,0),(0,1),(1,1),(2,0),(0,2)} as the terminal set. If a player moves the queen into this terminal set, that player is the winner of the game. The P-positions of this variant are described by the P-positions of Wythoff's game and Hofstadter's G-Sequence. This variant has two remarkable properties. For a position (x,y) with x >= 8 or y >= 8, the Grundy number of the position (x,y) is 1 in this variant if and only if (x,y) is a P-position of Wythoff's game. There is another remarkable property.For a position (x,y) with x >= 8 or y >= 8, (x,y) is a P-position of of the misere version of this variant if and only if (x,y) is a P-position of of Wythoff's game.

Here, we present a variant of the sliding coins game. Two coins are placed on distinct squares of a semi-infinite linear board with squares numbered $0, 1, 2, dots, $. Two players take turns and move a coin to a lower unoccupied square. When a coin is pushed to the outside of the linear board, the players cannot use this coin anymore. In this game, we have another operation of moving coins: moving the coin on the right leftward and pushing the coin on the left. This last operation complicates this game's mathematical structure, but we have managed to make formulas for Grundy numbers. Since all the positions of this game of two coins are the next player's winning position, this game of two coins is trivial as a game. However, by making the sum of two games, we get a meaningful game in which the player who plays for the last time is the winner. With these Grundy numbers formulae, we get the winning strategy.

The Grundy (or First-Fit) chromatic number of a graph $G=(V,E)$, denoted by $Γ(G)$ (or $χ_{_{\sf FF}}(G)$), is the maximum number of colors used by a First-Fit (greedy) coloring of $G$. To determine $Γ(G)$ is NP-complete for various classes of graphs. Also there exists a constant $c>0$ such that the Grundy number is hard to approximate within the ratio $c$. We first obtain an $\mathcal{O}(VE)$ algorithm to determine the Grundy number of block graphs i.e. graphs in which every biconnected component is complete subgraph. We prove that the Grundy number of a general graph $G$ with cut-vertices is upper bounded by the Grundy number of a block graph corresponding to $G$. This provides a reasonable upper bound for the Grundy number of graphs with cut-vertices. Next, define $Δ_2(G)={\max}_{u\in G}~ {\max}_{v\in N(u):d(v)\leq d(u)} d(v)$. We obtain an $\mathcal{O}(VE)$ algorithm to determine $Γ(G)$ for graphs $G$ whose girth $g$ is at least $2Δ_2(G)+1$. This algorithm provides a polynomial time approximation algorithm within ratio $\min \{1, (g+1)/(2Δ_2(G)+2)\}$ for $Γ(G)$ of general graphs $G$ with girth $g$.

In this study, we study the relation between Grundy numbers of a Maximum Nim and Josephus problem. Let f(x) = floor(x/k), where floor( ) is the floor function and k is a positive integer. We prove that there is a simple relation with a Maximum Nim with the rule function f and the Josephus problem in which every k-th numbers are to be removed.

The Grundy number of a graph is the minimum number of colors needed to properly color the graph using the first-fit greedy algorithm regardless of the initial vertex ordering. Computing the Grundy number of a graph is an NP-Hard problem. There is a characterization in terms of induced subgraphs: a graph has a Grundy number at least k if and only if it contains a k-atom. In this paper, using properties of the matching polynomial, we determine the smallest possible largest eigenvalue of a k-atom. With this result, we present an upper bound for the Grundy number of a graph in terms of the largest eigenvalue of its adjacency matrix. We also present another upper bound using the largest eigenvalue and the size of the graph. Our bounds are asymptotically tight for some infinite families of graphs and provide improvements on the known bounds for the Grundy number of sparse random graphs.

Here, we present a variant of Nim with two piles. In the first pile, we have stones with a weight of 1, and in the second pile, we have stones with a weight of -2. Two Players take turns to take stones from one of the piles, and the total weight of stones to be removed should be equal to or less than half of the total weight of the stones in the pile. The player who removed the last stone or stones is the winner of the game. The authors discovered that when (n,m) is a previous player's winning position, 2m+1 is the last remaining number of the Josephus problem, where there are n -numbers, and every second number is to be removed. There are similar relations between the position of which the Grundy number is s and the (n-s)-th removed number.

Yama Nim is a two heaps Nim game introduced in the second author's Master Thesis, where the player takes more than $2$ tokens from one heap, and return $1$ token to the other heap. Triangular Nim is a generalization, where the player takes several tokens from one heap, and return some tokens (at least one token) to the other heap, so that the total number of the tokens in the heaps decrease strictly. In this paper, we investigate their winning strategies, Grundy numbers, and their variations and generalizations. Particularly interesting is the Wythoff variations, where in addition to the Yama/Triangular Nim moves, the player is allowed to take tokens from both heaps, say $i$ tokens from the first heap and $j$ tokens from the other, under some restrictions for $i$ and $j$. For example when we force $i=j>0$ for the Triangular Nim, then the pair of non-negative integers $(x, y)$ with $x$ less than or equal to $y$ is in the $P$-position if and only if $(x, y) is in {(0, 0), (0, 1), (1, 3), (3, 6), (6, 10), (10, 15), ...}$, namely the winning strategy is described by triangular numbers. In other rulesets, we also found examples where the square numbers, pentagonal numbers, geometric progressions, and so on.

By a $z$-coloring of a graph $G$ we mean any proper vertex coloring consisting of the color classes $C_1, \ldots, C_k$ such that $(i)$ for any two colors $i$ and $j$ with $1 \leq i < j \leq k$, any vertex of color $j$ is adjacent to a vertex of color $i$, $(ii)$ there exists a set $\{u_1, \ldots, u_k\}$ of vertices of $G$ such that $u_j \in C_j$ for any $j \in \{1, \ldots, k\}$ and $u_k$ is adjacent to $u_j$ for each $1 \leq j \leq k$ with $j \not=k$, and $(iii)$ for each $i$ and $j$ with $i \not= j$, the vertex $u_j$ has a neighbor in $C_i$. Denote by $z(G)$ the maximum number of colors used in any $z$-coloring of $G$. Denote the Grundy and {\rm b}-chromatic number of $G$ by $Γ(G)$ and ${\rm b}(G)$, respectively. The $z$-coloring is an improvement over both the Grundy and b-coloring of graphs. We prove that $z(G)$ is much better than $\min\{Γ(G), {\rm b}(G)\}$ for infinitely many graphs $G$ by obtaining an infinite sequence $\{G_n\}_{n=3}^{\infty}$ of graphs such that $z(G_n)=n$ but $Γ(G_n)={\rm b}(G_n)=2n-1$ for each $n\geq 3$. We show that acyclic graphs are $z$-monotonic and $z$-continuous. Then it is proved that to decide whether $z(G)=Δ(G)+1$ is $NP$-complete even for bipartite graphs $G$. We finally prove that to recognize graphs $G$ satisfying $z(G)=χ(G)$ is $coNP$-complete, improving a previous result for the Grundy number.

For any graph $G$, the Grundy (or First-Fit) chromatic number of $G$, denoted by $Γ(G)$ (also $χ_{_{\sf FF}}(G)$), is defined as the maximum number of colors used by the First-Fit (greedy) coloring of the vertices of $G$. Determining the Grundy number is $NP$-complete, and obtaining bounds for $Γ(G)$ in terms of the known graph parameters is an active research topic. By a star partition of $G$ we mean any partition of $V(G)$ into say $V_1, \ldots, V_k$ such that each $G[V_i]$ contains a vertex adjacent to any other vertex in $V_i$. In this paper using the star partition of graphs we obtain the first upper bounds for the Grundy number in terms of the domination number. We also prove some bounds in terms of the domination number and girth of graphs.

This paper presents a study of restricted Nim with a pass. In the restricted Nim considered in this study, two players take turns and remove stones from the piles. In each turn, when the number of stones is m, each player is allowed to remove at least one stone and at most the ceiling of m/2 stones from a pile of m stones. The standard rules of the game are modified to allow a one-time pass, that is, a pass move that may be used at most once in the game and not from a terminal position. Once a pass has been used by either player, it is no longer available. It is well-known that in classical Nim, the introduction of the pass alters the underlying structure of the game, significantly increasing its complexity. In the restricted Nim considered in this study, the pass move was found to have a minimal impact. There is a simple relationship between the Grundy numbers of restricted Nim and the Grundy numbers of restricted Nim with a pass, where the number of piles can be any natural number. Therefore, the authors address a longstanding open question in combinatorial game theory: the extent to which the introduction of a pass into a game affects its behavior. The game that we developed appears to be the first variant of Nim that is fully solvable when a pass is not allowed and remains fully solvable following the introduction of a pass move.

We discuss games involving a counterfeit coin. Given one counterfeit coin among a number of otherwise identical coins, two players with full knowledge of the fake coin take turns weighing coins on a two-pan scale, under the condition that on every turn they reveal some information to an Observer with limited prior knowledge about the coins. We study several games depending on the types of the counterfeit coin, the end-game condition, and the availability of extra genuine coins. We present the winning positions and the Grundy numbers for these games.

The Grundy number of a graph is the maximum number of colours used by the "First-Fit" greedy colouring algorithm over all vertex orderings. Given a vertex ordering $σ= v_1,\dots,v_n$, the "First-Fit" greedy colouring algorithm colours the vertices in the order of $σ$ by assigning to each vertex the smallest colour unused in its neighbourhood. By restricting this procedure to vertex orderings that are connected, we obtain {\em connected greedy colourings}. For some graphs, all connected greedy colourings use exactly $χ(G)$ colours; they are called {\em good graphs}. On the opposite, some graphs do not admit any connected greedy colouring using only $χ(G)$ colours; they are called {\em ugly graphs}. We show that no perfect graph is ugly. We also give simple proofs of this fact for subclasses of perfect graphs (block graphs, comparability graphs), and show that no $K_4$-minor free graph is ugly. Moreover, our proofs are constructive, and imply the existence of polynomial-time algorithms to compute good connected orderings for these graph classes.

We extend the Grundy number and the ochromatic number, parameters on graph colorings, to digraph colorings, we call them {\emph{digrundy number}} and {\emph{diochromatic number}}, respectively. First, we prove that for every digraph the diochromatic number equals the digrundy number (as it happen for graphs). Then, we prove the interpolation property and the Nordhaus-Gaddum relations for the digrundy number, and improve the Nordhaus-Gaddum relations for the dichromatic and diachromatic numbers bounded previously by the authors in [Electron. J. Combin. 25 (2018) no. 3, Paper {\#} 3.51, 17 pp.]

The Grundy and the {\rm b}-chromatic number of graphs are two important chromatic parameters. The Grundy number of a graph $G$, denoted by $Γ(G)$ is the worst case behavior of greedy (First-Fit) coloring procedure for $G$ and the {\rm b}-chromatic number ${\rm{b}}(G)$ is the maximum number of colors used in any color-dominating coloring of $G$. Because the nature of these colorings are different they have been studied widely but separately in the literature. This paper presents a comparative study of these coloring parameters. There exists a sequence $\{G_n\}_{n\geq 1}$ with limited {\rm b}-chromatic number but $Γ(G_n)\rightarrow \infty$. We obtain families of graphs $\mathcal{F}$ such that for some adequate function $f(.)$, $Γ(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. This verifies a previous conjecture for these families.

The Grundy number of a graph $G$ is the maximum number of colors used by the First-Fit coloring of $G$ and is denoted by $Γ(G)$. Similarly, the ${\rm b}$-chromatic number ${\rm{b}}(G)$ of $G$ expresses the worst case behavior of another well-known coloring procedure i.e. color-dominating coloring of $G$. We obtain some families of graphs $\mathcal{F}$ for which there exists a function $f(x)$ such that $Γ(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. Call any such family $(Γ,b)$-bounded family. We conjecture that the family of ${\rm b}$-monotone graphs is $(Γ,b)$-bounded and validate the conjecture for some families of graphs.

A b-coloring of a graph is a proper coloring such that each color class has at least one vertex which is adjacent to each other color class. The b-spectrum of $G$ is the set $S_{b}(G)$ of integers $k$ such that $G$ has a b-coloring with $k$ colors and $b(G)=\max S_{b}(G)$ is the b-chromatic number of $G$. A graph is b-continous if $S_{b}(G)=[χ(G),b(G)]\cap \mathbb{Z}$. An infinite number of graphs that are not b-continuous is known. It is also known that graphs with girth at least 10 are b-continuous. A partial Grundy coloring is a proper coloring $f:V(G)\rightarrow \{1,\ldots,k\}$ such that each color class $i$ contains some vertex $u$ that is adjacent to every color class $j$ such that $j<i$. The partial Grundy number of $G$ is the maximum value $\partialΓ(G)$ for which $G$ has a partial Grundy coloring. In this work, we prove that graphs with girth at least 8 are b-continuous, and that the b-spectrum of a graph $G$ with girth at least 7 contains the integers between $2χ(G)$ and $b(G)$. We also prove that $\partialΓ(G)$ equals a known upper bound when $G$ is a graph with girth at least 7. These results generalize previous ones by Linhares-Sales and Silva (2017), and by Shi et al.(2005).