哇这题是真的喵，HR智商太高辣

　　这题的难点就是看了题解之后怎么证明题解里的结论...

　　结论①：深度大于logm的点肯定能达到最大值

　　证明：显然一个西瓜的属性里0数量一半1数量一半我们取到的1数量最少，所以我们最多logm个点就可以把所有属性取到1

　　结论②：未达到最大值的点相邻两个肯定价值不同

　　证明：易证，取反即可

　　结论③：有n个西瓜，记s[i]为拥有的属性i的集合，当s取遍所有可能的2^n种集合的时候达不到最大值

　　证明：显然所有的集合里必有一个全0的集合，我们至少需要把这个集合里的一个0变成1。把第一列的取反，让全0集合出现第一个1，但是必定存在有一个集合只有第一列是1，其他列是0的情况，那么又出现了一个全0集合，那么又需要把第二列取反，以此类推我们将会把所有列取反一次，但是所有的集合里必定有一个全1的集合，我们每一列都取反了一次之后，全1集合变成全0集合了，所以肯定取不到最大值。

　　我们（其实是HR）可以发现！对列取反的操作实际上是交换集合位置的操作！（ORZ HR！

　　因为我们有2^n个集合，所以必定不可能把全0集合消去，所以必定取不到最大值！

　　结论④：有n个西瓜，记s[i]为拥有的属性i的集合，当s[i]没有取遍所有可能的2^n种集合的时候肯定可以达到最大值

　　证明：借用我们证明结论③时所发现的，我们少了某一个集合，那么只要把全0集合交换成那个缺少的集合即可

　　可能有点抽象，所以我们具体分析一下。如果缺少的是全0集合，那么直接就可以取到最大值了。如果缺少的不是全0集合，我们就把缺少的集合为1的那几列取反，相当于将全0集合与缺少的集合交换，缺少的集合必定有1，而且不存在除了缺少的集合之外存在一个只有取反的那几列是1其他是0的集合，于是就可以取到最大值。

　　本质：对列取反的操作实际上是交换集合位置的操作

　　想明白了这个之后，就可以非常轻松的证明并理解这些结论了

SRM13 T3 花六游鸟小（结论题）的更多相关文章

  1. 【STSRM13】花六游鸟小

    [题意]给定n个节点的树,每个节点有一个m位二进制数,数字可以随时按位取反,每个数位有一个价值,定义每个点的最大价值是从根到这个点路上的数字(可以取反)或起来的数字中,1有价值0无价值,加起来得到的最 ...

  2. [BZOJ3609][Heoi2014]人人尽说江南好 结论题

    Description 小 Z 是一个不折不扣的 ZRP(Zealot Round-game Player,回合制游戏狂热玩家), 最近他 想起了小时候在江南玩过的一个游戏.     在过去,人们是要 ...

  3. agc015F - Kenus the Ancient Greek(结论题)

    题意 题目链接 $Q$组询问,每次给出$[x, y]$,定义$f(x, y)$为计算$(x, y)$的最大公约数需要的步数,设$i \leqslant x, j \leqslant y$,求$max( ...

  4. [codevs5578][咸鱼]tarjan/结论题

    5578 咸鱼  时间限制: 1 s  空间限制: 128000 KB   题目描述 Description 在广袤的正方形土地上有n条水平的河流和m条垂直的河流,发达的咸鱼家族在m*n个河流交叉点都 ...

  5. BZOJ_1367_[Baltic2004]sequence_结论题+可并堆

    BZOJ_1367_[Baltic2004]sequence_结论题+可并堆 Description Input Output 一个整数R Sample Input 7 9 4 8 20 14 15 ...

  6. 【uoj#282】长度测量鸡 结论题

    题目描述 给出一个长度为 $\frac{n(n+1)}2$ 的直尺,要在 $0$ 和 $\frac{n(n+1)}2$ 之间选择 $n-1$ 个刻度,使得 $1\sim \frac{n(n+1)}2$ ...

  7. 【uoj#175】新年的网警 结论题+Hash

    题目描述 给出一张 $n$ 个点 $m$ 条边的无向连通图,每条边的边权为1.对于每个点 $i$ ,问是否存在另一个点 $j$ ,使得对于任意一个不为 $i$ 或 $j$ 的点 $k$ ,$i$ 到 ...

  8. 【uoj#180】[UR #12]实验室外的攻防战 结论题+树状数组

    题目描述 给出两个长度为 $n$ 的排列 $A$ 和 $B$ ,如果 $A_i>A_{i+1}$ 则可以交换 $A_i$ 和 $A_{i+1}$ .问是否能将 $A$ 交换成 $B$ . 输入 ...

  9. 【bzoj4401】块的计数 结论题

    题目描述 给出一棵n个点的树,求有多少个si使得整棵树可以分为n/si个连通块. 输入 第一行一个正整数N,表示这棵树的结点总数,接下来N-1行,每行两个数字X,Y表示编号为X的结点与编号为Y的结点相 ...

随机推荐

  1. Qt-QML-Charts-ChartView-编译错误-ASSERT: "!"No style available without QApplication!

    昨天本来是回家想好好琢磨一下使用Chart来绘制曲线的,奈何在建立项目的时候也就卡住了,加上心情比较烦躁,也没有耐心寻找答案就草草了事.所以今天继续搞定这个. 上图是Qt 的编译错误截图 QML de ...

  2. 利用JSON Schema校验JSON数据格式

    最近笔者在工作中需要监控一批http接口,并对返回的JSON数据进行校验.正好之前在某前端大神的分享中得知这个神器的存在,调研一番之后应用在该项目中,并取得了不错的效果,特地在此分享给各位读者. 什么 ...

  3. darknet 识别获取结果

    在examples/darknet.c文件中若使用detect命令可以看到调用了test_detector. ... else if (0 == strcmp(argv[1], "detec ...

  4. [CF106C]Buns

    面包师Lavrenty打算用馅料做几个面包,然后把它们卖掉. Lavrenty有\(n\)克面团和\(m\)种不同的馅料.馅料种类的下标从\(1到m\),他知道他的第\(i\)种馅料剩下\(a_i\) ...

  5. Navicat和DBeaver的查询快捷键

    1.Navicat for MySQL(连接MySQL数据库的工具) ctrl + r 执行查询页中所有的sql语句 ctrl + shift + r 只运行选中的sql语句 2.DBeaver(支持 ...

  6. 【springmvc+mybatis项目实战】杰信商贸-1.项目背景

    1.项目背景杰信项目物流行业的项目,杰信商贸是国际物流行业一家专门从事进出口玻璃器皿贸易的公司.公司总部位于十一个朝代的帝王之都西安,业务遍及欧美.随着公司不断发展壮大,旧的信息系统已无法满足公司的快 ...

  7. 数据库Mysql的学习(四)-表的记录操作

    ,);//指定插入的顺序 ,);//按照默认的插入 ,),(,)(,);//同时插入多条数据 //将查询结果插入表中 CREATE TABLE TEXT( category_id INT PRIMAR ...

  8. HDU 2490 Parade（DPの单调队列）（2008 Asia Regional Beijing）

    Description Panagola, The Lord of city F likes to parade very much. He always inspects his city in h ...

  9. svn升级(mac)

    原文链接:http://www.jianshu.com/p/c81712ecccb8 升级前 svn版本1.7.20 升级之后 1.9.2 步骤: 1. 下载最新版svn,链接:http://www. ...

  10. Python中除法:/和//

    在Python中,除法有两种:/和//. X / Y 对于Python2.X来说,如果两个操作数都是整数,那么结果将向下取整(这个和C里面的不同,C里面是向0取整),也就是说,如果结果本来是-2.5, ...