\(1.\)平面图的性质：边数小于等于\(n−6\)
\(2.\)如果两条边同时在环内或环外会相交，则它们构成了2-SAT中典型的逻辑关系，即正反两面不能同时选．找到这样的边集，判断如果有i和i+m在同一个强连通分量则无解
思维-懒得打代码
猜你喜欢
转载自www.cnblogs.com/lizehon/p/10472818.html
今日推荐
周排行