【学习笔记】AGC036

ABC String

• 神仙贪心题
• 考虑基本的转化，对于一串相同的字母只保留一个
• 不妨设$cnt[A]\le cnt[B]\le cnt[C]$
• 假设我们已经知道了保留的$A$的位置，那么把未保留的$A$全部删掉，对于相邻的相同的字母仍然只保留一个
• 设$p$,$q$,$r$表示$A$,$B$,$C$出现的次数，因为删除一个$A$最多去掉一个$B$或$C$，所以$p\le q$,$p\le r$
• 假设$q=r$，那么可以重复删除$BC$直到$p=q=r$。因为考虑$A$隔开的若干子串，如果长度$\ge 4$那么就会出现$BCBC$的结构，可以删去中间的$BC$，如果长度$=3$就会出现$ABCBA$的结构，可以删去中间的$BC$或$CB$，而根据鸽巢原理一定会有一段落入至少$3$个字母（两端只能最多放一个字母）
• 假设$q<r$，继续寻找必要条件，设含$B$的子段数目为$x$，只含一个$C$的子段数目为$y$，若$x<y$，那么无论如何删除$B,C$，它们的出现次数都不会相同。若$x\ge y$，那么我们总能删除一些$C$使得$B,C$出现次数相同，这是因为我们总能对含$B$的子段进行改造，使得这一段中$B$的数目比$C$多$1$
• 回到原问题。问题转化为删除最少的$A$使得留下的序列合法
• 那么一个合法的序列应该满足：
• 含$B$的串大于等于$C$的单位串，含$C$的串大于等于$B$的单位串
• 不妨验证其正确性：当$q<r$时，因为合法所以含$B$的串大于等于$C$的单位串，同时反证法可以证明此时含$C$的串大于等于$B$的单位串 雾，卡了很久。当 $q=r$ 时，若含$B$的串小于$C$的单位串，同样可以推出$B$的数目比$C$少，与前提矛盾
• 设原序列中含$B$串数目为$b1$，$B$的单位串数目为$b2$，含$C$串数目为$c1$，$C$的单位串数目为$c2$。
• 如果$b1\ge c2$,$c1\ge b2$那么可以把所有的$A$保留下来。
• 否则不妨设$b1<c2,c1\ge b2$
• 然后我们每次删$A$最多只能让$c2$减$1$而不能让$b1$变大
• 那么模拟删$A$，模拟输出方案即可
• 复杂度$O(n)$
• AC Code
• 该死调了一下午的大模拟

Modulo Matrix

• 虽然乱搞过了但是还是学一下正解
• 首先可以黑白染色考虑
• 考虑对每条穿过黑色格子的斜对角线和正对角线分配质数$p$
• 每个黑色格子上的数就是穿过它的正对角线和副对角线上质数的乘积
• 每个白色格子上的数就是上下左右四个数的$\text{lcm}$加一，即$4$个小质数的乘积加一
  算下来差不多就在$10^{15}$左右

Flipper

有没有那个大佬教我怎么乱搞啊

组合优化趣题

两个状态互相可达，当且仅当每一列$1$的奇偶性相同，每一行模$3$位置的异或和完全相同或全部取反。

考虑证明。显然转移是双向的，所以$A$,$B$能转移到一个相同的状态就相互可达。

那么构造成一个大小为$(10^9-1)\times (10^9-2)$的全是$0$的矩阵即可。

令$p[i]={\oplus }_{x}a[x][i]$，$q[x][i]={\oplus }_{y}a[x][y](y\mathrm{mod}3=i)$

考虑构造$a[i]={\oplus }_{x}q[x][i]$，$b[i]={\sum }_{x}p[x](x\mathrm{mod}3=i)$

那么剩下的$1$的个数是${\sum }_{i=0}^2\max (a[i],b[i])$。注意到$b[i]$是定值，因此我们只需要把偶数个$q[x]$ 取反，使得上式最小。

然后玄学贪心。考虑调整一下，把$(1,1,1),(0,1,1),(1,0,1),(1,1,0)$全部翻掉。

然后随便翻一个满足奇偶性。此时只会翻$(0,0,1),(0,1,0),(1,0,0)$种类之一。

#include<bits/stdc++.h>
#define fi first
#define se second
#define ll long long
#define pb push_back
#define db double
#define inf 0x3f3f3f3f3f3f3f3f
using namespace std;
int n,m,c[100005][3],a[3],b[3],A[3],tot=0x3f3f3f3f;
map<int,int>p,q;
int calc(){
	int tot=0;for(int i=0;i<3;i++)tot+=max(A[i],b[i]);return tot;
}
void solve(){
	for(int i=0;i<3;i++)A[i]=a[i];int res=calc();
	if(A[0]>b[0]&&A[1]<b[1]&&A[2]<b[2]){
		while(1){
			A[0]-=2,A[1]+=2,A[2]+=2;if(calc()<res)res=calc();else break;
		}
		
	}
	else if(A[1]>b[1]&&A[0]<b[0]&&A[2]<b[2]){
		while(1){
			A[1]-=2,A[0]+=2,A[2]+=2;if(calc()<res)res=calc();else break;
		}
		
	}
	else if(A[2]>b[2]&&A[0]<b[0]&&A[1]<b[1]){
		while(1){
			A[2]-=2,A[0]+=2,A[1]+=2;if(calc()<res)res=calc();else break;
		}
	}tot=min(tot,res);
}
int main(){
	ios::sync_with_stdio(false);
	cin.tie(0),cout.tie(0);
	cin>>n;
	for(int i=1;i<=n;i++){
		int x,y;cin>>x>>y,p[y]^=1;
		if(!q[x])q[x]=++m;c[q[x]][y%3]^=1;
	}for(auto x:p)b[x.fi%3]+=x.se;
	int f=0;
	for(int i=1;i<=m;i++){
		int cnt=0;for(int j=0;j<3;j++)cnt+=c[i][j];
		if(cnt>=2){
			f^=1;for(int j=0;j<3;j++)c[i][j]^=1;
		}
		for(int j=0;j<3;j++)a[j]+=c[i][j];
	}
	if(f){
		if(a[0])a[0]++,solve(),a[0]--;
		if(a[1])a[1]++,solve(),a[1]--;
		if(a[2])a[2]++,solve(),a[2]--;
		if(!(a[0]+a[1]+a[2]))a[0]++,a[1]++,a[2]++,solve();
	}
	else{
		solve();
	}cout<<tot;
}

Subset Sum Game

• $\text{Alice}$必胜当且仅当能将$n$个数分成$\frac{n}{2}$组，并选择其中一组中的一个数，使得这个数加上剩余$\frac{n}{2}-1$组数中的最小值$\ge L$，最大值$\le R$
• 否则$\text{Bob}$总能使得当前局面下$\text{Alice}$不存在必胜策略，直到所有数都被取完
• 不妨看成是$\text{Alice}$强行保留了一个数，并强行扔掉了一个数
• 枚举这两个数即可做到复杂度$O(n^2)$
• 毋宁为猜结论的好题。

Neither AB nor BA

• 巧妙的计数题
• 考虑黑白染色，那么每次删除的位置都会跨过黑和白
• 然后考虑做一个翻转，把奇数位的$B\to A$，$A\to B$
• 那么原问题转化为长度为$n$的序列，不能删除$AA$或$BB$，最终能够全部删完的序列数量
• 单独考虑$A$，因为每次至多删除$1$个，所以$A$的数目不能超过$\frac{n}{2}$，同理$B$的数目也不能超过$\frac{n}{2}$
• 问题转化为求$A,B$数量$\le \frac{n}{2}$的序列的个数
• 根据众数那套理论可以转化为求出现次数$>\frac{n}{2}$的序列个数
• 答案是$3^n-2{\sum }_{i=\frac{n}{2}+1}^n\left(\genfrac{}{}{0ex}{}{n}{i}\right)2^{n-i}$