Bounded Distance Decoding Definition