二分图中,用最小割表示变量之间的关系。
下面用\(x\rightarrow y\)表示条件x满足则条件y满足。
同时令\(x_l\)表示\(x\)是一个左边的点,\(x_r\)表示右边的点。
直接连边\(x_l\)到\(y_r\),边权为\(\infty\)。
连边\(y_r\)到\(x_l\),边权为\(\infty\)
连边\(x_r\)到\(y_r\),边权为\(\infty\)。
连边\(x_l\)到\(y_l\),边权为\(\infty\)。
顺便提一下,可以把\(\infty\)替换成任意值,表示让这个约束失效的代价。