1 solutions

  • 0
    @ 2023-8-6 20:21:08

    定义前缀和

    Si=j=1iAjS_i=\sum_{j=1}^{i}{A_j}

    A[L,R]=SRSL1A_{[L,R]}=S_R-S_{L-1}

    Value(A)=max1LRnA[L,R]=max0i,jnSjSi=max0in(Simin0jnSj)Value(A)=\max_{1\le L\le R\le n}{|A_{[L,R]}|}=\max_{0\le i,j \le n}{|S_j-S_i|}=\max_{0\le i\le n}{(S_i-\min_{0\le j\le n}{S_j})}

    设所有操作的集合为OpOp,执行的操作的集合为EnfEnf,则

    Answer=maxEnfOp(max0in(Simin0jnSj))=max0in(maxEnfOp(Simin0jnSj))Answer=\max_{Enf \subseteq Op}{(\max_{0\le i\le n}{(S_i-\min_{0\le j\le n}{S_j})})}=\max_{0\le i\le n}{(\max_{Enf \subseteq Op}{(S_i-\min_{0\le j\le n}{S_j})})}

    于是可以从00nn枚举ii,考虑如何计算

    maxEnfOp(Simin0jnSj)\max_{Enf \subseteq Op}{(S_i-\min_{0\le j\le n}{S_j})}

    Vi=Simin0jnSjV_i=S_i-\min_{0\le j\le n}{S_j}

    考虑如何选取操作使得ViV_i取到最大值

    对于一个操作kk,有如下几种可能:

    1. Bk<Cki,Dk>0B_k < C_k \le i,D_k > 0 执行该操作后,S0,S1,,SBk1S_0,S_1,\cdots,S_{B_k-1}不变,SBk,SBk+1,,SCk1S_{B_k},S_{B_k+1},\cdots,S_{C_k-1}增大DkD_kSCk,SCk+1,,SnS_{C_k},S_{C_k+1},\cdots,S_n不变 故SiS_i不变,min0jnSj\min_{0\le j\le n}{S_j}不减小,ViV_i不增大

    2. Bki<Ck,Dk>0B_k \le i < C_k,D_k> 0

      执行该操作后,SiS_i增大DkD_kmin0jnSj\min_{0\le j\le n}{S_j}不增大超过DkD_kViV_i不减小

    3. i<Bk<Ck,Dk>0i <B_k <C_k,D_k> 0 执行该操作后,SiS_i不变,min0jnSj\min_{0\le j\le n}{S_j}不减小,ViV_i不增大

    4. Bk<Cki,Dk0B_k < C_k \le i,D_k\le 0

      执行该操作后,S0,S1,,SBk1S_0,S_1,\cdots,S_{B_k-1}不变,SBk,SBk+1,,SCk1S_{B_k},S_{B_k+1},\cdots,S_{C_k-1}不增大,SCk,SCk+1,,SnS_{C_k},S_{C_k+1},\cdots,S_n不变 故SiS_i不变,min0jnSj\min_{0\le j\le n}{S_j}不增大,ViV_i不减小

    5. Bki<Ck,Dk0B_k \le i < C_k,D_k\le 0

      执行该操作后,SiS_i减小Dk|D_k|min0jnSj\min_{0\le j\le n}{S_j}不减小超过Dk|D_k|ViV_i不增大

    6. i<Bk<Ck,Dk0i <B_k <C_k,D_k\le 0 执行该操作后,SiS_i不变,min0jnSj\min_{0\le j\le n}{S_j}不增大,ViV_i不减小

    因此,令EnfEnf^*为所有类型2、4、6操作的集合,则EnfEnf^*必是使得ViV_i取最大值的执行操作集之一(不存在严格更优的集)。

    在由00nn枚举ii的过程中,当ii移动到或刚离开某个操作的端点BkB_kCkC_k时,该操作的类型发生改变,根据其原先的类型和改变后的类型执行或撤销操作,使用线段树维护前缀和的最小值即可。

    时间复杂度O((n+m)logn)O((n+m) \log n)

    Information

    ID
    9
    Time
    1000ms
    Memory
    256MiB
    Difficulty
    8
    Tags
    (None)
    # Submissions
    15
    Accepted
    7
    Uploaded By