摘要:
在2-SAT,最让我纠结的还是添加有向线段的函数了void add_clause(int i,int a,int j,int b){ int m=2*i+a; int n=2*j+b; G[m^1].push_back(n); G[n^1].push_back(m);}这里a,b因为只有真假两种情况... 阅读全文
posted @ 2014-08-06 12:50
Love风吟
阅读(546)
评论(0)
推荐(0)
