
2-SAT
文章平均质量分 59
SSL_TJH
被大佬你拦住的我,正在瑟瑟发抖。
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
【ybt金牌导航3-6-5】【luogu P3209】平面图 / 平面图判定
给你一个图,保证图存在哈密顿路径(即图中存在一个包含所有顶点的环),且给出。 问你它是否是一个平面图。 如果能将一个无向图画在平面上使得每两个无重合顶点的边都不会相交,那这个图就是平面图。原创 2021-05-21 11:08:43 · 227 阅读 · 0 评论 -
【ybt金牌导航3-6-4】【luogu P5782】和平委员会
有一些人,然后 2i-1 和 2i 编号的人是同一个组别的,一定要也只能出现其中一个。 然后还有一些限制条件说某两个人不能同时出现。 问你是否有一种出现方案,使得所有条件都被满足。 如果有输出任意一组(把选的人输出出来),否则输出无解。原创 2021-05-21 08:57:56 · 187 阅读 · 0 评论 -
【ybt金牌导航3-6-3】【luogu P3007】奶牛议会 / The Continental Cowngress G(两种方法)
有一些人,每个人对众多决案中的两个决案有表示好或不好。 必须要满足每个人两个条件的至少一个。 问你是否有合法解,如果没有判断出来。 有的话你要输出对于每个决案,它是一定要好,还是一定要不要,还是都可以。原创 2021-05-21 08:31:23 · 218 阅读 · 2 评论 -
【ybt金牌导航3-6-6】【luogu P4171】满汉全席
就是你要做一些菜,对于每个菜你可以选两个方法的中的其中一个。 然后又一些评委,对于某个评委,他要求你某两道菜只要有一道要用它规定的方法来做。(两道菜规定的方法可能不一样) 然后问你能不能有一种方案使得所有评委的要求都满足。原创 2021-02-22 17:05:39 · 162 阅读 · 0 评论 -
【luogu P4782】【模板】2-SAT 问题
2-SAT 模板题,有一些条件,要求想发生的某两个事件至少发生一个。 问你有没有可能全部条件都满足,如果有,输出表示可以的字符串,并且输出一种事件的发生方案。如果没有,就输出表示不可以的字符串。原创 2021-02-22 16:12:57 · 161 阅读 · 0 评论 -
【ybt金牌导航3-6-1】聚会
有一些夫妇,然后两个人只能一个人去聚会。 然后有一些限制条件限制某些人不能同时去约会。 问你是否存在一种可能使每对都可以派人去。原创 2021-02-17 20:20:26 · 201 阅读 · 0 评论 -
【ybt金牌导航3-6-2】【luogu UVA11294】【POJ 3648】婚礼 / Wedding
有一堆夫妇,然后有两边,同一对夫妇不能在同一边。 同时再给出一些条件,就是不能让某两个人同时在左边。 问你是否有成立的情况,然后如果有,输出其中一种合法的方案。原创 2021-02-18 09:54:41 · 184 阅读 · 0 评论