HDU 5855 Less Time, More profit

二分t+最大权闭合图。

很显然二分那个t作为limit。每一个limit下，有一些边不能用了，然后要知道这种情况下怎么选点获得的价值最大。

这么想：一个shop想获得收益，就必须选择某一些plant，问题就转化成了最大权闭合图。

#pragma comment(linker, "/STACK:1024000000,1024000000")
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<stack>
#include<iostream>
using namespace std;
typedef long long LL;
const double pi=acos(-1.0),eps=1e-;
void File()
{
    freopen("D:\\in.txt","r",stdin);
    freopen("D:\\out.txt","w",stdout);
}
template <class T>
inline void read(T &x)
{
    char c = getchar(); x = ;while(!isdigit(c)) c = getchar();
    while(isdigit(c)) { x = x *  + c - ''; c = getchar();  }
}

int T,n,m;
int L;
struct X
{
    int pay;
    int t;
}p[];
vector<int>g[];
int pro[];
bool flag[],se[];

const int maxn =  + ;
const int INF = 0x7FFFFFFF;
struct Edge
{
    int from, to, cap, flow;
    Edge(int u, int v, int c, int f) :from(u), to(v), cap(c), flow(f){}
};
vector<Edge>edges;
vector<int>G[maxn];
bool vis[maxn];
int d[maxn];
int cur[maxn];
int s, t;

void init()
{
    for (int i = ; i < maxn; i++)
        G[i].clear();
    edges.clear();
}
void AddEdge(int from, int to, int cap)
{
    edges.push_back(Edge(from, to, cap, ));
    edges.push_back(Edge(to, from, , ));
    int w = edges.size();
    G[from].push_back(w - );
    G[to].push_back(w - );
}
bool BFS()
{
    memset(vis, , sizeof(vis));
    queue<int>Q;
    Q.push(s);
    d[s] = ;
    vis[s] = ;
    while (!Q.empty())
    {
        int x = Q.front();
        Q.pop();
        for (int i = ; i<G[x].size(); i++)
        {
            Edge e = edges[G[x][i]];
            if (!vis[e.to] && e.cap>e.flow)
            {
                vis[e.to] = ;
                d[e.to] = d[x] + ;
                Q.push(e.to);
            }
        }
    }
    return vis[t];
}
int DFS(int x, int a)
{
    if (x == t || a == )
        return a;
    int flow = , f;
    for (int &i = cur[x]; i<G[x].size(); i++)
    {
        Edge e = edges[G[x][i]];
        if (d[x]+ == d[e.to]&&(f=DFS(e.to,min(a,e.cap-e.flow)))>)
        {
            edges[G[x][i]].flow+=f;
            edges[G[x][i] ^ ].flow-=f;
            flow+=f;
            a-=f;
            if(a==) break;
        }
    }
    if(!flow) d[x] = -;
    return flow;
}
int dinic(int s, int t)
{
    int flow = ;
    while (BFS())
    {
        memset(cur, , sizeof(cur));
        flow += DFS(s, INF);
    }
    return flow;
}

int check(int limit)
{
    memset(flag,,sizeof flag);
    memset(se,,sizeof se);
    for(int i=;i<=n;i++) if(p[i].t<=limit) flag[i]=;

    init();

    s=; t=n+m+;

    int sum=;

    for(int i=;i<=m;i++)
    {
        bool fail=;
        for(int j=;j<g[i].size();j++)  if(flag[g[i][j]]==) fail=;
        if(fail==) continue;

        for(int j=;j<g[i].size();j++) AddEdge(i,g[i][j]+m,INF);

        AddEdge(s,i,pro[i]);
        sum=sum+pro[i];
    }

    for(int i=;i<=n;i++) AddEdge(i+m,t,p[i].pay);

    return sum-dinic(s,t);
}

int main()
{
    //File();
    scanf("%d",&T); int cas=;
    while(T--)
    {
        scanf("%d%d%d",&n,&m,&L);
        for(int i=;i<=m;i++) g[i].clear();
        for(int i=;i<=n;i++) scanf("%d%d",&p[i].pay,&p[i].t);
        for(int i=;i<=m;i++)
        {
            scanf("%d",&pro[i]);
            int k; scanf("%d",&k);
            while(k--)
            {
                int x; scanf("%d",&x);
                g[i].push_back(x);
            }
        }
        int left=,right=;

        int ans1=-,ans2=-;
        while(left<=right)
        {
            int mid=(left+right)/;
            int ppp=check(mid);
            if(ppp>=L)
            {
                right=mid-;
                ans1=mid;
                ans2=ppp;
            }
            else
                left=mid+;
        }
        printf("Case #%d: ",cas++);
        if(ans1==-) printf("impossible\n");
        else printf("%d %d\n",ans1,ans2);
    }
    return ;
}