- 博客(9)
- 收藏
- 关注
RSS订阅原创 Ubuntu下安装Z3
确认已经安装Git工具1.使用Git下载Z3git clone https://github.com/Z3Prover/z3.git2.进入 Z3 文件夹并生成 Z3 Makefile：cd z3python scripts/mk_make.py3.进入 build 文件夹并编译 Z3（注:这一步需要等待挺久）cd buildmake4.将 make 生成的文件安装到系统目录中sudo make install...
2021-03-28 09:57:26
1841
1
原创 EOJ #3737. 回文时间
题目描述：Cuber QQ 很惊奇地发现 2020 年 1 月 22 日的 10:02:02 构成的字符串竟然是一个回文串。（构成的字符串是 20200122100202 ），这下又有充足的理由约女神吃饭了。可是这之后，女神开始为难 Cuber QQ 了。她现在只允许 Cuber QQ 在回文时间约她吃饭。回文时间指的是，年份（四位数字构成）+月份（两位数字构成）+日期（两位数字构成）+小...
2020-04-13 22:39:00
492
原创 EOJ #1114. 素数环
题目描述：一个由自然数 1…n (n≤18) 素数环就是如下图所示，环上任意两个节点上数值之和为素数。 1/ \4 2\ / 3输入格式：输入只有一个数 n，表示你需要建立一个 1…n 的素数环。输出格式：按照字典序输出每一种情况。我们约定顺时针为正向，且第一个元素必须是 1，参见 Sample。样例：Input 6 Output 1 4 ...
2020-04-07 22:34:45
271
原创 EOJ #3245. 找数
题目描述：“非下降数”表示一个整数的高位数码不会大于低位数码。如11123345,111是“非下降数”，121,11123343不是“非下降数”。现在给定一个整数 n (1≤n≤1018)，找出不大于 n 的最大“非下降数”。输入格式：第 1 行：整数T(1≤T≤100)为问题数。第2行：第一个问题的数据n。第3∽T+1行：后面问题的数据，格式与第一个问题相同。输出格式：...
2020-04-02 19:29:13
397
原创 EOJ #3061. 莫尔斯电码
题目描述：摩尔斯电码（Morse code）是美国人艾尔菲德 . 维尔于 1837 年发明的一种时通时断的信号代码。摩尔斯电码由两种基本信号和不同的间隔时间组成。两种基本信号为：短促的点信号.，读滴（Di）；保持一定时间的长信号-，读嗒（Da），这两种基本信号通过不同的排列顺序表示不同的英文字母、数字和标点符号。例如：国际通用求救信号SOS，它的莫尔斯电码为...---...（三点，三长，三点...
2020-03-26 21:41:51
1361
原创 EOJ #3601 恢复古诗
题目描述：jxtxzzw和好朋友去探险，在山洞里jxtxzzw发现了许多古诗，他很兴奋地呼唤同伴过来，用相机把这些古诗拍下来。每个人都选了一部分进行拍照。回到学校以后，所有人把相机中的照片导出，保存在电脑。这时jxtxzzw发现，竟然当时没有让伙伴们按照顺序拍照。现在这些照片根本就不是有序的，所以这些古代诗歌的碎片完全连不成一个整体。好在现在有一个线索，在相邻的两张照片中，一定有一句是重复的。...
2020-03-25 23:46:05
535
原创 EOJ #3243搜索联系人
题目描述：你有一个通讯录，你想通过号码来搜索联系人，但是你可能只记得某个人号码的一个片段，现在给你一个通讯录列表和一个号码片段，你需要输出所有号码里面有这个号码片段的联系人的姓名。输入格式：第 1 行为一个整数T（1≤T≤15）为问题数。每个问题按如下格式进行输入：第一行是一个整数n，表示通讯录里面有n个联系人(n < 10000)，接下来的n行，每行是一个姓名(长度不超...
2020-03-25 22:46:34
198
原创 EOJ Problem #1076
题目描述：小强和旺财去逛街，他们去了欧尚，旺财看见超市里面的气球兴奋的直叫，呵呵，由于小强很喜欢旺财，所以下定决心给旺财买一打回家。回家小强数了下，一共有 N 只气球，小强将 N 只气球从左到右依次编号为 1、2、3……N，每次给 2 个整数 a，b （a<=b），小强便骑上他的“小飞鸽 ” 牌电动车从气球 a 开始到气球 b 依次给每个气球涂一次颜色。但是 N 次以后小强已经忘记了第 ...
2020-03-23 23:52:15
238
原创 EOJ Problem #1805
在EOJ中的Problem #1805中，寻找两个string的LCS。题目要求如下：给你 2 个字符串（可能包括数字以及标点），长度不超过 50124，请你求出最长的连续的公共子序列。输入格式输入有 2 个字符串 A,B，各占一行。输出格式输出字符串 A和 B的最长连续公共子序列的长度 L。Demo自测没有问题，但在Test 2会报错，不知道问题在哪儿。。。请教。Demo如下#i...
2020-03-23 23:29:01
347
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人