HazeOJ #98 序列

来源：互联网发布：linux 查询连接ip 编辑：程序博客网时间：2024/05/21 13:50

题面：http://hazeoj.nsfzsr.cn/problem/98

裸的差分约束系统。

将L-R+1>=C 转化成add(l,r+1,c)即可

注意两两数之间也有不等式。

因为差分约束有负权，所以只能跑SPFA

因为出data人丧心病狂卡常数，所以必须用fread快读

AC代码：

#prag\ma GCC optimize("O3")#include <iostream>#include <cstdio>#include <queue>#include <cstring>#define max(a,b) (a<b ?b:a)#define min(a,b) (a<b ?a:b)const int CH_TOP=2e8;const int INF=0x3f3f3f3f;const int MAXN=420000;using namespace std;char ch[CH_TOP],*now_w=ch-1,*now_r=ch-1;int head[MAXN+5],tot;inline int read(){    while(*++now_r<'0');    register int x=*now_r^48;    while(*++now_r>='0')    x=(x<<1)+(x<<3)+(*now_r^48);    return x;}inline void write(int x){    static char st[20];static int top;    if (x<0) *++now_w='-',x*=-1;    while(st[++top]=x%10^48,x/=10);    while(*++now_w=st[top],--top);    *++now_w='\n';}struct ver{    int to,w,next;}edge[MAXN*3+5];inline void add_edge(int u,int v,int w){    edge[++tot]=(ver){v,w,head[u]};    head[u]=tot;}queue<int>Q;int dist[MAXN+5];bool inque[MAXN+5];inline void SPFA(int s){    memset(dist,-0x3f,sizeof(dist));    dist[s]=0;    Q.push(s);inque[s]=true;    while(!Q.empty()) {        int u=Q.front();Q.pop();inque[u]=false;        for(register int e=head[u];e;e=edge[e].next) {            int v=edge[e].to,w=edge[e].w;            if(dist[u]+w>dist[v]) {                dist[v]=dist[u]+w;                if(!inque[v]) Q.push(v),inque[v]=true;            }        }    }}int main(){    fread(ch,1,CH_TOP,stdin);    int n,l,r,s,L=INF,R=-INF;    n=read();    for (register int i=1;i<=n;++i){        l=read();r=read();s=read();r++;        L=min(L,l),R=max(r,R);        if (l<=r && s<=r-l+1) add_edge(l,r,s);    }    for (register int i=L+1;i<=R;++i)        add_edge(i-1,i,0),add_edge(i,i-1,-1);    SPFA(L);    write(dist[R]);    fwrite(ch,1,now_w-ch,stdout);    fclose(stdin);fclose(stdout);    return 0;}

阅读全文

0 0