題意：在（P，Q】區間內，第K大的滿足條件的數是多少

條件是：數位中有X個4，Y個7

分析：

有X個4，Y個7是很簡單的數位dp

dp【pos】【x】【y】：當前pos位，現在已經有了x個4，y個7

注意可以有個小剪枝，即x不能超過X，y不能超過Y

二分的方法與HDOJ 3271 SNIBB相同

注意開閉區間

二分的時候，求符合條件的解的時候，用個變數記錄每次二分後，符合條件的值

分析見程式碼

注意2的63次方，需要long long

#include<map>
#include<set>
#include<math.h>
#include<time.h>
#include<iostream>
#include<cstdio>
#include<queue>
#include<stack>
#include<stdio.h>
#include<cstring>
#include<string.h>
#include<algorithm>
#include<cstdlib>
using namespace std;

#define lson rt<<1,l,mid
#define rson rt<<1|1,mid+1,r
#define ll rt<<1
#define rr rt<<1|1
#define LL long long
#define ULL unsigned long long
#define maxn 1050
#define maxnum 1000050
#define eps 1e-6
#define input freopen("input.txt","r",stdin)
#define output freopen("output.txt","w",stdout)

LL dp[25][25][25];
int digit[25];
int X,Y;

LL dfs(int pos,int x,int y,bool flag){
	if (pos==0) return x==X&&y==Y;
	if (flag&&dp[pos][x][y]!=-1) return dp[pos][x][y];
	int up=flag?9:digit[pos];
	LL ans=0;
	for(int i=0;i<=up;i++){
		if (x==X&&i==4) continue;
		if (y==Y&&i==7) continue;
		ans+=dfs(pos-1,x+(i==4?1:0),y+(i==7?1:0),flag||i<up);
	}
	if (flag) dp[pos][x][y]=ans;
	return ans;
}

LL calc(LL x){
	int len=0;
	while(x){
		digit[++len]=x%10;
		x/=10;
	}
	return dfs(len,0,0,0);
}

int main(){
	//input;
	int T,n;
	scanf("%d",&T);
	for(int Case=1;Case<=T;Case++){
		memset(dp,-1,sizeof(dp));
		LL P,Q;
		scanf("%I64d%I64d%d%d%d",&P,&Q,&X,&Y,&n);
		LL limit=calc(P);
		printf("Case #%d:\n",Case);
		for(int i=0;i<n;i++){
			LL l=P+1,r=Q+1,K,m;
			//l是第一個符合條件的數
			//r是第一個不符合條件的數
			//在二分判斷的過程中，用l做可行解的記錄
			//相當於添加了一個ans變數 
			scanf("%I64d",&K);
			while(l<r){
				m=(l+r)>>1;
				if (calc(m)-limit<K) l=m+1;
				else r=m;
			}
			if (l==Q+1) cout<<"Nya!"<<endl;
			else printf("%I64d\n",l);
		}
	}
	return 0;
}