考虑没一个数的贡献度,贡献度>=k的最大值自然就是答案
首先奇数x可以从2x跳转过来
偶数y可以从y+1,2y跳转过来
例如3由6跳转过来,6由7和12跳转过来,那么说3对于6、7、12…产生贡献
列出1~4的贡献度找规律
1 : 1 2 3 4 5 6 7 8 9 10 …n
2 : 2 3 4 5 6 7 8 9 10 11…n
3 : 3 6 7 12 13 14 15 24…n
4 : 4 5 8 9 10 11 16 17 18…n
我们把数值分组为1x~,2x ~ , 4x ~ ,8x…
例如[3],[6,7],[12,13,14,15]…
可以得出第k+1组由第k组乘2加 k+1 组内数据+1得来,数量为k组的二倍
乘2和乘2+1都有了自然满足了组内的连续性
所有奇数都满足这种结构
所有偶数也有与此类似的结构,可以自己构造4的结构找出规律
通过上面的赘述,我们先把基数分奇偶两类
不难发现 对于每一类来说基数越大所能产生的贡献度就越小
因此我们可以利用这个单调的性质进行二分答案
/*input
20 20
*/
#include<iostream>
using namespace std;
typedef unsigned long long ull;
bool check(ull mid,ull n,ull k)
{
ull sum=0,top;
if(mid%2) top=1;
else top=2;
for(ull i=1;n/i>=mid;i*=2){
ull use=min(top,n-mid*i+1);sum+=use;top*=2;
}
return sum>=k;
}
int main()
{
ull n,k;
cin>>n>>k;
ull l=1,r=n,mid=l+r>>1;
ull ans=0;
while(l<r)
{
if(check(mid*2-1,n,k)) l=mid;
else r=mid-1;
mid=(l+r+1)>>1;
}
ans=l*2-1;
l=1,r=n,mid=l+r>>1;
while(l<r)
{
if(check(mid*2,n,k)) l=mid;
else r=mid-1;
mid=(l+r+1)>>1;
}
if(check(l*2,n,k)) ans=max(ans,l*2);
cout<<ans<<endl;
}