摘要：
Priest John's Busiest Day 链接 题意： 有n场婚礼，每场婚礼有开始时间和结束时间，每场婚礼都需要牧师的祝福，祝福的时间只能是婚礼开始或者婚礼结束。问能否满足n场婚礼的要求。 分析： 2-sat问题。 代码： 阅读全文
摘要：
Katu Puzzle 链接 题意： 有n个变量（每个变量只能是0或者1），m个等式，每个等式形如$x_i \ op \ x_j = c, \ op \in["and","or","xor"],c \in [0,1]$，问能否给n个变量赋值，满足所有等式。 分析： 2-sat问题。 注意一下a&b= 阅读全文
摘要：
3653: 谈笑风生 链接 分析： $ans = min(deep[x] - 1, k) * siz[x] - 1 +\sum\limits_{y是u子树内的点}(siz[y] - 1)$ 前面的可以$O(1)$算，后面的那一部分可以dfs序+主席树维护。 或者dfs的过程中+线段树合并。或者长链剖 阅读全文
摘要：
4543: [POI2014]Hotel加强版 链接 分析： f[u][i]表示子树u内，距离u为i的点的个数，g[u][i]表示在子树u内，已经选了两个深度一样的点，还需要在距离u为i的一个点作为第三个点。 然后就可以利用这两个数组统计答案了。 ans+=g[u][j]*f[v][j-1]+f[u 阅读全文