BZOJ4195 [NOI2015] 程序自动分析
摘要：
题目链接：http://www.lydsy.com/JudgeOnline/problem.php?id=4195Description在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi... 阅读全文
posted @ 2016-01-14 21:29 ACMICPC 阅读(233) 评论(0) 推荐(0) 编辑
