2-SAT
泉華子
一只小辣叽,两只小辣叽,三只小辣叽....
展开
-
[POJ3622]-Bomb Game-二分答案+2-SAT
说在前面 久违的1A,开心qvq 题目 POJ3622传送门 题目大意 给定N个点对,在每一个点对中选择一个点画圆,半径自定,要求画的圆不能有并(不存在一个位置同时被多个圆覆盖) 得分是所有圆中半径最小的那个,需要求出最大得分。 输入输出格式 输入格式: 包含多组数据,对于每一组数据: 第一行一个整数N,表示点对数(不超过100) 接下来每行四个整数 x1 ,原创 2018-01-19 11:27:42 · 379 阅读 · 0 评论 -
[BZOJ1823]-[JSOI2010]满汉全席-2-SAT
说在前面 把所有的int都换成了short妄图缩小空间,然而并没有什么用… 好奇那些空间消耗才几十KB是怎么办到的…me的A+B都820KB…. 什么时候一定要把 时空优化 好好学一学,嗯! 题目 BZOJ1823传送门 题目大意 这里就直接把问题精炼出来了(原题一堆废话) 给出N个初始元素,每个元素都有两种用法(假设两种用法分别是h和m)。现在有M个限制,形如「第一种元素必须原创 2018-01-19 15:13:55 · 363 阅读 · 0 评论 -
[UOJ210]-寻找罪犯-前缀边优化2-SAT
说在前面 学了一天2-SAT 从不会到寻找罪犯,感觉成就感满满 顺便还嘴巴AC了 NOI2017游戏 (虽然这就是一道水题,真的是水题) 题目 UOJ210传送门 题面me就不贴了 要看的话可以戳传送门 解法 Emmmm网上的做法为什么都那么简单啊woc?感觉全世界就me建边最多 这道题的限制条件还是很清晰了: 1. 一句话,不是真的就是假的 2. 一个人,不是原创 2018-01-19 20:48:31 · 513 阅读 · 0 评论