CF1514C. Product 1 Modulo N(数论)（补题）

题目链接

大意：
给你一个数n，让你从1至n-1中选择最多的数相乘，使乘积模n为1.

先说结论：
选出所有与n互质的数进行相乘
（1）乘积模n为1，满足条件，输出这些数
（2）乘积模n不为1，设p=乘积%n。将数p从答案中拿出，输出剩余的数

为什么结论成立：
（1）为什么要取所有互质的数，取不互质的可以吗？
答：当你选取了一个与n不互质的数进行相乘，你的乘积prod（以下称为prod）将不再与n互质，这意味着prod%n可变为（此时设g=gcd(n,prod)）prod%n=(prod/g)%(n/g)*g
结果必然是大于1（因为g大于1）的，不满足条件，因此选择互质数的结论成立。
（2）为什么p一定存在于即将输出的数中，它会不会不在里面呢？
答：p这个数，是由所有与n互质的数模n得到的,因为gcd(prod,n)=1可得gcd(p=prod%n,n)=1,必定与n互质，又由于p<n，在1至n-1之间，所以p存在得证。删去p之后prod除p，正好由p变为1，所以也只要删掉这一个数即可满足。

最后，这场的感触：

蓝绿之期，不但在天
晚睡之福，可得永年

代码：

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<string>
#include<cmath>
#include<queue>
#include<vector>
#include<map>

using namespace std;

int main()
{
	ll n;
	scanf("%lld",&n);
	vector<ll> ans;
	ll prod = 1;
	for(ll i=1;i<=n-1;++i)
	{
		if(__gcd(n,i)==1)
		{
			ans.push_back(i);
			prod *= i;
			prod %= n;
		}
	}
	if(prod==1)
	{
		printf("%d\n",ans.size());
		for(int i=0;i<ans.size();++i)
		{
			printf("%lld ",ans[i]);
		}
		printf("\n");
	}
	else
	{
		printf("%d\n",ans.size()-1);
		for(int i=0;i<ans.size();++i)
		{
			if(ans[i]!=prod)
			printf("%lld ",ans[i]);
		}
		printf("\n");
	}
	return 0;
}