翻转硬币问题

一摞硬币共有n枚,全部正面朝上。第1次翻转第一个硬币，第2次最上面的2枚硬币,将整体拿出来，倒扣回去，第3次最上面的3枚硬币,将整体拿出来，倒扣回去，（如图所示）……直至n枚，然后再从一枚开始,重复刚才的做法。循环直到这摞硬币又都是正面朝上为止。例如,n为1时,翻两次即可.n为2时,翻3次即可；n为3时,翻9次即可；n为4时,翻11次即可；n为5时,翻24次即可……

问：翻转次数与n的关系

用 $1$ 表示硬币向上 $-1$ 表示硬币向下，设一共 $n$ 枚硬币, $n>=1$

现考虑从上至下第$t$枚硬币,设翻转次数为 $s$

由带余除法,令 $s=nj+i$ ( $j>=0$ $0<=i<n$ )

由于每翻转一次,翻转位置上面的(包括该翻转位置)硬币被翻面,所以不难证明 $s$ 次翻转后

第 $t$ 枚硬币的翻转状态 $S(s,n,t)=$

$(-1{)}^{(n-t+1)j+(i-t+1)}=(-1{)}^{nj+i+(1-t)(j+1)}=(-1{)}^{s+(t-1)(j+1)}$

当 $i>=t$

$(-1{)}^{(n-t+1)j}$ 当 $i<t$

问题转变为求对于任意 $1<=t<=n$ 使得 $S(s,n,t)=1$ 的最小正整数 $s_{min}$

为此只需考察 $-1$ 指数部分的奇偶性

事实上简单分析 $S(s,n,t)$ 的表达式可发现满足对于任意 $1<=t<=n$ 有 $S(s,n,t)=1$

的 $n,s$ 必须满足

$\left[\frac{s}{n}\right]$ 为偶数且 $n|s$

显然对固定的 $n$ 满足以上条件的 $s=2kn$ ( $k>=1$ )

故 $s_{min}=2n$

即对于 $n$ 枚硬币从全部正面朝上开始按题主翻转规则翻转使其再次正面朝上的最小翻转次数是 $2n$ 次

附详细分析

对固定的 $n(n>=2)$ 要使对于任意 $1<=t<=n$ 有 $S(s,n,t)=1$

的 $s$ 的详细求法分析如下

当 $j$ 为奇数时若 $n|s$ 则 $i=0$ ,从而 $t$ 从 $1$ 到 $n$ 变化时由于 $j$ 为奇数, $(n-t+1)j$ 会在奇数偶数之间来回变化,不符合要求

若 $n$ 不整除 $s$ ,由于 $j+1$ 为偶数,当 $t$ 从 $1$ 到 $i$ 变化时 $s+(t-1)(j+1)$ 的奇偶性和 $s$ 相同,

从而 $s$ 必须为偶数,而此时若$i$ 不等于 $n-1$ 由于 $j$ 为奇数当 $t$ 从 $i+1$ 到 $n$ 变化时$(n-t+1)j$ 会在奇数偶数之间来回变化,不符合要求

若 $i=n-1$ 当 $t=n$ 时由于 $j$ 是奇数有 $(n-t+1)j$ 为奇数同样不符合要求

当 $j$ 为偶数时若 $n|s$ ,则当 $t$ 从 $1$ 变动到 $n$ 时,由于 $j$ 为偶数故 $(n-t+1)j$ 为偶数符合要求

当 $n$ 除 $s$ 的余数 $i$ 大于等于 $2$ 时,由于 $j+1$ 为奇数当 $t$ 从 $1$ 变动到 $i$ 时 $s+(t-1)(j+1)$

会在奇数和偶数间来回变化不符合要求

当 $i=1$ 时, $t$ 取 $1$ 时 $s+(t-1)(j+1)=s$ ,从而 $s$ 必须为偶数这样符合要求

综上，只有满足 $j$ 为偶数, $n|s$ 或 $j$ 为偶数, $i=1$ ,$s$ 为偶数的 $n,s$ 符合要求

但 $j$ 为偶数, $i=1$ 时 $s$ 显然为奇数这和 $s$ 为偶数的要求矛盾，故不可能

所以当且仅当对固定的 $n$ 有 $n|s$ 且$j$为偶数的 $n,s$ 符合要求即

$\left[\frac{s}{n}\right]$ 为偶数且 $n|s$

也就是对固定的 $n$ 对于任意 $1<=t<=n$ 有 $S(s,n,t)=1$

的 $s$ 必须满足

$\left[\frac{s}{n}\right]$ 为偶数且 $n|s$ 这样就完成了对 $s$ 的推导

如果每次对前i个硬币翻转,再逆置，问题的难度会变得很大

如果用 $F_s(t)$ 表示从上到下第 $t$ 个位置在第 $s$ 次翻转后其上硬币的翻转状态

显然有 $F_0(t)=1$

$F_s(t)=-F_{s-1}(i+1-t)t<=i$

$=F_{s-1}(t)t>i$

其中 $i$ 是 $s-1$ 除以 $n$ 的余数加 $1$

如果能求出 $F_s(t)$ 的数学表达式,直接根据该表达式讨论满足 $F_s(t)=1$ 的最小正整数 $s$ 即可

但这个递推式如何求解，我没有头绪望高手解答