摘要：
一个叫差分约束系统的东西。如果每个点定义一个顶标x(v)，x(t)-x(s)将对应着s-t的最短路径。比如说w+a≤b，那么可以画一条a到b的有向边，权值为w，同样地给出b+w2≤c，a+w3≤c。那么a到c的最大差就受这些不等式约束，对应着图中的最短路。这个边多，不要用vector存，满了以后重新... 阅读全文
摘要：
不错的树形dp。一个结点能走多次，树形的最大特点是到达后继的路径是唯一的，那个如果一个结点无法往子结点走，那么子结点就不用考虑了。有的结点不能走完它的子结点，而有的可能走完他的子节点以后还会剩下一些点数。影响走的次数的是当前结点的点数，因为往子结点走是一定要回来的，进入这个结点要花费这个结点一个点数... 阅读全文