会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Wisdom+.+
while(!Success)Try();
博客园
首页
新随笔
联系
管理
订阅
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+.+
阅读(296)
评论(2)
推荐(0)
编辑
公告