To generate y given x with the channel model, we wish to compute arg max y log p(x|y) + log p(y).
naïve decoding in this way is computationally expensive because the channel model p(x|y) is conditional on each candidate target prefix.