CF662C Binary Table

Posted 2022-12-11 Jozky86

CF662C Binary Table

题意：

有一个 n 行 m 列的表格，每个元素都是 0/1 ，每次操作可以选择一行或一列，把 0/1 翻转，即把 0 换为 1 ，把 1 换为 0 。请问经过若干次操作后，表格中最少有多少个 1
n<=20,m<=1e5

题解：

参考
洛谷题解第一篇，讲的太详细了
因为行很小(n<=20)，列很大(m<=1e5)，因为我们可以考虑枚举反转了哪些行。设X表示翻转了哪些行(X是一个整数，其二进制表示翻转的状态)
对于任意一列，设第i列的状态为$S_i$，也是其二进制表示该列的状态
现在开始考虑每一列都变成什么样子：
设第i列翻转后变成了状态$Y_i$,显然有$Y_i=S_i⨁X$
对于一个相同的X(即一个行翻转方案)，最优答案1的个数是唯一的,而X最多只有$2^{20}=1048576$,也就是我们可以直接枚举X
因为每一列都是相互独立的，为了让表格中1最少，对于每一列翻转到最少个1位置，设状态为i时经过翻转这个二进制最少有$F_i$个1
比如n=3，$(3{)}_{10}=(011{)}_2$,翻转后为$(100{)}_2$
所以$F_3=1$
答案就是${\sum }_{i=1}^m{F}_{X⨁S_i}$
我们枚举所有X，再枚举每一列状态的S，总复杂度是$O(2^{n}m)$,还是不行
继续对式子优化：我们枚举$Y_i=Si⨁X$
式子为：$$\sum _{i=1}^m\sum _{Y=0}^{2^n}[Y==S_i⨁X]F_Y$$
我们试着换掉第一个枚举m的$\sum$,设所有列中有$Q_i$列的状态为i，相当于用桶来存
这样就可以得到：
$$\sum _{S=0}^{2^n}\sum _{Y=0}^{2^n}[Y==S⨁X]F_Y\times Q_S$$
这样枚举每个S，不用再枚举[1,m]
不过还是没啥卵用，因为此时复杂度是$O(2^{2n})$,好像还更差了,但与m无关了
此时这个式子就有些猫腻了
$$\sum _{S=0}^{2^n}\sum _{Y=0}^{2^n}[Y==S⨁X]F_Y\times Q_S$$
$$\iff \sum _{S=0}^{2^n}\sum _{Y=0}^{2^n}[Y⨁S=X]F_Y\times Q_S$$
$$\iff \sum _{Y⨁S}{F}_Y\times Q_S$$
设$ANS[X]={\sum }_{Y⨁S=X}{F}_Y\times Q_S$
这这。。不就是FWT吗？答案不就是F和Q的xor卷积，这样复杂度就变成了$O(2^n\ast log(2^n))=O(2^n\ast n)$，完美解决

代码：

#include <bits/stdc++.h>
#include <unordered_map>
#define debug(a, b) printf("%s = %d\\n", a, b);
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> PII;
clock_t startTime, endTime;
//Fe~Jozky
const ll INF_ll= 1e18;
const int INF_int= 0x3f3f3f3f;
void read();
template <typename _Tp, typename... _Tps> void read(_Tp& x, _Tps&... Ar)

    x= 0;
    char c= getchar();
    bool flag= 0;
    while (c < '0' || c > '9')
        flag|= (c == '-'), c= getchar();
    while (c >= '0' && c <= '9')
        x= (x << 3) + (x << 1以上是关于CF662C Binary Table的主要内容，如果未能解决你的问题，请参考以下文章
 
 CF662C Binary Table
 CF662C Binary Table
 「CF662C」 Binary Table
 CF662C Binary Table
 CF662C Binary Table（FWT）
 CF662C Binary TableFWT