摘要: 阅读全文
posted @ 2019-03-17 22:00 北梗 阅读(249) 评论(0) 推荐(0) 编辑
摘要:因为课程要求,我不得不接触求解器,之前有在ubuntu上装过一个叫stp的求解器,没怎么用; 今天在我的电脑(win10)上上装了一款更方便的求解器 z3,下面先详细介绍一下怎么安装和配置: 1、到 https://github.com/Z3Prover/z3 下载z3-master,如下图: 2、 阅读全文
posted @ 2019-01-06 17:42 北梗 阅读(1563) 评论(0) 推荐(0) 编辑
摘要:#include <stdio.h> #include <stdlib.h> int n,m; int father[1000],rank[1000]; int count; int find(int x) { if(father[x]==x) return x; else return fathe 阅读全文
posted @ 2018-11-08 20:30 北梗 阅读(83) 评论(0) 推荐(0) 编辑
摘要:在遍历加油站的时候,会将经过的x加油站放入优先队列,之后将x从数组中删掉,即用最后一个加油站来替代x;这时如果不 “i--”,则会漏掉检查原来的stop[n-1],则可能造成错误。 阅读全文
posted @ 2018-11-08 10:35 北梗 阅读(68) 评论(0) 推荐(0) 编辑
摘要:哈夫曼树超时是因为每次都需要重排,十分浪费时间,即使是快排。 阅读全文
posted @ 2018-11-07 10:15 北梗 阅读(65) 评论(0) 推荐(0) 编辑
摘要:注意是说的80个字母一行。。。。 阅读全文
posted @ 2018-11-06 19:55 北梗 阅读(63) 评论(0) 推荐(0) 编辑
摘要:用到dfs时要注意设置函数的返回条件,否则会导致一直wa!!!!! 阅读全文
posted @ 2018-11-03 21:37 北梗 阅读(76) 评论(0) 推荐(0) 编辑
摘要:杭电这道题是用dfs走迷宫问题,一直wa是因为没有将走过的地方标记,所以如果遇到走迷宫的问题一定要将走过的地方标记,如下: 当然,最开始的起点一开始就要标记! 阅读全文
posted @ 2018-11-01 20:55 北梗 阅读(88) 评论(0) 推荐(0) 编辑
摘要:这次a了两道题,第一道题(I题)很简单,但提交了4次才成功,思路是对的,但有的细节没做好(漏掉了一个整数day...),也正是这些小细节让我一直wa,以后做题的时候思路一定不能着急写代码,要先把思路捋清楚再写代码;第二道题是一道几何题,给的背景挺新鲜(是吃鸡),但实质上就是几何求解问题,难点在于你怎 阅读全文
posted @ 2018-07-19 21:36 北梗 阅读(43) 评论(0) 推荐(0) 编辑
摘要:第二道水题 前边说了很多话,但就最后两段有用。 就是给你一个序列,然后你判断一下这个序列是不是递增的,是就输出yes,否则输出no。 所以以后不管题目看起来多长、多复杂,都要读一遍。 代码就不贴了。 阅读全文
posted @ 2018-07-13 16:02 北梗 阅读(51) 评论(0) 推荐(0) 编辑