原创 tarjan算法原理介紹
證明比較繁瑣，仔細檢查了應該沒有大錯，記錄一下證明過程。 強連通分量定義： 在有向圖中，強連通分量的定義是：有向圖的某個子圖，其中任意兩個點之間可以互達。 強連通分量的定理： 定理1：一個完整的強連通分量一定包含在一棵深度優先搜索樹中
2018-08-25 22:18:29
原创 分佈式算法 1 同步網絡的形式化描述
同步的含義： 在分佈式系統中，同步指的就是每個進程都有一個統一的時鐘，在每次時鐘週期中，所有的進程一起同時做動作。 進程形式化描述： 同步網絡用有向圖G = （V，E）表示。每個V代表進程的集合。 V中的每個進程 i 由以下幾個部分組成：
2018-08-25 22:18:27
1