RainAir
My OI Blog
RainAir

离散化
文章归档

「NOI2015」程序自动分析

题目描述 题目描述 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本:假设$ x1,x2,x3 \cdots 代表程序中出现的变量,给定n个形如$ xi=xj $或$ xi \neq xj $的变量相等/不等的约束条件,请判定是否可以分别…

   290   2018-01-08 去围观
标签
近期评论