题目链接
大意：给你一个 2 n ∗ 2 n 2^n*2^n 2n∗2n的正方形，你每次可以选择一个边长大于1的正方形等分成四份，现在让你切k次，使得左下角到右上角存在一个路径，路径上的正方形边长都相同。
思路：枚举边长，判断k是否在最小最大的范围内
推荐这个博客

#include<bits/stdc++.h>

#define LL long long
#define fi first
#define se second
#define mp make_pair
#define pb push_back

using namespace std;

LL gcd(LL a,LL b){return b?gcd(b,a%b):a;}
LL lcm(LL a,LL b){return a/gcd(a,b)*b;}
LL powmod(LL a,LL b,LL MOD){LL ans=1;while(b){if(b%2)ans=ans*a%MOD;a=a*a%MOD;b/=2;}return ans;}
const int N = 2e5 +11;
int t,a,b;
LL f[N];
LL n,k;
int c(){
    for(int i=0;i<n;i++){
        int j=n-i;
        LL ans=0;
        for(int k=1;k<=j;k++)ans+=(1ll<<k)-1;//最小
        if(ans>k)continue;
        if(f[n]-f[i]*((2*(1ll<<(j)))-1)<k)continue;//最大
        return i;
    }
    return -1;
}
int main(){
    ios::sync_with_stdio(false);
    f[1]=1;
    for(int i=2;i<=31;i++)f[i]=4ll*f[i-1]+1;
    for(cin>>t;t;t--){
        cin>>n>>k;
        if(n>31)cout<<"YES "<<n-1<<'\n';
        else{
            int ans=c();
            if(ans==-1)cout<<"No\n";
            else cout<<"YES "<<ans<<endl;
        }
    }   
    return 0;
}