会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Zforw
Zforw Walker 不念过往,不畏将来。 This is only a foretaste of what is to come, and only the shadow of what is going to be.。 知我者谓我心忧,不知我者谓我何求
博客园
首页
新随笔
联系
订阅
管理
2019年5月17日
Luogu P1955 [NOI2015]程序自动分析
摘要: Description: 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本:假设x1,x2,x3...代表程序中出现的变量,给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件,请判定是否可以分别为每一个变量赋予恰当的值,使得上述所有约束
阅读全文
posted @ 2019-05-17 20:16 Zforw
阅读(18)
评论(0)
推荐(0)
编辑
公告