守望、御神木

题目大意： 求出第k小的包含有'666'的正整数。

题目大意：将一个非负整数序列切成连续的若干段，使得每一段的和均不超过一定值，在此基础上最小化每一段的最大值的和。 思路：O(N2)的动态规划方程非常明显： fi=min0≤ji{fj+maxj+1≤k≤i{wk}} 这样利用RMQ的预处理即可做到O(N^2). 不过这样显然是不能AC的。 我们考虑能够进行什么优化。 我们发现以下性质： （1）fi≤fj(1≤ij≤

2-sat问题是一种常见的问题。给定若干个01变量，变量之间满足一些二元约束，求是否有解存在。若存在，给出可行解或按照字典序给出最优解。 下面给出与其对应的图论模型：给每个变量i设立2个点，我的习惯是记为T(i),F(i),分别表示其值取1,0. 下面考虑的便是如何进行限制了。 一般的限制形式均如下所示： 变量i取x时，变量j只能取y,那么表示i取x的点向表示j取y的点连一条有向边