下面這個問題來自於IMO2010中的第5題。桌子上有B1、B2、B3、B4、B5、B6共六個盒子,初始時每個盒子裡面都有一枚硬幣。允許以下兩種操作:(1)選擇一個非空的盒子Bj(1≤j≤5),從Bj里拿走一枚硬幣,然後在Bj+1里添加兩枚硬幣。
(2)選擇一個非空的盒子Bk(1≤k≤4),從Bk里拿走一枚硬幣,然後交換Bk+1和Bk+2裡面的硬幣數(這兩個盒子里的硬幣數都有可能是0)。是否有可能通過有限次操作,使得最後B1、B2、B3、B4、B5都是空的,並且B6裡面恰好有2010^(2010^2010)枚硬幣(符號^表示乘方)?
對於哪些n,存在一個1到n-1的排列S_1, S_2, …, S_n-1,使得T_1, T_2, …, T_n-1也是一個1到n-1的排列,其中,
T_1 = S_1 mod n,
T_2 = (S_1 + S_2) mod n,
T_3 = (S_1 + S_2 + S_3) mod n,
…….
T_n-1 = (S_1 + S_2 + … + S_n-1) mod n.