2sat

NOI2017-游戏-2sat https://www.luogu.com.cn/problem/P3825 题意：有三种赛车A，B，C，以及用字符串 \(s\) 描述的地图，\(s_i=a/b/c\) 表示第 \(i\) 个地图不能用对应的 A/B/C 类型的赛车， \(s_i=x\) 表示可以选 ......

P6378 [PA2010] Riddle-2sat优化建图 \(n\) 个点 \(m\) 条边的无向图被分成 \(k\) 个部分。每个部分包含一些点。 请选择一些关键点，使得每个部分恰有一个关键点，且每条边至少有一个端点是关键点。 \(1\leq n,m\leq 10^6\) 边的限制 用 \(n ......