摘要: [Noi2015]程序自动分析 Description 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本:假设x1,x2,x3,…代表程序中出现的变量,给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件,请判定是否可以分别为每一个变量赋 阅读全文
posted @ 2017-07-22 23:09 wxjor 阅读(658) 评论(0) 推荐(0)
摘要: [codevs1074]食物链 2001年NOI全国竞赛 时间限制: 3 s 空间限制: 64000 KB 题目等级 : 钻石 Diamond [codevs1074]食物链 2001年NOI全国竞赛 [codevs1074]食物链 2001年NOI全国竞赛 时间限制: 3 s 空间限制: 6400 阅读全文
posted @ 2017-07-22 23:03 wxjor 阅读(192) 评论(0) 推荐(0)
摘要: [codevs2597] 团伙 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 黄金 Gold [codevs2597] 团伙 [codevs2597] 团伙 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 黄金 Gold 时间限制: 1 s 时间限制: 1 s 阅读全文
posted @ 2017-07-22 22:59 wxjor 阅读(323) 评论(0) 推荐(0)
该文被密码保护。 阅读全文
posted @ 2017-07-22 22:50 wxjor 阅读(2) 评论(0) 推荐(0)
该文被密码保护。 阅读全文
posted @ 2017-07-22 22:32 wxjor 阅读(3) 评论(0) 推荐(0)
该文被密码保护。 阅读全文
posted @ 2017-07-22 22:19 wxjor 阅读(1) 评论(0) 推荐(0)
摘要: 前m大的数 Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/32768 K (Java/Others)Total Submission(s): 19208 Accepted Submission(s): 6563 Problem 阅读全文
posted @ 2017-07-22 22:10 wxjor 阅读(214) 评论(0) 推荐(0)