【美团杯2020】平行四边形解题报告

最新推荐文章于 2020-09-07 21:01:06 发布

xiehaoxuan

最新推荐文章于 2020-09-07 21:01:06 发布

阅读量218

点赞数

分类专栏：数论与数学方法

本文链接：https://blog.csdn.net/weixin_39872717/article/details/106254505

版权

数论与数学方法专栏收录该内容

11 篇文章 0 订阅

订阅专栏

本文是关于美团杯2020年竞赛中一道涉及原根的构造题目的解题报告。通过反证法证明了如何避免构成平行四边形，并提供了利用原根进行枚举的解决方案，时间复杂度为O(n)。

摘要由CSDN通过智能技术生成

原题地址：http://uoj.ac/problem/525

这是一道构造题，如果知道原根的话就容易想出来，不知道就很难做了。

题目 n+1 为质数以及 1-n 的排列已经暗示了要用原根（因为原根可以构造出一个排列，不会的可以去查查定义），那么怎么证明不会构成平行四边形呢？

使用反证法，考虑四个点 (a,g^a),(b,g^b),(c,g^c),(d,g^d) ，不妨设 $a\leq b\leq c\leq d$ ，若为平行四边形，则：

b-a=d-c,g^d-g^c=g^b-g^a

即：

$g^c(g^{d-c}-1)=g^a(g^{b-a}-1)$

由于 $b-a=d-c,g^{b-a}-1=g^{d-c}-1$

故 $g^c=g^a,a=c$

即： $a=c,b=d$ ，不成立。

证毕。

那么只需要枚举找到原根，然后直接输出 $(i,g^i\operatorname{mod}(n+1))$ 即可，时间复杂度为 O(tn^2) .

代码：

#include<cstdio>
using namespace std;
	int t,n;
int quickpower(int a,int b)
{
	int t = 1;
	while (b)
	{
		if (b & 1)
			t = t * a % (n + 1);
		a = a * a % (n + 1);
		b >>= 1;
	}
	return t;
}
int find(int m)
{
	for (int i = 2;i < m;i ++)
	{
		bool flag = false;
		for (int j = 1;j < m - 1;j ++)
			if (quickpower(i,j) == 1)
			{
				flag = true;
				break;
			}
		if (!flag)
			return i;
	}
}
int main()
{
	scanf("%d",&t);
	while (t --)
	{
		scanf("%d",&n);
		int g = find(n + 1);
		for (int i = 1;i <= n;i ++)
			printf("%d %d\n",i,quickpower(g,i));
	}
	return 0;
}