【BZOJ3569】DZY Loves Chinese II（线性基，图的连通性）

Description

神校XJ之学霸兮，Dzy皇考曰JC。
摄提贞于孟陬兮，惟庚寅Dzy以降。
纷Dzy既有此内美兮，又重之以修能。
遂降临于OI界，欲以神力而凌♂辱众生。

今Dzy有一魞歄图，其上有N座祭坛，又有M条膴蠁边。
时而Dzy狂WA而怒发冲冠，神力外溢，遂有K条膴蠁边灰飞烟灭。
而后俟其日A50题则又令其复原。（可视为立即复原）
然若有祭坛无法相互到达，Dzy之神力便会大减，于是欲知其是否连通。

---

Solution

经典套路题。

先跑出DFS树，对于每一条返祖边，赋一个随机值；对于每一条树边，权值等于覆盖它的返祖边的值的异或和。
对于每一次询问的要删除的边集$S$，用线性基判断如果存在$S'\subseteq S$满足$\displaystyle\bigoplus_{e\in S'}value_e=0$，那么不连通。

---

Code

/***********************************************************
  * Author: Hany01
  * Task: BZOJ3569
  * Date: Jun 6th, 2018
  * E-Mail: hany01@foxmail.com
***********************************************************/
#include<bits/stdc++.h>

using namespace std;

typedef long long LL;
typedef pair<int, int> PII;
#define For(i, j, k) for (register int i = (j), i##_end_ = (k); i <= i##_end_; ++ i)
#define Fordown(i, j, k) for (register int i = (j), i##_end_ = (k); i >= i##_end_; -- i)
#define Set(a, b) memset(a, b, sizeof(a))
#define Cpy(a, b) memcpy(a, b, sizeof(a))
#define x first
#define y second
#define pb(a) push_back(a)
#define mp(a, b) make_pair(a, b)
#define ALL(a) (a).begin(), (a).end()
#define SZ(a) ((int)(a).size())
#define INF (0x3f3f3f3f)
#define INF1 (2139062143)
#define Mod (1000000007)
#define debug(...) fprintf(stderr, __VA_ARGS__)

template <typename T> inline bool chkmax(T &a, T b) { return a < b ? a = b, 1 : 0; }
template <typename T> inline bool chkmin(T &a, T b) { return b < a ? a = b, 1 : 0; }

int read()
{
    register int _ = 0, __ = 1; char c_ = getchar();
    for ( ; c_ < '0' || c_ > '9'; c_ = getchar()) if (c_ == '-') __ = -1;
    for ( ; c_ >= '0' && c_ <= '9'; c_ = getchar()) _ = (_ << 1) + (_ << 3) + (c_ ^ 48);
    return _ * __;
}

const int maxn = 100005, maxm = 500005;

int n, m, e = 1, beg[maxn], nex[maxm << 1], v[maxm << 1], dfn[maxn], clk;
LL dt[maxn];

struct Edge
{
    int u, v;
    LL val;
}E[maxm];

inline void add(int uu, int vv) { v[++ e] = vv, nex[e] = beg[uu], beg[uu] = e; }

void dfs1(int u, int pa)
{
    dfn[u] = ++ clk;
    for (register int i = beg[u]; i; i = nex[i]) if ((i ^ 1) != pa)
        if (dfn[v[i]] && dfn[v[i]] < dfn[u])
            E[i >> 1].val = (LL)rand() << 30 | rand(), dt[v[i]] ^= E[i >> 1].val, dt[u] ^= E[i >> 1].val;
        else if (!dfn[v[i]]) dfs1(v[i], i);
}

LL dfs2(int u, int pa)
{
    LL val = dt[u];
    for (register int i = beg[u]; i; i = nex[i]) if ((i ^ 1) != pa)
        if (!E[i >> 1].val) val ^= (E[i >> 1].val = dfs2(v[i], i));
    return val;
}

struct LinearBasis
{
    LL a[61];

    inline void init() { Set(a, 0); }

    inline int insert(LL x)
    {
        if (!x) return 0;
        Fordown(i, 59, 0) if (x >> i & 1) {
            if (!a[i]) { a[i] = x; return 1; }
            x ^= a[i];
            if (!x) return 0;
        }
    }
}base;

int main()
{
#ifdef hany01
    freopen("bzoj3569.in", "r", stdin);
    freopen("bzoj3569.out", "w", stdout);
#endif

    srand(284);

    n = read(), m = read();
    For(i, 1, m) E[i].u = read(), E[i].v = read(), add(E[i].u, E[i].v), add(E[i].v, E[i].u);
    dfs1(1, 0), assert(!dfs2(1, 0));

    for (static int Q = read(), las = 0; Q --; ) {
        register int k = read(), ans = 1, t;
        base.init();
        For(i, 1, k) if (!base.insert(E[(t = read()) ^ las].val)) ans = 0;
        las += ans, puts(ans ? "Connected" : "Disconnected");
    }

    return 0;
}