【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_

>>阅读原文<<