Codeforces Round #643 (Div. 2) C. Count Triangles（思维/差分）

传送门

---

1.题目大意：给出$a,b,c,d$四个数，其中满足$a\le b\le c\le d$，现在从这三个区间中分别选出三个数使得构成一个三角形，问有多少种选择情况

2.首先如果选出三个数$A,B,C$，那么显然已经有了$A+C>B,B+C>A$，实际上只需要看满足$A+B>C$有多少种情况即可

方法一：

显然枚举$A$和$B$是不可能的，因此我们只枚举$A$，那么设$A$此时为$i$，那么$A+B$的取值范围为$[i+b,i+c]$，如果满足$A+B$大于$C$，首先$C$的范围$[c,d]$必须和这个区间有交集。实际上$B$在逐渐增大过程中构成了一个等差数列，那么我们只需判断$i+b-1$是否大于等于$c$，$i+c-1$是否大于等于$c$，求出等差数列的第一项$i+b-1-c$和最后一项$i+c-1-c$求和即可

但是还有一点需要注意，如果数列从某项开始大于$d$，那么这一部分是多算的，我们只需要判断求出这段等差区间减去其区间和即可

方法二：

实际上我们得到的每个区间$[i+b,i+c]$，我们只需要求出这区间大于$C$的那部分，考虑到每个$i$都能得到一段区间代表这段区间内的数可以得到一次，那么我们先对区间求差分，接着求出前缀和，最后只需要看区间$[c,d]$的每一个数$j$，大于它的那部分出现了多少次$A+B$得到的数，即前缀和$sum[maxn]-sum[j]$。

#include <set>
#include <map>
#include <stack>
#include <queue>
#include <math.h>
#include <cstdio>
#include <string>
#include <cstring>
#include <sstream>
#include <iostream>
#include <algorithm>
#include <unordered_map>
using namespace std;
#define lowbit(x) (x&(-x))
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> P;
const double eps=1e-8;
const double pi=acos(-1.0);
const int inf=0x3f3f3f3f;
const ll INF=1e18;
const int Mod=1e9+7;
const int maxn=1e6+10;

ll sum[maxn];

ll solve(int a,int b,int c,int d){  //solution #1
    ll ans=0;
    for(int i=a;i<=b;i++){
        ll l=i+b-1,r=i+c-1;
        ll x=0,y=0,p=0,q=0;
        if(l>=c) x=l-c+1;
        if(r>=c) y=r-c+1;
        if(l>d) p=l-d;
        if(r>d) q=r-d;
        ans+=(x+y)*(y-x+1)/2;
        ans-=(p+q)*(q-p+1)/2;
    }
    return ans;
}

int main(){
    //freopen("in.txt","r",stdin);
    //freopen("out.txt","w",stdout);
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    int a,b,c,d;
    cin>>a>>b>>c>>d;
    for(int i=a;i<=b;i++){  //solution #2
        sum[i+b]++;
        sum[i+c+1]--;
    }
    for(int i=1;i<maxn;i++)
        sum[i]+=sum[i-1];  //差分后的数组
    for(int i=1;i<maxn;i++)
        sum[i]+=sum[i-1];  //数组的前缀和
    ll ans=0;
    for(int i=c;i<=d;i++)
        ans+=sum[maxn-1]-sum[i];
    cout<<ans<<endl;
    //cout<<solve(a,b,c,d)<<endl;
    return 0;
}