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 · 387 阅读 · 0 评论 -
[UOJ]210 寻找罪犯 2-Sat 前缀和优化
把一个点拆成四个点(罪犯点,非罪犯点,真话点,假话点), 然后前缀和优化2-Sat即可(变为之前全真话点,之前有假话点). 不过看网上说判解可以用scc判? 一发改了后rk1.#include<bits/stdc++.h> #define acce register int #define boc register char using namespace std; const int maxn原创 2017-12-08 17:14:31 · 296 阅读 · 0 评论 -
[BZOJ]3495 Riddle 2-Sat 前缀和优化
3495: PA2010 Riddle Time Limit: 30 Sec Memory Limit: 512 MB Submit: 279 Solved: 97 [Submit][Status][Discuss] Description k个国家,几个城市,m条边。 要求每个国家有且仅有一个首都,每条边两端的城市至少要有一个首都。 判断是否有解, 有解输出“TAK”,无解原创 2017-12-08 21:12:03 · 386 阅读 · 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 · 333 阅读 · 0 评论