2-SAT poj3207将边看做点

Ikki's Story IV - Panda's Trick Time Limit: 1000MS Memory Limit: 131072K Total Submissions: 10238 Accepted: 3762 Description liympanda, one of Ikki’s friend, likes playing games with Ikki. Today after minesweeping with Ikki and winning so many ti…

学习笔记（two sat）

关于two sat算法两篇很好的论文由对称性解2-SAT问题(伍昱), 赵爽 2-sat解法浅析(pdf). 一些题目的题解 poj 3207 poj 3678 poj 3683 poj 3648 poj 2723 poj 2749 关于具体算法首先此算法只对于存在类似于一个点选了另一个点就不能选这样的条件,并且每个点只有两种状态(一般是选或不选),不然是个NP问题大体做法就是先转换模型,把每个点拆成两个,一个代表取,一个代表不取,(注意:图中边代(u->v)代表取u就一定要取v) 至于判…

多边形碰撞 -- SAT方法

检测凸多边形碰撞的一种简单的方法是SAT(Separating Axis Theorem),即分离轴定理. 原理:将多边形投影到一条向量上,看这两个多边形的投影是否重叠.如果不重叠,则认为这两个多边形是分离的,否则找下一条向量来继续投影.我们不需要比较很多条向量,因为已经在数学上证明,多边形每条边的垂直向量就是我们需要的向量. 1.AABB 让我们首先以AABB开始(AABB是一种两边分别平行于X-Y轴的矩形) 判断两个AABB是否碰撞,我们只需要投影两次,分别是投影在平行于X轴和Y轴的向量上…

[Effective JavaScript 笔记]第54条：将undefined看做“没有值”

undefined值很特殊,每当js无法提供具体的值时,就会产生undefined. undefined值场景未赋值的变量的初始值即为undefined. var x; x;//undefined 访问对象不存在的属性也会产生undefined. var obj={}; obj.x;//undefined 一个函数体结尾使用未带参数的return语句,或未使用return语句都会返回值undefined. function f(){ return; } function g(){} f();/…

POJ 3678 Katu Puzzle（2 - SAT） - from lanshui_Yang

Description Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolean operator op (one of AND, OR, XOR) and an integer c (0 ≤ c ≤ 1). One Katu is solvable if one can find each vertex Vi a value Xi (0 ≤ Xi ≤ 1) s…

poj3207

poj3207 题意平面上,一个圆,圆的边上按顺时针放着n个点.现在要连m条边, 比如a,b,那么a到b可以从圆的内部连接,也可以从圆的外部连接. 给你的信息中,每个点最多只会连接的一条边.问能不能连接这m条边, 使这些边都不相交. 分析建图见代码, 2-SAT模板 code #include<cstdio> #include<cstring> #include<iostream> #include<algorithm> #include<vec…

Map Labeler POJ - 2296（2 - sat 具体关系建边）

题意: 给出n个点让求这n个点所能建成的正方形的最大边长,要求不覆盖,且这n个点在正方形上或下边的中点位置解析: 当然是二分,但建图就有点还行..比较难想..行吧...我太垃圾... 2 - sat建图一看逻辑关系,二看具体情况这里既有平常常用的逻辑关系,也有一些具体的关系 #include <iostream> #include <cstdio> #include <sstream> #include <cstring> #include <…

LA 3211 飞机调度（2—SAT）

https://vjudge.net/problem/UVALive-3211 题意: 有n架飞机需要着陆,每架飞机都可以选择“早着陆”和“晚着陆”两种方式之一,且必须选择一种,第i架飞机的早着陆时间为E,晚着陆时间为L,不得在其他时间着陆.你的任务是为这些飞机安排着陆方式,使得整个着陆计划尽量安全.换句话说,如果把所有飞机的实际着陆时间按照从早到晚的顺序排列,相邻两个着陆时间间隔的最小值. 思路: 二分查找最大值P,每次都用2—SAT判断是否可行. #include<iostream> #i…

hdu1695 GCD 莫比乌斯反演做法+枚举除法的取值 (5,7),(7,5)看做同一对

/** 题目:hdu1695 GCD 链接:http://acm.hdu.edu.cn/status.php 题意:对于给出的 n 个询问,每次求有多少个数对 (x,y) , 满足 a ≤ x ≤ b , c ≤ y ≤ d ,且 gcd(x,y) = k ,(5,7),(7,5)看做同一对, gcd(x,y) 函数为 x 和 y 的最大公约数. 本题默认:a = c = 1; 0 < a <= b <= 100,000, 0 < c <= d <= 100,000,…

2016-2017 ACM-ICPC CHINA-Final H Great Cells ans[i]*i看做整体，转化为期望理解来解题

/** 题目:2016-2017 ACM-ICPC CHINA-Final H Great Cells 链接:http://codeforces.com/gym/101194 题意:给定n*m的矩形,a[i][j]的数据范围为[1,k]: 如果a[i][j]是自己所在行和所在列最大的(唯一最大的),那么这个格子就是great cell: 令Ag表示有g个great cell的矩形数量. 求: sigma[g=0,n*m](g+1)*Ag mod(1e9+7); 思路: 原式可以拆成sigma[g…

HIT 1917 2—SAT

题目大意:一国有n个党派,每个党派在议会中都有2个代表, 现要组建和平委员会,要从每个党派在议会的代表中选出1人,一共n人组成和平委员会. 已知有一些代表之间存在仇恨,也就是说他们不能同时被选为和平委员会的成员, 现要你判断满足要求的和平委员会能否创立?如果能,请任意给出一种方案.( POI 0106 ) ————————————————————————————————————————— 这道题就是裸的2—SAT 不过我用了tarjan缩点然后一波拓排 tips:一个问题无解当且仅当一个集合的…

QBuffer简单操作（被看做一个标准的可随机访问的文件，支持信号）

Qt中通过QBuffer类我们可以使用io的方式访问.操作QByteArray中的内容.此时,QByteArray被看做一个标准的可随机访问的文件.例如: QBuffer buffer; char ch; buffer.open(QBuffer::ReadWrite); buffer.write("Qt rocks!"); buffer.seek(0); buffer.getChar(&ch); // ch == 'Q' buffer.getChar(&ch); //…

另一个角度的redis--redis 可以看做是c/s架构的软件

Redis 通信协议简单研究 redis 可以看做是c/s架构的软件,再打开一个终端输入下面的指令 https://www.cnblogs.com/nele/p/8908298.html redis 通信协议连接操作…

2 - sat 模板（自用）

2-sat一个变量两种状态符合条件的状态建边找强连通,两两成立1 - n 为第一状态(n + 1) - (n + n) 为第二状态例题模板链接一 POJ 3207 Ikki's Story IV - Panda's Trick(2-sat) 链接二 Katu Puzzle POJ - 3678 (2 - sat) 链接三 HDU3622 Bomb Game(二分+2-SAT)…

SAT考试里最难的数学题？ · 三只猫的温暖

问题今天无意中在Quora上看到有人贴出来一道号称是SAT里最难的一道数学题,一下子勾起了我的兴趣.于是拿起笔来写写画画,花了差不多十五分钟搞定.觉得有点意思,决定把解题过程记下来.原帖的图太小,我用GeoGebra重新画了一遍.没错,我就是强迫症. 为了省事,就把这道题叫做RASBTC. In the figure above, arc (text{SBT}) is one quarter of a circle with center (text{R}) and radius 6. If…

世界碰撞算法原理和总结（sat gjk）

序言此文出于作者的想法,从各处文章和论文中,总结和设计项目中碰撞结构处理方法.如有其它见解,可以跟作者商讨.(杨子剑,zijian_yang@yeah.net). 在一个世界中,有多个物体,物体可以分为运动的物体和静止的物体和地形.而世界是很宽广的,本文致力在处理物体之间的碰撞,地形的碰撞后续处理. 处理流程世界是宽广的,同样世界中物体也是多个的.每个物体一直频繁的检测是浪费效率的(毕竟运动的物体和根本碰不到的物体检测完全没必要). 分为两个阶段:粗检测(筛选出来会碰撞到的物体) – 细检测…

poj3207 2-SAT入门

一开始题意没读懂 = = 题意:比如说对于表盘上a到b.c到d都要连边,这两个边不能交叉.这两个边要么都在圆内要么都在圆外,而且可以是曲线= = 比如这种情况:(Reference:http://blog.csdn.net/l04205613/article/details/6668318) (左边情况看似是合法的,但是一个边在圆内一个在圆外,形成矛盾了) 这回只需判断是否可行不用输出方案,这样就简单多了 STEP:构图,矛盾的地方连边->tarjan求scc->判断是否a和not a在同一分…

poj3207 Ikki’s Story IV – Panda’s Trick

2-SAT. tarjan缩点.强连通分量的点要选一起选. #include<cstdio> #include<algorithm> #include<cstring> using namespace std; + ; + ; int n,m; int a[maxn],b[maxn]; int g[maxn],v[maxm],next[maxm],eid; int dfn[maxn],vis[maxn],low[maxn],vid; int color[maxn],ci…

POJ3207+tarjan+2-sat

/* 2-sat 题意:给定一个圆,圆上一些点.两点一线.现给出一些线,这些线可以在圆内连起来,也可以在圆外. 问有没有可能所有的线画完且不出现相交. 思路:把线画在圆内或圆外看成一个组合.其它的则建边. */ #include<stdio.h> #include<string.h> #include<stdlib.h> #include<math.h> #include<algorithm> #include<iostream>…

hdu 4115 (2—SAT)

题意:两个人石头剪刀布,一个人的出法已确定,另一个人的出法有一定约束,某两次要相同或者不同,问你第二个人能否全部都不失败. 思路:根据Bob出的情况,我们可以确定每次Alice有两种方案. R与P,S矛盾,P与R,S矛盾,S与R,P矛盾. 根据Bob出的情况建边: 如果Bob出的是石头(R)则Alice可以出石头或者布,就是~R与~P矛盾,~P与~R矛盾,建边~R—>P,~P—>R. ........................................ 根据约束条件: 如果a,b两…

POJ-3207 Ikki's Story IV - Panda's Trick 2sat

题目链接:http://poj.org/problem?id=3207 题意:在一个圆圈上有n个点,现在用线把点两两连接起来,线只能在圈外或者圈内,现给出m个限制,第 i 个点和第 j 个点必须链接在一起,问是否存在可行解. 容易想到圈内和圈外分别表示2sat的两种状态,对每一个限制 i 和 j ,考虑所有其它横跨他们的限制,然后连边就可以了. //STATUS:C++_AC_47MS_6300KB #include <functional> #include <algorithm>…

poj 3678 Katu Puzzle(Two Sat)

题目链接:http://poj.org/problem?id=3678 代码: #include<cstdio> #include<cstring> #include<iostream> #include<algorithm> #include<vector> using namespace std; ; struct Two_Sat { int n; vector<]; ]; ],cnt; void init(int n) { this-…

poj3207（two-sat）

传送门:Ikki's Story IV - Panda's Trick 题意:给定一个圆,圆上一些点.两点一线.现给出一些线,这些线可以在圆内连起来,也可以在圆外.问有没有可能所有的线画完且不出现相交. 分析:对于每条线,要么在圆外,要么在圆内,且不可同时满足,只能两者取一,判断这M条线是否合法,也就是M条线不冲突,这就是典型的2-sat问题了. 将每条线在圆内当成一点i,在圆外当成一点i',对于两条线,如果在园内同时在圆内,那么必定也不能同时在园外,则有边(i, j') .(j ,i').(i…