存储架构 2018-04-08

形式化规范语言TLA+

形式化规范语言TLA+ 基本定义 维基百科上对TLA+是这样定义的: a formal specification language developed by Leslie Lamport. It is used to design, model, document……
综合技术 2017-11-16

Dijkstra算法(Swift版)

原理 我们知道,使用Breadth-first search算法能够找到到达某个目标的最短路径,但这个算法没考虑 weight ,因此我们再为每个edge添加了权重后,我们就需要使用Dijkstra……
综合技术 2017-10-24

用Swift实现Dijkstra算法

如果你以前听说过图论, 那么你熟悉Dijkstra算法, 如果你不熟悉,那么好, 这篇文章包含了你所需要知道的一切 快速介绍 这个章节将带你快读过一下什么是图论和Dijkstra算……
综合编程 2017-09-09

Precise Abstractions

Art lover will probably recognize the image above. It depicts the absolute essence of a bull and Picasoo named it "Bull - plate 11". It is an abstraction. ……
综合技术 2017-06-14

Scalability, but at what COST

This paper is by Frank McSherry, Michael Isard, Derek G. Murray and appeared in HotOS 2015. The authors are all listed as unaffiliated because this is aroun……
综合技术 2017-02-26

常用算法设计思路

分治算法 原理 分而治之,就是把一个复杂的问题分成两个或更多的相同或相似的子问题,直到最后子问题可以简单的直接求解,原问题的解即子问题的解的合并。 对于一个规模……
存储架构 2015-07-21

为什么数组下标从0开始

从0开始记数经常被作为一个人是一名程序员的象征,在大多数主流编程语言中数组的记数都是以0为首位,今天读了 Dijkstra 的一篇旧文结合我的理解来谈谈为什么数组记数从0……