2020-5-16CF反思

CF凉了是显然的，不然也不会写这篇反思了。

开题很快 $AC$ 了 $A$ 和 $B$。

到了 $C$ 的时候定睛一看

Like any unknown mathematician, Yuri has favourite numbers: $A, B, C$ and $D$, where $A≤B≤C≤D$. Yuri also likes triangles and once he thought: how many non-degenerate triangles with integer sides $x, y$ and $z$ exist, such that $A≤x≤B≤y≤C≤z≤D$ holds?

Yuri is preparing problems for a new contest now, so he is very busy. That’s why he asked you to calculate the number of triangles with described property.

The triangle is called non-degenerate if and only if its vertices are not collinear.

这段英文还是挺好懂的，就是说一个三角形三条边分别为 $x,y,z$，有如下限制

$Ale x le B le yle C le zle D$

显然等于

$A le x leq B\ B le y leq C\ C le z leq D$

我们知道三角形要满足 $2$ 边之和大于第 $3$ 边的。

所以 $x +y >z$

我的做法是枚举 $x+y$，答案显然 $=$ $x,y$ 取值方案数 $imes$ $z$ 的取值方案数

对于 $x,y$ 的取值方案数

我猛然想到《组合数学》上的内容，那是不久前刚学的所以现在十分记忆犹新，这种东西，我之前只手算过，压根儿也没有想过有朝一日要用程序算出来。

回到题目

设 $x+y=k$

则

$x+y=k\ Aleq xleq B\ Bleq yleq C$

我们去化解

$x+y=k-A-B\ 0leq xleq B-A\ 0leq yleq C-B$

直接套无限多重集的多重集合的结论

设 $n=k-A-B,X=B-A,Y=C-B$

$egin{pmatrix} n+2-1 \ n end{pmatrix}+ egin{pmatrix} n-A-1+2-1 \ n-A-1 end{pmatrix}+ egin{pmatrix} n-B-1+2-1 \ n-B-1 end{pmatrix}+ egin{pmatrix} n-A-B-2+2-1 \ n-A-B-2 end{pmatrix}$
我们来捋一捋

$egin{pmatrix} n+1 \ n end{pmatrix}+ egin{pmatrix} n-A \ n-A-1 end{pmatrix}+ egin{pmatrix} n-B \ n-B-1 end{pmatrix}+ egin{pmatrix} n-A-B-1 \ n-A-B-2 end{pmatrix}$

然后这个东西巨难调，好不容易过了 $3$ 个样例自信满满地去交得到的确实 $WA$ 声一片。

这个题目的数据挺好造的，于是，我自信满满地打了个对拍，拍了几组发现了几个小问题逐一化解之后又交，又 $WA$。

时间就像哗啦啦的小溪总是在不经意间悄无声息地流走了。时间所剩无几，但我也一直在努力。

之后突然发现这 $4$ 个组合数可以直接求，于是有改了改代码，还是 $WA$。

最后时刻，我把暴力一交发现暴力也 $WA$ 了，我绝望了。

此时的我排名已来到了 $5000+$ 名，$D$、$E$ 和 $F$都没有碰过，但也不敢碰了，不停的死磕 $C$。

带到倒计时种那苍白而又孤独的 $00:00$ 的到来，无助的我也叹了叹气。

窗外一片黑灯瞎火，只有房间还闪烁着些许亮光，$extsf{ extbf{ extcolor{black}{w} extcolor{red}{33z8kqrqk8zzzx33}}}$ 怒切 $A$、$B$、$C$ 和 $E$，更给孤独的我的心头埋上了一片阴霾。

风扇还在不停地转动，我为什么就不能在继续呢？

我开始了艰难而又漫长地调题，我在静思中梳理，在思索中奋斗，在 May/16/2020 22:52 我 $AC$ 了，我的心犹如初生的旭日般明亮，$AC$ 的代码和比赛最后一次提交的代码仅仅有一处不同，而正是这一处让我的分数悄然无息而又微妙地发生了变化。

回首再去看看对拍的代码

代码：

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
template<typename T>inline void read(T &FF) {
	T RR = 1; FF = 0; char CH = getchar();
	for (; !isdigit(CH); CH = getchar())if (CH == '-')RR = -1;
	for (; isdigit(CH); CH = getchar())FF = (FF << 1) + (FF << 3) + (CH ^ 48);
	FF *= RR;
}
template<typename T>inline void write(T FF) {
	if (FF < 0) {
		putchar('-');
		FF *= -1;
	}
	if (FF > 9)write(FF / 10);
	putchar(FF % 10 + 48);
}
template<typename T>inline void writen(T FF) {
	write(FF);
	puts("");
}
ll C(ll m, ll n) {
	if (n == 0)return 1;
	if (m <= 0 || n <= 0)return 0;
	ll ans = 1;
	for (ll i = 0; i < n; i++)ans *= m - i;
	for (ll i = 1; i <= n; i++)ans /= i;
	return ans;
}
ll work(ll i, ll l, ll r) {
	return min(i - l + 1, r - l + 1);
}
ll xxx(ll a,ll b,ll c,ll d){
	ll ans = 0;
	for (ll i = c + 1; i <= b + c; i++) {
		ll x = b - a, y = c - b;
		ll m = i - a - b;
		ll n = m + 1 - max((m - x), (ll)0) - max((m - y), (ll)0) + max((m - x - y), (ll)0);
		ans += max(n, (ll)0) * max((ll)0, work(i - 1, c, d));
	}
	return ans;
}
ll xx(ll a,ll b,ll c,ll d){
	ll ans=0;
	for(int x=a;x<=b;x++){
		for(int y=b;y<=c;y++){
			ans+=max((ll)0,work(x+y-1,c,d));
		}
	}return ans;
}
int main() {
	srand(time(NULL));
	while(1){
		ll a=1+rand()%20,b=a+rand()%20,c=b+rand()%20,d=c+rand()%20;
		if(xx(a,b,c,d)!=xxx(a,b,c,d)){
			cout<<a<<" "<<b<<" "<<c<<" "<<d<<endl;
			cout<<xx(a,b,c,d)<<" "<<xxx(a,b,c,d);
			return 0;
		}
	}
	return 0;
}

悲楚也会变得快乐。

$extsf{ extbf{ extcolor{black}{w} extcolor{red}{33z8kqrqk8zzzx33}}}$ 的做法比我的做法简单的多，但我的方法就是我的方法。

$extsf{ extbf{ extcolor{black}{h} extcolor{red}{zw}}}$ 大佬说过：

自己选择的路跪着也要走完

OI比赛似乎注定是无情的，在坚强的意志品质的同时，几分理性同样是不可或缺的，$D$、$E$ 和 $F$ 我明天再调qwq