[bzoj3544][ONTAK2010]Creative Accounting（set）

题目：

我是超链接

题意：

给定一个长度为N的数组a和M，求一个区间[l,r]，使得$(\sum_{i=l}^{r}{a_i}) mod$ $M$的值最大，求出这个值，注意这里的mod是数学上的mod

题解：

我们知道区间和最大可以用前缀和来减，但是这个模数怎么办？
结论：前缀和为x，在前面找到比x大的y，那么(x-y)%M为最大值，否则x%M为最大值
证明：$x<y\Longrightarrow x-y<0\Longrightarrow (x-y)mod$ $M\Longrightarrow m-(y-x)$
$y<m\Longrightarrow m-(y-x)>x$
可以证明这个值要比x大
我们把问题转化为寻找大于x的值（而且是“恰好”大于x的，这样才保证值最优）
应该用splay。。。
发现了set的新姿势——代替splay？

代码：

#include <set>
#include <cstdio>
#include <iostream>
#define LL long long
using namespace std;
const LL Max=1e18+1;
set<LL>s;
int main()
{
    LL mod;int n,i;
    scanf("%d%lld",&n,&mod);
    LL sum=0,ans=0;
    s.insert(0); s.insert(Max);
    for (i=1;i<=n;i++)
    {
        LL x,now;
        scanf("%lld",&x);x=(x%mod+mod)%mod;
        sum=(sum+x)%mod;s.insert(sum);
        if (*s.upper_bound(sum)!=Max) now=*s.upper_bound(sum);
        else now=*s.begin();
        ans=max(ans,((sum-now)%mod+mod)%mod);
    }
    printf("%lld",ans);
}