蒟蒻推了个奇怪的式子想知道能不能做
∑x=1nx−∑x2−n>0n⌈x2−n ⌉\sum_{x=1}^{n}x-\sum_{x^2-n>0}^{n}\lceil \sqrt{x^2-n}\ \rceil∑x=1nx−∑x2−n>0n⌈x2−n ⌉
后面一项能不能优化到 O(n )O(\sqrt{n}\ )O(n ) 以下的复杂度
求大佬们解惑
蒟蒻被罚坐了 1.5h , 闷声掉大分
