E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
2-SAT
poj 3678 Katu Puzzle (
2-sat
)
我们知道，判断一个
2-sat
问题是否存在合法方案的方法是，缩点后判断有没有两个同组点属于同一个连通分量。我们需要A
lp_opai
·
2020-08-05 19:26
2-sat
poj Ikki's Story IV - Panda's Trick (
2-sat
)
/*平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。解题报告：题意可能刚开始不是很好理解，比如15连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。如果再加入37这条边，那么就必须
lp_opai
·
2020-08-05 19:26
2-sat
2-SAT
点击打开链接序言最近花了一点心思研究
2-sat
模型，看了很多论文博客等等，也在POJ上做了一点题。
蘑菇小哲
·
2020-08-04 19:38
2-SAT
NOIP总结
（树剖，主席树，平衡树，树套树，kd-tree，动态树）图论：MST，最短路，Tarjan（强联通分量，割点割边），并查集，拓扑排序，
2-sat
，差分约束，二分图（判定是否是二分图，二分图最大
pretend_fal
·
2020-08-04 16:51
NOIP范围浅谈
图论$\cdot$
2-SAT
问题
2-SAT
问题是这样的：有$n$个布尔变量$x_i$，另有$m$个需要满足的条件，每个条件的形式都是“$x_i$为真/假或者$x_j$为真/假”。比如："$x_1$为真或者$x_3$为假“。
weixin_33743248
·
2020-08-02 14:53
ui
c/c++
noip知识点
dp,斜率优化,矩阵乘法加速)数据结构堆栈队列双向链表(约瑟夫环)树状数组线段树(树剖,主席树,平衡树,树套树,kd-tree,动态树)图论MST最短路Tarjan(强联通分量,割点割边)并查集拓扑排序
2-
Dedsecr
·
2020-08-02 12:09
省选之路
ACautomaton最近公共祖先&区间极值-LCA&RMQ线段树&树状数组树链剖分平衡树treapsplay分治动态树-LCT数据结构技巧图图的生成树最短路算法（单元/多元）最小生成树拓扑序欧拉回路差分约束K短路
2-
forto42
·
2020-08-01 12:00
【Luogu 4171】[JSOI2010] 满汉全席（
2-SAT
）
目录题目题目描述输入格式输出格式输入输出样例思路2_SAT定义求解代码题目题目描述满汉全席是中国最丰盛的宴客菜肴，有许多种不同的材料透过满族或是汉族的料理方式，呈现在數量繁多的菜色之中。由于菜色众多而繁杂，只有极少數博学多闻技艺高超的厨师能够做出满汉全席，而能够烹饪出经过专家认证的满汉全席，也是中国厨师最大的荣誉之一。世界满汉全席协会是由能够料理满汉全席的专家厨师们所组成，而他们之间还细分为许多不
t14
·
2020-08-01 00:29
图论
#
2-SAT
Binary Code（
2-SAT
前缀优化建图）
N个命题至多成立一个的建图建立n个前缀命题i，pre[i]表示前i个命题存在一个成立link(u,v)表示加边u>v和~v>~u则只需要像这样建边即可：for(inti=0;iusingnamespacestd;constintmaxn=4e6+5;vectorG[maxn];inlinevoidadd(intu,intv){G[u].push_back(v);}inlinevoidlink(in
心照不必宣
·
2020-07-31 19:03
2-sat
夜深人静写算法（十）- 有向图强连通和
2-sat
问题
一、引例1、同学会【例题1】作者有N个同学，并且N个同学中有M对关系，M对关系描述为(a,b)代表a有b的电话号码(不代表b有a的)。现在作者想举办一次同学会，虽然作者有所有人的电话号码，但是作者这个人比较抠门，不想一个一个打电话浪费电话费。所以如果a能联系到b，b能联系到c，那么作者只需要联系a（b交给a去联系，c交给b去联系即可）。联系第i个同学的电话费为C[i]。求一种方案使得作者需要消耗的
英雄哪里出来
·
2020-07-30 11:09
夜深人静写算法
夜深人静写算法
图论（CSP-S难度）知识小结（完善中）
--生成树--PrimKruskal次小生成树最小树形图最小乘积生成树最优比率生成树--连通性--SCCBCC--网络流--最大流--匹配--
2-SAT
二分图--其他--LCA拓扑排序基环树线段树优化剩余系离散化序言
Park Corsa
·
2020-07-14 11:25
---图论---
总结
tarjan+缩点
=，经常我们找到强连通分量之后不是数数个数就结束了，tarjan经常是帮别人一点而已，比如
2-sat
啊，桥啊，割点啊什么的，这次只是简单的做了把连通块缩成一个点#include#include#includeusingnamespacestd
zjy2015302395
·
2020-07-12 20:44
acm
基本算法
[
2-sat
][裸题] HDU3062 Party
这题只判断可行性，不用输出解，应该是
2-sat
入门题里最水的一道....代码：//n个元素。i=0~n-1.//i表示0、i+n表示1、i+2n表示0'、i+3n表示1'。//1wa。
weixin_34087503
·
2020-07-08 16:57
HDU_3062_Party(
2-SAT
)
pid=3062分析：赤果果的
2-SAT
练习题，因为夫妻只能出席其中一人，正好构成A与~A如果两个妻子有矛盾，A->~BB->~A如果一女一男有矛盾，A->B~B->~A如果一男一女有矛盾，B->A~A
light_starlight
·
2020-07-08 08:45
ACM
HDU3062 -
2-sat
PartyTimeLimit:2000/1000MS(Java/Others)MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):6168AcceptedSubmission(s):2013ProblemDescription有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n个人中，某些人之间有着很大的矛盾（
Coder_YX
·
2020-07-07 22:37
HDU
ACM_2-SAT
HDU-3062-Party（
2-SAT
）
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3062ProblemDescription有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n个人同时列席？Inputn：表示有n对夫妻被邀请(nb',b->
EIKY
·
2020-07-07 19:39
HDU
图论
Hdu--3062（
2-SAT
）
2014-10-1523:46:02思路：
2-SAT
启蒙题，很裸很粗暴。
dingdi3021
·
2020-07-07 06:51
hdu--3062（
2-sat
PartyTimeLimit:2000/1000MS(Java/Others)MemoryLimit:32768/32768K(Java/Others)TotalSubmission(s):5259AcceptedSubmission(s):1698ProblemDescription有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n个人中，某些人之间有着很大的矛盾（
阿阿阿黄
·
2020-07-06 23:50
2-sat
hdu3062
/*分析：
2-SAT
果题~第一道
2-SAT
，很早就知道有这玩意儿了，不过以为很难，就一直没敢看，不过今儿硬着头皮看完了，不就是缩点+拓扑排序么。。。-、-数组开小了，1W-、-。
Ice_Crazy
·
2020-07-06 22:23
图论
POJ 3683
2-SAT
输出可行方案
http://poj.org/problem?id=36831，根据矛盾建边2，tarjan求scc判断可行性3，根据scc缩点建反向边4，拓扑排序，按顺序输出选择情况#include#include#include#include#include#includeusingnamespacestd;constintmaxn=2005;intn;intst[maxn],ed[maxn];vector
Hermit_Inwind
·
2020-07-06 22:16
Two-SAT
解题报告
Tarjan&2-SAT 总结
\(Tarjan\)&\(
2-SAT
\)标签：知识点总结安利XZYXZYps：里面的部分东西来自\(Anson\)和\(yler\)和\(XZY\)阅读体验：https://zybuluo.com/Junlier
weixin_30861459
·
2020-07-05 22:47
【10.9校内练习赛】【搜索】【
2-sat
】【树链剖分】【A_star k短路】【差分约束+判负环】...
在洛谷上复制的题目！P3154[CQOI2009]循环赛题目描述n队伍比赛，每两支队伍比赛一次，平1胜3负0.给出队伍的最终得分，求多少种可能的分数表。输入输出格式输入格式：第一行包含一个正整数n，队伍的个数。第二行包含n个非负整数，即每支队伍的得分。输出格式：输出仅一行，即可能的分数表数目。保证至少存在一个可能的分数表。输入输出样例输入样例#1：复制6567788输出样例#1：复制121说明Nu
weixin_30691871
·
2020-07-05 21:38
Tarjan/
2-SAT
学习笔记
SATTags：图论作业部落评论地址Tarjan用来求割边或者割点，求点双联通分量或者边双联通分量点双联通分量：两个点之间有两条点不相交的路径边双联通分量：两个点之间有两条边不相交的路径Tarjan求LCA还不会
2-
weixin_30342827
·
2020-07-05 20:15
【UOJ #210】【UER #6】寻找罪犯 （
2-SAT
）
2-SAT
模型显然，注意要对每个人是否是骗子，每句话是否是真话都要建点，然后暴力连边裸上就可以得40分了。瓶颈在于这种关系：若一个人说的某一句话是假话，则他说的其它话都是真话。
broxin
·
2020-07-05 16:00
题解
图的连通性
[CF776D] The Door Problem -
2-SAT
表示操作这个开关，\(0\)表示不操作如果一扇门的状态是\(1\)，则控制它的两个开关状态必须相同（\(00/11\)）如果一扇门的状态是\(0\)，则控制它的两个开关状态必须相反（\(01/10\)）回顾一下
2-
Mollnn
·
2020-07-05 09:00
NOIP四校联考前4场总结及反思
第二题是道
2-SAT
,之前并没有认真学这个东西，导致当时知道加边，却不知道怎么判断正确性，最后只能贴个DFS暴力交上去，结果暴力也出错了。于是就爆了。
Liu_wherforever
·
2020-07-04 06:29
日记
C++
noip
四校联考
[BZOJ4945][NOI2017]游戏（
2-SAT
）
题目见http://www.lydsy.com/JudgeOnline/upload/Noi2017D2.pdf。可以发现，除了x地图之外，其余的地图只适合两种赛车。而在这里，我们先假设所有的地图都适合且只适合两种赛车，这样就是2−SAT裸题了。对于每场游戏用两个点i和i′，分别表示第i场游戏使用该地图适合的第一种赛车和第二种赛车（举例：如果第i场游戏的地图不适合A赛车，那么点i表示第i场游戏使用
xyz32768
·
2020-06-30 04:31
BZOJ
UOJ
LOJ
2016 ACM/ICPC大连区域赛 A— Wrestling Match【
2-sat
】
http://acm.hdu.edu.cn/contests/contest_showproblem.php?pid=1001&cid=736WrestlingMatchTimeLimit:2000/1000MS(Java/Others)MemoryLimit:65536/65536K(Java/Others)TotalSubmission(s):711AcceptedSubmission(s):
尒轩窗
·
2020-06-24 08:55
2-sat
搜索
停课后的每日OI记录
10.29A.简单计算：数学结论题B.格式化：贪心（使用邻项交换法证明）C.真相：模拟，枚举（
2-SAT
为
DyingShu
·
2020-06-21 19:23
记录
游记
2-sat
目录2-sat1.算法分析2.版子3.典型例题3.1已知点与点关系2.2未知点与点关系2-sat1.算法分析 有n个变量x[1...n]，每个变量的可能取值为1或0（或称i和~i必取到其中1个）。 给定m个约束条件，每个约束条件形如：若x[i]取i（或者~i），则x[j]必取j（或者~j） 判定是否存在对每个变量的合法赋值，使所有约束都被满足判定方法：建立2N个点有向图，i和~i
spcia
·
2020-06-15 19:00
2-SAT
问题简述
前置知识强连通分量k-SAT问题k-SAT问题中的SAT意思就是(stability)，也就是适应性问题。本意是给出n个变量，每一个变量有k个状态，并且也给出一些约束条件，要求你求出是否存在每一个变量的取值方案(状态分配方案)。很可惜，k-SAT(k>2)已经被证明是NP完全的问题了，也就是说我们无法用一些多项式时间复杂度的算法来解决这个问题，但是我们可以发现。当kb,-b->agpe[a+n].
菜鸡mk
·
2020-05-20 21:00
LA 3211 （
2-SAT
问题）
洛谷题目传送门题目描述有n架飞机需要着陆。每架飞机都可以选择“早着陆”和“晚着陆”两种方式之一，且必须选择一种。第i架飞机的早着陆时间为Ei，晚着陆时间为Li，不得在其他时间着陆。你的任务是为这些飞机安排着陆方式，使得整个着陆计划尽量安全。换句话说，如果把所有飞机的实际着陆时间按照从早到晚的顺序排列，相邻两个着陆时间间隔的最值（称为安全间隔）应尽量大。输入格式输入包含若干组数据。每组数据第一行为飞
雪之下，树之旁
·
2020-04-06 18:00
2-SAT
(HDU-3062 party)
2-SAT
(HDU-3062party)解决问题类型：书本定义：给一个布尔方程，判断是否存在一组解使整个方程为真，被称为布尔方程可满足性问题（SAT）因为本题只有0，1（丈夫妻子只能去一个人），所以是
2
快乐撸代码
·
2020-04-02 21:00
POJ 3905
所属题类：图论中的
2-SAT
问题题意：有N个人竞选某个职位，M个评委参与评选，每个评委给出一个条件，问能不能使得每个评委的条件都满足。若能，输出1，不能则输出0。
SherlockMoon
·
2020-03-05 07:51
2-sat
学习笔记
2-sat
问题序我笑笑，np完全，弹指一挥间罢了正文定义
2-SAT
就是2判定性问题，是一种特殊的逻辑判定问题。
_rsx
·
2020-02-06 00:00
2-SAT
学习笔记
a\)就可以了
2-SAT
板子考虑\(x_i\)只有两个状态此题说的是两者满足其一那么可以转化成满足前者且不满足后者的关系所以就这样
_Isaunoya
·
2020-01-30 21:00
CF776D The Door Problem
考虑\(\texttt{
2-SAT
}\)首先每个门\(i\)都有一个初始状态\(a_i\)题目条件每个门只被两个开关控制，那么很显然的\(\texttt{
2-SAT
}\)用\(b_{i,{0/1}}\)
_Isaunoya
·
2020-01-30 21:00
洛谷P5782 【[POI2001]和平委员会】
2-SAT
问题模板先看两道例题：【模板】
2-SAT
问题满汉全席在搞懂上面的题后，这题就并不难了。最主要的就是跑tarjan和连边。
JasonZRY
·
2019-12-27 19:00
luogu P5782 [POI2001]和平委员会 |
2-sat
题目描述根据宪法，Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。此委员会必须满足下列条件：每个党派都在委员会中恰有11个代表。如果22个代表彼此厌恶，则他们不能都属于委员会。每个党在议会中有22个代表。代表从11编号到2n2n。编号为2i-12i−1和2i2i的代表属于第ii个党派。任务：写一程序读入党派的数量
白木偶君
·
2019-12-24 22:00
[cf1215F]Radio Stations
这道题如果没有功率的限制，显然就是一个裸的
2-sat
考虑将功率的限制也放在图上：如果选择了功率i，那么功率区间不包含它的点只能不选，连边即可但是这样建图的边数是o(n^2)，需要优化将功率区间分为两种，
PYWBKTDA
·
2019-09-18 07:00
P4171 [JSOI2010]满汉全席
传送门显然的$
2-sat
$问题，甚至不用输出方案每种菜不是汉式就是满式，分成两个节点$i,n+i$分别表示满式和汉式对于限制$m_i,m_j$，如果$i$为汉式则$j$一定要为满式，如果$j$为汉式$i
LLTYYC
·
2019-08-23 08:00
Heidi Learns Hashing (Medium)(思维题/
2-sat
)
题目给一个长度为n(nusingnamespacestd;constintN=2e5+10;intn,ans,now,cnt[N];chars[N];boolok(intx){for(inti=0;i
Code92007
·
2019-07-08 14:34
思维题
2-sat
JSOI2019精准预测（2-SAT+bitset+乱搞）
题目链接题解：考场上的时候似乎还不太会
2-SAT
，yy了一个出来还写挂了……暴力的大概思路就是每个时刻，每个人拆成生死两个点，按照
2-SAT
连边。注意有隐藏条件，就是人死不能复生。
WAautomaton
·
2019-05-28 21:03
比赛
BZOJ.5397.circular(随机化 贪心)
BZOJ感觉自己完全没做过环上选线段的问题（除了一个
2-SAT
），所以来具体写一写qwq。基本完全抄自remoon的题解qwq...
SovietPower
·
2019-04-24 11:00
hdu1814 Peaceful Commission
2-SAT
建图入门
题面ThePublicPeaceCommissionshouldbelegislatedinParliamentofTheDemocraticRepublicofBytelandaccordingtoTheVeryImportantLaw.Unfortunatelyoneoftheobstaclesisthefactthatsomedeputiesdonotgetonwithsomeothers.
G_congratulation
·
2019-04-12 22:15
图论
hdu3062 Party tarjan +
2-SAT
题解发发两者不能同时出现，符合
2-SAT
模型，因为m的数据过大，所以常规的dfs算法的O(n(n+m))的复杂度不能承受。又其提问为是否存在最大解，故将原问题建图并求强连通分量，根据点
G_congratulation
·
2019-04-12 22:39
图论
2-sat-总结+例题
，三月底才好好重新的看一下，，，做了一些题，，感觉大致的了解了2sat的基本套路，，一般的题都是在建图做文章，，这题出现的频率貌似也不高，，，之后就放一放吧，，，啥时候忘记了就翻出来看一看，，嘿嘿概述
2-
31415926535x
·
2019-04-02 18:00
[bzoj4670][
2-sat
]佛罗里达
Description没有得到激光武器的苏联十分生气，他们决定派遣一支特种部队强行登陆美国并造成一定的袭击。Reddington得到的情报是他们将在佛罗里达海岸登陆，他决定派遣他的手下去阻击他们。可惜的是，Reddington由于不听从总统的意见，手中的部队只剩下了N个人。人与人之间会有一定的矛盾值，第i个人与第j个人的矛盾值为Ti,j，并且有Ti,i=0，Ti,j=Tj,i。Reddington
Rose_max
·
2019-03-28 20:25
bzoj
2-sat
2-SAT
原来很有趣！
文章目录推荐阅读资料A.HDU3062Partytitleanalysis[^1]codeB.POJ3678KatuPuzzletitleanalysiscodeC.HDU3715GoDeepertitleanalysiscodeD.POJ3207Ikki'sStoryIV-Panda'sTricktitleanalysiscodeE.POJ2723GetLuffyOuttitleanalysis
grhsmt
·
2019-03-15 10:21
模板
强连通分量
======图论=======
HDU
POJ
2-SAT
【LOJ#6036】[雅礼集训2017Day4]编码
很容易想到用
2-sat
和trie树。那么问题变为插入这些二进制串，在‘?’处选择向哪边插入，使得任意一个结束节点的祖先节点中不存在一个结束节点。
NeosKnight
·
2019-03-05 21:20
======题解======
——图论———
2-SAT
上一页
1
2
3
4
5
6
7
8
下一页
按字母分类：
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他