随笔分类 - 图论 / 2-SAT

2-SAT

摘要：2-SAT 引子有

2 n

种药物，分成

n

对，每种药物恰好属于一对。现有一种治疗方法，每一对药至少吃一种，但有某些药不可以两个一起吃，求任意一种合法的吃药方案。这样的现实问题可以转换为一个布尔方程组表示，设

a

，

a = 1

表示吃

a

种药，

a = 0

posted @ 2023-11-09 11:56 彬彬冰激凌阅读(7) 评论(0) 推荐(0) 编辑

摘要：2023NOIP A层联测25 T4 滈葕配血实验与2-SAT。思路

z = 1

表示配血实验发生凝集反应，设

a_{i}, b_{i}

分别表示第

i

个人有无凝集原 A,B。（无凝集原 A，肯定有抗 A 凝集素，B同理）那么发生反应的必要条件是 \(a_x \and \neg a_ 阅读全文

posted @ 2023-11-07 07:13 彬彬冰激凌阅读(12) 评论(0) 推荐(0) 编辑

昵称：彬彬冰激凌
园龄： 3年1个月
粉丝： 21
关注： 36

2025年3月

日

一

二

三

四

五

六

彬彬冰激凌的博客