2019年10月7日
【游记】2019国庆清北刷题营
摘要： 图论 图论部分转载于Shu_Yu_Mo の blog 2-SAT SomeThing 又名2-SAT-2 判断有无解 确定变量 确定关系表达式 变量的取值有两种 %d - SAT 表达式有多少个变量 SAT - %d 每个变量的情况个数 加边规则 如果x−−>yx−−>yx−−>yx−−>yx -- 阅读全文
posted @ 2019-10-07 18:41 AuroraPolaris 阅读(135) 评论(0) 推荐(0) 编辑