题目描述 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例 ...
分类：
其他好文 时间：
2017-02-17 09:57:02
阅读次数：
192
题目大意 给出$2$到$n$共$n-1,n\le 500$个数字，求从中选出两个集合使得从两个集合内各取任意一个数字互质的方案数。 简要题解 要满足题中的条件，其实就是要求两个集合中出现的质因子不同。注意到$n,n\le 500$以内的数字，要么只存在一个大于$\sqrt{n}$的质因子，要么可以由 ...
分类：
其他好文 时间：
2017-02-14 11:42:41
阅读次数：
172
令${str\left(i,j \right)}$为区间${[l,r]}$所表示的子串。 对于任意$r$ 一,求${\sum _{i=1}^{n}\sum _{j=i+1}^{n}[str(i,i+r-1)=str(j,j+r-1)]}$ 二,求${ans[r]=max(val[i]*val[j]) ...
分类：
其他好文 时间：
2017-02-06 22:23:46
阅读次数：
433
http://uoj.ac/problem/131 (题目链接) 题意 给出一个字符串，每个后缀有一个权值${a_i}$，这些后缀两两之间存在公共前缀。问能够组成长度从0~n-1的公共前缀的后缀的方案数以及他们权值的最大乘积。 Solution 听LCF说这是水题，就来做了。。 lyp学长说SAM构 ...
分类：
其他好文 时间：
2017-01-22 08:09:37
阅读次数：
199
题目链接：品酒大会 学了后缀自动机之后再来写这道题就轻松多了…… 首先，题面中的两杯酒\(r\)相似就是这两个后缀的最长公共前缀大于等于\(r\)。把串翻转过来之后就变成了两个前缀的最长公共后缀……然后就是\(parent\)树的事了…… 接着，我们要求出选出两杯\(r\)相似的酒的方案数。这个比较 ...
分类：
其他好文 时间：
2017-01-19 00:50:49
阅读次数：
205
本文版权归ljh2000和博客园共有，欢迎转载，但须保留此声明，并给出原文链接，谢谢合作。 本文版权归ljh2000和博客园共有，欢迎转载，但须保留此声明，并给出原文链接，谢谢合作。 本文作者：ljh2000 作者博客：http://www.cnblogs.com/ljh2000-jump/转载请注 ...
分类：
其他好文 时间：
2017-01-13 09:53:02
阅读次数：
177
4196: [Noi2015]软件包管理器 Description Linux用户和OSX用户一定对软件包管理器不会陌生。通过软件包管理器，你可以通过一行命令安装某一个软件包，然后软件包管理器会帮助你从软件源下载软件包，同时自动解决所有的依赖（即下载安装这个软件包的安装所依赖的其它软件包），完成所有 ...
分类：
其他好文 时间：
2017-01-06 21:27:30
阅读次数：
197
抱歉因为NOIP集训，好长时间没再写题解了。 NOI 2015也就只有这道题一看就能懂了…… 4198: [Noi2015]荷马史诗 Description 追逐影子的人，自己就是影子。 ——荷马 Allison 最近迷上了文学。她喜欢在一个慵懒的午后，细细地品上一杯卡布奇诺，静静地阅读她爱不释手的 ...
分类：
其他好文 时间：
2016-10-15 19:57:44
阅读次数：
203
NOI难得的水题，话说还是T2诶……又学到了线段树的一种新的魔性使用 看sxysxy大神的代码才写出来的，sxysxy_orz 原题： Linux用户和OSX用户一定对软件包管理器不会陌生。通过软件包管理器，你可以通过一行命令安装某一个软件包，然后软件包管理器会帮助你从软件源下载软件包，同时自动解决 ...
分类：
其他好文 时间：
2016-09-25 22:24:17
阅读次数：
285
题目大意： 有n个软件安装包，除第一个以外，其他的要在另一个安装包的基础上安装，且无环，问在安装和卸载某个软件包时，这个操作实际上会改变多少个软件包的安装状态。 思路： 可构成树，用树链剖分，线段树。已安装的为1，未安装的为0。对于安装操作，就是询问x到0的路径上0的个数，然后把这个路径赋为1；对于 ...
分类：
其他好文 时间：
2016-08-30 21:02:05
阅读次数：
195
