随笔分类 -  图论--2-SAT

[NOI2017]游戏
摘要：Sol 然而我的代码在$UOJ$上被$hack$$\ TLE$了 但思路是没问题的$TAT$ 如果没有$x$，就是个$2 SAT$ 我们爆搜$x$的地图是$a$还是$b$就好了 不用枚举它是$c$，枚举$a$，$b$就能保证正好选$ABC$三种车 我也不知道我的输出方案哪里学的 拓扑排序+染色$QA 阅读全文
posted @ 2018-03-28 22:10 Cyhlnj 阅读(194) 评论(0) 推荐(0)
Bzoj1997: [Hnoi2010]Planar
摘要：题面 "Bzoj" Sol 平面图的性质：边数小于等于3n 6 然后就是裸$2 SAT$ cpp include define RG register define IL inline define Fill(a, b) memset(a, b, sizeof(a)) using namespace 阅读全文
posted @ 2018-02-24 17:22 Cyhlnj 阅读(146) 评论(0) 推荐(0)
Poj3683：Priest John's Busiest Day
摘要：题意 n对夫妻要结婚，第i对夫妻结婚的婚礼持续时间为[Si, Ti]，他们会举行一个仪式，仪式时间为Di，这个仪式只能举行在开头或者结尾举行，要么[Si, Si+Di]，要么[Ti Di, Ti]，然而举行仪式的牧师只有一个，问牧师能否举行完所有仪式 按输入顺序输出方案 ~~手动翻译~~ Sol $ 阅读全文
posted @ 2018-02-23 22:11 Cyhlnj 阅读(138) 评论(0) 推荐(0)
Poj2749：Building roads
摘要：题意 有 N 个牛栏，现在通过一条通道（s1,s2）要么连到s1，要么连到s2，把他们连起来，他们之间有一些约束关系，一些牛栏不能连在同一个点，一些牛栏必须连在同一个点，现在问有没有可能把他们都连好，而且满足所有的约束关系，如果可以，输出距离最大的两个牛栏之间距离最小值（两点距离是指哈密顿距离） S 阅读全文
posted @ 2018-02-23 19:11 Cyhlnj 阅读(138) 评论(0) 推荐(0)
Poj2723：Get Luffy Out
摘要：题意 给出 n 对钥匙，每对只能挑一把使用，每把只能用一次，当一对钥匙中的一把被使用后，另一把也就不能再用了；然后给出 m 道门，每个门都有两把钥匙可以打开，问最多能开几道门（按给出的顺序开）。 Sol 这不就是$HNOI$超级英雄吗？ 上次写的二分图匹配 这次写个$2 SAT$ 二分答案+$2 S 阅读全文
posted @ 2018-02-23 15:29 Cyhlnj 阅读(150) 评论(0) 推荐(0)
Poj3678：Katu Puzzle
摘要：大概题意 有$n$个数，可以为$0/1$，给$m$个条件，表示某两个数经过$or, and, xor$后的数是多少 判断是否有解 Sol $2 SAT$判定 "建图" cpp include include include include include include define RG regi 阅读全文
posted @ 2018-02-22 22:09 Cyhlnj 阅读(133) 评论(0) 推荐(0)
2-SAT
摘要：简介 2 SAT是一类 适定性问题 适定性问题？ 通俗的说就是确定是否可以满足所有的条件 k SAT 有很多个集合，每个集合里面有若干元素，现给出一些取元素的规则，要你判断是否可行，可行则给出一个可行方案。如果所有集合中，元素个数最多的集合有k个，那么我们就说这是一个k sat问题 3 SAT乃至k 阅读全文
posted @ 2018-02-22 21:31 Cyhlnj 阅读(1031) 评论(1) 推荐(3)