This section is mostly meant to serve as a reference for the names and symbols introduced in what follows. However, a first brief look can serve as a good warm-up.
Denote by the -th card on the deck. The deck is thus given by the sequence , of which there exist 98! distinct ones. As is discussed in this tangent though, for the purpose of this problem, a number of them are “isomorphic”, or “pretty much the same”, by mirror symmetry. Naturally, for all .
Label by the hand of the player. In the case of multiple players, superscript each player by their order, i.e. denotes the hand of the -th player. As this is not constant, and since this is a turn-based game, the hand will vary according to each turn. We can thus illustrate this by subscripting by the hand after the -th round, and call the hand of the -th player after the cards have been dealt. Note that the subscript varies according to the amount of players. Its range will be specified for the case studied. It is easy to see that for the 1-player game, we can take , and for the 2-player game . Note also that while in the hand, the cards behave as a set so their ordering doesn’t matter, as opposed to their position in the deck configuration .
Label by the two piles going up and by the two piles going down. As the order of them doesn’t have an effect in the game we don’t care about serialising them.
We refer to the set of rules of the game by .
In summary:
: the -th card on the deck
: a configuration of the deck
: the hand of the -th player after the -th turn. For the 1-player game, the player subscript is omitted.
: the ascending piles
: the descending piles
: the set of rules of the game
Notation from A subsequence formulation
Summary of Notation from A subsequence formulation
: the minimum number of subsequences that partition the sequence
: the maximum number attained by for all that are permutations of the numbers to
the alternative ruleset where no cards are drawn to begin with, and a player must play the top card of the deck as drawn.