Unit3

时间:2020-05-23
本文章向大家介绍Unit3,主要包括Unit3使用实例、应用技巧、基本知识点总结和需要注意事项,具有一定的参考价值,需要的朋友可以参考一下。

opemJml

​ 最终还是没能够找到成功的用法,尝试了几次也报一些自己看不懂的错误,所以放弃了。

jmlunitng

同上,说是编译器版本不够新,但是我是在官网直接下载的,按理应该是最新版本了,无法理解。

Bug修复

  • 第一次作业:直接跟着规格写。但由于自己写的dfs效率过于低下导致所有点全部超时
  • 第二次作业:缓存了大部分变量。自己在知晓了查并集方法后上网查询,在没有真正理解查并集的前提下误以为查并集就是缓存并集,导致自己直接缓存并集,且用的方法为遍历并集,每次ar的时候都判断一边是否需要合并并集,效率极其低下,故也几乎全部超时。
  • 第三次作业:在魔改tarjan算法的时候没有彻底理解透tarjan算法,导致出现了一个bug,并在互测的时候被hack了两次。另外在使用dijkstra算法时没有堆优化,导致超时了3个点。

心得体会

  • 对于程序,能优化的一定要优化,不要寄希望于课程组不会卡数据/卡效率
  • 一定要放平心态,不能急躁
  • 希望能够对未知的知识抱有好奇心吧。
  • 加油。

原文地址:https://www.cnblogs.com/lei-xiaaa/p/12941798.html