题目中看到了Special Judge，看到了n和k是感觉无法暴力的数据大小，那么，我们就要试着去考虑一发公式了！


当GCD的值取到最小的时候，说明相邻的两个数字全是互斥的

意思是：k=1时，数列为1，2，3，4，5，……是符合条件的

当k=2的时候，说明有一对不互斥，而且GCD只增加了1，那么我们可以构造出来一对偶数放到前面的情况，即：2，4，1，3，5，6，7，8，……

当k=3的时候，说明有两对不互斥，而且GCD只增加了2，那么：2，4，6，1，3，5，7，8……

所以，当k为几的时候，就是前几个偶数放在前面（k=1的时候，2，1，3，4，5，……也是可以的）

所以：

我们得到一个构造的暴力解法：


#include<bits/stdc++.h>
using namespace std;

const int maxn=1e6+100;
bool vis[maxn];
int n,k;

int main(){
    int t;
    scanf("%d",&t);
    for(int Case=1;Case<=t;Case++){
        scanf("%d%d",&n,&k);
        printf("Case #%d: ",Case);
        memset(vis,false,sizeof(vis));
        bool flag=false;
        for(int i=1;i<=k;i++){
            vis[i*2]=true;
            if (flag) printf(" %d",i*2);
            else{
                flag=true;
                printf("%d",i*2);
            }
        }
        for(int i=1;i<=n;i++)
            if (!vis[i]) printf(" %d",i);
        puts("");
    }
    return 0;
}