[交互][FWT] UOJ #328. 【UTR #3】量子破碎

$Solution$

矩阵

$$A=\left[ \begin{matrix} 1 & 1 \\ 1 & -1 \\ \end{matrix} \right]$$ 好像就是 $\text{FWT}$ 的变换矩阵。
对每一位都变换以后，考虑FWT的式子。 $$\hat{f_S}=\sum_{T\subseteq U}(-1)^{|S\cap T|}f_T$$ 那么在这道题中 $$\hat{f_S}=(-1)^{|S~and~x|} +(-1)^{|S~and~y|}$$ 因为此时返回值与平方和有关，那么若 $\text{query}$ 返回的值为 $S$，一定满足 $|(x~xor~y)~and~S|$ 为偶数。
每次询问后就暴力看 $[1,2^n]$内那些不合法，ban掉，直到确定解为止。
好像就过了。。。

#include <bits/stdc++.h>
#include "quantumbreak.h"
#include <iostream>
#include <cstdio>
#include <cstdlib>
using namespace std;

int query_xor(int n, int t) {
    int pty[1 << 16];
    double a[2][2];
    int ban[1 << 16];
    int m = 1 << n;
    a[0][0] = sqrt(0.5); a[0][1] = sqrt(0.5);
    a[1][0] = sqrt(0.5); a[1][1] = -sqrt(0.5);
    memset(pty, 0, sizeof pty);
    memset(ban, 0, sizeof ban);
    ban[0] = 1;
    for (int i = 0; i < m; i++)
        pty[i] = pty[i >> 1] ^ (i & 1);
    while (19260817) {
        for (int i = 0; i < n; i++)
            manipulate(a, i);
        int x = query();
        for (int i = 0; i < m; i++)
            if (pty[x & i] == 1)
                ban[i] = 1;
        int rest = 0;
        for (int i = 0; i < m; i++)
            rest += ban[i];
        if (rest == m - 1) break;
    }
    for (int i = 0; i < m; i++)
        if (!ban[i]) return i;
}