Acyclic Tanner graphs and maximum-likelihood decoding of linear block codes