山东大学_闫立峰

图论

ccsp(1) 动态规划(3) 并行计算(3) 数据结构(2) 杂(2) 网络流(1)

/ 注册

全部文章 / 图论（共1篇）

图论复习

1.2-sat 主要是化简问题，转化成(a1||b1)&&(a2||b2)&&...&&(an||bn)=1，求每个元素的真值。每个元素真值为真/假抽象成一对点，然后每对里面只能选恰好一个点。除此之外把(ai||bi)==1转化成!ai->bi...

2019-10-30

0 536