JML系列 优化及时间复杂度可行性证明
符号定义
符号 | 意义 | 上限 |
---|---|---|
p p p | 网络中Person数量 | 800 |
r r r | 网络中关系数量 | 3000 |
q s q_s qs | 查询queryStrongLinked数量 | 20 |
q r q_r qr | 查询queryNameRank数量 | 1000 |
q b q_b qb | 查询queryBlockSum数量 | 3000 |
q a q_a qa | 查询queryAgeSum数量 | 3000 |
q m q_m qm | 查询queryMinPath数量 | 3000 |
优化方法与复杂度分析
queryBlockSum
并查集
- 由于不需要删除操作,故采用并查集实现
- 并查集单次操作的均摊复杂度为 O ( α ( n ) ) O(\alpha(n)) O(α(n)),其中 α \alpha α为一个Ackerman函数相关的,这里可以认为小于常数 4