codeforces #317 C. Lengthening Sticks (很好的想法题)

本文深入解析了Codeforces C题:LengtheningSticks的解题思路,通过数学组合的方法计算出使得三根木棍能构成三角形的所有可能方案数。文中详细解释了总方案数的计算方式以及不能构成三角形方案数的排除方法,提供了清晰的代码实现。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题目:http://codeforces.com/problemset/problem/572/C

题意:给定长为a,b,c的3个木棍,和一个值为l的buf。求使得(a+x,b+y,c+z)构成一个三角形的方案数,其中x+y+z<=l,x>=0,y>=0,z>=0。

C. Lengthening Sticks
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output

You are given three sticks with positive integer lengths of a, b, and c centimeters. You can increase length of some of them by some positive integer number of centimeters (different sticks can be increased by a different length), but in total by at most l centimeters. In particular, it is allowed not to increase the length of any stick.

Determine the number of ways to increase the lengths of some sticks so that you can form from them a non-degenerate (that is, having a positive area) triangle. Two ways are considered different, if the length of some stick is increased by different number of centimeters in them.

Input

The single line contains 4 integers a, b, c, l (1 ≤ a, b, c ≤ 3·1050 ≤ l ≤ 3·105).

Output

Print a single integer — the number of ways to increase the sizes of the sticks by the total of at most l centimeters, so that you can make a non-degenerate triangle from it.

Sample test(s)
input
1 1 1 2
output
4
input
1 2 3 1
output
2
input
10 2 1 7
output
0
Note

In the first sample test you can either not increase any stick or increase any two sticks by 1 centimeter.

In the second sample test you can increase either the first or the second stick by one centimeter. Note that the triangle made from the initial sticks is degenerate and thus, doesn't meet the conditions.


分析:可以构成三角形的方案数=总方案数-不能构成三角形的方案数。


总的方案数N,就是从l中取出x点长度(0<=x<=l),将x分给a,b,c。怎么算将x分给a,b,c的方案数?

其实就是一个可重复选的组合问题,答案就是C(X+2,2)。

//ps:证明参考刘汝佳的训练指南p105,不过刘汝佳上面的证明有一点错误,已改正。

简单证明一下:有n个不同元素,每个元素可选多次,求一种选k次的方案数。假设第i个元素选xi次,

那么x1+x2+...+xn=k,其中xi>=0。令yi=xi+1,那么y1+y2+...+yn=k+n,其中yi>=1。那么问题就可以转变为有k+n个数字"1"排成一排,将这k+n个"1"分成n部分的方案数,由于每一部分的个数>=1,所以就是在k+n-1个分割点选出n-1个分割点。即方案数为C(k+n-1,n-1)=C(n+k-1,k)。


不能构成三角形的方案数。选a,b,c,中的其中一条边当最长边。枚举l分给最长边的点数就行。


代码:

#include <bits/stdc++.h>
using namespace std;

typedef long long LL;
typedef unsigned long long ULL;
const LL INF = 1E9+9;
const int maxn = 1e6;
LL sum[maxn];
void Init()
{
	sum[0]=1;
	for(int i=1;i<maxn;i++)
		sum[i]=i+1+sum[i-1];
}

inline LL cal(long long n)
{
	return (2+n)*(1+n)/2;
}

LL fun(LL a,LL b,LL c,LL n)
{
	LL ret(0);
	for(LL i=0;i<=n;i++)
	{
		LL cur=a+i;
		if(cur<b+c)
			continue ;
		LL temp=min(cur-(b+c),n-i);
		ret+=sum[temp];
	}
	return ret;
}

int main()
{
	Init();
	int a,b,c,l,i,j;
	LL ans=0;
	cin>>a>>b>>c>>l;
	for(i=0;i<=l;i++)
		ans+=cal(i);
	ans-=fun(a,b,c,l);
	ans-=fun(b,a,c,l);
	ans-=fun(c,a,b,l);
	cout<<ans<<endl;
	return 0;
}



### 关于Codeforces Round 925 Div. 3 的目及解析 #### A. Plus One on the Subset 在这个问中,给定一个整数序列 \(a_1, a_2, \ldots, a_n\) 和若干次操作。每次可以选择任意子集并将这些位置上的元素增加一。目标是最少的操作次数使得所有元素都变成相同的值[^1]。 ```cpp #include <iostream> using namespace std; int main() { int t; cin >> t; while (t--) { int n; cin >> n; bool all_same = true; int first_value; cin >> first_value; for (int i = 1; i < n; ++i) { int temp; cin >> temp; if (temp != first_value) all_same = false; } if (all_same || n == 1) cout << "0\n"; else cout << "1\n"; } } ``` 这段代码通过判断输入数组中的所有元素是否已经相同来决定最少需要几次操作可以完成任务。如果所有的数值一开始就相等,则不需要任何改变;如果有不同的数值存在,则只需一次操作就可以让整个集合内的数字变得一致。 #### B. Multiply by Two, Divide by One 此要求处理一系列由两个正整数构成的询问,对于每一个询问给出的结果是能否仅利用两种变换——将当前数翻倍或是除以二(当且仅当该数为偶数时),最终达到另一个指定的目标值。 为了实现这一点,可以从终点反向推导回起点,在每一步尝试逆运算直到回到起始状态或者发现不可能的情况为止。具体来说就是不断地执行减半(如果是奇数则无法继续)以及加上其一半的过程,直至到达原点或确认不可达性。 #### C. Make It Increasing 这个问的任务是在不违反特定条件下尽可能多地保留原始数组里的项的同时构建一个新的严格递增序列。允许的操作是从已有的列表里移除某些成员而不改变其余部分相对顺序。 一种有效的策略是对初始数据先做预处理排序之后再逐一遍历比较相邻两项之间的关系,以此为基础做出取舍决策。这样做的好处是可以快速定位哪些地方出现了重复或者是不符合增长趋势的地方,并据此调整方案。 #### D. Yet Another Array Partitioning Problem 本涉及到了如何分割一个长度固定的整型数组成多个连续片段的问,目的是最小化各分段内部最大差值之和的最大可能值。这实际上是一个经典的动态规划问变种版本之一。 解决方法通常涉及到定义合适的DP表格用于记录中间计算结果以便后续查询使用。这里的关键在于合理设计转移方程从而能够高效求得最优解路径。同时还需要注意边界条件设定以免造成逻辑错误影响整体性能表现。 #### E. The Strongest Build 针对这一挑战,背景设置在一个虚拟编程竞赛平台之上,参赛者们被鼓励提交自己的解决方案参与评分竞争。然而有趣的是,评判标准并非单纯基于运行效率而是取决于所选算法复杂度级别与实际消耗资源量之间是否存在显著差异作为奖励依据。 因此解答此类问往往需要综合考量时间空间开销等因素的影响程度,进而挑选出最适宜当下环境状况的最佳实践方式来进行编码实现。此外还需特别留意特殊测试用例的存在可能性及其应对措施安排等问细节之处。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值