摘要： 第一道凸包 采用Andrew算法，不论实现还是理解都非常简单 1 var q,x,y:array[0..5010] of longint; 2 i,j,k,m,n:longint; 3 ans:double; 4 5 procedure swap(var a,b:longint); 6 var c: 阅读全文

摘要： 把每对钥匙看做一个变量，那两个钥匙看做他的两个状态 每一个开门的要求就是一个条件(xi or xj) 很显然有了2sat的基本要素 2sat是一个判定性问题，而这题求最多能过几个门； 不难想到二分答案，转化为判定性问题可轻松解决 1 type node=record 2 next,point:lon 阅读全文

摘要： 第一道2sat， 其实2sat问题不难，只要记住一个：通过“推导出”连边 什么意思呢？就是一般题目中的变量都有两个状态，只能取一个，我们定义为true和false 对于每一个变量i，我们都拆成两个点，分别表示两种状态，设2i表示true，2i+1表示false。 然后来看每个条件，比如要满足xi=t 阅读全文