Codeforces1574B

问题描述

• 给你三个数$a,b,c$，问你是否可以形成一个有$m$对相邻相等的字母对。

思路分析

• 我们可以知道，给你的$a,b,c$分别代表着$A,B,C$的个数。
• 那么我们最多可以得到多少对相邻相等的字母对呢？答案自然是$a+b+c-3$，为什么呢？因为我们可以知道如果所有相同的字母全部放在一起的话，能形成的对数就是个数减一。
• 我们从最多对数那里看，我们是否能通过某种操作只使这个对数减一呢？答案无疑是肯定的，我们可以把刚刚产生的顺序对的最后一个放到第一个来(实际上这两个字母不会相等)，这样的操作就能只使对数减一了。
• 减二就由减一得呗，依此类推。
• 这样的话我们就可以去求一个下界。
• 怎么求这个下界呢？
• 我们可以这样想，首先，我们把最多的字母和另外两个字符一一匹配(如果不一一匹配的话，会剩下最多的那个字符剩余个数)，这样就能使这个最多的字符不浪费，并且使得答案最小。

代码如下

#include <bits/stdc++.h>
using namespace std;
#define ll long long
ll m;
ll a[3];
int main()
{
        ios::sync_with_stdio(0);
        cin.tie(0);
        cout.tie(0);
        int t;
        cin >> t;
        while (t--)
        {
                cin >> a[0] >> a[1] >> a[2] >> m;
                sort(a, a + 3);
                ll cnt1 = a[0] + a[1] + a[2] - 3;
                ll cnt2 = max(a[2] - a[1] - a[0] - 1, 0ll);
                if (cnt1 >= m && cnt2 <= m)
                {
                        cout << "YES" << endl;
                }
                else
                {
                        cout << "NO" << endl;
                }
        }
        return 0;
}