摘要：
原题： 在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3...代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例 阅读全文
摘要：
原题： 题目描述 huyichen和xuzhenyi在玩一个游戏：他写一个由0和1组成的序列。 huyichen选其中的一段（比如第3位到第5位），问他这段里面有奇数个1 还是偶数个1。xuzhenyi回答你的问题，然后huyichen继续问。 xuzhenyi有可能在撒谎。huyichen要检查x 阅读全文