Parity check matrix determines minimal distance of a linear code.
"Then, because c0Ht=0, this implies that d columns of H (those corresponding to the non-zero elements of c0) are LD (linearly dependent)"
I'm failing to see how it works... In F2 (each element is either 0 or 1), why does a 1xn vector multiplying an nxm matrix = 0 implies that the column vectors of the mxn matrix is linearly dependent at indices where the the elements of the 1xn vector = 1? Thank you so much for your time and help...