摘要：题目传送门 区间 Description 在数轴上有 n个闭区间 [l1,r1],[l2,r2],...,[ln,rn]。现在要从中选出 m 个区间，使得这 m个区间共同包含至少一个位置。换句话说，就是使得存在一个 x，使得对于每一个被选中的区间 [li,ri]，都有 li≤x≤ri。 对于一个合法 阅读全文

摘要：题目传送门 Making the Grade Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 9090 Accepted: 4253 Description A straight dirt road connects two fi 阅读全文

摘要：本来应该是很简单的东西，但是之前学长讲的时候也没怎么听，然后现在遇到需要离散化的题目就有点茫然了。看了下网上大佬们的博客，基本理解了，做个记录。 以下内容部分思路来自： https://blog.csdn.net/xiangaccepted/article/details/73276826 离散化， 阅读全文

摘要：题目传送门 题目描述 在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设x1,x2,x3...代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件 阅读全文