C. Product 1 Modulo N（裴蜀定理、逆元）

题目传送门

题意： 给你一个正整数$n$，让你在区间$[1,n-1]$中找出一个最长子序列$t_i$，使得$\prod _{i=1}^k{t}_i\mathrm{m}\mathrm{o}\mathrm{d}n=1$。

思路： 首先，假定我们选择的序列包含数$a$,设其他数的乘积为$x(\mathrm{m}\mathrm{o}\mathrm{d}n)$，那么就有$a\ast x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$，也就是$x$是$a$的逆元。那么$a$就要满足$gcd(a,n)=1$，否则$a$没有逆元，不可能入选。（至于证明，就是$exgcd$求逆元的过程，用到裴蜀定理。）

我们把所有与n互质的数在模$n$意义下乘起来，可以得到一个小于$n$的数$ans$，$ans$一定与$n$互质（辗转相除的原理）。那么$ans$一定在前面出现过，如果$ans\ne 1$，那么在答案序列中把那个数删掉就行了。
假设出了$ans$以外，其他数的乘积为$y$，那么就有$ans\ast y\mathrm{m}\mathrm{o}\mathrm{d}n=ans$,得到$y\mathrm{m}\mathrm{o}\mathrm{d}n=1$。

代码：

#define int long long
signed main()
{
	int n;
	cin>>n;
	int tot = 1;
	vector<int>ans;
	for(int i=1;i<=n-1;i++)
	{
		if(__gcd(i,n)==1)
		{
			tot = tot * i % n;
			ans.pb(i);
		}
	}
	tot %= n;
	if(tot!=1)
	{
		for(auto it = ans.begin();it!=ans.end();it++)
		{
			if(*it == tot)
			{
				ans.erase(it);
				break;
			}
		}
	}
	cout<<ans.size()<<endl;
	for(auto i:ans)
		cout<<i<<" ";
	
 
 
	return 0;
}