全0数组的判定问题——一个亚线性时间判定

全0数组的判定问题——一个亚线性时间判定

 输入：包含n个元素的0,1数组A
 输出：A中的元素是否全是0
 要求：
 运行时间为o(n)

无法在要求的时间内得到精确解，寻找近似解
 判定问题如何近似？
 输入满足某种性质或者远非满足此性质
 ε-远离
 对于输入x，如果着从x到L中任意字符串的汉明距离至少为 ε|x|，则x是ε-远
离 L的.
• 全0数组判定问题的近似
 是否A=00…0或者其包含1的个数大于εn?

汉明距离

汉明距离是使用在数据传输差错控制编码里面的，汉明距离是一个概念，它表示两个 （相同长度）字对应位不同的数量，我们以d（x,y）表示两个字x,y之间的汉明距离。对两个字符串进行异或运算，并统计结果为1的个数，那么这个数就是汉明距离。
汉明距离是以理查德·卫斯里·汉明的名字命名的。在信息论中，两个等长字符串之间的汉明距离是两个字符串对应位置的不同字符的个数。换句话说，它就是将一个字符串变换成另外一个字符串所需要替换的字符个数。例如：

1011101 与 1001001 之间的汉明距离是 2。
2143896 与 2233796 之间的汉明距离是 3。
"toned" 与 "roses" 之间的汉明距离是 3。