The theoretical alternative—maximum-likelihood decoding—has long been known to be optimal but was considered computationally impossible for practical systems, belonging to the notoriously difficult #P ...