hdu 4151 The Special Number

题目链接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。

1. a[0,len-1]中只存在一个值等于x
   1. a[mid]<x，进一步缩小范围，l=mid+1后，[l,r]中存在正解
   2. a[mid]>x，进一步缩小范围，r=mid-1后，[l,r]中存在正解
   3. a[mid]==x，mid为正解，r=mid-1后，跳过正解，接下来一直进入else语句，直到l>r，此时l刚好等于之前的正解mid（特殊情况：正解为0，此时不会进入else语句，而会一直进入if语句，l没有被更新过，但结果刚好符合）
2. a[0,len-1]中存在多个值等于x
   1. 和上面类似分析，最终l为第一个等于x的位置
3. a[0,len-1]中不存在值等于x
   1. x<a[0]，结果为0。
      
   2. x>a[len-1]，结果为len。
      
   3. a[0]<x<a[len-1]，必然会至少存在一个mid使得a[mid]>x，经过一些辗转反侧以后，一定会到从左往右数第一个满足a[mid]>x的位置，因为就算满足a[mid]>x，r也会被赋值成mid-1继续尝试前面是否还有满足的，最终和上面的1.3一样，只不过这时是“伪正解”——第一个大于x的位置。
      

        其实分析了这么多以后，从概括、笼统、递归（不知道到底用什么词好。。提纲挈领？）的角度来看，如果将if语句里面的a[mid]>=x视为一个check条件的话，上面的算法会使区间向第一个满足check条件的位置不断收缩靠拢，直至找到这个位置。短短的几行代码，就让人感觉。。好奇妙啊！