n
≤
500
,
m
≥
n
−
2
,
k
≤
5000
n\le500,m\ge n-2,k\le5000
n≤500,m≥n−2,k≤5000
Solution
一道性质题。
考场上想了一会儿的网络流,但是并不可做,之后尝试猜结论,打了一个暴力。
之后看到了
m
=
n
−
1
m=n-1
m=n−1的部分分,虽然想到了树,以及每一次的叶子都是剩余值最小的那个,但是并不知道到它和哪一个合并在一起,然后就没有想法了。
实际上,对于这一类的题目,应该大胆顺着自己的结论往下走,多玩一玩样例,就可以发现只要
m
≥
n
−
1
m\ge n-1
m≥n−1就一定有解,再进行一定的推导就可以发现最小的那个叶子不管谁是它的父亲都可以。
考虑证明
m
=
n
−
1
m=n-1
m=n−1的任意情况都有解:设
x
(
x
≥
0
)
x(x\ge0)
x(x≥0)为当前剩下的最小的,如果没有一个
y
y
y使得
x
+
y
>
=
k
x+y>=k
x+y>=k的话,那么
s
u
m
m
a
x
<
x
+
(
n
−
1
)
(
k
−
x
)
≤
(
n
−
1
)
k
sum_{max}<x+(n-1)(k-x)\le (n-1)k
summax<x+(n−1)(k−x)≤(n−1)k,与
s
u
m
=
(
n
−
1
)
k
sum=(n-1)k
sum=(n−1)k矛盾,那么当前选择一个可以的
y
y
y与
x
x
x匹配即可,剩下的子问题依旧有解。
那么不难发现
m
≥
n
m\ge n
m≥n,一定有
a
i
≥
k
a_i\ge k
ai≥k,直接取出来即可转化为
m
=
n
−
1
m=n-1
m=n−1的情况。
考虑
m
=
n
−
2
m=n-2
m=n−2,那么如果最后的边连出来,至少有两个联通块,所以只要分成两个集合,每一个集合
∣
S
∣
|S|
∣S∣都是
(
∣
S
∣
−
1
)
k
(|S|-1)k
(∣S∣−1)k就可以分别求解。