已知，a1,a2,…,an 是 1∼n 的全排列中字典序第 k 个排列。 请你判断，一共有多少个整数 x 同时满足以下所有条件： 1≤x≤n x 的十进制表示不含 4 和 7 以外的数字。 ax 的十进制表示不含 4 和 7 以外的数字。 输入格式 共一行，包含两个整数 n,k 。 输出格式 如果 1∼n 的全排列中字典序第 k 个排列根本不存在，则输出 -1。 否则，输出一个整数，表示满足条件的 x 的数量。 数据范围 前 4 个测试点满足 1≤n,k≤10 。 所有测试点满足 1≤n,k≤109 。

这是一个关于全排列和数字限制的问题。为了解决这个问题，我们可以使用递归和回溯的方法来生成全排列，并检查每个排列是否满足条件。

首先，我们定义一个函数 `generatePermutations` 来生成 1 到 n 的全排列。我们使用回溯算法，在生成排列的过程中，我们检查每个排列是否满足条件。如果满足条件，我们将计数器加一。

接下来，我们定义一个函数 `isValid` 来检查一个整数是否满足条件。我们将整数转换为字符串，并检查字符串中是否只包含数字 4 和 7。

最后，我们将主要的逻辑部分放在 `main` 函数中。我们读取输入的 n 和 k，然后调用 `generatePermutations` 函数生成全排列，并计算满足条件的整数的数量。如果满足条件的整数不存在，则输出 -1，否则输出满足条件的整数的数量。

下面是一种可能的实现方式：

#include <iostream>
#include <vector>
#include <string>

using namespace std;

int count = 0;

bool isValid(int x) {
    string str = to_string(x);
    for (char c : str) {
        if (c != '4' && c != '7') {
            return false;
        }
    }
    return true;
}

void generatePermutations(vector<int>& perm, vector<bool>& used, int n, int k) {
    if (perm.size() == n) {
        count++;
        return;
    }
    
    for (int i = 1; i <= n; i++) {
        if (!used[i]) {
            perm.push_back(i);
            used[i] = true;
            
            if (perm.size() <= k && isValid(perm[perm.size() - 1])) {
                generatePermutations(perm, used, n, k);
            }
            
            perm.pop_back();
            used[i] = false;
        }
    }
}

int main() {
    int n, k;
    cin >> n >> k;
    
    vector<int> perm;
    vector<bool> used(n + 1, false);
    
    generatePermutations(perm, used, n, k);
    
    if (count == 0) {
        cout << -1 << endl;
    } else {
        cout << count << endl;
    }
    
    return 0;
}

这样，我们就可以求解满足条件的 x 的数量了。请注意，以上代码仅为一种可能的实现方式，你可以根据需要进行修改和优化。