标签：表示 infty 连边 边权 最小 构图 rightarrow

最小割构图

二分图中，用最小割表示变量之间的关系。

下面用\(x\rightarrow y\)表示条件x满足则条件y满足。

同时令\(x_l\)表示\(x\)是一个左边的点，\(x_r\)表示右边的点。

1. \(x_l\rightarrow !y_r,y_r\rightarrow !x_l\)

直接连边\(x_l\)到\(y_r\)，边权为\(\infty\)。

2.\(x_l\or y_r=1\)

连边\(y_r\)到\(x_l\)，边权为\(\infty\)

3. \(x_r\rightarrow y_r\)

连边\(x_r\)到\(y_r\)，边权为\(\infty\)。

4. \(x_l\rightarrow y_l\)

连边\(x_l\)到\(y_l\)，边权为\(\infty\)。

顺便提一下，可以把\(\infty\)替换成任意值，表示让这个约束失效的代价。

标签：表示,infty,连边,边权,最小,构图,rightarrow
来源： https://www.cnblogs.com/QQQ0000/p/15013377.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。