分布式存储系统编码概述
1. 局部性的Singleton型边界
局部性的概念被引入,若码字的第i个坐标的值由至多r个其他坐标确定,则称该坐标具有局部性r。对于具有最小汉明距离d且任意信息坐标的局部性不超过r的码,有如下Singleton型边界:
设C是一个长度为n、维度为k、最小距离为d且局部性为r的[n, k]线性码,则
[n - k + 1 - d \geq \left\lfloor\frac{k - 1}{r}\right\rfloor]
证明过程如下:设G是C的生成矩阵,码字的每个系数由不同节点存储。选择(\left\lfloor\frac{k - 1}{r}\right\rfloor)个节点作为“领导者”,每个领导者可表示为至多r个其他节点的线性组合,这些节点构成“领导者的朋友集”。定义N为所有领导者的朋友集的并集(不包含领导者本身),N中元素至多有(r\left\lfloor\frac{k - 1}{r}\right\rfloor)个,少于k个,所以G中对应于N的列向量张成的空间秩小于k。由于G是满秩的,可将N扩展为包含多于k - 1列的集合N’,使得其对应列向量的秩恰好为k - 1,且此扩展操作不涉及任何领导者。再定义U为N’和领导者集合的并集,U至少有(k - 1 + \left\lfloor\frac{k - 1}{r}\right\rfloor)个节点,但由于码的局部性为r,G中对应于U的列向量张成的空间维度小于k。根据最小距离的定义,G中所有秩小于k的(k×·)子矩阵的列数少于n - d,因此(k - 1 + \left\lfloor\frac{k - 1}{r}\right\rfloor\leq n - d),定理得证。
在足够大的有限域上,该边