http://acm.hdu.edu.cn/showproblem.php?pid=1210

開始尋找規律，找了好久想不出，最終想到了追蹤第一張牌來進行求解！O(∩_∩)O~


雖然做時不知道為什么！但是事后我在網上搜到了證明方法！

洗牌問題：
很多人都是跟蹤第一張牌來完成的，大家會不會證明呢？

定理1：當第一張牌(牌1)回到初始位置時，所有的牌都回到了初始位置。

證明：設有一次操作，某牌在操作前處于位置r(1<=r<=2*N)，那么，操作后，如果r原來是前一半的，顯然r'=r*2; 否則，r'=(r-n)*2-1，即r'='r*2-(N*2+1);
將兩個式子綜合，可以得到r'= (r*2)%(N*2+1);
根據同余定理之一 ((i%m)*j)%m=(i*j)%M，可以整理出公式：i次操作后，該牌的位置為：
(r*(2^i))%(N*2+1);其中^表示乘方。
現在，我們假設經過M次操作后，牌1回到了初始位置，即(1*(2^M))%(N*2+1)=1時，再次應用同余定理，可以證明對于任意的k(1<=k<=2*N)，有(k*(2^M))%(N*2+1)=k，翻譯成自然語言就是：當第一張牌回到初始位置時，所有的牌都回到了初始位置。命題得證。

定理2：一定存在某次操作M，這次操作后，所有的牌都回到了初始位置。
證明：我們已經證明了牌1回到初始位置時，所有的牌都回到初始位置，所以我們只需要證明牌1可以回到初始位置，即(2^M)%(N*2+1)=1一定有正整數解。證明這個定理前我們首先證明這樣一個定理：
定理2.1：(2*r)%(2*n+1)==t
當t確定為1到2*n中的某值時(1<t<=2*n)，r在1到2*n間有唯一解
因為2*n+1是奇數，我們只要看一下就會發現r到t是一個一一映射，當t為偶數時，顯然r=t/2，當t為奇數時，r=(t+1)/2+n，

現在我們來證明定理2。運用反正法，若牌1永遠不能回到初始位置，根據鴿籠定理，牌1必然陷入了某個不包含位置1的循環，因為下一狀態僅和當前狀態有關，當前狀態最多只有2*N種，所以顯然一定在不超過2*N+1次操作內出現重復狀態。而重復狀態則意味著循環。
因為我們假設這一循環不包括位置1，我們設f(i)為循環中某狀態，f(0)=1,f(n+1)=(f(n)*2)%(2*N+1)，f(j)為若干次循環后出現的重復狀態，即f(i)=f(j)。因為循環一直持續，不妨假設j>i+i。又因為循環不包括狀態1，即對于任意的k>=i，f(k)!=1
根據定理2.1，我們可以根據當前狀態推出上一狀態，換句話說，若f(i)=f(j)，則f(i-1)=f(j-1)。繼續套用定理2.1，可以得到f(i-i)=f(j-i)，即：f(j-i)=f(0)=1。又有假設j>i+i，即j-i>i，與另一假設對于任意的k>=i，f(k)!=1矛盾。
因此，可以證明，牌1所陷入的循環，必然是包含位置1的，即一定有某次操作，操作后牌1回到了初始狀態。而且顯然的，初始狀態就是這循環中的一個狀態。
因此命題得證。