摘要：
概述 差分约束系统用于解决：给定一些不等式，不等式$i$形如$x_{u_i}\le x_{v_i}+k_i$，求是否有解。 考虑最短路问题，若最短路问题有解，则最后的dis数组对于所有相邻的u、v满足$dis[v]\le dis[u]+w_{u\rightarrow v}$。这个可以与不等式的条件做 阅读全文
摘要：
相交的两条边不能在同一侧，用2 sat即可。 平面图点数 边数关系 $E\le 3V 6$ 写这篇文章我只是想说明，知乎一小时，题解一分钟。 lb Zhihu, gos langar Qarwet con Nii Owenoicuukoanimacionihlimo. mn gos log ab d 阅读全文