摘要：
首先是估价函数的解释 由于\(x\)较大，所以\(x\)一直平方是最快的能到达\(p\)及以上的方法，所以这个估价函数比实际代价小（或等） 再看\(gcd\)这个剪枝 把八种情况列出，如果\(x\)和\(y\)都是\(gcd=d\)的倍数，那么加减或翻倍之后的新的\(x\)和\(y\)一定也是\(d 阅读全文
posted @ 2023-11-24 18:06
最爱丁珰
阅读(9)
评论(0)
推荐(0)
摘要：
先简要解释一下从任何一个状态到目标状态的移动步数不可能小于所有数字当前位置与目标位置的曼哈顿距离之和 考虑一次移动，只能让一个数字的曼哈顿距离加一或者减一，而目标状态所有数字的曼哈顿距离都是0，所以得证 我们可以用普通的BFS做这道题目，由于边权是1，所以第一次搜索到的时候一定是最优情况 考虑用A* 阅读全文
posted @ 2023-11-23 16:53
最爱丁珰
阅读(23)
评论(0)
推荐(0)
摘要：
首先证明那个比较显然的推论 我们先证明一下一个小引理：搜索树边权（也是后继的代价减去前驱的代价）非负的优先队列BFS先出队的点一定比后出队的点的代价小或等于 用数学归纳法，假设前面已经出队的点满足以上性质，之前最后一个出队的点为\(x\)，现在队列里面的队首是\(y\)，那我们就是要证明\(x\)的 阅读全文
posted @ 2023-11-23 16:41
最爱丁珰
阅读(16)
评论(0)
推荐(0)
摘要：
A*算法，本质是对BFS的一种优化，无论这个BFS是普通的BFS（搜索树上边权为1）还是优先队列BFS（搜索树上的边权可能大于1） 蓝书上论证正确性那一段说的\(s\)指的是目标状态的某一状态（即\(s\)已经到达了目标状态但不一定最优）然后再去理解那一段话 但是，我想说的是，中间的点第一次被取出的 阅读全文
posted @ 2023-11-23 16:14
最爱丁珰
阅读(23)
评论(0)
推荐(0)
摘要：
如果是C语言，那么在定义了一个结构体之后，在声明这个结构体变量的时候必须要在类型前加上struct 比如 struct Student{ //声明结构体 char name[20]; //姓名 int num; //学号 float score; //成绩 }; struct Student stu 阅读全文
posted @ 2023-11-23 09:41
最爱丁珰
阅读(137)
评论(0)
推荐(0)
摘要：
enum Day { SUNDAY = -1, MONDAY = 3, TUESDAY, WEDNESDAY = 2, THURSDAY, FRIDAY, SATURDAY }; 这些类型的值分别是-1,3,4,2,3,4,5 所以从一个显性赋值的变量开始一直到下一个显性赋值的变量结束，中间的变量依 阅读全文
posted @ 2023-11-23 09:33
最爱丁珰
阅读(9)
评论(0)
推荐(0)
摘要：
如果保证了单调性，那么一个状态在出队的时候，一定是这个状态的最优情况 反证，如果不是最优情况，那么肯定存在一个状态A，A能到达这个状态且会让这个状态变优 由于这个状态变优了，要么就是箱子移动的步数少了，要么就是箱子移动的步数是一样的但人移动的步数少了 然后这个更优的状态是由A移动过来的，所以A状态中 阅读全文
posted @ 2023-11-22 16:17
最爱丁珰
阅读(16)
评论(0)
推荐(0)
摘要：
如果要对二维字符数组一个一个位置赋初值，一定要像下面这么做 char s[5][5],s1[5][5]; for(int i=0;i<5;i++) for(int j=0;j<4;j++)//一定要注意j最多只能到3，因为最后一个位置要用来放停止符 { s[i][j]=j+(int)'0'; s[i 阅读全文
posted @ 2023-11-21 22:33
最爱丁珰
阅读(13)
评论(0)
推荐(0)
摘要：
以下考虑完备匹配（非完备匹配要用到网络流） 给定一张二分图，其最大匹配方案不一定是唯一的。若边\((x,y)\)至少属于一个最大匹配的方案，则称\((x,y)\)为二分图匹配的可行边 以下证明假设我们已经求出了一个最大匹配 在完备匹配时，一条边\((x,y)\)是可行边，当且仅当满足以下两个条件之一 阅读全文
posted @ 2023-11-21 19:28
最爱丁珰
阅读(45)
评论(0)
推荐(0)
摘要：
  阅读全文
posted @ 2023-11-21 09:49
最爱丁珰
阅读(10)
评论(0)
推荐(0)
浙公网安备 33010602011771号