哇这题是真的喵，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. 网站端测试常见BUG

    1.翻页 翻页时,没有加载数据为空,第二页数据没有请求 翻页时,重复请求第一页的数据 翻页时,没有图片的内容有时候会引用有图片的内容 2.图片数据为空 图片数据为空时,会保留为空的图片数据位置 3.链 ...

  2. 1.1.0 Unity零基础入门2——Roll a Ball

    1. 游戏界面 2.代码 //FoodRotate - - 控制cube旋转 using System.Collections; using System.Collections.Generic; u ...

  3. Java开发工程师(Web方向) - 01.Java Web开发入门 - 第6章.蜂巢

    第6章--蜂巢 蜂巢简介 网站开发完,就需要测试.部署.在服务器上运行. 网易蜂巢: 采用Docker容器化技术的云计算平台 https://c.163.com 容器管理:容器可被视作为云主机的服务器 ...

  4. 【text】 文本组件说明

    text文本组件:在小程序里除了文本节点以外的其他节点都无法长按选中. 原型: <text selectable="[Boolean]" space="[ensp ...

  5. lintcode: Check Sum of Square Numbers

    Check Sum of Square Numbers Given a integer c, your task is to decide whether there're two integers ...

  6. Docker Remote API v1.24

    1. Brief introduction The Remote API has replaced rcli. The daemon listens on unix:///var/run/docker ...

  7. RL_Learning

    Key Concepts in RL 标签(空格分隔): RL_learning OpenAI Spinning Up原址 states and observations (状态和观测) action ...

  8. LeetCode 138——复制带随机指针的链表

    1. 题目 2. 解答 第一次遍历链表的时候,复制旧链表的节点值建立一个新的链表,同时定义一个 unordered_map 作为哈希表,哈希表的键为旧链表的节点指针,值为新链表的节点指针. 然后,第二 ...

  9. 一：HDFS 用户指导

    1.hdfs的牛逼特性 Hadoop, including HDFS, is well suited for distributed storage and distributed processin ...

  10. BZOJ 3790 神奇项链 hash/后缀自动机+贪心

    Description 母亲节就要到了,小 H 准备送给她一个特殊的项链.这个项链可以看作一个用小写字母组成的字符串,每个小写字母表示一种颜色. 为了制作这个项链,小 H 购买了两个机器.第一个机器可 ...