B. Combinatorics Homework（抽屉原理）

Educational Codeforces Round 114 (Rated for Div. 2)

题意

给出字符a，b，c的数量，判断是否可以组成一个字符串，仅有m对相邻的字符相同。（需要用完所有字符）
例如：

• AABBCBA,有2对
• AAAA，有3对

思路

求出 m 所属的范围，判断m是否满足该范围即可。

0. 首先引入一道题目：分糖果hdu1205

• 思路：数量最多的糖果(隔板)可以构造最多的空间。假如数量最多的糖果有max个，那么至少需要max-1个其他种糖果将其分隔.对于某种数量少于max的糖果来说,可以在原本数量最多的糖果构造的隔板上"加厚"原有的隔板,那么这"某种糖果"就销声匿迹了…。（抽屉原理/鸽巢原理）所谓“加厚”，也即：将小于max的糖果分别插入最大的糖果所制造的空间，其他小于max的的糖果重复执行以上操作。
• 数学公式表示：$max<=sum-max+1$
• 一篇关于抽屉原理的详细讲解

1. 毫无疑问最多可以形成的对数 $$max=a+b+c-3$$
2. 对于如何构造最小形成的对数。可以假设$c>a+b+1$。对于a + b个隔板，每个隔板右边放一个c，剩下的c全部放最左边。剩下的c的数量 $cnt=c-a-b$ ,可以形成的对数 $cnt-1$,也即最少形成的对数$$min=c-a-b-1$$
3. 若$c<=a+b+1$,和上面引入的分糖果一样，肯定存在一个字符串满足，任何相邻的两个字符都不相同。也即 $min=0$
4. 综上：$\{\begin{array}{l}max=a+b+c-3\\ min=max(0,c-a-b-1)\end{array}$

#include<cstdio>
#include<queue>
#include<set>
#include<cstdlib>
#include<string.h>
#include<string>
#include<iostream>
#include<cmath>
#include<unordered_map>
#include<map>
#include<algorithm>
#define endl "\n"
#define IOS ios::sync_with_stdio(0), cin.tie(0),cout.tie(0)
#define ft first
#define sd second
#define pll pair<ll, ll>
#define pii pair<int, int>
#define ll long long int
#define ull unsigned long long int
#define mt(a,b) memset(a, b, sizeof a)
//#define int long long
const double PI = acos(-1.0);
const int inf = 0x3f3f3f3f;
const int INF = 0x7fffffff;
using namespace std;
const int N = 1e5 + 7, M = 1e6 + 10;

int main()
{
	IOS;
	int t; cin >> t;
	while (t--)
	{
		int a[3], m;
		cin >> a[0] >> a[1] >> a[2] >> m;
		sort(a, a + 3);

		int maxn = a[0] + a[1] + a[2] - 3;
		int minn = max(0,a[2] - a[1] - a[0] - 1);

		if (maxn >= m && minn <= m) cout << "YES\n";
		else cout << "NO\n";
	}


	return 0;
}