CodeForces #317 (div2) C.Lengthening Sticks （容斥）

题目大意：

给出a,b,c,l要求a+x,b+y,c+z构成三角形，x+y+z<=l，成立的x,y,z有多少种。

解题思路：

可以利用容斥原理，首先考虑总的情况，即求x+y+z<=l有多少种情况，即求x+y+z=i（i<=l）有多少种情况。

是组合数C（i+2,2），因为相当于刻度从1开始然后长度为i的尺子拆成三份有多少种情况，也就是在不同的位置切两刀，然后考虑，可以有最多两份长度为0，也就是说在0到1之间可以切两刀于是总共就是i+2个可以切的位置中选择两个。

然后进行容斥，把不符合形成三角形条件的情况（两边之和小于等于第三边）减去，枚举a,b,c分别做第三条边时的情况（设为a），先把它加成最大第三边，用去长度i（i>=0）。然后枚举它长度是a+i, a+i+1,....a+L的情况。此时假设当前用去长度i，则最大可用剩余长度是min( L - i, a + i - b - c），然后在这些长度里面任意分配。

#include<cstdio>
#include<cstring>
#include<string>
#include<cmath>
#include<iostream>
#include<algorithm>
#include<set>
#define LL long long
#define db double
#define maxn 10000000
#define EPS 1e-15
#define max(a,b) ((a>b)?(a):(b))
#define min(a,b) ((a<b)?(a):(b))
using namespace std;

LL work(int a,int b,int c,int l){
	LL ans=0;
	for(int i=max(b+c-a,0);i<=l;i++){
        LL x=min(l-i,a+i-b-c);
        ans+=(1+x)*(2+x)/2;
    }
    return ans;
}
int main(){
	int a,b,c,l;
	while (scanf("%d%d%d%d",&a,&b,&c,&l)!=EOF){
		LL ans=0;
		for (int i=0;i<=l;i++)
			ans+=(LL)(1+i)*(2+i)/2;
		ans-=work(a,b,c,l);
		ans-=work(c,a,b,l);
		ans-=work(b,c,a,l);
		printf("%I64d\n",ans);
	}
	return 0;
}