RainAir

分类

学习笔记(12) 题解(9)

/ 注册

全部文章（共2篇）

「NOI2017」游戏

建议大家去 UOJ 交题题目描述有场游戏和三种车，每个游戏可以选择用一种车，每个游戏可能要求不能使用某种车，也可能没有要求。给出个要求，表示如果第个游戏用了车，那么第个游戏要用车。求一种合法方案。，没有要求的游戏个数不超过。题解前置小知识：2-SAT链接建图...

2-SAT

2020-02-28

0 605

2-SAT 学习笔记

定义 SAT 维基百科——Boolean_satisfiability_problem 2-SAT SAT 的简化版本：每个等式中只有两个变量参与。有个变量和个等式，每个等式形如，其中是一个位运算。你要求出一组可行解。求解将每个拆成两个点和表示取值情况。每个限制...

2-SAT

2020-02-28

0 847