Atcoder AGC031C Differ By 1 Bit (构造、二进制)
哎呀这个C怎么比B还水。。。。(我现在大概也就会做点这种水题了吧)
题目链接
https://atcoder.jp/contests/agc031/tasks/agc031_c
题目大意
符号约定: \(count(x)\)表示整数\(x\)在二进制表示下\(1\)的个数。“二进制表示下第\(x\)位”表示位权为\(2^x\)的位。数组下标全部从0开始
给定\(N,A,B\), 求构造一个\([0,2^N-1]\)的排列\(p\), 满足\(p_0=A, p_{2^N-1}=B\), 对于任何\(i\in[1,2^N-1]\), \(count(p_i\ xor\ p_j)=1\).
\(1\le N\le 17\)
题解
注: 这道题“二进制位相差\(1\)个”的这个条件,我们可以用图形象地表示出来,就是一个\(n\)维立方体顶点和棱的几何结构。这样画出来也许有助于理解本题。
首先观察到一些结论。
(1) 如果一个排列\(p\)是合法的,那么把\(p\)中的每个元素异或一个正整数\(x\)之后得到排列\(p'\),排列\(p'\)仍然是合法的。
太显然,不证了。
据此,我们可以令\(B=B\ xor\ A\), 然后构造一个\(p\)满足\(p_0=0, p_{2^N-1}=B\), 最后把答案序列全部\(xor\ A\)
(2) 能构造出以\(0\)开始以\(B\)结束的合法排列当且仅当\(count(B)\equiv 1(\mod 2)\)
证明: \(|count(p_i)-count(p_{i-1})|=1\), 故\(count(p_{2^N-1})\)为奇数。必要性得证。
充分性?我们可以直接按以下方案进行构造
假设我们要解决问题\((n,b)\) (表示大小为\(n\)起始点为\(0\)终止点为\(b\))
分类讨论\(b\)二进制表示下第\((n-1)\)位
若为\(1\), 则我们先在\([0,2^{n-1}-1]\)内构造一个起始点为\(0\)终止点为\(1\)的排列(递归调用问题\((n-1,1)\)),然后从\(1\)这个点一步跳到\(2^{n-1}+1\), 再构造一个\([2^{n-1},2^n-1]\)的起始点为\(2^{n-1}+1\)终止点为\(b\)的排列。这一部分可以递归调用问题\((n-1,b\ xor\ (2^{n-1}+1))\)然后把生成的排列每个位置都异或\(2^{n-1}+1\)解决。
若为\(0\), 情况稍有复杂。我们依然是构造两个排列,第一个排列\(p_1\)由问题\((n-1,a)\)生成, 而我们希望在排列\(p_1\)中塞入另一个排列,而使得新排列仍然合法。考虑\(p_1[0]\)和\(p_1[1]\) (其中\(p_1[0]\)显然为\(0\)), 构造一个排列\(p_2\)值域为\([2^{n-1},2^n-1]\)且起始于\(2^{n-1}\)终止于\(p_1[1]\ xor\ 2^{n-1}\),这一部分可以通过调用问题\((n-1,p_1[1])\)然后给生成排列的每个元素都加上\(2^{n-1}\)完成。然后我们把\(p_2\)接在\(p_1[0]\)和\(p_1[1]\)之间,它就合法了。
时间复杂度\(T(n)=2T(n-1)+O(2^n)\), 解得\(T(n)=O(2^nn)\)
说了这么多,可能不太清楚。。后面我举个例子:(仅展开模拟第一层递归)
例子1: 问题(4,13)的解决
判断出为第一种情况(第3位为1)
首先构造问题(3,1)的排列: 0 4 5 7 6 2 3 1
然后构造问题(3,4)的排列: 0 2 3 1 5 7 6 4,其中4=13 xor 9, 9=2^3+1
问题(3,4)的排列每个数xor 9之后可得: 9 11 10 8 12 14 15 13
前后拼接即可得: 0 4 5 7 6 2 3 1 9 11 10 8 12 14 15 13就是答案
例子2: 问题(4,7)的解决
判断出为第二种情况(第3位为0)
首先构造问题(3,7)的排列p1: 0 2 3 1 5 4 6 7, 发现p1[1]是2
然后构造问题(3,2)的排列: 0 4 6 7 5 1 3 2, 然后每个数+8后可得8 12 14 15 13 9 11 10
然后把这个以8开头以10结束的排列插在p1的0和2之间,得到0 8 12 14 15 13 9 11 10 2 3 1 5 4 6 7就是答案
代码
#include<cstdio>
#include<cstdlib>
#include<cstring>
using namespace std;
const int N = 17;
int ans[(1<<N)+3];
int cnt[(1<<N)+3];
int tmp[(1<<N)+3];
int n,A,B;
void solve(int x,int a,int ret[])
{
if(x==0) {ret[0] = 0; return;}
if(x==1) {ret[0] = 0; ret[1] = 1; return;}
if(a&(1<<(x-1)))
{
solve(x-1,1,ret);
solve(x-1,a^((1<<(x-1))+1),ret+(1<<(x-1)));
for(int i=(1<<(x-1)); i<(1<<x); i++) ret[i] = ret[i]^((1<<(x-1))+1);
}
else
{
solve(x-1,a,ret);
solve(x-1,ret[1],ret+(1<<(x-1)));
for(int i=(1<<(x-1)); i<(1<<x); i++) ret[i] = ret[i]^(1<<(x-1));
tmp[0] = ret[0]; for(int i=0; i<(1<<(x-1)); i++) tmp[i+1] = ret[i+(1<<(x-1))];
for(int i=((1<<(x-1))+1); i<(1<<x); i++) tmp[i] = ret[i-(1<<(x-1))];
for(int i=0; i<(1<<x); i++) ret[i] = tmp[i];
}
}
int main()
{
scanf("%d%d%d",&n,&A,&B); B^=A;
for(int i=1; i<(1<<n); i++) cnt[i] = cnt[i>>1]+(i&1);
if((cnt[B]&1)==0) {puts("NO"); return 0;}
puts("YES");
solve(n,B,ans);
for(int i=0; i<(1<<n); i++) ans[i]^=A;
for(int i=0; i<(1<<n); i++) printf("%d ",ans[i]);
return 0;
}
Atcoder AGC031C Differ By 1 Bit (构造、二进制)的更多相关文章
- 2018.09.22 atcoder Integers on a Tree(构造)
传送门 先考虑什么时候不合法. 第一是考虑任意两个特殊点的权值的奇偶性是否满足条件. 第二是考虑每个点的取值范围是否合法. 如果上述条件都满足的话就可以随便构造出一组解. 代码: #include&l ...
- Atcoder beginner contest 249 C-Just K(二进制枚举)
题目大意:给你N个字符串,你可以从中选择任意数量的字符串,请统计在你的字串中,相同字母出现次数正好为K次的字母数.数据保证出现的字母都是小写字母. 1≤N≤15 1 ≤K≤N 一开始读题的时候读错了, ...
- 【译】构造和匹配二进制(Efficiency Guide)
可以通过以下方式有效地构建二进制: my_list_to_binary(List) -> my_list_to_binary(List, <<>>). my_list ...
- Java 构造 BSON 数据类型
Java 构造 BSON 数据类型 整数/符浮点数 Java BSON 构造整数/符浮点数类型 // {a:123, b:3.14} BSONObject obj = new BasicBSONObj ...
- 转载:【原译】Erlang构建和匹配二进制数据(Efficiency Guide)
转自:http://www.cnblogs.com/futuredo/archive/2012/10/19/2727204.html Constructing and matching binarie ...
- Erlang 位串和二进制数据
http://blog.chinaunix.net/xmlrpc.php?r=blog/article&uid=25876834&id=3300393 因为在本人工作中,服务端Erla ...
- Java API 快速速查宝典
Java API 快速速查宝典 作者:明日科技,陈丹丹,李银龙,王国辉 著 出版社:人民邮电出版社 出版时间:2012年5月 Java编程的最基本要素是方法.属性和事件,掌握这些要素,就掌握了解决实际 ...
- C#功能扩张方式
有时候,为了完成一些window的一些操作,需要引入一些dll进行操作 1) 引入系统api进行操作,形如[DllImport("urlmon.dll", CharSet = C ...
- 【学习笔记】tensorflow图片读取
目录 图像基本概念 图像基本操作 图像基本操作API 图像读取API 狗图片读取 CIFAR-10二进制数据读取 TFRecords TFRecords存储 TFRecords读取方法 图像基本概念 ...
随机推荐
- linux下启动jekins报错
进入默认安装目录,执行java -jar jekins.war 启动使用端口号: java -jar jenkins.war --httpPort=8085,即启动完成 这个有个弊端,关闭后下次还得这 ...
- CF 447A(DZY Loves Hash-简单判重)
A. DZY Loves Hash time limit per test 1 second memory limit per test 256 megabytes input standard in ...
- 使用playonlinux安装windows软件
转载 http://qspy.is-programmer.com/posts/40913.html Wine提供了一个用来运行Windows程序的平台.PlayOnLinux 是使用 Python 写 ...
- CodeForces - 810C(规律)
C. Do you want a date? time limit per test 2 seconds memory limit per test 256 megabytes input stand ...
- easyui+struts2:datagrid无法不能得到数据
转自:https://bbs.csdn.net/topics/390980437 easyui+struts2:datagrid无法访问到指定action: userlist.jsp部分代码: XML ...
- 91. ExtJS获取父子、兄弟容器元素方法
转自:https://blog.csdn.net/u014745818/article/details/44957341 1 1.当前对象的父对象(上级对象) this.ownerCt: 2.当前对象 ...
- A simple problem(并查集判环)
http://acm.sdut.edu.cn/sdutoj/problem.php?action=showproblem&problemid=2497 题意:给定一些点和边的关系,判断S点是否 ...
- 使用filezella服务器配置ftp
使用FileZilla配置FTP站点,可参考以下步骤: 1.打开Filezilla Server服务端: 点击[Edit]->[Users],或者点击如下图标新增用户. 2.添加FTP帐号后,设 ...
- python 46 css组合选择器 及优先级 、属性选择器
一:css组合选择器 特性:每个选择器位可以为任意基本选择器或选择器组合 选择器分为以下几类: 群组选择器,子代(后代)选择器,相邻(兄弟)选择器,交集选择器,多类名选择器 1.群组选择器: d ...
- Jenkins自动化部署.netcore程序
一.安装jenkins 百度一下 二.构建前的准备 搭建好.net core2.0的环境,下载:https://aka.ms/dotnetcore-2-windowshosting (,net co ...