2020年3月29日
程序自动分析
摘要： (prog.cpp 1s 256M)在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所 阅读全文
posted @ 2020-03-29 21:11 蘑菇JJ 阅读(300) 评论(0) 推荐(0) 编辑
分数调查
该文被密码保护。 阅读全文
posted @ 2020-03-29 18:36 蘑菇JJ 阅读(8) 评论(0) 推荐(0) 编辑
Language L语言
摘要： Description标点符号的出现晚于文字的出现，所以以前的语言都是没有标点的。现在你要处理的就是一段没有标点的文章。一段文章T是由若干小写字母构成。一个单词W也是由若干小写字母构成。一个字典D是若干个单词的集合。我们称一段文章T在某个字典D下是可以被理解的，是指如果文章T可以被分成若干部分，且每 阅读全文
posted @ 2020-03-29 17:27 蘑菇JJ 阅读(170) 评论(0) 推荐(0) 编辑
子串统计
该文被密码保护。 阅读全文
posted @ 2020-03-29 16:30 蘑菇JJ 阅读(14) 评论(0) 推荐(0) 编辑