MathDB
CNCM Online R1P7

Source:

September 2, 2020

Problem Statement

Three cats--TheInnocentKitten, TheNeutralKitten, and TheGuiltyKitten labelled P1,P2,P_1, P_2, and P3P_3 respectively with Pn+3=PnP_{n+3} = P_{n}--are playing a game with three rounds as follows:
[*] Each round has three turns. For round r{1,2,3}r \in \{1,2,3\} and turn t{1,2,3}t \in \{1,2,3\} in that round, player Pt+1rP_{t+1-r} picks a non-negative integer. The turns in each round occur in increasing order of tt, and the rounds occur in increasing order of rr. \newline \newline [*] Motivations: Every player focuses primarily on maximizing the sum of their own choices and secondarily on minimizing the total of the other players’ sums. TheNeutralKitten and TheGuiltyKitten have the additional tertiary priority of minimizing TheInnocentKitten’s sum. \newline \newline [*] For round 22, player P2P_{2} has no choice but to pick the number equal to what player P1P_{1} chose in round 11. Likewise, for round 33, player P3P_{3} must pick the number equal to what player P2P_{2} chose in round 22. \newline \newline [*] If not all three players choose their numbers such that the values they chose in rounds 1,2,3 form an arithmetic progression in that order by the end of the game, all players' sums are set to 1-1 regardless of what they have chosen. \newline \newline [*] If the sum of the choices in any given round is greater than 100100, all choices that round are set to 00 at the end of that round. That is, rules 22, 33, and 44 act as if each player chose 00 that round. \newline \newline [*] All players play optimally as per their motivations. Furthermore, all players know that all other players will play optimally (and so on.)

Let AA and BB be TheInnocentKitten's sum and TheGuiltyKitten's sum respectively. Compute 1000A+B1000A + B when all players play optimally.
Proposed by Harry Chen (Extile)