摘要：
差分约束系统提供了通过图论建图以最长路/最短路的形式刻画变量之间的不等关系。常见的应用是判断不等关系是否有合法解。 对于最短路，我们将 \(x_v-x_u\leq w\) 描述为 \(dis_v\leq dis_u+w\)，感性理解一下，在这里描述的是 \(x_v\) 的上界，而且通过跑最短路找到了 阅读全文
posted @ 2022-03-23 22:58
do_while_true
阅读(86)
评论(1)
推荐(0)
摘要：
图论 平面图中的欧拉定理：设 \(G\) 为任意的连通的平面图，则 \(V-E+F=2\)，\(V\) 是 \(G\) 的顶点数，\(E\) 是 \(G\) 的边数，\(F\) 是 \(G\) 的面数。 树上问题 两个点集并起来的直径端点一定在两个点集分别的直径端点这四个点中。证明类似求直径两遍 d 阅读全文
posted @ 2022-03-23 21:57
do_while_true
阅读(110)
评论(1)
推荐(0)
浙公网安备 33010602011771号