IndiaHacks 2016 - Online Edition (Div. 1 + Div. 2) E. Bear and Forgotten Tree 2 bfs set 反图的生成树★ ★

题意

给你n个点，然后给你m个限制，每个限制说ai,bi之间不能连边。

问你能否构造出一棵生成树，且1号点的度数恰好等于k

题解：

首先忽略掉恰好等于k这个条件，实际上就是判断这个图是否连通就好了。

然后我们看看1号点的反图的度数是否大于等于k，小于k肯定不行。

然后我们把1号点去掉，跑bfs/dfs，看有多少个连通块和1号点能够相连，如果有大于k个连通块，肯定也是不行的。

小于等于k个连通块就可以。

然后现在问题是那个bfs和dfs跑连通块复杂度可能是n^2的，你遍历边的时候，会遍历到无意义的点。

所以我们需要用一个set去维护现在有哪些点还没有访问。

总之，就是你需要实现一个类似lowbit的功能，然后就可以优化你的dfs/bfs。

#include <set>
#include <map>
#include <stack>
#include <queue>
#include <deque>
#include <cmath>
#include <vector>
#include <string>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
#define L(i) i<<1
#define R(i) i<<1|1
#define INF  0x3f3f3f3f
#define pi acos(-1.0)
#define eps 1e-12
#define maxn 1000100
#define MOD 1000000007

const int MAXN = 300010;
const int MAXM = 400010;
int n,m,k;
set<int>vis,E[MAXN];
int q[MAXN],st;
void solve(int x)
{
    vis.erase(x);
    q[st++] = x;
    for(int i = 0; i < st; i++)
    {
        int now = q[i];
        int pre = 1;
        while(1)
        {
            auto next = vis.upper_bound(pre);
            if(next == vis.end())
                break;
            int v = *next;
            pre = v;
            if(E[now].count(v))
                continue;
            q[st++] = v;
            vis.erase(v);
        }
    }
}
int main()
{
    scanf("%d%d%d",&n,&m,&k);
    for(int i = 1; i <= m; i++)
    {
        int x,y;
        scanf("%d%d",&x,&y);
        E[x].insert(y);
        E[y].insert(x);
    }
    if(k > n-1-E[1].size())
        return puts("impossible"),0;
    for(int i = 2; i <= n; i++)
        vis.insert(i);
    int cnt = 0;
    for(int i = 2; i <= n; i++)
    {
        if(vis.count(i))
        {
            cnt++;
            st = 0;
            solve(i);
            int flag = 0;
            for(int j = 0; j < st; j++)
                if(!E[1].count(q[j]))
                    flag = 1;
            if(flag == 0)
                return puts("impossible"),0;
        }
    }
    if(cnt>k)
        return puts("impossible"),0;
    return puts("possible"),0;
}