ABC139 D - ModSum（思维，贪心）

题意：

给定n，
现在要构造一个长度为n的排列p，
令a[i]=i%p[i]，那么a[]的和就是排列p[]的权值，
要求构造一个权值最大的排列，输出这个排列的最大权值。

数据范围：n<=1e9

解法：

猜了一手：1%2，2%3，3%4，…最后n%1，
答案为(n-1)*n/2

ac之后试着找了找别人的证明：
因为1到n的每个数都要参与取模，而模p之后的值最大为p-1，
因此答案一定不超过(n-1)*n/2，相比于模之前，总和减少了n，

那么就不存在比1%2，2%3，3%4，…最后n%1更优的解。

code：

#include<bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
    int n;cin>>n;
    n--;
    cout<<n*(n+1)/2<<endl;
    return 0;
}

---