OFFSET
2,2
COMMENTS
The addsub game is played on a path with two vertices {u,v}. We define a configuration of the integers mod n on {u,v} by assigning weights wt(u) and wt(v).
An addsub move from u to v is a reassignment of weights given by wt(u) -> wt(u) - wt(v) (mod n) and wt(v) -> wt(u) + wt(v) (mod n). An addsub move from v to u is defined analogously.
The addsub configuration graph with respect to the integers mod n over {u,v} is the directed graph in which each node corresponds to a configuration (wt(u),wt(v)) and a directed edge from a configuration to the resulting configuration is attainable via a single addsub move.
REFERENCES
E. R. Berlekamp, J. H. Conway, and R. K. Guy, Winning Ways for Your Mathematical Plays, Vol. 1, CRC Press, 2001.
LINKS
E. Fiorini, M. Lind, A. Woldar, and T. W. H. Wong, Characterizing Winning Positions in the Impartial Two-player Pebbling Game on Complete Graphs, Journal of Integer Sequences, 24(6) (2021).
E. Fiorini, M. Lind, and A. Woldar, On Properties of Pebble Assignment Graphs, Graphs and Combinatorics, 38(2) (2022), 45.
E. Fiorini, G. Johnston, M. Lind, A. Woldar, and T. W. H. Wong, Cycles and Girth in Pebble Assignment Graphs, Graphs and Combinatorics, 38(5) (2022), 154.
EXAMPLE
For n=3, the (u,v) sequence of addsub moves forms the directed cycle (0,1)->(2,1)->(1,0)->(1,1)->(0,2)->(1,2)->(2,0)->(2,2)->(0,1). The (v,u) sequence of addsub moves forms the directed cycle (0,1)->(1,1)->(2,0)->(2,1)->(0,2)->(2,2)->(1,0)->(1,2)->(0,1). These two directed cycles form one weakly connected component. The isolated vertex (0,0) is a loop and forms the second weakly connected component. Therefore, a(3)=2.
MATHEMATICA
Upto=25;
Table[
VertexSet:={};
EdgeSet:={};
(* Compute configuration graph for integers mod n *)
Do[
Do[AppendTo[VertexSet, {i, j}];
AppendTo[EdgeSet, {i, j}\[DirectedEdge]{Mod[i-j, n], Mod[i+j, n]}];
AppendTo[EdgeSet, {i, j}\[DirectedEdge]{Mod[j+i, n], Mod[j-i, n]}],
{j, 0, n-1}],
{i, 0, n-1}];
(* Print n-th term *)
Length[WeaklyConnectedComponents[Graph[VertexSet, EdgeSet]]],
{n, 2, Upto}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Patrick G. Cesarz, Eugene Fiorini, Charles Gong, Kyle A. Kelley, Philip Thomas, and Andrew Woldar, Jun 26 2023
STATUS
approved