【Topcoder】[TC14126]BagAndCards & SRM 694 div1 -3 -巧妙枚举

最新推荐文章于 2024-05-14 09:45:36 发布

ccosi

最新推荐文章于 2024-05-14 09:45:36 发布

阅读量293

点赞数

分类专栏：妙

本文链接：https://blog.csdn.net/corsica6/article/details/88074883

版权

妙专栏收录该内容

96 篇文章 0 订阅

订阅专栏

题解传送门:
BagAndCards
SRM 694 div1 -3

BagAndCards

直接枚举是 $nm)^2$ 的，考虑均摊复杂度：

预处理 $sum_{j,i}$ 表示值为 $j$ 的牌能与第 $i$ 个袋子中的多少牌组成好数。
总复杂度 $O(n^2m+m^2n)$

SRM 694 div1

1.给出 $n$ 个数字，将其分成三个非空的组，每组的权值为该组所有数字的异或。选择一种分法使得三组的权值和最大？( $a_i<256$ )

枚举前两组的异或和时第三组的异或和是唯一的，问题在于无法确定是否存在这样的三个组符合异或和要求且三个组内都有数：
设 $f[i][s_1][s_2][mask]$ 表示处理到 $a_i$ ：第一、二组异或和分别为 $s_1,s_2$ ( $mask(0\leq mask\leq 7)$ 表示三个组有哪些组中有数)时第三组的异或和。

$ans=max(f[n][s_1][s_2][7]+s_1+s_2)$

2.给出 $n\times m$ 的只包含 $A$ 到 $Z$ 的字符矩阵。对于一个列的集合 $S$ ，如果任意两行 $i, j$ 在 $S$ 上不完全相同，称 $S$ 可以区分所有行。问有多少种列的子集可以区分所有行？ $n \leq 1000, m \leq 20$

可以发现所有可以区分所有行的 $S$ 的子集不一定能区分所有行，但不能区分所有行的 $S$ 的子集一定不能区分所有行，考虑容斥计算所有不能区分所有行的列集合：

构造 $f [S]$ ：若列集合 $S$ 不能区分所有行， $f [S] = 1$ ；否则 $f [S] = 0$ 。
对于 $f [S] = 1$ 的集合，存在某两行完全一样，考虑反向枚举：
枚举 $(i, j)$ 行，设其相同列集合为 $S$ ，则 $f [S] = 1$ 。

最后倒序遍历所有集合 $f[(2^m-1)]\to f[0]$ ，省去枚举子集的复杂度。

代码很巧妙：

#include <iostream>
#include <stdio.h>
#include <cstdlib>
#include <algorithm>
#include <cmath>
#include <string.h>
#include <set>
#include <vector>
#include <time.h>
#include <queue>
#include <stack>
#include <map>
#include <assert.h>
using namespace std;
 
 
int f[1<<20];
 
class DistinguishableSetDiv1
{
 
public:
    int count(vector<string> A)
    {
 
        int n=A.size();
        int m=A[0].size();
 
        memset(f,0,sizeof(f));
        for(int i=0;i<n;++i) for(int j=i+1;j<n;++j)
        {
            int s=0;
            for(int k=0;k<m;++k) if(A[i][k]==A[j][k]) s|=1<<k;
            f[s]=1;
        }
        int ans=0;
        for(int i=(1<<m)-1;i>=0;--i)
        {
            if(f[i])
            {
                for(int k=0;k<m;++k) if(i&(1<<k)) f[i^(1<<k)]=1;
            }
            else ++ans;
        }
        return ans;
    }
};