摘要：
题目描述 在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3...代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。 阅读全文
摘要：
描述 永恒和mx正在玩一个即时战略游戏，名字嘛~~~~~~恕本人记性不好，忘了-_-b。 mx在他的基地附近建立了n个战壕，每个战壕都是一个独立的作战单位，射程可以达到无限（“mx不赢定了？！？”永恒ftING...@_@）。 但是，战壕有一个弱点，就是只能攻击它的左下方，说白了就是横纵坐标都不大于 阅读全文