バイナリ長で考えると、
ハミング距離0 →
[0 0 0 0]
ハミング距離1 →
[0 0 0 1]
[0 0 1 0]
[0 1 0 0]
[1 0 0 0]
ハミング距離2 →
[0 0 1 1]
[0 1 0 1]
[0 1 1 0]
[1 0 0 1]
[1 0 1 0]
[1 1 0 0]
ハミング距離3 →
[0 1 1 1]
[1 0 1 1]
[1 1 0 1]
[1 1 1 0]
ハミング距離4 →
[1 1 1 1]
というわけで、長さがのとき、バイナリハミング距離以内に含まれるバイナリハッシュの数は 。
1byte = 8bitの全通りを考えると、、合ってるようです。