【原创】POJ 3372 Candy Distribution

POJ 3372 Candy Distribution

Description

N children standing in circle who are numbered 1 through N clockwise are waiting their candies. Their teacher distributes the candies by in the following way:

First the teacher gives child No.1 and No.2 a candy each. Then he walks clockwise along the circle, skipping one child (child No.3) and giving the next one (child No.4) a candy. And then he goes on his walk, skipping two children (child No.5 and No.6) and giving the next one (child No.7) a candy. And so on.

Now you have to tell the teacher whether all the children will get at least one candy?

Input

The input consists of several data sets, each containing a positive integer N (2 ≤ N ≤ 1,000,000,000).

Output

For each data set the output should be either “YES” or “NO”.

Sample Input

2
3
4

Sample Output

YES
NO
YES

翻译

有n个人围成圈圈，从0开始发糖，第i次发糖给a人以后，下一次给(a+i)%n人发，即顺时针数i个人。
给定n，问是否所有人都能吃到糖。

分析

首先发现是有循环节的（难道没有吗），n为奇数的时候循环节为n，n为偶数的时候循环节为2n，而且发现循环节都是对称的，也就是说，只需要跑{$\genfrac{}{}{0ex}{}{n/2+1,n为奇数}{n,n为偶数}$次就可以了。
其实奇数就是第n次会回到0，所以循环节的长度是偶数的一半。

所以再次暴力，每个数只跑那么多次。这样可以比较快速的判断（小数据），发现只有2的幂才输出YES。

但是为什么呢？
记$f(i)$代表第i次给谁糖吃，显然$f(i)=\frac{i\ast (i-1)}{2}\mathrm{m}\mathrm{o}\mathrm{d}n$。（i从0开始的）
首先解释为什么会出现循环.。
第一步，证明$f(i)=f(i-2n)(i\ge 2n)$。这个很显然可以跳过。（我想了好久）
$$\begin{array}{rl}& f(i)=0+1+2+3+\cdots +(i-1)\mathrm{m}\mathrm{o}\mathrm{d}n=f(i-2n)+f(2n)(\mathrm{m}\mathrm{o}\mathrm{d}n)\\ & 即证f(2n)=0\\ & f(2n)=2\ast [0+1+2+3+\cdots +(n-1)]=n\ast (n-1)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)\\ & \\ & 然后奇数的循环节是n是因为f(n)=0，证明也很显然：\\ & f(n)=n\ast \frac{(n-1)}{2}\equiv 0当且仅当\frac{(n-1)}{2}为整数即n为奇数\\ & \\ & \end{array}$$

第二步，证明是对称的，比方说$对于n为偶数，有f(i)=f(2n-i-1)(0\le i<n)$（注意以下的i是从0开始的）
$等价于证f(2n-i-1)-f(i)\equiv {\sum }_{i+1}^{2n-i-1}=n(2n-2i-1)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)。$
这就很显然了。
对于奇数呢？
$f(i)=f(n-i-1)(0\le i<\frac{n-1}{2})⟺{\sum }_{i+1}^{n-i-1}=\frac{n(n-2i-1)}{2}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)$
$显然当n为奇数时，(n-2i-1)为偶数能消掉分母2，然后这个式子就是n的倍数了。$

第三步，迅速发现根据类似于鸽笼原理的原理，奇数肯定不行，因为它循环节为$n$，而且$n$个还是对称的，也就是说，循环节里最多只会有$n/2+1$个不同的数，不可能填满$n$个人。

第四步，那么对于偶数呢？因为循环节是$2n$，而前$n$个和后$n$个是对称的，因此我们只能期待这前$n$个能把$n$个人走完。这就要求前$n$个人里没有重复的。换句话来说，$f(i)$要构成$n$的完全剩余系。

警告：以下注释中的求法极丑，建议跳过注释里的内容。
/*
$$\begin{array}{rl}& 现在我们要找出对于怎样的偶数n，使得f(i),0\le i<n中存在或是不存在相等的两项。\\ & 设存在0\le j<i<n使得f(i)=f(j)，则有f(i)-f(j)\equiv \sum _{j+1}^i=\frac{(i+j+1)(i-j)}{2}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)\\ & 易发现(i+j+1)与(i-j)异奇偶性，于是分类讨论：\\ & 1.如果i-j是偶数，则i+j+1是奇数：\\ & ①如果\frac{i-j}{2}是奇数，也就是说奇数\ast 奇数\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)。\\ & 那么当n是n=(2p+1)\ast (2q+1)的形式时，我们一定可以找到一对不相等的i,j使得f(i)=f(j)。\\ & 为什么呢？我们随意列一个一元二次方程组\{\begin{array}{l}i+j+1\equiv 2p+1\\ \frac{i-j}{2}\equiv 2q+1\end{array}\\ & 然后解得\{\begin{array}{l}i\equiv p+2q+1\\ j\equiv p-2q-1\end{array}，只要i\ne j，就可行，而这显然是可行的。\\ & 再说了，我们在第三步不是已经论证完了n为奇数的时候吗？\\ & ②如果\frac{i-j}{2}是偶数，发现对于n=(2t+1)\ast 2^k这种形式，也可以找到i,j。\\ & （这次要分奇偶来列式因此不能随便地）列一个一元二次方程组\{\begin{array}{l}i+j+1\equiv 2t+1\\ \frac{i-j}{2}\equiv 2^k\end{array}\\ & 解得\{\begin{array}{l}i\equiv t+2^k\\ j\equiv t-2^k\end{array}，这个i和j也显然不相等。故成立。\\ & 2.如果i-j是奇数，可以进行类似的讨论得出相同的结果。\\ & 综上所述，只要n有奇因子，就一定可以找出i\ne j，f(i)=f(j)。\\ & 所以当且仅当n为2^k时，输出yes，否则输出no。\end{array}$$
*/

上了个厕所回来，我发现以上写的太丑了于是重写了一份：
$$\begin{array}{rl}& 既然n是偶数了，设n=(2t+1)\ast 2^k。\\ & 那么现在我们要试图找出一对不相等的数i,j，使得f(i)=f(j)。\\ & 设0\le j<i<n，则有f(i)-f(j)\equiv \sum _{j+1}^i=\frac{(i+j+1)(i-j)}{2}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)\\ & 易发现(i+j+1)与(i-j)异奇偶性，所以我们分类讨论：\\ & 如果(i+j+1)是奇数，则(i-j)是偶数，而且\frac{i-j}{2}还得是偶数；\\ & 于是这种情况下我们就可以列出方程：\{\begin{array}{l}i+j+1\equiv 2t+1\\ \frac{i-j}{2}\equiv 2^k\end{array}\\ & 解得\{\begin{array}{l}i\equiv t+2^k\\ j\equiv t-2^k\end{array}，如果这个i和j不相等的话，说明可以找到f(i)=f(j)的，就要输出no；如果i和j相等的话，就说明找不到相同的f值，也就可以输出yes。\\ & 那么到底什么时候i,j相等呢？随便搞搞就知道当且仅当t=0时，即n=2^k时，输出yes，否则输出no。\\ & 如果(i-j)是奇数，可以用类似的步骤得出同一个结论。（应该吧）\end{array}$$

第五步，写代码。

至于判断一个数是不是2的幂的方法，略。

代码

#include<cstdio>
int n;
int main()
{
	while(scanf("%d",&n)!=EOF)
	{
		while(n%2==0) n/=2;
		puts(n==1?"YES":"NO");
	}
}

说在后面

写题解写了我两天？
8月22号的两小时+8月30号的两小时？
这代码能写两分钟吗？

还有不知道为什么我看着这个代码总觉得瘆人。