bzoj2011: [Ceoi2010]Mp3 Player

Description

Georg有个MP3 Player，没有任何操作T秒钟就会锁定，这时按下任意一个键就会变回没锁定的状态，但不会改变频道。只有在没锁定的状态下按键才有可能改变频道。 MP3的频道为0~Vmax(2<=Vmax<=5000)，如果现在是X频道，若X<>Vmax,在无锁状态下按+，X就会加1。若X<>0,在无锁状态下按-，X就会减一。 想在Georg忘记了MP3的T是多少。他想通过一段操作试验一下。然后他就写下他的操作顺序和最后停留的频道V2(0<=V2<=Vmax),然后就给你了，你要求的是T的最大值和T在这个值的情况下，第一个操作前的频道V1的最大可能数。若T为无限大时经过这段操作最后能停在V2，则输出infinity。

Input

第1行：N，Vmax，V2 N表示Georg操作了N次(2<=N<=100000); 以下N行，每行第一个为字符C(C为'+'或'-')，第二个为数字Ti(0<=Ti<=10^9)， 表示Georg在Ti秒按下了C键。

Output

如题所述。

Sample Input

6 4 3
- 0
+ 8
+ 9
+ 13
- 19
- 24

Sample Output

5 4

 

题解：

这题肯定要从大到小枚举T，判断这时有效的操作能否有解

判断能否有解有两种做法

第一种是将所有操作倒过来作，这样加边减，减变加

无解的情况就是 在未到达过0之前，最后某段音量>vmax 或未到达过vmax之前，最后某段音量<0

然后就是分情况讨论了

如果没有到过vmax，那么最大初始音量为所有操作之和

否则就是vmax

第二种就是类似清华集训V那题一样的去维护一个分段函数f（x）

其定义域为[0,vmax]，表示这段操作的初始音量，值域也为[0,vmax]，表示这段操作后的音量为多少

然后也是一通讨论

code：

第一种：

#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<algorithm>
using namespace std;
char ch;
bool ok;
void read(int &x){
    ok=0;
    for (ch=getchar();!isdigit(ch);ch=getchar()) if (ch=='-') ok=1;
    for (x=0;isdigit(ch);x=x*10+ch-'0',ch=getchar());
    if (ok) x=-x;
}
const int maxn=100005;
const int inf=0x7f7f7f7f;
char s[2];
int n,vm,v[maxn];
struct oper{
    int id,t;
}op[maxn];
bool cmp(const oper &a,const oper &b){return a.t>b.t;}
void write(int a,int b){
    if (a==inf) puts("infinity");
    else printf("%d %d
",a,b);    
}
struct Node{
    int sum,maxv,minv;
};
Node operator+(const Node &a,const Node &b){return (Node){a.sum+b.sum,max(a.maxv,a.sum+b.maxv),min(a.minv,a.sum+b.minv)};}
struct Seg{
    Node node[maxn<<2],res,tmp;
    void build(int k,int l,int r){
        if (l==r){node[k]=(Node){v[l],v[l],v[l]};return;}
        int m=(l+r)>>1;
        build(k<<1,l,m),build((k<<1)+1,m+1,r),node[k]=node[k<<1]+node[(k<<1)+1];
    }
    void modify(int k,int l,int r,int x){
        if (l==r){node[k]=(Node){0,0,inf};return;}
        int m=(l+r)>>1;
        if (x<=m) modify(k<<1,l,m,x); else modify((k<<1)+1,m+1,r,x);
        node[k]=node[k<<1]+node[(k<<1)+1];
    }
    int query_max(int k,int l,int r){
        if (l==r){tmp=res+node[k];return tmp.maxv<vm;}
        int m=(l+r)>>1;
        tmp=res+node[k<<1];
        if (tmp.maxv>=vm) return query_max(k<<1,l,m);
        res=tmp; return query_max((k<<1)+1,m+1,r)+(m-l+1);
    }
    int query_min(int k,int l,int r){
        if (l==r){tmp=res+node[k];return tmp.minv>0;}
        int m=(l+r)>>1;
        tmp=res+node[k<<1];
        if (tmp.minv<=0) return query_min(k<<1,l,m);
        res=tmp; return query_min((k<<1)+1,m+1,r)+(m-l+1);
    }
    Node query(int k,int l,int r,int x){
        if (l==r) return node[k];
        int m=(l+r)>>1;
        if (x<=m) return query(k<<1,l,m,x);
        else return node[k<<1]+query((k<<1)+1,m+1,r,x);
    }
    bool check(int ans){
        int t1,t2;
        res=(Node){0,0,inf},t1=query_max(1,0,n-1);
        res=(Node){0,0,inf},t2=query_min(1,0,n-1);
        if (t1==n&&t2==n){write(ans,node[1].sum);return true;}
        if (t1>t2){
            res=query(1,0,n-1,t1);
            if (res.minv<0) return false;
            if (t1==n) write(ans,node[1].sum);
            else write(ans,vm);
            return true;
        }
        else{
            res=query(1,0,n-1,t2);
            if (res.maxv>vm) return false;
            write(ans,vm);
            return true;
        }
        return false;
    }
}T;
int main(){
    read(n),read(vm),read(v[0]);
    for (int i=n;i>=1;i--) scanf("%s",s),v[i]=s[0]=='+'?-1:1,read(op[i].t),op[i].id=i;
    T.build(1,0,n-1);
    if (T.check(inf)) return 0;
    for (int i=1;i<n;i++) op[i].t-=op[i+1].t;
    sort(op+1,op+n,cmp);
    for (int i=1,j;i<n;i=j){
        for (j=i;op[j].t==op[i].t;j++) T.modify(1,0,n-1,op[j].id);
        if (T.check(op[i].t-1)) return 0;
    }
    return 0;
}

第二种：

#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<algorithm>
using namespace std;
char ch;
bool ok;
void read(int &x){
    for (ok=0,ch=getchar();!isdigit(ch);ch=getchar()) if (ch=='-') ok=1;
    for (x=0;isdigit(ch);x=x*10+ch-'0',ch=getchar());
    if (ok) x=-x;
}
const int maxn=100005;
inline int min(const int &a,const int &b){
    int diff=b-a;
    return a+(diff&(diff>>31));
}
inline int max(const int &a,const int &b){
    int diff=b-a;
    return b-(diff&(diff>>31));
}
char s[2];
int n,vm,v2;
struct Oper{
    int op,t,id;
}oper[maxn];
bool cmp(const Oper &a,const Oper &b){return a.t>b.t||(a.t==b.t&&a.id<b.id);}
struct Data{
    int a,b,c;
    void init(){a=0,b=vm,c=0;}
}res;
Data operator+(const Data &x,const Data &y){return (Data){min(y.b,max(y.a,x.a+y.c)),max(y.a,min(y.b,x.b+y.c)),x.c+y.c};}
struct Seg{
    #define ls k<<1
    #define rs (k<<1)+1
    Data val[maxn<<2];
    void build(int k,int l,int r){
        if (l==r){val[k]=(Data){0,vm,oper[l].op};return;}
        int m=(l+r)>>1;
        build(ls,l,m),build(rs,m+1,r),val[k]=val[ls]+val[rs];
    }
    void modify(int k,int l,int r,int x){
        if (l==r){val[k].init();return;}
        int m=(l+r)>>1;
        if (x<=m) modify(ls,l,m,x); else modify(rs,m+1,r,x);
        val[k]=val[ls]+val[rs];
    }
    void modify(int x,int op){modify(1,2,n,x);}
}T;
int calc(){
    if (v2==res.b&&res.b-res.c<=vm) return vm;
    return max(0,min(v2-res.c,vm));
}
int f(int x){return min(res.b,max(res.a,x+res.c));}
int main(){
    read(n),read(vm),read(v2);
    for (int i=1;i<=n;i++) scanf("%s",s),read(oper[i].t),oper[i].op=s[0]=='+'?1:-1,oper[i].id=i;
    T.build(1,2,n);
    for (int i=n;i>=1;i--) oper[i].t-=oper[i-1].t;
    sort(oper+2,oper+n+1,cmp);
    res=T.val[1];
    if (f(0)<=v2&&v2<=f(vm)){puts("infinity");return 0;}
    for (int i=2,j;i<=n;i=j){
        for (j=i;oper[j].t==oper[i].t;j++) T.modify(oper[j].id,oper[j].op);
        res=T.val[1];
        if (f(0)<=v2&&v2<=f(vm)){printf("%d %d
",oper[i].t-1,calc());return 0;}
    }
    return 0;
}