精确的一阶分布式算法：Extra

简介：避免数据融合中心（a data fusion center）或是远程通信(a long distance communication)又或是提供更好的负载平衡（better load balance），即一般的分布式计算的背景。

特点:
exact：准确收敛
constant stepsize：固定步长

假设条件1: (图拓扑或matrix假设)

Decentralized Property：\(\omega_{ij}=\tilde{\omega}_{ij}=0\)（如果不存在通信或连接）

Symmetry：\(W=W^T\), \(\tilde{W}=\tilde{W}^T\)(注意这里并没有要求平衡图，因此是无向不平衡)

Null Space Property: null {\(W-\tilde{W}\)}=span {\(1\)}

Spectral Property: \(\tilde{W}\succ 0\), \(\frac{I+W}{2}\succeq\tilde{W}\succeq{W}\)

关于转移矩阵的四种形式:

对称双随机(对称双随机转移矩阵是最理想的分布式优化条件)
- 基于Laplace常数的边权矩阵(Laplacian-based constant edge weight matrix)
$$W=I-\frac{L}{\tau}$$
其中\(L\)是图的拉普拉斯矩阵，\(\tau >\frac{1}{2}\lambda_{\max}(L)\)是一个标