博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
uva1391 2-SAT 问题
阅读量:4584 次
发布时间:2019-06-09

本文共 989 字,大约阅读时间需要 3 分钟。

题意在大白书上。

有3 种工作 abc 大于等于平均年龄的可以去做a c 工作, 小于平均年龄的可以去做 bc , 同样转化为2 -sat 去做, 因为对于每个人也只有2 种情况可以作为选择

#include 
#include
#include
#include
#include
using namespace std;const int maxn=100000+10;struct TwoSAT{ int n; vector
G[maxn*2]; bool mark[maxn*2]; int S[maxn*2],c; bool dfs(int x){ if(mark[x^1]) return false; if(mark[x]) return true; mark[x]=true; S[c++]=x; for(int i=0; i
n =n; for(int i=0; i<2*n; ++i) G[i].clear(); memset(mark,0,sizeof(mark)); } void add_clause(int x, int xval, int y, int yval){ x = x * 2 + xval; y = y * 2 + yval; G[x^1].push_back(y); G[y^1].push_back(x); } bool solve(){ for(int i=0; i
0) mark[ S[ --c ] ] = false; if(!dfs(i+1)) return false; } } return true; }}solver;int n,m,total_age;int age[maxn];bool isyoung(int x){ return x*n
View Code

 

转载于:https://www.cnblogs.com/Opaser/p/4319242.html

你可能感兴趣的文章
ubuntu12.04 上面配置blogilo的博客园客户端的步骤
查看>>
Codeforces Gym101170I:Iron and Coal(建多幅图+多次BFS)***
查看>>
Python杂俎 —— 自动压缩指定格式文件&自动删除
查看>>
2017年01月。。
查看>>
bcmath(精准数学的计算)
查看>>
ASP.NET的路由系统:根据路由规则生成URL
查看>>
ASP.NET Core Razor 视图起始页 - ASP.NET Core 基础教程 - 简单教程,简单编程
查看>>
从PRISM开始学WPF(四)Prism-Module?
查看>>
解决session阻塞的问题
查看>>
SQL Server 触发器
查看>>
css优先级计算规则
查看>>
Asp.Net Web API 2第十五课——Model Validation(模型验证)
查看>>
Silverlight 4 MVVM开发方式(三)动态换皮
查看>>
ExtJs中OA管理中组织和用户关系左右选择组件的运用
查看>>
【原创】关于高度自适应问题
查看>>
Tomcat JMX
查看>>
2019 年,容器技术生态会发生些什么?
查看>>
ubuntu安装hive
查看>>
Java NIO Selector(八)
查看>>
Hibernate入门(三)—— 一对多、多对多关系
查看>>