题目

你需要构造一个\(n\)个点的二分图

定义\(F(A)\)表示左部点集\(A\)能够到达的右部中的点

使得满足 $ F(A) \lt |A| $ 的集合恰好有 $ k $ 个

\(1 \le n \le 32 \ , \ 0 \le k \le 2^n\)

题解

  • 当$A = \emptyset $ 时满足\(F(A) \lt |A|\) ,当\(k = 2^n\)时无解

  • 下面都考虑构造满足\(F(A) \ge |A|\) 的个数为\(k \ = \ 2^n - k\)

  • 另\(F_{i+1}\)表示第\(i\)个点的F集合,令$ F_{i+1} \supset F_{i} $ ,记\(d_i = |F_{i}|\),即\(d_{i+1}-d_i = 0 / 1\)

  • 那么结论是$d_i $的 \(2^n\) 个取值恰好一一对应了$ 1 \to 2 ^ n $ 的 $ k $ 值

    并且存在一个更强的结论

  • 证明:

    考虑如何计算一个\(d_i\)的方案:

    \[\begin{align}
    F&= \sum_{i=1}^{n} \sum_{j=1}^{d_i}(^{i-1}_{j-1})\\
    &= \sum_{i=1}^{m} (^n_i) - (^{B_i - 1}_{\ \ \ i}) \\
    \end{align}
    \]

    记 $ d_i =1 $ 的位置为 $ B_ 1 \ , \ \cdots \ , \ B_m $ ,只需要证明

    (注意组合数的一个竖列和主对角线求和是可化简的)

    *1.若\(m_1 \lt m_2\) ,则\(F_1 \lt F_2\)

    不妨考虑\(m , m + 1\) \(m \lt n\)

    $F_{m+1} - F_{m} \ge (^n _m) - [ (^{n-m}_1 )+ ({n-m-1}_2)+\cdots+({n-1}_m) ] = (^{n-m-1}_0) \ge 1 $

    由于前一半是和\(B_i\)独立的,所以多加一位的贡献可以覆盖后一半的贡献

    *2.\(m_1=m_2\),记\(d_i\)形成的二进制数\(D1 \gt D2\) ,则\(F_1 \lt F_2\)

    不妨考虑二进制位\(i\)和\(i+1\)的贡献 \((i \ge m)\)

    \(F_{i} - F_{i+1} \ge (^i_m) - [(^{i-m}_1) +\cdots + (^{i-2}_{m-1}) + (^{i-1}_m) ] = (^{i-m}_0) \ge 1\)

    说明二进制位不同可以覆盖后面所有二进制位的贡献

    可以说明上面的所有结论

Code

#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int N=33;
typedef pair<ll,ll>pii;
int n,d[N];ll K,C[N][N];
pii a[N];
int main(){ freopen("circle.in","r",stdin);
freopen("circle.out","w",stdout); scanf("%d%lld",&n,&K);
K=(1ll<<n)-K;
if(!K)puts("-1"),exit(0);
int cnt=0; for(int i=0;i<=n;++i)C[i][0]=1;
for(int i=1;i<=n;++i)
for(int j=1;j<=n;++j)C[i][j]=C[i-1][j-1]+C[i-1][j]; for(cnt=0;C[n][cnt]<K;K-=C[n][cnt++]); for(int i=n,now=0;i&&now<cnt;--i){
if(C[i-1][cnt-now-1]<K)K-=C[i-1][cnt-now-1];
else now++,d[i]=1;
} for(int i=1;i<=n;++i)d[i]+=d[i-1];
for(int i=1;i<=n;++i,puts(""))
for(int j=1;j<=n;++j)printf(j<=d[i]?"1 ":"0 "); return 0;
}

【JZOJ6233】【20190627】心的旋律的更多相关文章

  1. pygame系列_原创百度随心听音乐播放器_完整版

    程序名:PyMusic 解释:pygame+music 之前发布了自己写的小程序:百度随心听音乐播放器的一些效果图 你可以去到这里再次看看效果: pygame系列_百度随心听_完美的UI设计 这个程序 ...

  2. 【breathandlife】气势磅礴、比较好听的旋律有哪些?

    [breathandlife]气势磅礴.比较好听的旋律有哪些? 分享:yunbest作者:来源:2015-10-26 专题:breathandlife [breathandlife]气势磅礴.比较好听 ...

  3. [deviceone开发]-心形点赞动画示例

    一.简介 这个示例展示do_Animator组件的简单使用,通过点击"点赞"按钮,不断弹出心形图片,向上动画漂移到顶部消失.间隔时间和上下左右移动的步长都是一定范围的随机值.二.效 ...

  4. BZOJ 后缀自动机四·重复旋律7

    后缀自动机四·重复旋律7 时间限制:15000ms 单点时限:3000ms 内存限制:512MB 描述 小Hi平时的一大兴趣爱好就是演奏钢琴.我们知道一段音乐旋律可以被表示为一段数构成的数列. 神奇的 ...

  5. WPF 如何画一颗心

    如何用WPF画一个心. MainWindow.xaml <Window x:Class="Heart.MainWindow" xmlns="http://schem ...

  6. 你的眼睛背叛你的心:解决 .NET Core 中 GetHostAddressesAsync 引起的 EnyimMemcached 死锁问题

    在我们将站点从 ASP.NET + Windows 迁移至 ASP.NET Core + Linux 的过程中,目前遇到的最大障碍就是 —— 没有可用的支持 .NET Core 的 memcached ...

  7. fir.im Weekly - 暖心的 iOS 持续集成,你值得拥有

    一则利好消息,flow.ci 支持 iOS 项目持续集成,想试试的伙伴去 Gitter群 问问.首批尝鲜用户@阿米amoy 已经用 flow.ci 实现了基本的 iOS 持续集成,并详细记录整个 Bu ...

  8. CSS3制作心形头像

    1.功能需求: 最近有一个基于微信开发的Mobile Web项目,是一个活动页面.功能需求:用户使用微信扫描二维码,然后授权使用微信登录,然后读取用户的昵称和头像,然后显示在一个饼图上面.头像需要有一 ...

  9. 如何用Python实现杨辉三角和心

    1. 如何实现杨辉三角 import copy list=[] newlist=[] def Fibonacci(list,n): newlist.append(0) if n ==1: return ...

随机推荐

  1. java基础 接口总结

    在java9+版本中,接口的内容可以有: 1.成员变量其实是常量,格式:[public] [static] [final] 数据类型 常量名称 = 数组值:注意: 常量必须进行赋值,而且一旦赋值不能变 ...

  2. python3.6安装pyinstaller报错:AttributeError: module 'enum' has no attribute 'IntFlag'

    转载至:https://blog.csdn.net/qq_41185868/article/details/80599336 感谢原作者的分享 解决思路:这可能是由包Enum34引起的.因为Pytho ...

  3. python爬虫---CrawlSpider实现的全站数据的爬取,分布式,增量式,所有的反爬机制

    CrawlSpider实现的全站数据的爬取 新建一个工程 cd 工程 创建爬虫文件:scrapy genspider -t crawl spiderName www.xxx.com 连接提取器Link ...

  4. ios、安卓前端兼容性

    1.日期兼容性 解决方法(请看我上一篇文章)安卓.ios时间转换成时间戳的形式 2.input框聚焦,ios出现outline或者阴影,安卓显示正常 解决方法 input:focus{outline: ...

  5. SpringBoot,SSM和SSH

    Springboot的概念: 是提供的全新框架,使用来简化Spring的初始搭建和开发过程,使用了特定的方式来进行配置,让开发人员不在需要定义样板化的配置.此框架不需要配置xml,依赖于想MAVEN这 ...

  6. python之路第四天

    2018年7月17日 python开发IDE: pycharm.eclipse        # 专业版    # 不要汉化 安装:去官网下载pycharm 注册:https://blog.csdn. ...

  7. 1.2 管理 NetBackup 许可证

    关于管理 NetBackup 许可证 NetBackup许可证密钥是在安装软件时添加的.对于需要单独购买的选件,可以稍 后在"许可证密钥"对话框中添加许可证. 注意:在进行任何许可 ...

  8. HTTP状态码面试必知

    typora-root-url: ./HTTPCODE HTTP状态码必知必会 这里主要介绍运维过程中经常遇到的状态码.并通过业界流行的Nginx进行模拟实现,让大家能有一种所见即所得的感觉.希望大家 ...

  9. Pandas快速上手(一):基本操作

    本文包含一些 Pandas 的基本操作,旨在快速上手 Pandas 的基本操作. 读者最好有 NumPy 的基础,如果你还不熟悉 NumPy,建议您阅读NumPy基本操作快速熟悉. Pandas 数据 ...

  10. Linux学习23-Xftp上传文件显示乱码问题

    前言 当我们在windows新建一个文件,里面有中文时,使用Xftp上传到linux服务器上,会出现乱码问题. Windows的默认编码为GBK Linux的默认编码为UTF-8 Xftp上传文件乱码 ...