随笔分类 -  2-SAT

【ARC069F】Flags【2-SAT】【二分】【线段树】
摘要：题解：二分答案+线段树优化连边+2-SAT。 二分答案mid，可以发现每个点要向连续的一段区间内的点连边，离散化后线段树优化连边即可。然后跑2-SAT判定是否有解。#include#include#include#include#includeusing namesp... 阅读全文
posted @ 2018-08-09 14:12 一剑霜寒十四洲 阅读(187) 评论(0) 推荐(0)