【NOI 2015】程序自动分析

【题目】 传送门 题目描述： 在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本：假设 x 1 , x 2 , x 3 , … , x n x_1,x_2,x_3,\dots,x_n x1​,x2​,x3​,…,xn​ 代表程序中出现的变量，给定 n n n 个形如 x i = x j x_i=x_j xi​=xj​ 或 x i ≠ x j x_

>>阅读原文<<