COGS 2988&2987

2987:考虑暴力dp,设f[s][ss]为点集为s,拓扑序中最后一层为ss的答案,暴力向里面添加一个s在全集中的补集的子集作为下一层转移,时间复杂度O(4n*m)
只能通过60%的数据,考虑优化,f[i]表示集合i的答案,不难想到f[i^j]+=f[i]*2e;
但是这样会产生一个问题,由于子图可以不连通,所以计数会有重复。我们将i按照size(i)划分,考虑任意两个size为k的集合s1,s2,它们的对答案的贡献都完全包含了集合s1|s2的贡献,所以转移是乘以容斥系数(-1)size(j)+1。即可。
2988:考虑不符合要求的情况即a%p=b%p,考虑对此进行推导
a=k1p+r,b=k2p+r,a-b=(k1-k2)p,也就是说一个合法的答案一定满足不是任意一个差的约数。那么怎么满足删除不超过k个数的限制呢,考虑对于每个答案,枚举它的所有倍数,并建图。问题转化为给定一张图,动态加点,问是否可以染不超过k个点使其成为二分图。暴力做法一定会t的,因为在判断每个答案时,至少加入2k条边才可能得出结论,其上界更是无法推测,n2+(2k)2mlogm=1.3e9,如果数据构造特殊,几乎不可能通过本题。考虑这张图的特殊性质,因为元素不可重,所以每个点的入度和出度都为1,所以只要sum(size/2)<=即可,我们可以用并查集处理,最坏添加12条边即可得到答案。复杂度降至2.6e8,勉强通过本题。实际并不会跑满,可以在1s左右通过

你可能感兴趣的:(cogs)