2-SAT
MaxMercer
成都七中学生,OIer
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
UVA1391【LA3713】 经典2-SAT
题意:给出一些宇航员他们的年龄,x是他们的平均年龄,其中A任务只能给年龄大于等于x的人,B任务只能给小于x的人,C任务没有限制。再给出m对人,他们不能同任务。现在要你输出一组符合要求的任务安排。这道题是刘汝佳蓝书上讲了的题,在这里套用他的模板,实在是好用啊…#include<stdio.h>#include<vector>#include<cstring>using namespace std原创 2017-07-13 09:15:40 · 450 阅读 · 0 评论 -
[UOJ]210 寻找罪犯 2-Sat 前缀和优化
把一个点拆成四个点(罪犯点,非罪犯点,真话点,假话点), 然后前缀和优化2-Sat即可(变为之前全真话点,之前有假话点). 不过看网上说判解可以用scc判? 一发改了后rk1.#include<bits/stdc++.h>#define acce register int#define boc register charusing namespace std;const int maxn原创 2017-12-08 17:14:31 · 361 阅读 · 0 评论 -
[BZOJ]3495 Riddle 2-Sat 前缀和优化
3495: PA2010 RiddleTime Limit: 30 Sec Memory Limit: 512 MBSubmit: 279 Solved: 97[Submit][Status][Discuss]Descriptionk个国家,几个城市,m条边。要求每个国家有且仅有一个首都,每条边两端的城市至少要有一个首都。判断是否有解, 有解输出“TAK”,无解原创 2017-12-08 21:12:03 · 482 阅读 · 0 评论 -
[UVA]1391 Astronauts 2-Sat 朝花夕拾
The Bandulu Space Agency (BSA) has plans for the following three space missions: • Mission A: Landing on Ganymede, the largest moon of Jupiter. • Mission B: Landing on Callisto, the second largest mo原创 2017-12-08 07:57:42 · 403 阅读 · 0 评论
分享