随笔分类 - BZOJ

BZOJ4195-程序自动分析

摘要：根据题意，相等类型的变量应该在同一个集合中，两个变量相等意味着他们能联通。可以使用并查集维护这些集合，期初处理相等的变量约束，把相等类型的变量放在同一个集合。最后扫描所有不相等的约束条件，如果存在一条不相等的约束，而它的两个变量在同一集合里，那么就是不能被满足的。反之就是可以满足的。注意本题的阅读全文

posted @ 2018-05-04 15:27 chagin 阅读(196) 评论(0) 推荐(0)