摘要： 阅读全文

摘要： 因为课程要求，我不得不接触求解器，之前有在ubuntu上装过一个叫stp的求解器，没怎么用； 今天在我的电脑（win10）上上装了一款更方便的求解器 z3，下面先详细介绍一下怎么安装和配置： 1、到 https://github.com/Z3Prover/z3 下载z3-master，如下图： 2、 阅读全文

摘要： #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 阅读全文

摘要： 在遍历加油站的时候，会将经过的x加油站放入优先队列，之后将x从数组中删掉，即用最后一个加油站来替代x；这时如果不 “i--”，则会漏掉检查原来的stop[n-1]，则可能造成错误。 阅读全文

摘要： 哈夫曼树超时是因为每次都需要重排，十分浪费时间，即使是快排。 阅读全文

摘要： 注意是说的80个字母一行。。。。 阅读全文

摘要： 用到dfs时要注意设置函数的返回条件，否则会导致一直wa!!!!! 阅读全文

摘要： 杭电这道题是用dfs走迷宫问题，一直wa是因为没有将走过的地方标记，所以如果遇到走迷宫的问题一定要将走过的地方标记，如下： 当然，最开始的起点一开始就要标记！ 阅读全文

摘要： 这次a了两道题，第一道题（I题）很简单，但提交了4次才成功，思路是对的，但有的细节没做好（漏掉了一个整数day...），也正是这些小细节让我一直wa，以后做题的时候思路一定不能着急写代码，要先把思路捋清楚再写代码；第二道题是一道几何题，给的背景挺新鲜（是吃鸡），但实质上就是几何求解问题，难点在于你怎 阅读全文

摘要： 第二道水题 前边说了很多话，但就最后两段有用。 就是给你一个序列，然后你判断一下这个序列是不是递增的，是就输出yes，否则输出no。 所以以后不管题目看起来多长、多复杂，都要读一遍。 代码就不贴了。 阅读全文