2-SAT问题
smsmn
在学校曾获得过福建省大学生程序设计竞赛并参加过ACM/ICPC亚洲区的预选赛,曾获得过高等数学竞赛一等奖和全国数学建模竞赛福建赛区一等奖;对C#、.net和SQL熟悉,在学校用.net和C#做过教学管理系统;在学校通过了全国计算机四级和大学英语四级的考试。<br/>在工作的这一两年除了用C/C++进行三维开发之外,也涉及了网络编程的开发,对ASIO和socket熟悉。<br/>在杭州和厦门这段时间都是使用OpenGL进行开发,前者是做虚拟现实,后者是底层导航引擎开发。<br/>总之,我对于C/C++开发特别感兴趣,也想在三维、嵌入式、视频监控系统或者游戏方面有所发展。
展开
-
2-sat POJ 3678
<br />http://poj.org/problem?id=3678<br /> /* 一些点,点的取值可以是0或者1,没有告诉你具体取值。 一些边,有权值,有运算方式(并,或,异或),要求和这条边相连的两个点经过边上的运算后的结果是边的权值。 问你有没有可能把每个点赋值满足所有边的要求。 每个点只有0,1两种值,并且和边对面的点有约束条件,所以可以转化为2-sat问题。 令i表示点i取0,i + n表示点i取1. 点i与点j and 等于0时。 i + n -> j, j + n -> i原创 2010-10-30 16:29:00 · 552 阅读 · 0 评论 -
POJ_3683
<br />http://poj.org/problem?id=3683<br />/*题目描述:有n个婚礼,每个婚礼有起始时间si,结束时间ti,还有一个主持时间ti,ti必须安排在婚礼的开始 或者结束,主持由祭祀来做,但是只有一个祭祀,所以各个婚礼的主持时间不能重复, 问你有没有可能正常的安排主持时间,不能输出no,能的话要输出具体的答案: 即每个婚礼的主持时间段是什么样的。*/ /* 对于题意:主持时间要么在开始的时刻,要么在结束的时刻,而且各个婚礼之间有限制,因此用2-sat 建图:对于原创 2010-10-31 11:07:00 · 763 阅读 · 0 评论 -
POJ_3207
<br />http://poj.org/problem?id=3207<br />/*2-sat问题 2-SAT问题,通俗的说就是有n对点(2n个点),从每对点中选出一个点,共选出n个点, 而且要满足若干个这样的条件:某两点不能同时被选出。 设一对点为x、~x,如果a被选出则b一定要被选出,就在图中加有向弧(a,b)表示这种关系。 那么如果a,b(a!=b,a!=~b)不能同时被选出,那么加两条有向弧(a,~b),(b,~a)。 这样由图的对称性可以证明,2-SAT有解等价于任取x、~x,x、~原创 2010-10-30 11:03:00 · 640 阅读 · 0 评论