洛谷 P2763 试题库问题【最大流】

s向所有类别属性连流量为当前类别属性需要的个数的边，所有题目向t连流量为1的边（表示只能选一次），所有属性向含有它的题连容量为1的边。跑一变dinic，结果小于m则无解，否则看每一个类别属性连出去的题目的边是否满流，满流代表这个属性选择这道题

#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
const int N=1000005,inf=1e9;
int n,m,h[N],cnt=1,s,t,le[N],sum;
bool vs[N],vt[N];
string c;
struct qwe
{
	int ne,to,va;
}e[N<<1];
int read()
{
	int r=0,f=1;
	char p=getchar();
	while(p>'9'||p<'0')
	{
		if(p=='-')
			f=-1;
		p=getchar();
	}
	while(p>='0'&&p<='9')
	{
		r=r*10+p-48;
		p=getchar();
	}
	return r*f;
}
void add(int u,int v,int w)
{
	cnt++;
	e[cnt].ne=h[u];
	e[cnt].to=v;
	e[cnt].va=w;
	h[u]=cnt;
}
void ins(int u,int v,int w)
{//cout<<u<<" "<<v<<" "<<w<<endl;
	add(u,v,w);
	add(v,u,0);
}
bool bfs()
{
	queue<int>q;
	memset(le,0,sizeof(le));
	le[s]=1;
	q.push(s);
	while(!q.empty())
	{
		int u=q.front();
		q.pop();
		for(int i=h[u];i;i=e[i].ne)
			if(e[i].va>0&&!le[e[i].to])
			{
				le[e[i].to]=le[u]+1;
				q.push(e[i].to);
			}
	}
	return le[t];
}
int dfs(int u,int f)
{
	if(u==t||f==0)
		return f;
	int us=0;
	for(int i=h[u];i&&us<f;i=e[i].ne)
		if(e[i].va>0&&le[e[i].to]==le[u]+1)
		{
			int t=dfs(e[i].to,min(e[i].va,f-us));
			e[i].va-=t;
			e[i^1].va+=t;
			us+=t;
		}
	if(!us)
		le[u]=0;
	return us;
}
int dinic()
{
	int re=0;
	while(bfs())
		re+=dfs(s,inf);
	return re;
}
int main()
{
	m=read(),n=read();
	s=0,t=m+n+1;
	for(int i=1;i<=m;i++)
	{
		int x=read();
		sum+=x;
		ins(s,i,x);
	}
	for(int i=1;i<=n;i++)
	{
		int p=read();
		for(int j=1;j<=p;j++)
		{
			int x=read();
			ins(x,i+m,1);
		}
		ins(i+m,t,1);
	}
	if(dinic()<sum)
	{
		puts("No Solution!");
		return 0;
	}
	for(int u=1;u<=m;u++)
	{
		printf("%d: ",u);
		for(int i=h[u];i;i=e[i].ne)
			if(e[i].to!=s&&!e[i].va)
				printf("%d ",e[i].to-m);
		puts("");
	}
	return 0;
}