What does it mean to say a binary code C has length n, size m and minimum distance d?
Let A(n,d) be the largest value of m for which there exists an [n,m,d]-code. Prove that
V(n,d−1)2n⩽A(n,d)⩽V(n,⌊(d−1)/2⌋)2n
where
V(n,r)=j=0∑r(nj)
Another bound for A(n,d) is the Singleton bound given by
A(n,d)⩽2n−d+1
Prove the Singleton bound and give an example of a linear code of length n>1 that satisfies A(n,d)=2n−d+1.