题解：AT_arc182_b [ARC182B] |{floor(A_i/2^k)}|

1. $A$ 中没有必要包含小于 $2^{K-1}$ 的元素。

证明：因为在 $[1,2^{K-1}]$ 中的数，都可以有 $(2^{K-1},2^K)$ 的数通过删除最后一位表示，也就是 $\frac{A_i}{2^k}$。

2. 对于每一个二进制位，我们要尽可能的平分。

草率的证明：如果不平分，那么在较低位上容易重复，所以要尽可能得评分。

3. 考虑具体实现。

可以考虑将 $i$ 二进制的反转与 $2^{K-1}$ 的和作为 $A_i$。

代码

#include <iostream>
#include <vector>
#include <algorithm>
#include <bitset>

using namespace std;

int bit_reversal(int x, int K) {
    bitset<32> bs(x);
    string bin_str = bs.to_string();
    string reversed = bin_str.substr(32 - (K - 1)).substr(0, K - 1);
    reverse(reversed.begin(), reversed.end());
    return stoi(reversed, nullptr, 2);
}

int main() {
    int T;
    cin >> T; 
    while (T--) {
        int N, K;
        cin >> N >> K; 
        if (N >= (1 << (K - 1))) { // 特判
            for (int i = 0; i < N; ++i) {
                cout << max(1, (1 << K) - i - 1) << " ";
            }
        } else {
            for (int i = 0; i < N; ++i) {
                cout << (1 << (K - 1)) + bit_reversal(i, K) << " ";
            }
        }
        cout << endl; 
    }
    
    return 0;
}