分析

一句话题意：已知 $a_1,a_2,\ldots a_n$ 和 $k$，构造 $c_1,c_2,\ldots c_n$ 满足 $\sum_{i=1}^nc_i=k$，且 $\sum_{i=1}^n\dfrac{a_i}{c_i}$ 最小，求这个最小值。

设 $t_i=\dfrac{a_i}{c_i}-\dfrac{a_i}{c_i+1}=\dfrac{a_i}{c_i\times(c_i+1)}$，则 $c_i^2+c_i-\dfrac{a_i}{t_i}$，$c_i=\dfrac{-1\pm\sqrt{1-\dfrac{4a_i}{t_i}}}{2}$。

显然 $c_i>0$，则 $c_i=\dfrac{-1+\sqrt{1+\dfrac{4a_i}{t_i}}}{2}$。

注意到正确的 $c$ 一定让 $\max{|t_i-t_j|}$ 尽量小，因为如果 $t_j-t_i$ 很大，那么让 $c_i\gets c_i-1,c_j\gets c_j+1$，则 $ans'$ 很可能比原答案要大。

这道题只要求最接近的整数，所以可以就当做所有的 $t$ 都相等进行二分，如果 $\sum_{i=1}^n\lceil{\dfrac{-1+\sqrt{1+\dfrac{4a_i}{t_i}}}{2}}\rceil\le k$ 则可以，否则不行。显然前面这个柿子单调递增。

注意精度！注意精度！注意精度！

注意不要用 int/long long 存浮点型数据，就算结果保留整数！