图论
fengqiyuka
这个作者很懒,什么都没留下…
展开
-
(易懂)浅谈2-SAT
啥是2-SAT?SAT的定义:百度百科,布尔可满足性问题。但百度百科上面的解释又臭又长,比较专业,难以看懂。实际上,2-SAT是SAT的一个特殊化的版本,这里有一个通俗化的解释:有多个布尔元素(只能为truetruetrue或falsefalsefalse),给出多个条件,每个条件形如(not)x opt (not)y=true/false(not) x\ opt\...原创 2020-01-08 21:25:19 · 2169 阅读 · 0 评论 -
CSP-J2 加工零件
题目描述题目分析假设存在一种路径,从iii点出发走kkk步走到1号点,那么显然若1号点有出边的话,肯定也存在一种路径,从iii点出发走k+2k+2k+2步走到1号点。证明:1号点随便选一个出边走出去,再走回来,就可以了(显然)。前提的处理非常简单,直接输出NO即可。但也非常坑人,我在考场的时候就没有想到有这种情况。处理完特殊情况后,我们就可以运用上面的性质了。对于一个点iii,如果...原创 2019-11-21 18:35:56 · 799 阅读 · 0 评论 -
4240. 【五校联考5day2】游行
题目描述(简化)给定参数ai,li,ria_i,l_i,r_iai,li,ri。然后有一个有向图,对于两个点i,ji,ji,j,如果满足i<j且l[i]≤a[j]≤r[i]i<j且l[i] \le a[j] \le r[i]i<j且l[i]≤a[j]≤r[i],那么就存在一条边(i,j)(i,j)(i,j),否则不存在。对于每一个点i原创 2019-01-29 21:32:36 · 125 阅读 · 1 评论