ViKyanite.

摘要： 最小字典序的2-SAT （以下文字嫖自网上） 【O(NM)算法：求字典序最小的解】 根据2-SAT建成的图中边的定义可以发现，若图中i到j有路径，则若i选，则j也要选；或者说，若j不选，则i也不能选； 因此得到一个很直观的算法： （1）给每个点设置一个状态V，V=0表示未确定，V=1表示确定选取，V 阅读全文