4177: Mike的农场|最小割

最小割模型,养牛养羊可以想到跑完网络流后这个点属于S集或者T集。
然后按照这个思路就很容易建图。源点连围栏,流量为养牛的收入,围栏连汇点流量为养羊的收入,然后养不同动物会造成额外损失的两个围栏连双向边流量为k,这样可以保证假如两个围栏中养了不同的动物(跑完网络流分别属于S集和T集)那么这条边肯定被割断。
然后处理那K条规则,每个规则都新建一个点,如果a=0,则源点连新建的点流量为b,新建的点连所有有要求的围栏,流量为无穷。a=1时也同样处理,在汇点一边新建点连边也类似。

#include<set>
#include<map>
#include<ctime>
#include<queue>
#include<cmath>
#include<cstdio>
#include<vector>
#include<cstring>
#include<cstdlib>
#include<iostream>
#include<algorithm>
#define  N 500005
#define mx 1e9
using namespace std;
int sc()
{
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*f;
}
int q[N],dis[N];
int head[N],nxt[N],lst[N],c[N];
int n,m,K,S,T,sum,tot=1;
void insert(int x,int y,int a,int b)
{
    lst[++tot]=y;nxt[tot]=head[x];head[x]=tot;c[tot]=a;
    lst[++tot]=x;nxt[tot]=head[y];head[y]=tot;c[tot]=b;
}
bool BFS()
{
    for(int i=1;i<=T;i++)dis[i]=0;
    dis[q[1]=S]=1;
    for(int l=1,r=2;l<r;l++)
    {
        int x=q[l];
        for(int i=head[x];i;i=nxt[i])
            if(c[i]&&!dis[lst[i]])
                dis[q[r++]=lst[i]]=dis[x]+1;
    }
    return dis[T];
}
int dfs(int x,int f)
{
    if(x==T)return f;
    int ww=0,w;
    for(int i=head[x];i;i=nxt[i])
        if(c[i]&&dis[lst[i]]==dis[x]+1)
        {
            w=dfs(lst[i],min(f-ww,c[i]));
            c[i]-=w,c[i^1]+=w,ww+=w;
            if(ww==f)return f;
        }
    if(!ww)dis[x]=0;
    return ww;
}
int main()
{
    n=sc(),m=sc(),K=sc();
    S=n+K+1,T=S+1;
    for(int i=1,x;i<=n;i++)
        sum+=(x=sc()),insert(S,i,x,0);
    for(int i=1,x;i<=n;i++)
        sum+=(x=sc()),insert(i,T,x,0);
    for(int i=1;i<=m;i++)
    {
        int x=sc(),y=sc(),k=sc();
        insert(x,y,k,k);
    }
    for(int i=1;i<=K;i++)
    {
        int t=sc(),a=sc(),b=sc();sum+=b;
        if(a==0)
        {
            insert(S,n+i,b,0);
            for(int j=1;j<=t;j++)
                insert(n+i,sc(),mx,0);
        }
        else 
        {
            insert(n+i,T,b,0);
            for(int j=1;j<=t;j++)
                insert(sc(),n+i,mx,0);
        }
    }
    while(BFS())sum-=dfs(S,mx);
    cout<<sum;
    return 0;
}
PL/0的词法分析程序GETSYM是一个独立的过程,其功能是为语法语义分析提供单词,把输入的字符串形式的源程序分割成一个个单词符号传递给语法语义分析。其主要任务为:1、滤空格;2、识别基本字;3、识别标识符;4、拼数;5、拼复合词;6、输出源程序。 PL/0编译程序一般设置3个全程变量: SYM:存放每个单词的类别,用内部编码形式表示; ID: 存放用户所定义的标识别符的值; NUM:存放用户定义的数。 PL/0语言的单词的种类分成保留字(亦称基本字)、运算符、标识符、常数、界符5个大类,以下是针对这5类单词的一种EBNF描叙: <无符号整数>::=<数字>{<数字>} <标识符> ::=<字母>{<字母>|<数字>} <字母> ::=a|b|……|X|Y|Z <数字> ::=0|1|2|……|8|9 <保留字> ::= const | var | procedure | begin | end | odd | if | then | call | while | do | read |write <运算符> ::= + | - | * | / | = | # | < | <= | > | >= | := <界符> ::= ( | ) | , | ; | . 保留字、运算符和界符这几类在实践中一般将每个单词符号设计为独立的词法单元,即每个单词符号拥有独立的类别。这样PL/0编译程序所设计的单词符号就对应到31个单词种别,这31个单词种别采用枚举类型表示。(分类请参考课本53-54页) 例:PL/0程序片段: const a=10; var b,c; procedure p; begin c:=b+a end; begin //中间片段略 studentid:201812345 name:Jenny end. name:Mike ************************************************************** 词法分析器运行结果: 1 基本字 const 2 标识符 a 3 运算符 = 4 数字 10 5 界符 ; 6 基本
最新发布
04-16
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值