[ DP ] Codeforces889E Mod Mod Mod

设 $x_i=x_{i-1} ~mod~a_i(x>1),x_{1}=x$ ，即 $x$ 依次对前 $i$ 个数取模后的值。
设 $ans_i=f(x,1)-f(x_i，i+1)$ ，即前 $i$ 轮 $x_i$ 的和。那么答案就是最大的 $ans_n$ 。
枚举 $a_i$ ，由于 $x_i$ 是递减的，一个状态可以表示成二元组 $(mx,s)$ ，表示 $x_i$ 的范围是 $[0,mx]$ , $ans_i=ix_i+s$ 。
初始时的状态是 $(a_1-1,0)$ 。
有 $2$ 种转移：

-转移后的 $mx< a_{i+1}-1$ ，也就是尽量多地取 $x_i$ 。转移到 $(r~mod~a_{i+1},s+i(r-r~mod~a_{i+1}))$
- 转移前的 $mx\geq a_{i+1}-1$ ，转移后的 $mx\geq a_{i+1}-1$，也就是使 $x_{i+1}$ 可以任意取。转移到 $(a_{i+1}-1,s+i(r-r~mod~a_{i+1}-a_{i+1})))$

第二种转移只用记最大值就好了。
然后算下复杂度。
如果 $r\le a_{i+1}-1$ ，转移后不变，不用考虑。
如果 $r>a_{i+1}-1$ ，第一种转移后 $r$ 至少会变为 $r\over 2$ 。
而第二种转移只会有 $\mathcal{O}(n)$ 个，所以总共枚举到的状态数为 $\mathcal{O}(n\log a_1)$ 。
用 $set$ 储存状态，复杂度为 $\mathcal{O}(n\log a_1\log n)$ 。

#include<bits/stdc++.h>
using namespace std;
#define fi first
#define se second
typedef long long ll;
typedef pair<ll,ll> abcd;
typedef set<abcd>::iterator It;
const int N=200010;
set<abcd>S;
vector<abcd>g;
int k,n,m,l;
ll Ans;
ll x,lst;
int main(){
    scanf("%d%I64d",&n,&lst);
    S.insert(abcd(lst-1,0));
    for(int i=1;i<n;i++){
        scanf("%I64d",&x);
        if(x>=lst)continue;
        lst=x;
        g.clear();
        while(!S.empty()){
            It I=S.end();I--;
            if((*I).fi<x)break;
            g.push_back((*I));
            S.erase(I);
        }
        if(!(g.size()))continue;
        ll mx=0;
        for(int j=0;j<g.size();j++){
            abcd t=g[j];
            mx=max(mx,t.se+1ll*i*(t.fi-x-t.fi%x));
            S.insert(abcd(t.fi%x,t.se+1ll*i*(t.fi-t.fi%x)));
        }
        S.insert(abcd(x-1,mx));
    }
    for(It I=S.begin();I!=S.end();I++){
        abcd t=(*I);
        Ans=max(Ans,n*t.fi+t.se);
    }
    cout<<Ans<<endl;
    return 0;
}