CodeForces-431D Random Task
题目描述
求一个\(n\),使得\(n+1\)到\(2n\)这些数的二进制中恰好有\(k\)个\(1\)的数有\(m\)个。
Input
输入包含两个正整数\(m,k\)。$(0<=m<=1e18, 1<=k<=64) $
Output
输出\(n\)。
Sample Input
1 1
3 2
Sample Output
1
5
首先我们要知道这个答案是具有单调性的。
即若满足\(m>n\),则区间\([m,2m]\)内满足条件的数的数量\(>\)区间\([n,2n]\)内满足条件的数的数量。
证明如下:
将区间\([n+1,2n]\)分割成两个区间\([n+1,n+1]\)和\([n+2,2n]\)。
而区间\([n+2,2*(n+1)]\)可以分割成\([n+2,2n]\)和\([2n+1,2n+2]\)。
而\(2n+2\)二进制中\(1\)的数量和\(n+1\)中\(1\)的数量是相同的。
而多了一个\(2n+1\)只有可能让数量增加,所以答案满足单调性。
即对于\(m>n\),则区间\([m,2m]\)内满足条件的数的数量\(>\)区间\([n,2n]\)内满足条件的数的数量。
证毕。
于是我们就可以二分求解了。
现在我们就只用判断\([n+1,2n]\)中满足条件的数的数量即可。
我们发现对于区间\([n+1,2n]\)满足条件的数的数量可以转换为\([1,2n]\)-\([1,n]\)的数量。
而一个前缀的数量肯定会更好求解。
问题进一步转换为求解\([1,n]\)内满足条件数的数量。
这个问题我们可以利用两种方法求解:
方法一:计数DP
对于当前\(n\),我们从二进制位高的开始考虑,首先我们只有在遇到一个\(1\)时才能更新答案。
对于当前遇到的\(1\),我们发现前面的位上的数是固定的,一共有\(tot\)个\(1\),而我们再后面的\(i\)个位上可以选择\(k-tot\)个位置放置\(1\),所以答案增加\(C(i,n-tot)\),然后\(tot++\)即可。
代码如下
#include <bits/stdc++.h>
using namespace std;
#define int long long
#define reg register
#define Raed Read
#define clr(a,b) memset(a,b,sizeof a)
#define debug(x) cerr<<#x<<" = "<<x<<endl;
#define rep(a,b,c) for(reg int a=(b),a##_end_=(c); a<=a##_end_; ++a)
#define ret(a,b,c) for(reg int a=(b),a##_end_=(c); a<a##_end_; ++a)
#define drep(a,b,c) for(reg int a=(b),a##_end_=(c); a>=a##_end_; --a)
#define erep(i,G,x) for(int i=(G).Head[x]; i; i=(G).Nxt[i])
#pragma GCC target("avx,avx2,sse4.2")
#pragma GCC optimize(3)
inline int Read(void) {
	int res=0,f=1;
	char c;
	while(c=getchar(),c<48||c>57)if(c=='-')f=0;
	do res=(res<<3)+(res<<1)+(c^48);
	while(c=getchar(),c>=48&&c<=57);
	return f?res:-res;
}
template<class T>inline bool Min(T &a, T const&b) {
	return a>b?a=b,1:0;
}
template<class T>inline bool Max(T &a, T const&b) {
	return a<b?a=b,1:0;
}
const int N=1e5+5,M=2e5+5,mod=1e9+7;
bool MOP1;
int m,k,C[70][70];
int solve(int x) {
	int Ans=0,tot=0;
	drep(i,63,0)if(x&(1ll<<i)) {
		if(tot<=k)Ans+=C[i][k-tot];
		tot++;
	}
	return Ans;
}
bool MOP2;
inline void _main() {
	m=Read(),k=Read();
	int L=1,R=1e18,Ans=0;
	C[0][0]=1;
	rep(i,1,64) {
		C[i][0]=1;
		rep(j,1,i)C[i][j]=C[i-1][j-1]+C[i-1][j];
	}
	while(L<=R) {
		int mid=(L+R)>>1;
		if(solve(mid*2)-solve(mid)>=m)Ans=mid,R=mid-1;
		else L=mid+1;
	}
	printf("%lld\n",Ans);
}
signed main() {
	_main();
	return 0;
}
方法二:数位DP
我们可以直接将\(n\)转换为二进制数,那么就可以直接\(dp\)了。
\(dp[i][j]\)代表考虑到第\(i\)位,\(1\)的数量为\(j\)的数的个数。
代码如下
#include <bits/stdc++.h>
using namespace std;
#define int long long
#define reg register
#define Raed Read
#define clr(a,b) memset(a,b,sizeof a)
#define debug(x) cerr<<#x<<" = "<<x<<endl;
#define rep(a,b,c) for(reg int a=(b),a##_end_=(c); a<=a##_end_; ++a)
#define ret(a,b,c) for(reg int a=(b),a##_end_=(c); a<a##_end_; ++a)
#define drep(a,b,c) for(reg int a=(b),a##_end_=(c); a>=a##_end_; --a)
#define erep(i,G,x) for(int i=(G).Head[x]; i; i=(G).Nxt[i])
#pragma GCC target("avx,avx2,sse4.2")
#pragma GCC optimize(3)
inline int Read(void) {
	int res=0,f=1;
	char c;
	while(c=getchar(),c<48||c>57)if(c=='-')f=0;
	do res=(res<<3)+(res<<1)+(c^48);
	while(c=getchar(),c>=48&&c<=57);
	return f?res:-res;
}
template<class T>inline bool Min(T &a, T const&b) {
	return a>b?a=b,1:0;
}
template<class T>inline bool Max(T &a, T const&b) {
	return a<b?a=b,1:0;
}
const int N=1e5+5,M=2e5+5,mod=1e9+7;
bool MOP1;
int m,k,dp[70][70],A[70];
int dfs(int pos,int tot,int limit) {
	if(!pos)return tot==k;
	if(!limit&&dp[pos][tot]!=-1)return dp[pos][tot];
	int up=limit?A[pos]:1,res=0;
	rep(i,0,up)res+=dfs(pos-1,tot+i,limit&(i==up));
	if(!limit)dp[pos][tot]=res;
	return res;
}
int solve(int x) {
	int len=0;
	while(x)A[++len]=x&1,x>>=1;
	return dfs(len,0,1);
}
bool MOP2;
inline void _main() {
	//	cerr<<"M="<<(&MOP2-&MOP1)/1024.0/1024.0<<endl;
	m=Read(),k=Read();
	int L=1,R=1e18,Ans=0;
	memset(dp,-1,sizeof dp);
	while(L<=R) {
		int mid=(L+R)>>1;
		if(solve(mid*2)-solve(mid)>=m)Ans=mid,R=mid-1;
		else L=mid+1;
	}
	printf("%lld\n",Ans);
}
signed main() {
	_main();
	return 0;
}
												
											CodeForces-431D Random Task的更多相关文章
- Codeforces Round #247 (Div. 2)  D. Random Task
		
D. Random Task time limit per test 1 second memory limit per test 256 megabytes input standard input ...
 - codeforces   478B  Random Teams
		
codeforces 478B Random Teams 解题报告 题目链接:cm.hust.edu.cn/vjudge/contest/view.action?cid=88890#probl ...
 - codeforces 431 D. Random Task   组合数学
		
题意: 给定m,k 0 <= m <= 10^18 ,1 <= k <= 64 求一个数n,满足n+1,n+2,...n+n这n个数中,刚好有m个数的2进制表示法刚好有k个1 ...
 - codeforces  478B Random Teams  解题报告
		
题目链接:http://codeforces.com/problemset/problem/478/B 题目意思:有 n 个人,需要将这班人分成 m 个 组,每个组至少含有一个人,同一个组里的人两两可 ...
 - Codeforces 653F Paper task   SA
		
Paper task 如果不要求本质不同直接st表二分找出最右端, 然后计数就好了. 要求本质不同, 先求个sa, 然后用lcp求本质不同就好啦. #include<bits/stdc++.h& ...
 - CF431D Random Task  二分+数位dp
		
One day, after a difficult lecture a diligent student Sasha saw a graffitied desk in the classroom. ...
 - Codeforces 846F -  Random Query
		
原题链接:http://codeforces.com/contest/846/problem/F 题意:给一个数列,任意取区间[l, r],问区间内不同数字的个数的期望是多少. 思路: 对于第i个数a ...
 - Codeforces 1067E - Random Forest Rank(找性质+树形 dp)
		
Codeforces 题面传送门 & 洛谷题面传送门 一道不知道能不能算上自己 AC 的 D1E(?) 挺有意思的结论题,结论倒是自己猜出来了,可根本不会证( 开始搬运题解 ing: 碰到这样 ...
 - Codeforces 788E - New task(线段树)
		
Codeforces 题目传送门 & 洛谷题目传送门 这是一道 *2900 的 D1E,而且被!我!自!己!搞!出!来!了! 虽然我承认它难度及摆放的位置异常异常虚高,并且就算我到了现场也不可 ...
 - CodeForces - 846F Random Query(期望)
		
You are given an array a consisting of n positive integers. You pick two integer numbers l and r fro ...
 
随机推荐
- head first 设计模式笔记1-策略模式:模拟鸭子
			
1.第一个设计原则:找出应用中可能需要变化之处,把它们独立出来,不要和那些不需要变化的代码混在一起.该原则几乎是所有设计模式背后的精神所在. 这个原则的另一种思考方式:把会变化的部分取出并封装起来,以 ...
 - idea 导入(非maven)web项目并发布到tomcat服务器
			
IDEA 2017.1版本 web项目导入并发布到Tomcat服务器 1.点击编辑项目结构 2.点击project 将项目编译输出目录改成{项目目录}/OUT,并设置项目环境,编译版本 3.点击mod ...
 - maven安装问题解决
			
出现: The JAVA_HOME environment variable is not defined correctly This environment variable is needed ...
 - [DTOJ3996]:Lesson5!(DP+拓扑+线段树)
			
题目描述 “最短的捷径就是绕远路,绕远路就是我最短的捷径” 转眼就$Stage\ X$了,$Stage\ X$的比赛路线可以看做一个$n$个点$m$条边的有向无环图,每条边长度都是$1$.杰洛$\cd ...
 - TensorFlow自动求梯度
			
例1 import tensorflow as tf a=tf.Variable(tf.constant(1.0),name='a') b=tf.Variable(tf.constant(1.0),n ...
 - 编译一个需要用特定key前面的应用程序
			
LOCAL_PATH := $(call my-dir) include $(CLEAR_VARS) # Build all java files in the java subdirectory L ...
 - golang defer 延后执行什么
			
对于golang的defer,我们已经知道,defer定义的语句可以延后到函数返回时执行. 经常用在文件的关闭,锁的释放等场景中.而且defer定义的语句即使遇到panic也会执行.这样,可以执行必要 ...
 - golang网络通信超时设置
			
网络通信中,为了防止长时间无响应的情况,经常会用到网络连接超时.读写超时的设置. 本文结合例子简介golang的连接超时和读写超时设置. 1.超时设置 1.1 连接超时 func DialTimeou ...
 - BOSCH汽车工程手册————混合驱动
			
首先放一波资源,一千两百多页的pdf 链接:https://pan.baidu.com/s/15IsvHqOFCnqAKwY_SR4-lA提取码:6wmz 混合驱动 混合驱动有串联驱动并联驱动以及两种 ...
 - OpenCV学习笔记(6)——几何变换
			
对图像进行各种变换,如移动,旋转,仿射变换等 变换 opencv提供了两个变换函数cv2.warpAffine cv2.warpPerspective使用这两个函数你可以实现所有类型的变换.前者接收的 ...