摘要： 对于BST，无压力的可以，所以无需赘言，请见代码。 1: Program Bst_KthFind(input,output); 2: type point=^node; 3: node=record 4: data,leftsum,rightsum:longint; 5: left,right:point; 6: end; ... 阅读全文

摘要： 一、关于模型： 一个2-SAT模型应该是一个满足以下的条件的满足性问题： 1、该模型中存在2n个可以分成n组的元素，每组两个元素。 2、每组元素中，选择了其中一个元素，另外一个元素就不能被选择。这两个元素记为a和!a。 3、该模型中的元素之间存在一些关系，且这些关系是对称的。（除非是同一组元素中的关系，这些关系限定了“必须选择”该组中的某一个元素，可能单独出现） 满足上述条件，要求在满足... 阅读全文