海明码究竟想干啥？

海明码究竟想干啥？
建议不知道码距的同学先去搞清楚码距，不然看不懂下面的文字。

其实，海明码的目的就要当数据每增加一位的时候，都能纠错（只纠错一位）。

比如，假如有n位数是可纠错的，其中含有m个数据位和k个校验位，那么当数据位变成m+1个的时候，是否需要添加K的个数，变成K+1个校验位呢？这就是海明要做的事。

因为我们需要纠错只有1位，所以对于n位数，在只出错一位数的情况下，就只有n种出错情况。（2位以上出错的不在讨论范围）
这n位数中，包含m个数据位和k个校验位.也就是说，对于某个确定的m位数有n种可能是错的，加上正确的一种总共就是n+1种可能出现。
m位数有几个码字呢？有2^m个，所以所有的可能就是2^m(n+1)种，而且，总码字是2ⁿ,于是：
2^m(n+1)<=2ⁿ
因为n=m+k,代入推导得到：
m+k+1<=2^k
还可以这样来理解：
k位校验码有2^k种码字，包括了1位出错的所有可能，还有不出错的一个可能，
那么出错的可能就是2^k-1，而n位数一位出错的可能就是n,也就是m+k,所以：
2^k-1>=m+k
这个公式只是用理论和数学说明了校验位k的最小值。
但具体实现方法没有给出，海明随后又建议了一个方案，这个方案容易理解，就不解释了。