题目描述 追逐影子的人，自己就是影子 ——荷马 Allison 最近迷上了文学。她喜欢在一个慵懒的午后，细细地品上一杯卡布奇诺，静静地阅读她爱不释手的《荷马史诗》。但是由《奥德赛》和《伊利亚特》 组成的鸿篇巨制《荷马史诗》实在是太长了，Allison 想通过一种编码方式使得它变得短一些。 一部《荷马 ...
分类：
其他好文 时间：
2016-08-29 17:50:33
阅读次数：
154
bzoj4195[Noi2015]程序自动分析 题意： t组数据，每组n个给出两个变量是相等还是不等的约束条件，要求判断是否能满足。n≤1000000，变量数量≤109 题解： 先离散化，然后只处理相等条件用并查集维护“相等集合”，接着对每个不相等条件判断是否在一个集合，是的话则说明不满足。 代码： ...
分类：
其他好文 时间：
2016-08-16 23:44:18
阅读次数：
179
这道题可以转化为计数类问题。 若使用后缀数组，那么答案就是所有位置二元组（i，j）的lcp对0~lcp答案段的贡献。然后发现若一个二元组有x的贡献，那么对x-1有同样的贡献，考虑先求出lcp（max）的答案，再传给lcp（max-1）等等，复杂度是O（N）的。 若用SAM，那么需要求的答案在x与fa ...
分类：
编程语言 时间：
2016-07-18 03:07:47
阅读次数：
228
noi2015 Day1 t1 程序自动分析 离散化+并查集 t2 软件包管理器 裸树链剖分 t3 寿司晚宴 状压dp Day2 t1 荷马史诗 哈夫曼多叉树 t2 品酒大会 后缀数组按照height排序+并查集 t3 小园丁与老司机 noi2014 Day1 t1 起床困难综合症 按位dp，贪心 ...
分类：
其他好文 时间：
2016-07-13 01:29:59
阅读次数：
197
4195: [Noi2015]程序自动分析 Description 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为 ...
分类：
其他好文 时间：
2016-07-10 21:14:52
阅读次数：
193
【题目大意】 如果软件包A依赖软件包B，那么安装软件包A以前，必须先安装软件包B。同时，如果想要卸载软件包B，则必须卸载软件包A。而且，由于你之前的工作，除0号软件包以外，在你的管理器当中的软件包都会依赖一个且仅一个软件包，而0号软件包不依赖任何一个软件包。依赖关系不存在环。求出在安装和卸载某个软件 ...
分类：
其他好文 时间：
2016-07-09 09:20:12
阅读次数：
241
【题目大意】 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足 ...
分类：
其他好文 时间：
2016-07-06 23:19:59
阅读次数：
199
树链剖分。 这道题就写个dfs序，乱搞一下就过了。 简单型的树剖 #include #include #include using namespace std; const int maxn = 200000 + 10; const int maxm = 400000 + 10; int g[max... ...
分类：
其他好文 时间：
2016-06-30 19:44:48
阅读次数：
177
堆+huffman树。 huffman二叉树构造法就是每次把最小的俩个合并起来，构成一个树。 但k叉树每回减少(k-1)个，可能最后会有一个坑位被浪费掉，导致答案增加（用心去感受） 于是我果断回忆去年他们游记里面写到，多余的先合并下。。 然后1A了。。。 #include #include #inc... ...
分类：
其他好文 时间：
2016-06-28 09:23:48
阅读次数：
189
