一、梳理JML语言的理论基础、应用工具链情况 JML概述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Lar ...
分类：
其他好文 时间：
2019-05-22 17:35:56
阅读次数：
95
http://poj.org/problem?id=1062 这个题目有一点点特别，因为数据很小也可以用Floyd跑，但是个人比较钟爱dij。 这个dij是怎么走的呢，首先就是普通的建图，然后就是带上一个地位限制的dij，其他都是一样的。 ...
分类：
其他好文 时间：
2019-05-16 21:41:10
阅读次数：
144
10.1 图的定义和相关术语图分为有向图和无向图；有向图是有方向的，而无向图的所有边都是双向的。顶点的度：和该顶点相连的边的条数；顶点的出边条数称为顶点的出度，顶点的入边条数称为入度；顶点和边都可以有一定的属性，而量化属性称为权值。顶点的权值和边的权值分别称为点权和边权。10.2 图的存储10.2. ...
分类：
编程语言 时间：
2019-05-12 17:07:01
阅读次数：
140
题目链接：https://nanti.jisuanke.com/t/A1108 这道题还挺有意思的。让我对Floyd的了解又加深了一点。 首先我们重新审视Floyd这三重循环到底有什么用？第一层是枚举中间结点，第二三层是枚举路径起点和终点。那么是不是当第一层循环还没枚举到的点，此时的最短路就不会经过 ...
分类：
其他好文 时间：
2019-05-07 19:45:00
阅读次数：
177
P4542 [ZJOI2011]营救皮卡丘 乍一看似乎没啥题相似的 仔细一看，$N<=150$ 边又是双向边，似乎可以用Floyd搞 先跑一遍Floyd处理出$dis[i][j]$ 注意到走据点要先走小的才能走大的 也就是说，$i<j<k$时，$dis[i][j]$不能从$k$转移过来 并且实际走路 ...
分类：
其他好文 时间：
2019-05-03 16:33:21
阅读次数：
113
ACM，河南省ACM，dfs，小结，dp，线性dp，LIS，排序，floyd，最短路，字符串 ...
分类：
其他好文 时间：
2019-05-02 19:01:03
阅读次数：
139
编程范式 托马斯.库尔提出“科学的革命”的范式论后，Robert Floyd在1979年图灵奖的颁奖演说中使用了编程范式一词。编程范式一般包括三个方面，以OOP为例： 1，学科的逻辑体系——规则范式：如 类/对象、继承、动态绑定、方法改写、对象替换等等机制。 2，心理认知因素——心理范式：按照面向对 ...
分类：
编程语言 时间：
2019-05-01 18:43:25
阅读次数：
189
题意：n个插座，m个设备及其插头类型，k种转换器，没有转换器的情况下插头只能插到类型名称相同的插座中，问最少剩几个不匹配的设备 lrj紫书里面讲得挺好的。 先跑一遍floyd，看看插头类型a能否转换为b 然后构造网络 源点为0， 汇点为n + m + 1，源点连插头 容量为1，插座连汇点，容量为1 ...
分类：
其他好文 时间：
2019-05-01 12:05:02
阅读次数：
138
将每个顶点之间的距离做成一个矩阵 更新最短距离 Math.min()将两者进行比较选择最小的存入矩阵 Math.min(matrix[i][j],matrix[i][k]+matrix[k][j]); 所有代码： public class as { ...
分类：
编程语言 时间：
2019-04-30 13:59:44
阅读次数：
119
题面描述 某公司加工一种由铁、铝、锡组成的合金。他们的工作很简单。首先进口一些铁铝锡合金原材料，不同种类的原材料中铁铝锡的比重不同。然后，将每种原材料取出一定量，经过融解、混合，得到新的合金。新的合金的铁铝锡比重为用户所需要的比重。 现在，用户给出了n种他们需要的合金，以及每种合金中铁铝锡的比重。公 ...
分类：
Web程序 时间：
2019-04-30 01:07:59
阅读次数：
168
