Omkar and Circle（CodeForces 1372D）

【题意】一共奇数个数字首尾相连围成一圈，一次操作可以删除圈上的一个数字，则其旁边相邻的两个数字合并为新数字，值为二者和。问通过若干次这样的操作，剩下的最后一个数字最大为多少？

【数据范围】数字个数$1\le n<2\cdot 10^5$ 且 $n$为奇数，每个数字$a_i\in [0,10^9]$

【题解】
这是一道思维题。

通过数学归纳法证明，合并产生的新数字被删不会使结果更优：

1.$n=5$时，$a_1,a_2,a_3,a_4,a_5$围成一圈:
不妨设第一次删除的数为$a_1$（删除其他数同理），
则环变为$a_2+a_5,a_3,a_4$围成一圈。
若第二次删除数为$a_2+a_5$，得到的结果为$a_3+a_4$；
但若是换种方案，依次删除数$a_2,a_5$，便可得结果为$a_1+a_3+a_4$
由于$a_i\ge 0$，可知，$a_1+a_3+a_4\ge a_3+a_4$，
即，对于$n=5$而言，命题成立。

2.假设$n=N$时，满足删除合并产生的新数字不会使结果更优这一性质，
则当$n=N+2$时，有$a_1,a_2,a_3\dots \dots a_{N+1},a_{N+2}$围成一圈，
不妨设第一次删除的数为$a_1$（删除其他数同理），
则环变为$a_2+a_{N+2},a_3\dots \dots a_{N+1}$围成一圈，
在后续删除过程中，若通过删除数字$a_2+a_{N+2}$
来合并某两个数字$A_i,A_j$，得到新环$\dots \dots ,A_i+A_j,\dots \dots$，
必定可以通过先删除数字$a_2$与$a_{N+2}$而不删除$a_1$，
来得到环$\dots \dots ,A_i+A_j+a_1,\dots \dots$（两环的省略号部分数字完全相同）
又因为$A_i+A_j+a_1\ge A_i+A_j$，显然删除数字$a_2+a_{N+2}$不会比后者方案更优。
即，只要删除过$a_1$，后续操作中删除$a_2+a_{N+1}$只可能使结果变小，不可能变大。
$n=N+2$环进行一次删除操作后变为$n=N$环，
由前面的假设$n=N$可知，后续操作中的通过合并产生的数字也不应被删，
又有第一次合并产生数字$a_2+a_{N+2}$也不会被删，所以有$n=N+2$同样满足这一性质

3.综上所述，命题“合并产生的新数字被删不会使结果更优”得证

根据所得性质可知，不妨设最优解是只删除未合并过的数字，

则一共删除数字$\lfloor \frac{n}{2}\rfloor$个，则有最优解是$\lfloor \frac{n}{2}+1\rfloor$个$a_i$求和而成，

且对答案产生贡献的$a_i$有且只有一对是起始位置相邻的，剩下的均为隔一个取一个。

因此枚举相邻的那一对$a_i,a_{i\%n+1}$，剩下对最优解有贡献的$a_i$位置便确定了。

通过倍长数组的方式，将相邻一对从中断开化为链，用前缀和维护，

即可在确定相邻一对数字情况下，$O(1)$求出最优解。

【复杂度】总时间与总空间复杂度均为$O(n)$级别

【反思】在遇到思维题的时候，没有切实动手模拟各种数据，以至于未发现其内在规律。手动计算一些小数据的求解过程，有助于思路的打开。

【代码】

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=4e5+10;
ll a[N],s1[N],s2[N];
int main()
{
  int n;
  while (~scanf("%d",&n))
  {
    ll ans=0;
    for(int i=1;i<=n;i++)
      {scanf("%lld",&a[i]);a[i+n]=a[i];}
    for(int i=1;i<=n*2;i++)
      if (i&1) s1[i]=s1[i-1]+a[i],s2[i]=s2[i-1];
        else s1[i]=s1[i-1],s2[i]=s2[i-1]+a[i];
    for(int i=1;i<=n;i++)
      if (i&1) ans=max(ans,s1[i+n-1]-s1[i-1]);
        else ans=max(ans,s2[i+n-1]-s2[i-1]);
    printf("%lld\n",ans);
  }
  return 0;
}