2017年10月13日
算法笔记--2-sat
摘要： 强连通分量的应用，详见《挑战程序设计》P324 模板（2019.7）： namespace two_sat { int dfn[M*2], low[M*2], cnt, stk[M*2], top, cmp[M*2], tot, n; bool vis[M*2]; vector<int> g[M*2 阅读全文
posted @ 2017-10-13 14:41 Wisdom+.+ 阅读(306) 评论(2) 推荐(0)