差分约束系统只是对最短路算法的一种应用，没有什么新的算法，只是对于具体问题的建图方法的确定 差分约束系统解决的问题是不等式组的求解： X1 - X2 <= 0X1 - X5 <= -1 ...

状态压缩动态规划（简称状压dp）是另一类非常典型的动态规划，通常使用在NP问题的小规模求解中，虽然是指数级别的复杂度，但速度比搜索快，其思想非常值得借鉴。 为了更好的理解状压dp，首先介绍位运算相关 ...

火星探险（mars） 时间限制: 1000 ms 内存限制: 131072 KB 【题目描述】 在2051年，若干火星探险队探索了这颗红色行星的不同区域并且制作了这些区 ...