arXiv++ Combinatorics

Bulgarian solitaire is a well-studied, no-choice, no-loss, one-player game involving stacks of cards. More formally, it is a self-map on the set of partitions of a fixed integer $n.$ As a finite dynamical system, its long-term behavior is well understood. Every trajectory ends in a cycle. The partitions that are in a cycle are parameterized by binary vectors, and the cycles by binary necklaces. Call a partition separated if distinct part sizes differ by at least two. The vast majority of partitions belonging to a cycle are not separated. Motivated by this fact, we consider a variant where the player has choices, but is restricted to separated partitions and, if unable to make a legal move, may lose. We prove that for $n>73$, there are cycles, and hence winning initial positions. We analyze the game for small values of $n$ and describe computations which, together with our main result, show that there are cycles for $n \in \{2,6,8,11,14,16,18,21\}$ and for $n \ge 23$, but for no other $n.$

We investigate a variant of Nim called Halve Nim, which in addition to the standard moves of Nim, we allow replacing each pile of coins with half its amount. We determine the P-positions of all two-pile games of Halve Nim. Also, we determine the P-positions of all three-pile games of Halve Nim in which one pile has at most ten coins.

For a graph G = (V, E) embedded in the Klein bottle, let F(G) denote the set of faces of G. A C_4-face-magic Klein bottle labeling on G is a bijection f: V(G) to {1, 2,..., |V(G)|} such that for any F in F(G) with F isomorphic C_4, the sum of all the vertex labelings along C_4 is a constant. We say that a C_4-face-magic labeling X={x_{i,j} : 0< i,j< 5} on the 4x4 Klein bottle grid graph is horizontally (or vertically) pairwise balanced if x_{2i-1,j} + x_{2i,j}=17 for 0< i <3 and 0< j \le <5 (or x_{i,2j-1} + x_{i2,j}=17 for 0< i <5 and 0< j <3). We show that the 4x4 Klein bottle grid graph has 192 C_4-face-magic labelings up to symmetries on a Klein bottle. We classify these labelings into two categories depending on whether a C_4-face-magic label preserving permutation of the labeling is either horizontally pairwise balanced or vertically pairwise balanced. These results extend known results on C_4-face-magic labelings on an mxn Klein bottle grid graph.

A prime labeling on a graph of order $m$ is an assignment of $\{ 1, 2, \ldots, m \}$ to the vertices of the graph such that each pair of adjacent vertices has coprime labels. The ladder of order $2n$ is the $2 \times n$ grid graph graph $P_2 \times P_n$. In a recent paper, Dean claimed a proof of the Prime Ladder Conjecture that every ladder has a prime labeling. We point out a flaw in Dean's construction, showing that a stronger hypothesis is needed for it to hold. We conjecture that this stronger hypothesis is true. We also offer an alternative construction inspired by Dean's approach which shows that if the Even Goldbach Conjecture and a particular strengthening of Lemoine's Conjecture are true then the Prime Ladder Conjecture follows.

For a graph $G = (V, E)$ embedded in the projective plane, let $\mathcal{F}(G)$ denote the set of faces of $G$. Then, $G$ is called a $C_n$-face-magic projective graph if there exists a bijection $f: V(G) \to \{1, 2, \dots, |V(G)|\}$ such that for any $F \in \mathcal{F}(G)$ with $F \cong C_n$, the sum of all the vertex labels around $C_n$ is a constant $S$. We consider the $m \times n$ grid graph, denoted by $\mathcal{P}_{m,n}$, embedded in the projective plane in the natural way. Let $m \geqslant 3$ and $n \geqslant 3$ be odd integers. It is known that the $C_4$-face-magic value of a $C_4$-face-magic labeling on $\mathcal{P}_{m,n}$ is either $2mn+1$, $2mn+2$, or $2mn+3$. The characterization of $C_4$-face-magic labelings on $\mathcal{P}_{m,n}$ having $C_4$-face-magic value $2mn+2$ is known. In this paper, we determine a category of $C_4$-face-magic labelings on $\mathcal{P}_{m,n}$ for which the $C_4$-face-magic value is either $2mn+1$ or $2mn+3$. It is conjectured that these are the only $C_4$-face-magic labeling on $\mathcal{P}_{m,n}$ having $C_4$-face-magic value $2mn+1$ or $2mn+3$.

For a graph $G = (V, E)$ embedded in the Klein bottle, let $\mathcal{F}(G)$ denote the set of faces of $G$. Then, $G$ is called a $C_k$-face-magic Klein bottle graph if there exists a bijection $f: V(G) \to \{1, 2, \dots, |V(G)|\}$ such that for any $F \in \mathcal{F}(G)$ with $F \cong C_k$, the sum of all the vertex labelings along $C_k$ is a constant $S$. Let $x_v =f(v)$ for all $v\in V(G)$. We call $\{x_v : v\in V(G)\}$ a $C_k$-face-magic Klein bottle labeling on $G$. We consider the $m \times n$ grid graph, denoted by $\mathcal{K}_{m,n}$, embedded in the Klein bottle in the natural way. We show that for $m,n\ge 2$, $\mathcal{K}_{m,n}$ admits a $C_4$-face-magic Klein bottle labeling if and only if $n$ is even. We say that a $C_4$-face-magic Klein bottle labeling $\{x_{i,j}: (i,j) \in V(\mathcal{K}_{m,n}) \}$ on $\mathcal{K}_{m,n}$ is equatorially balanced if $x_{i,j} + x_{i,n+1-j} = \tfrac{1}{2} S$ for all $(i,j) \in V(\mathcal{K}_{m,n})$. We show that when $m$ is odd, a $C_4$-face-magic Klein bottle labeling on $\mathcal{K}_{m,n}$ must be equatorially balanced. Also when $m$ is odd, we show that (up to symmetries on the Klein bottle) the number of $C_4$-face-magic Klein bottle labelings on the $m \times 4$ Klein bottle grid graph is $2^m \, (m-1)! \, τ(m)$, where $τ(m)$ is the number of positive divisors of $m$. Furthermore, let $m\ge 3$ be an odd integer and $n \ge 6$ be an even integer. Then, the minimum number of distinct $C_4$-face-magic Klein bottle labelings $X$ on $\mathcal{K}_{m,n}$ (up to symmetries on a Klein bottle) is either $(5\cdot 2^m)(m-1)!$ if $n \equiv 0\pmod{4}$, or $(6\cdot 2^m)(m-1)!$ if $n \equiv 2\pmod{4}$.

Suppose G is a finite group, such that |G| = 16p, where p is prime. We show that if S is any generating set of G, then there is a hamiltonian cycle in the corresponding Cayley graph Cay(G;S).