【Atcoder】AGC031 C-F简要题解

这一场涉及了很多我不熟悉的技巧，都是神仙题

---

*C.Differ by 1 Bit

考试的时候想了好久

$A\to B$的过程等价于$0\to AxorB$，考虑如何判断$0\to X$是否可行

归纳位数$w$构造：

• 初始$w=1$，$0\to 1$
• 对于$w>1$，固定$X$中为$1$的一位$b$，剩下的$w-1$位在前$2^{w-1}-1$次操作后变成某个数(这个过程中保持$b=0$)，下一步$b:=1$，然后在后$2^{w-1}-1$次剩下的$w-1$位又可以倒序执行前面的操作得到$0$。最终可以得到一个只有$b$这位为1的数。
  考虑归纳这个过程，剩余$w-1$位最终必然得到了偶数个$1$：
  • $0\to 1\to 0$得到$0$个$1$，$w=2$时成立
  • 设已知$w-1$位时成立，则前$2^{w-1}-1$次操作除$b$位一定能得到奇数个$1$，后$2^{w-1}-1$次操作相当于这个有奇数个1的数异或上另一个有奇数个1的数，必然得到偶数个1，成立。。
• 所以任意$X$有奇数个$1$的情况都可以递归构造出解。

详见代码

#include<bits/stdc++.h>
#define RI register
using namespace std;
const int N=(1<<17)+10,mod=1e9+7;
typedef long long ll;

int n,A,B,bs;
int bel[N],tim;
int ans[N],cnt,S;
bool vs[N];

inline int cont(int x)
{
   
	int re=0,i;
	for(i=0;i<n;++i) if((x>>i)&1) re++;
	return re;
}

vector<int> cal(int t,int x)
{
   
	vector<int>re;re.resize((1<<t));
	if(t==1){
   re[1]=1;return re;}
	int pos,i;
	for(i=0;i<t;++i) if((x>>i)&1) {
   pos=i;break;}
	vector<int>nw;
	nw=cal(t-1,1);
	for(i=0;i<(1<<(t-1));++i) re[i]=(((nw[i]>>pos)<<(pos+1))|(nw[i]&((1<<pos)-1)));
	nw=cal(t-1,(((x>>(pos+1))<<pos)|(x&((1<<pos)-1)))^1);
	for(i=0;i<(1<<(t-1));++i){
   
		if(pos>0) re[i+(1<<(t-1))]=1^((1<<pos)|((nw[i]>>(pos))<<(pos+1))|(nw[i]&((1<<pos)-1)));
		else re[i+(1<<(t-1))]=1|((nw[i]^1)<<1);
	}
	return re;
}

int main(){
   
	int i,j,x,y;
	scanf("%d%d%d",&n,&A,&B);
	S=(1<<n);bs=A;B^=A;
	if(cont(B)%2==0) {
   puts("NO");return 0;}
	puts("YES");
	vector<int> as=cal(n,B);
	for(i=0;i<S;++i) printf("%d ",as[i]^A);
	return 0;
}

---

**D.A Sequence of Permutations

抽象代数一脸懵，真是伤脑筋(竟以为自己能找出规律，too young too naive)

设存在排列$p,q,t$，定义置换运算乘法：$t=pq$，则$t_i=p_{q_i}$，$g=p^{-1}$表示$p$的逆变换，$g_{p_i}=i$，存在性质$(pq{)}^{-1}=q^{}$