2022年3月17日
P1955 [NOI2015] 程序自动分析
摘要： 题面 在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设 \(x_1,x_2,x_3,\cdots\) 代表程序中出现的变量，给定 \(n\) 个形如 \(x_i=x_j\) 或 \(x_i\neq x_j\) 的变量相等/不等的约束条件，请 阅读全文
posted @ 2022-03-17 13:06 蒟蒻xiezheyuan 阅读(64) 评论(0) 推荐(1) 编辑