摘要: ★☆ 输入文件:prog.in 输出文件:prog.out 简单对比 时间限制:2 s 内存限制:512 MB 【题目描述】 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本:假设x1,x2,x3,...xn代表程序中出现的变量,给定n个形如xi 阅读全文
posted @ 2017-07-18 21:39 J_william 阅读(715) 评论(0) 推荐(0) 编辑
摘要: 题目描述 Description 作为上白泽慧音老师的出色弟子,数学奇才琪露诺在算术方面有很深的造诣。今天,codevs有幸请到了这位数学界的奇葩作为本场考试的第一题主考官。 琪露诺喜欢0-9之间的数字,她喜欢将十进制非负数字的每一位一一识别出来,再将它们用计算器加起来,也即数字的数位之和,例如,对 阅读全文
posted @ 2017-07-18 14:58 J_william 阅读(499) 评论(0) 推荐(0) 编辑
摘要: 时间限制: 1 s 空间限制: 128000 KB 空间限制: 128000 KB 题目等级 : 大师 Master 题目等级 : 大师 Master 题目描述 Description 给你两个串A,B,可以得到从A的任意位开始的子串和B匹配的长度。 给定K个询问,对于每个询问给定一个x,求出匹配长 阅读全文
posted @ 2017-07-18 09:43 J_william 阅读(286) 评论(0) 推荐(0) 编辑