06 2020 档案

[hdu4421]Bit Magic
摘要：Bit Magic 题解 好水的题呀！ 这题就是2SAT的模板题。 我们可以先对于每个数上的二进制位建图。 对于就是i与j中至少有一个1，即 对于就是i与j都为0，即 对于，就是i与j都为1，即 阅读全文
posted @ 2020-06-17 20:56 StaroForgin 阅读(9) 评论(0) 推荐(0)
[HDU6057]Kanade’s convolution
摘要：Kanade's convolution 题解 我们要求的式子是。 长得极其丑陋。。。 于是我们考虑将其变形一下，令，于是条件。因为y有的1的位置x肯定都有，所以。由于可以构成这样的数对的数对总共有个，我们需要在加时乘上一个。并且加上满足条件。 于是原式就成了 。看起来好像FWT呀，可是这个条件该怎 阅读全文
posted @ 2020-06-13 15:50 StaroForgin 阅读(11) 评论(0) 推荐(0)
[NOIP模拟赛]创世纪
摘要：创世纪 题解 好水的题呀 我们根据它边连得性质，很容易发现它是一个基环树。 我们对于树上，只要使得每个节点至少有一个点不被选就好了，用树形dp可以解决，分别求出选这个点与不选这个点时的值。 而对于环上的部分，我们就找到两个相邻的点，跑一边环用先前的dp值找出环的最大值，加在一起就行了。 源码 #in 阅读全文
posted @ 2020-06-13 12:40 StaroForgin 阅读(10) 评论(0) 推荐(0)
[LOJ 5516]无聊的数对
摘要：无聊的数对 题解 好水的题呀，为什么还是这句话？？？ 额，首先，我们知道要使得的__builtin_parityll(即它在二进制下1的个数是否为奇，一下简称parityll为奇的话，a与b的parityll一定是不同的。 这，还是证一下吧。 我们设有个1，有个1，它们共有的1的个数为，那么它们异或 阅读全文
posted @ 2020-06-13 12:13 StaroForgin 阅读(15) 评论(0) 推荐(0)
[WC2018]州区划分
摘要：州区划分 题解 挺水的题呀。 要求的是，需要保证中不存在欧拉回路。 对于判欧拉回路，可以通过状压，求出以内所有图的状态的是否为欧拉回路。 很容易想到dp，设为集合的答案，表示集合是否合法。于是乎，可以得到： ，是集合s的的人口数，也就是所有包含的的和。 枚举子集明显是，由于，明显会T。 于是我们可以 阅读全文
posted @ 2020-06-12 11:38 StaroForgin 阅读(6) 评论(0) 推荐(0)
[CF662C]Binary Table
摘要：Binary Table 题解 updata 为什么大家都认为FMT是FWT，只要用了FWT的函数就成了FWT???FMT本来就要用FWT的函数呀！！！奇怪的苏苏***! 分割线 一看数据，我去。。。。 差距这么大，而它所有的数都是0或1，我们可以考虑将每一列进行状压，而所有的反转情况，可以看成对于 阅读全文
posted @ 2020-06-10 15:40 StaroForgin 阅读(4) 评论(0) 推荐(0)