【JZOJ6233】【20190627】心的旋律
题目
你需要构造一个\(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 $ 值
并且存在一个更强的结论
%20pdf.png)
证明:
考虑如何计算一个\(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】心的旋律的更多相关文章
- pygame系列_原创百度随心听音乐播放器_完整版
程序名:PyMusic 解释:pygame+music 之前发布了自己写的小程序:百度随心听音乐播放器的一些效果图 你可以去到这里再次看看效果: pygame系列_百度随心听_完美的UI设计 这个程序 ...
- 【breathandlife】气势磅礴、比较好听的旋律有哪些?
[breathandlife]气势磅礴.比较好听的旋律有哪些? 分享:yunbest作者:来源:2015-10-26 专题:breathandlife [breathandlife]气势磅礴.比较好听 ...
- [deviceone开发]-心形点赞动画示例
一.简介 这个示例展示do_Animator组件的简单使用,通过点击"点赞"按钮,不断弹出心形图片,向上动画漂移到顶部消失.间隔时间和上下左右移动的步长都是一定范围的随机值.二.效 ...
- BZOJ 后缀自动机四·重复旋律7
后缀自动机四·重复旋律7 时间限制:15000ms 单点时限:3000ms 内存限制:512MB 描述 小Hi平时的一大兴趣爱好就是演奏钢琴.我们知道一段音乐旋律可以被表示为一段数构成的数列. 神奇的 ...
- WPF 如何画一颗心
如何用WPF画一个心. MainWindow.xaml <Window x:Class="Heart.MainWindow" xmlns="http://schem ...
- 你的眼睛背叛你的心:解决 .NET Core 中 GetHostAddressesAsync 引起的 EnyimMemcached 死锁问题
在我们将站点从 ASP.NET + Windows 迁移至 ASP.NET Core + Linux 的过程中,目前遇到的最大障碍就是 —— 没有可用的支持 .NET Core 的 memcached ...
- fir.im Weekly - 暖心的 iOS 持续集成,你值得拥有
一则利好消息,flow.ci 支持 iOS 项目持续集成,想试试的伙伴去 Gitter群 问问.首批尝鲜用户@阿米amoy 已经用 flow.ci 实现了基本的 iOS 持续集成,并详细记录整个 Bu ...
- CSS3制作心形头像
1.功能需求: 最近有一个基于微信开发的Mobile Web项目,是一个活动页面.功能需求:用户使用微信扫描二维码,然后授权使用微信登录,然后读取用户的昵称和头像,然后显示在一个饼图上面.头像需要有一 ...
- 如何用Python实现杨辉三角和心
1. 如何实现杨辉三角 import copy list=[] newlist=[] def Fibonacci(list,n): newlist.append(0) if n ==1: return ...
随机推荐
- c#读取appsetting.json配置文件
asp.net core 取消了web.config配置文件,而将appsetting.json作为了配置文件. 那么,怎么读取相关数据呢?这里我在appsetting.json中添加一些信息 第一种 ...
- SQL语句--删除掉重复项只保留一条
用SQL语句,删除掉重复项只保留一条 在几千条记录里,存在着些相同的记录,如何能用SQL语句,删除掉重复的呢1.查找表中多余的重复记录,重复记录是根据单个字段(peopleId)来判断 select ...
- intent 和 Broadcast Receiver之间的通信
工作原理是通过封装一个service启动的一个线程产生的随机数封装到intent对象传递给Activity,Activity接受到后讲结果输出到屏幕. java的代码: package jm.out; ...
- 2019 滴滴java面试笔试总结 (含面试题解析)
本人5年开发经验.18年年底开始跑路找工作,在互联网寒冬下成功拿到阿里巴巴.今日头条.滴滴等公司offer,岗位是Java后端开发,因为发展原因最终选择去了滴滴,入职一年时间了,也成为了面试官, ...
- [ROR] 如何在mixin模块中定义类方法(Howto define class methods in a mixin module)
方法一: 修改模块的include方法 module Bbq def self.included(base) base.send :include, InstanceMethods base.exte ...
- 3.Javascript实现instanceof
instanceof instanceof 用于判断某个对象是否是另一个对象(构造方法)的实例.instanceof会查找原型链,直到null如果还不是后面这个对象的实例的话就返回false,否则就返 ...
- 如何实现android和服务器长连接
转载 这种功能实际上就是数据同步,同时要考虑手机本身.电量.网络流量等等限制因素,所以通常在移动端上有一下两个解决方案: 1.一种是定时去server查询数据,通常是使用HTTP协议来访问web服务器 ...
- linux route路由
网关(Gateway)又称网间连接器.协议转换器.网关在网络层以上实现网络互连 就好像一个房间可以有多扇门一样,一台主机可以有多个网关.默认网关的意思是一台主机如果找不到可用的网关,就把数据包发给默认 ...
- centos7修改网卡命名规则
实验目的: 修改默认的网卡命名规则,习惯于ethx的形式 实验环境: centos7 熟悉控制网卡名字的规则生产的参数biosdevname/net.ifnames /etc/default/gr ...
- Ansible入门笔记(2)之常用模块
目录 Ansible常用模块 1.1.Ansible Ad-hoc 1.2.Ansible的基础命令 1.3.常用模块 Ansible常用模块 1.1.Ansible Ad-hoc 什么事ad-hoc ...