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
- Nodejs学习笔记(八)--- Node.js + Express 实现上传文件功能(felixge/node-formidable)
- 大牛教你使用7种卷积神经网络进行物体检测!
- Enterprise Library深入解析与灵活应用(3):倘若将Unity、PIAB、Exception Handling引入MVP模式.. .. ..
- 别对我说谎!你的小九九我都知道
- Spring集成RabbitMQ-使用RabbitMQ更方便
- Nodejs学习笔记(三)--- 模块
- 使用JClouds在Java中获取和发布云服务器
- Silverlight单元测试框架
- Enterprise Library深入解析与灵活应用(2): 通过SqlDependency实现Cache和Database的同步
- 让你感觉不真实的13个伟大科学成就和发现
- 分析Silverlight跨域调用
- Spring集成RabbiMQ-Spring AMQP新特性
- Nodejs学习笔记(二)--- 事件模块
- 巧用FireFox来调试Silverlight
- JavaScript 教程
- JavaScript 编辑工具
- JavaScript 与HTML
- JavaScript 与Java
- JavaScript 数据结构
- JavaScript 基本数据类型
- JavaScript 特殊数据类型
- JavaScript 运算符
- JavaScript typeof 运算符
- JavaScript 表达式
- JavaScript 类型转换
- JavaScript 基本语法
- JavaScript 注释
- Javascript 基本处理流程
- Javascript 选择结构
- Javascript if 语句
- Javascript if 语句的嵌套
- Javascript switch 语句
- Javascript 循环结构
- Javascript 循环结构实例
- Javascript 跳转语句
- Javascript 控制语句总结
- Javascript 函数介绍
- Javascript 函数的定义
- Javascript 函数调用
- Javascript 几种特殊的函数
- JavaScript 内置函数简介
- Javascript eval() 函数
- Javascript isFinite() 函数
- Javascript isNaN() 函数
- parseInt() 与 parseFloat()
- escape() 与 unescape()
- Javascript 字符串介绍
- Javascript length属性
- javascript 字符串函数
- Javascript 日期对象简介
- Javascript 日期对象用途
- Date 对象属性和方法
- Javascript 数组是什么
- Javascript 创建数组
- Javascript 数组赋值与取值
- Javascript 数组属性和方法