[CF818F]Level Generation

题目

传送门 to luogu

题意概要
对于 $n$ 个点 $m(2|m)$ 条边的简单无向图，如果有至少 $\lceil \frac{m}{2}\rceil$ 条边是桥，则这个图是 “绝妙的” 。

$q(q\le 10^5)$ 次询问，求出 $x(x\le 2\times 10^9)$ 个点的 “绝妙的” 图中，最多有多少条边。

思路

显然桥不会出现在环上。显然无向图无环则为树。环可以缩点，剩下的连成树。树边即是桥。

设其余的环均已缩点，点数为 $n$ 。剩下两个环，大小分别为 $a$ 和 $b$ ，则可随意选择的边数量为 $\frac{a(a-1)+b(b-1)}{2}=\frac{a^2+b^2-a-b}{2}$ （无非是将环连成完全图），树边的数量为 $n-a-b+1$ 。但合在一起形成大小为 $a+b-1$ 的环，则可选的边数量为 $\frac{(a+b-1)(a+b-2)}{2}=\frac{a^2+b^2+2ab-3a-3b}{2}$ ，树边的数量仍然为 $n-a-b+1$ 。

注意到环的大小至少为 $3$ ，即 $a,b\ge 3$ ，就有 $ab\ge a+b$ （简要证明：不妨设 $a\ge b$ ，移项，等价于 $a(b-1)\ge b$ ，显然成立）。于是

$$\frac{a^2+b^2+2ab-3a-3b}{2}\ge \frac{a^2+b^2-a-b}{2}$$

故：两个环合并，一定不劣。所以最终只有一个环。

枚举这个唯一的环的大小为 $x$ ，总的边数不能超过两倍的桥，也不能超过图中的可选边数量，最后

$$ans=\min \left(\frac{1}{2}{x}^2-\frac{3}{2}x+n,2n-2x\right)$$

这个式子是化简后的结果，左边原始为 $\frac{x(x-1)}{2}+n-x$ 。观察右式，显然 $\frac{1}{2}{x}^2-\frac{3}{2}x+n$ 在 $[2,+\infty )$ 上单增，而 $2n-2x$ 单减，显然可以二分求二者的交点。

什么？你问我 $[2,+\infty )$ 以外的部分？环最少三个点，兄弟！可以把无环即 $ans=n-1$ 赋为初值。

代码

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <vector>
#include <queue>
using namespace std;
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}
template < typename T >
void getMax(T&a,const T&b){if(a<b)a=b;}
template < typename T >
void getMin(T&a,const T&b){if(b<a)a=b;}

int main(){
	for(int Q=readint(); Q--; ){
		int n = readint(), i;
		long long ans = n-1;
		int L = 3, R = n-1;
		while(L+1 < R){
			i = (L+R)>>1;
			if(i*(i-1ll)/2+(n-i) <= 2ll*(n-i))
				L = i;
			else R = i;
		}
		for(i=L; i<=R; ++i)
			getMax(ans,min(i*(i-1ll)/2+(n-i),2ll*(n-i)));
		printf("%lld\n",ans);
	}
	return 0;
}