一念行空の幻想空间

摘要： 可以说几百年没去练过的东西了。但事实证明还挺有用的。 Meet in the Middle 以前一直没想通过双向搜索是怎么优化复杂度的。 例题 1 我称其为合法子集计数问题。 双向搜索就是把集合劈成两半，两边分别枚举子集，然后再记两两匹配的合法关系。 当后者可以快速统计时，双向搜索就优化了复杂度。 阅读全文

摘要： 差分约束 处理一类不等式限制诸如 \(x_i - x_j\le c_{i,j}\) 的限制。 移项过后就是 \(x_i\le x_j+c_{i,j}\)，与最短路的松弛类似。于是建图，连边，然后跑最短路，有负环就退出。不保证有解的情况下使用 SPFA，否则使用 Dij。 同余最短路 同样是将一类问题 阅读全文