Last edited by realnumber 2021-7-1 12:23可能没理解你的要求,17楼的结论每条结论应该利用这个性质,可以快速得到
性质:操作一次,可以增加±k,或±(k-2)或±(k-3)...个反面,
其中第一次操作因为都是正面,一定是+k,最后一次要全部翻为反面也是+k;
中间某次操作,有一个反重新变为正,其他k-1个正变为反,那么就是+(k-2)个反面,余者类似
充分性:先对前面几个依次翻转,共做$(p-2)$次翻转,此时正面向上的硬币还有$n'=n-(p-2)k$个,先证明$0<n'<2k$。因为$p$是不小于$[\frac{n}{k}]+1$的最小偶数,当$[\frac{n}{k}]$是奇数时$p=[\frac{n}{k}]+1$,当$[\frac{n}{k}]$是偶数时$p=[\frac{n}{k}]+2$。因此总有$[\frac{n}{k}]+1 \le p \le [\frac{n}{k}]+2$。