洛谷 P3943 星空
题目背景
命运偷走如果只留下结果， 时间偷走初衷只留下了苦衷。
你来过，然后你走后，只留下星空。题目描述
逃不掉的那一天还是来了，小 F 看着夜空发呆。
天上空荡荡的，没有一颗星星——大概是因为天上吹不散的乌云吧。
心里吹不散的乌云，就让它在那里吧，反正也没有机会去改变什么了。
小 C 拿来了一长串星型小灯泡，假装是星星，递给小 F，想让小 F 开心一点。不过，有 着强迫症的小 F 发现，这串一共 n 个灯泡的灯泡串上有 k 个灯泡没有被点亮。小 F 决定 和小 C 一起把这个灯泡串全部点亮。
不过，也许是因为过于笨拙，小 F 只能将其中连续一段的灯泡状态给翻转——点亮暗灯 泡，熄灭亮灯泡。经过摸索，小 F 发现他一共能够翻转 m 种长度的灯泡段中灯泡的状态。
小 C 和小 F 最终花了很长很长很长很长很长很长的时间把所有灯泡给全部点亮了。他 们想知道他们是不是蠢了，因此他们找到了你，让你帮忙算算：在最优的情况下，至少需要 几次操作才能把整个灯泡串给点亮？
输入输出格式
输入格式：
从标准输入中读入数据。
输入第 1 行三个正整数 n,k,m。
输入第 2 行 k 个正整数，第 i 个数表示第 i 个被没点亮的灯泡的位置 ai 。
输入第 3 行 m 个正整数，第 i 个数表示第 i 种操作的长度 bi 。
保证所有 bi 互不相同；保证对于 1≤i<k ，有 ai<ai+1 ；保证输入数据有解。
输出格式：
输出标准输入中。
输出一行一个非负整数，表示最少操作次数。
输入输出样例
说明
【样例 1 解释】
【数据范围与约定】
子任务会给出部分测试数据的特点。如果你在解决题目中遇到了困难，可以尝试只解 决一部分测试数据。
每个测试点的数据规模及特点如下表
特殊性质：保证答案小于 4
(窝太菜了只会做NOIP题了QWQ)
一开始毫无头绪啊QWQ
但是区间修改很多时候都可以通过把序列看成差分之后变成单点修改，这个题这么做之后显然只会更加简单。
(0/1异或序列差分的时候直接Xor前一位置的数就行了，只不过要倒着做，要不然就成求前缀和了2333)
把序列末尾的长度延伸1，那么每次操作就是选两个位置(距离必须在给的可修改区间长度的集合里)，把它们都^=1。
于是我们就可以dp出任意距离的两个1都消成0需要的最小次数(不存在方案则是inf)。
考虑到k最大只有8，所以差分之后1的数量最多只有16，状压dp即可。
#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int maxn=40005;
int n,k,m,a[233],Xor[maxn],d[maxn],cnt,pos[233];
int now,f[100005],ci[23],bt[100005];
inline void init(){
memset(d,0x3f,sizeof(d)),d[0]=0;
for(int i=1;i<=m;i++)
for(int j=a[i];j<=n;j++) d[j]=min(d[j],d[j-a[i]]+1);
for(int i=1;i<=m;i++)
for(int j=n-a[i];j;j--) d[j]=min(d[j],d[j+a[i]]+1);
for(int i=1;i<=n;i++) if(Xor[i]) pos[cnt++]=i;
}
inline void solve(){
memset(f,0x3f,sizeof(f)),f[0]=0;
for(int i=0;i<ci[cnt];i++){
if(bt[i]&1) continue;
for(int j=0;j<cnt;j++) if(!(ci[j]&i)){
for(int o=j+1;o<cnt;o++) if(!(ci[o]&i)&&f[i]<5e8)
f[i|ci[j]|ci[o]]=min(f[i|ci[j]|ci[o]],f[i]+d[abs(pos[o]-pos[j])]);
break;
}
}
}
int main(){
ci[0]=1;
for(int i=1;i<=20;i++) ci[i]=ci[i-1]<<1;
for(int i=1;i<ci[16];i++) bt[i]=bt[i^(i&-i)]+1;
scanf("%d%d%d",&n,&k,&m),n++;
for(int i=1;i<=k;i++) scanf("%d",&now),Xor[now]^=1;
for(int i=n;i;i--) Xor[i]^=Xor[i-1];
for(int i=1;i<=m;i++) scanf("%d",a+i);
init();
solve();
printf("%d\n",f[ci[cnt]-1]);
return 0;
}
