抽屉原理（鸽笼原理）的应用

本博客为 OI 与 组合数学 (Combinatorics) 的结合

将 $n+1$ 个物体放入 $n$ 个抽屉中，至少存在一个抽屉有两个物体

例题：Find a Multiple

https://acm.timus.ru/problem.aspx?space=1&num=1032

https://vjudge.net.cn/problem/EOlymp-5621

http://poj.org/problem?id=2356

以上三个网址都可以，看个人喜好，推荐用第二个https://vjudge.net.cn/problem/EOlymp-5621

题意

给你 $n$ 个数，选出若干个使得他们的和为 $n$ 的整数倍，输出这些数

思路

结论：一定存在一段连续子序列，使得他们的和为 $n$ 的倍数

证明：

定义数组 $s$ 为 数组 $a$ 的前缀和 对 $n$ 取模的值，$s_0=0,s_1=a_1\mathrm{mod}n,s_2=(a_1+a_2)\mathrm{mod}n,...,s_n=(a_1+a_2+...+a_n)\mathrm{mod}n$

则共有 $n+1$ 个整数（注意下标是从 $0$ 开始的）的范围是 $0\le s_i\le n-1$ 且 $s_i$ 为整数

∵ 这个区间内的整数只有 $n$ 个

∴ 必存在两个 $s_i$ 相等。

设 $s_p=s_q$ ，则 $s_q-s_p=0$
$$\{\begin{array}{l}{s}_q-s_p\\ =\sum _{i=1}^q\mathrm{mod}n-\sum _{i=1}^p\mathrm{mod}n\\ =\sum _{i=p+1}^q\mathrm{mod}n\\ =0\end{array}$$
即：$(a_{p+1}+a_{p+2}+...+a_q)\mathrm{mod}n=0$

C++ 代码

无多余空格代码：

#include<bits/stdc++.h>
using namespace std;
const int maxn=200005;
int n;
int v[maxn];
int sum[maxn];
vector<pair<int,int> > ve;
int main(){
	cin>>n;
	for(int i=1;i<=n;i++){
		cin>>v[i];
	}
	for(int i=1;i<=n;i++){
		sum[i]=(sum[i-1]+v[i])%n;
		ve.push_back(make_pair(sum[i],i));
	}
	sort(ve.begin(),ve.end());
	int i;
	for(i=1;i<ve.size();i++){
		if(ve[i].first==ve[i-1].first){
			break;
		}
	}
	cout<<ve[i].second-ve[i-1].second<<endl;
	for(int s=ve[i-1].second+1;s<=ve[i].second;s++){
		cout<<v[s]<<endl;
	}
	return 0;
}

标准版代码：

#include <bits/stdc++.h>
using namespace std;
const int maxn = 200005;
int n;
int v[maxn];
int sum[maxn];
vector<pair<int, int> > ve;
int main(){
	cin >> n;
	for (int i = 1; i <= n;i ++) {
		cin >> v[i];
	}
	for (int i = 1; i <= n;i ++) {
		sum[i] = (sum[i-1] + v[i]) % n;
		ve.push_back(make_pair(sum[i], i));
	}
	sort (ve.begin(), ve.end());
	int i;
	for (i = 1; i < ve.size(); i ++) {
		if (ve[i].first == ve[i-1].first) {
			break;
		}
	}
	cout << ve[i].second - ve[i-1].second << endl;
	for (int s = ve[i-1].second+1; s <= ve[i].second; s ++) {
		cout << v[s] << endl;
	}
	return 0;
}