完全图(二分,图论)

完全图

题目链接
在图论的数学领域，完全图是一个简单的无向图，其中每对不同的顶点之间都恰连有一条边相连。————百度百科
现在给定一个包含 n 个顶点的完全图，你可以删掉图中的一些边，但是删掉的边不能超过m 条，请问删去边之后的图最多能有几个连通分量？

输入描述:

第一行包含一个数字 {T}T，表示测试数据组数
接下来 T 行，每行两个正整数n,m，中间用空格隔开

输出描述:

输出 T 行，每行一个整数表示答案

输入

2
5 1
5 5

输出

1
2
备注:
1≤T≤10000,1≤n,m≤10¹⁸

算法分析

完全图,n个顶点的图每个顶点都连接着n-1个边,要使多出一个连通块就至少要分离出一个点就是要删去n-1条边.所以多x个连通块的话就要删去(n-1)+(n-2)+…+(n-x)一共是[(n-1)+(n-x)]*x/2,给了m条边,我们用二分来求出最大满足分割条件的x,他满足的条件就是(2 * n-1-x) * x/2>=m, n,m的值有10¹⁸那么大,所以要把式子进行变换为 (n-(1+x)/2) * mid >= m 再变换 -> 2 *n-x-1 >= 2 * m / x

代码实现

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;
typedef long long ll;
ll n,m;
bool check(ll mid)
{
    if(2*n-mid-1<=2*m/mid)
        return true;
    return false;
}
int main()
{
    int t;
    cin>>t;
    while(t--)
    {
        cin>>n>>m;
        ll l=0,r=n-1;
        while(l<r)
        {
            ll mid=l+r+1>>1;
            if(check(mid))    l=mid;
            else    r=mid-1;
        }
        cout<<l+1<<endl;
    }
}