[2-sat]小结

最新推荐文章于 2020-08-13 14:14:55 发布
最新推荐文章于 2020-08-13 14:14:55 发布
阅读量153 收藏
点赞数
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_36993218/article/details/79582644
版权

因为一直不怎么会这个东西，所以今天整理一下这个东西的内容。

原来这个东西这么简单的吗。2sat里面一条边x->y表示x选了之后y必须选，只要建出满足这种条件的边之后跑tarjan就可以知道到底有没有解了。因此x &^| y这种布尔运算就可以试一试 x在取某个值时y会不会强制取值，会的话就连边就行了，然后tarjan一下，看一看 x和!x是否在同一个联通块里，如果都没有的话就说明有一组解。
容易证明2sat的连边具有传递性。当图的边数过大时，可以考虑建立辅助点来优化建边。

当你的图已经建好并且要求构造方案的时候，x=id[x]

Gzb1128
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
2-sat建图以及刷题记录~~
wishcxz_acm
09-14 531
A[x] NOT A[x] A[x] AND A[y] A[x] AND NOT A[y] A[x] OR A[y] A[x] OR NOT A[y] NOT (A[x] AND A[y]) NOT (A[x] OR A[y]) A[x] XOR A[y] NOT (A[x] XOR A[y]) A[x] XOR NOT A[y]  建立有向图。 若图中存在有向边i->j，
每天一篇javascript学习小结（RegExp对象）
11-25
var text = "cat, bat, sat, fat"; var pattern = /.at/; if (pattern.test(text)){ alert("The pattern was matched."); } 2、正则的toString()方法 var pattern = new RegExp("\\[bc\\]at", "gi");...
2-SAT图解法
07-18
有2-SAT图的介绍与解法，有详细的例题讲解。仙人掌图的判断方法与其3个性质，最后还附上模板。
2-SAT 建图总结
weixin_44059127的博客
10-25 333
2-sat： 给定一个由布尔值组成的有 n 个元素的序列 A，再有若干限制，每个限制针对至多两个元素，求满足所有限制的序列 A 或者判定不存在。 常见的限制条件： 记每个限制条件给定 a op b, a0, b0, a1, b1a~op~b,~a_0,~b_0,~a_1,~b_1a op b, a0​,&nb...
图论--2-SAT--详解
日拱一卒,功不唐捐
11-13 3514
问题描述： 现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x]AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SAT问题。 由于在2-SAT问题中，最多只对两个元素进行限制，所以可能的限制关系共有11种： A...
poj2723 2sat判断解+二分
weixin_33975951的博客
02-13 94
典型的2-sat问题，题意：有m个门，每个门上俩把锁，开启其中一把即可，现在给n对钥匙（所有 钥匙编号0123456...2n-1），每对钥匙只能用一把,要求尽可能开门多（按顺序，前max个）。 关键是题意的分析与转化，只能选一？必然2-sat，每给一对门上的锁对应钥匙的编号，说：必需要这 俩把钥匙的一把（至少），即：a^b，所以，建图了可以，总结通法：对应的数据编号：0123..，...
独立主格结构小结.pdf
12-05
2. 名词/代词+现在分词：现在分词表示逻辑主语正在进行的动作或与主句同时发生的情况，例如"He stood silent in the moon-light, his door open." 中的"his door open"表明门是开着的状态。 3. 名词/代词+过去分词...
英语过去完成时用法小结.pdf
12-10
2. 描述过去连续发生的多个动作时，通常用一般过去时，如"He entered the room, turned on the light and sat down at the table." 这些动作依次发生，没有强调先后顺序。 3. 在表达过去的愿望、打算、计划等未能...
JavaScript中各种引用类型的常用操作方法小结_.docx
10-09
- **splice(index, deleteCount, item1, item2, ...)**：`splice`方法功能强大，它可以删除、插入或替换数组中的元素。参数`index`指定开始位置，`deleteCount`表示要删除的元素个数，后面的参数则是要插入的元素。 ...
参考资料-三极管要点.zip
01-17
它由两个PN结组成，分为NPN型和PNP型，根据结构的不同，可以作为放大器或开关使用。 二、工作模式 1. 放大模式：在适当的偏置电压下，三极管能够将微小的基极电流放大为较大的集电极电流，实现电流放大作用，这是...
从二分图最大匹配到二分图最优匹配
Rising_shit的博客
08-13 217
从二分图最大匹配到二分图最优匹配 二分图最大匹配 没啥说得，直接上代码。 int vispipei[maxn],match[maxn]; int dfspipei(int now) { for(int i=1;i<=nn;i++) if(dis[now][i]) { int nex=i; if(!vispipei[nex]) { vispipei[nex]=1; if(m
二分图判定
code
06-14 1908
二分图判定        二分图又称作二部图，是图论中的一种特殊模型。 设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。        二分图的另一种等价的说法是,可以把每个节点着以黑色和白色之一,使得每条边的两个端点颜色不同.不难发现,
2-SAT问题
zzblac的专栏
08-13 430
还记得集训的时候看见个题是2-SAT问题以为是er
原来2-SAT是这么一回事
热门推荐
litble的成(tui)长(fei)史
05-22 1万+
What is 2-SAT you may ask 有很多集合，每个集合里有k个元素，要从中选择一个。除此以外，还有若干“选了A元素就必须选B”的限制，求一种可行的选择方案。 例题引入:poj3648 有一对新郎新娘准备婚礼，邀请了(n-1)对夫妇参加(n≤30n≤30n \leq 30)，其中有m个人有通奸关系(???)，而且新郎新娘和别人，同性或异性都可能发生通奸关系(贵圈真乱...
二分图的最佳完美匹配（模板）
Change the world by program.
03-14 1968
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 二分图的最佳完美匹配，也就是带权值的无向二分图中权值之和最大的完美匹配，整个图分为两个不相交的集合x和y，采用KM算法求解，也称匈牙利算法. 时间复杂度为O(n^3) typedef int type;//实际数据类型,一般是int或double const type inf = 2e9; const dou...
关于2-sat的建图方法及解决方案
llin-黎辰
07-29 4069
-------------------------------------------------对于2-sat问题的描述------------------------------------------------- 给出一个序列，每个数是一个bool值，给出一些限制关系，得到最终的可行解的问题叫做适应性问题，也就是sat问题，2-sat问题就是给出的限制最多是两两元素之间的限制。 这种适
2-SAT 解法浅析
Ezereal的博客
09-16 1011
2—sat建图总结 1.元素关系有以下11种 A[x] NOT A[x] A[x] AND A[y] A[x] AND NOT A[y] A[x] OR A[y] A[x] OR NOT A[y] NOT (A[x] AND A[y]) NOT (A[x] OR A[y]) A[x] XOR A[y] NOT (A[x] XOR A[y]) A[x] XOR
webgoat-server-8.2.2.zip
07-21
解压即可得到webgoat-server-8.2.2.jar
人工智能行业深度报告：WAIC2024，国产AI+应用“百花齐放”
最新发布
07-21
2024年世界人工智能大会（WAIC 2024）上，国产AI+应用生态呈现“百花齐放”的局面 1. WAIC 2024：国产 AI+应用生态“百花齐放” 多家厂商携大模型及AI应用成果亮相展会，涵盖金山办公、科大讯飞、华为、商汤等知名企业。 OpenAI 禁令加速推动国产 AI 生态，国产大模型性能持续提升，缩小与海外差距。 预计未来国产 AI+行业应用将迎来“百花齐放”局面，商业空间加速打开。 2. 国产大模型加速迭代，代表性厂商生态加速构建 科大讯飞 发布星火 V4.0 大模型，全面对标 GPT-4 Turbo，多模态能力显著提升。 星火医疗和教育垂类模型能力升级，赋能行业应用落地。 推出星火企业智能平台，赋能企业构建岗位专属助手。 华为 发布盘古大模型 5.0 系列，包括不同参数规模，适用于多种场景。 推出盘古具身智能大模型，推动人形机器人技术升级。 盘古 5.0 赋能华为小艺升级，在多个行业落地应用。 商汤 发布“日日新 5.5”模型，交互体验对标 GPT-4o，多模态能力实现突破。 推出面向 C 端用户的可控人物视频生成模型 Vimi。 率先实现原生多模态大模型车端部署
2-SAT问题解析与对称性解法
"本文主要探讨2-SAT问题及其解法，通过一个具体的实例来解析2-SAT问题的特性，并介绍一种基于对称性的解决方案。" 2-SAT（2-满足问题）是布尔满足问题（SAT）的一个子类，它涉及的是2个变量的逻辑表达式。在2-SAT...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值