题意:给出左边x点的个数,右边y点的个数,给出上下边界l,r,接下来给出k条边,每条边可为左边的u点加度数1,为右边的v点加度数1,问是否可以从k条边中选出一些边,使得左右两边所有的点的度数在区间[ l , r ]内。
思路:上下界可行流裸题,引进源点s,汇点t,超级源点ss,超级汇点tt,先把题目给出的边连接起来,容量都为1,s依次连接左边n个点,容量为r-l,s再依次连接tt,容量为下届l,ss依次连接左边n个点,容量为下届,右边m个点全部连接t容量为r-l,再全部连接tt,容量为下届l,ss依次连接t,容量也为下届,然后t连接s,容量无穷,求ss到tt最大流,看附加的边是否满流,满流则有解,否则无解。
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<queue>
using namespace std;
const int maxn=4010,inf=1e8;
struct Edge{
int from,to,cap,flow;
};
struct Dinic{
int n,m,s,t;
vector<Edge>edges;
vector<int>G[maxn];
bool vis[maxn];
int d[maxn];
int cur[maxn];
void init(int n)
{
this->n=n;
for(int i=0;i<=n;i++)G[i].clear();
edges.clear();
}
void add(int from,int to,int cap)
{
edges.push_back((Edge){from,to,cap,0});
edges.push_back((Edge){to,from,0,0});
m=edges.size();
G[from].push_back(m-2);
G[to].push_back(m-1);
}
bool bfs()
{
memset(vis,0,sizeof(vis));
queue<int>Q;
Q.push(s);
d[s]=0;
vis[s]=1;
while(!Q.empty())
{
int x=Q.front();Q.pop();
for(int i=0;i<G[x].size();i++){
Edge& e=edges[G[x][i]];
if(!vis[e.to]&&e.cap>e.flow){
vis[e.to]=1;
d[e.to]=d[x]+1;
Q.push(e.to);
}
}
}
return vis[t];
}
int dfs(int x,int a)
{
if(x==t||a==0)return a;
int flow=0,f;
for(int& i=cur[x];i<G[x].size();i++){
Edge& e=edges[G[x][i]];
if(d[x]+1==d[e.to]&&(f=dfs(e.to,min(a,e.cap-e.flow)))>0)
{
e.flow+=f;
edges[G[x][i]^1].flow-=f;
flow+=f;
a-=f;
if(!a)break;
}
}
return flow;
}
int Maxflow(int s,int t)
{
this->s=s;this->t=t;
int flow=0;
while(bfs())
{
memset(cur,0,sizeof(cur));
flow+=dfs(s,inf);
}
return flow;
}
}solve;
int n,m,k,l,r,u,v,w,kase=0;
int main()
{
while(~scanf("%d%d%d",&n,&m,&k))
{
solve.init(n+m+5);
int s=m+n+1,t=m+n+2,ss=m+n+3,tt=m+n+4;
scanf("%d%d",&l,&r);
for(int i=1;i<=k;i++)
{
scanf("%d%d",&u,&v);
solve.add(u,v+n,1);
}
for(int i=1;i<=n;i++)
{
solve.add(s,i,r-l);
solve.add(s,tt,l);
solve.add(ss,i,l);
}
for(int i=1;i<=m;i++)
{
solve.add(i+m,t,r-l);
solve.add(i+m,tt,l);
solve.add(ss,t,l);
}
solve.add(t,s,inf);
int ans=solve.Maxflow(ss,tt);
printf("Case %d: ",++kase);
if(ans==l*(n+m))puts("Yes");
else puts("No");
}
}