题目链接http://acm.hdu.edu.cn/showproblem.php?pid=4151
题意:给出special number定义——非负的无前导0的每一位数字都不相同的数。求小于n(<=1e7)的special number数目。
解题思路:先预处理将所有的special number存起来,然后二分查找其位置即可得要求的数目。可以直接用lower_bound,也可以手写二分。
#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <cmath>
#include <vector>
#include <queue>
using namespace std;
#define INF 0x3f3f3f3f
#define N 10000010
typedef long long ll;
int a[N];
bool check(int i)
{
bool flag=true,num[10];
memset(num,false,sizeof num);
while(i){
int tmp=i%10;
if(num[tmp]){
flag=false;
break;
}
else{
num[tmp]=true;
}
i/=10;
}
return flag;
}
int main()
{
int tot=0;
for(int i=1;i<N;i++){
if(check(i))
a[tot++]=i;
}
int x;
while(scanf("%d",&x)!=EOF){
if(x<1){
puts("0");
continue;
}
int l=0,r=tot-1,mid;
int ans=tot;//x太大在[l,r]中找不到时,ans不会被更新,故ans应初始化为总个数
while(l<=r){
mid=(l+r)/2;
if(a[mid]>=x) ans=mid,r=mid-1;
else l=mid+1;
}
printf("%d\n",ans);
}
return 0;
}
另一种二分写法(即最终的l其实就是ans):
int l=0,r=tot-1,mid;
while(l<=r){
mid=(l+r)/2;
if(a[mid]>=x) r=mid-1;
else l=mid+1;
}
printf("%d\n",l);
分析:
假设原始查询区间L=0,R=len-1。
- a[0,len-1]中只存在一个值等于x
- a[mid]<x,进一步缩小范围,l=mid+1后,[l,r]中存在正解
- a[mid]>x,进一步缩小范围,r=mid-1后,[l,r]中存在正解
- a[mid]==x,mid为正解,r=mid-1后,跳过正解,接下来一直进入else语句,直到l>r,此时l刚好等于之前的正解mid(特殊情况:正解为0,此时不会进入else语句,而会一直进入if语句,l没有被更新过,但结果刚好符合)
- a[0,len-1]中存在多个值等于x
- 和上面类似分析,最终l为第一个等于x的位置
- a[0,len-1]中不存在值等于x
- x<a[0],结果为0。
- x>a[len-1],结果为len。
- a[0]<x<a[len-1],必然会至少存在一个mid使得a[mid]>x,经过一些辗转反侧以后,一定会到从左往右数第一个满足a[mid]>x的位置,因为就算满足a[mid]>x,r也会被赋值成mid-1继续尝试前面是否还有满足的,最终和上面的1.3一样,只不过这时是“伪正解”——第一个大于x的位置。
- x<a[0],结果为0。
其实分析了这么多以后,从概括、笼统、递归(不知道到底用什么词好。。提纲挈领?)的角度来看,如果将if语句里面的a[mid]>=x视为一个check条件的话,上面的算法会使区间向第一个满足check条件的位置不断收缩靠拢,直至找到这个位置。短短的几行代码,就让人感觉。。好奇妙啊!