CodeForces 899D Shovel Sale

题解：这题我是打了个表找到的规律……想一想应该是对的，可以证明的，但是懒得仔细想了，感性认知一下就好啦~

首先，末尾的九的个数最多有几个，是以5乘以10的若干次方来划分的。所以，5乘以10的若干次方的答案都是1。

然后，随着询问数字的增长，答案以等差数列的方式随之增长，一开始公差是1，遇到1500……0这个数字之后公差变成2，然后遇到2500……0这个数字之后公差变成3，以此类推。同时，遇到999……9，1999……9，2999……9的时候，答案与前面的差要比当时的公差少1。

仔细想想，证明应该是可以用一一对应来解释的……不过懒得想了OUO

代码如下：

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<string>
#include<cstring>
#include<cmath>
#include<algorithm>
using namespace std;

int n,nd,ff,now;
long long ans,fst;

int main()
{
	scanf("%d",&n);fst=1;
	if(n<5){printf("%d\n",n*(n-1)/2);return 0;}
	while(5*fst<=n) fst*=10;
	nd=ff=1;now=fst/2;ans=1;
	while(1)
	{
	  if(ff==1)
	  {
	  	if(n<=now+fst/2-1){ans+=(long long)nd*(n-now);if(n==now+fst/2-1) ans--;break;}
	  	else{ans+=(long long)nd*(fst/2-1)-1;now+=fst/2-1;}
	  }
	  if(ff==2)
	  {
	  	if(n<=now+fst/2){ans+=(long long)nd*(n-now);break;}
	  	else{ans+=(long long)nd*fst/2;now+=fst/2;}
	  }
	  if(ff==3)
	  {
	  	if(n==now+1){ans+=nd+1;break;}
	  	else{ans+=nd+1;nd++;now++;}
	  }
	  ff=ff%3+1;
	}
	cout<<ans<<endl;
	return 0;
}