bzoj 3858: Number Transformation

传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=3858
题解：这是一道奇怪的打表规律题，大神们可以直接感受其实类似于分块然而我不行，我们会发现，不断进行计算的时候，假设计算到$i$，当前为$n$,当满足$i >= \sqrt{n}$此后$\lceil\frac{n}{i}\rceil$不变，
于是我们可以模拟然后当满足条件时可以开心的输出$\lceil\frac{n}{i}\rceil*k$
然而作为一个正常人，我们一定要知道为什么算法的正确性和复杂度为何科学 。
正确性：1.当第一次满足$i >= \sqrt{n}$后一定一直满足此性质
考虑，$n$的增量$d_{n}$ 至多 为 $i$, 而 $i$ 每次增加$1$，明显此时$n$的增量至少为$2 * i+1$才行，所以$n$增长缓慢，此后一直满足此性质
2.设 $S = \sqrt{n}$,$i >= S$,设 $\lceil\frac{n}{i}\rceil = T <= S$
可知要计算$\lceil(\lceil\frac{n}{i}\rceil * \frac{i}{i + 1})\rceil = \lceil(T * \frac{i}{(i + 1)}) =$
$\lceil(\frac{T}{(1 + \frac{1}{i})})\rceil$我们要使一个数$f$除一个数$g$，至少减一，那么满足$\frac{f}{g} <= f - 1$,即$g >= 1 + \frac{1}{f-1} >= 1 + \frac{1}{f}$,然而，可知$i >= S >= T$,所以T不变。
复杂度：考虑一个计数器，假设进行了$j$次，$n$最好情况下每次增量为相应的$j$,则解方程$j ^ 2 >= n_{初} + \frac{j * (j + 1)}{2}$，可约得$j >= \sqrt{n_{初}}$ 总复杂度：$O(n\sqrt{n}）$

代码：

#include<cstdio>  
#include<cstring>  
#include<iostream>  
#include<algorithm>  
using namespace std;    
long long n,k,cnt;
int main()  
{  
    long long i;  
    while(scanf("%lld%lld",&n,&k),n||k)  
    {  
        for(i = 2;i <= k; i++)  
        {  
            long long temp = ( n + i - 1) / i;  
            if (temp <= i)  
            {  
                n = temp * k;  
                break;  
            }  
            n = temp * i;  
        }  
        printf("Case #%lld: %lld\n",++cnt,n);  
    }  
    return 0;  
}  

总结：当遇到做不出来的数学性很强的题目可以打表找规律或大胆猜测验证。