The probability that the optimal path has no repeated colors is: By the amplification analysis, the number of trials needed to drive the failure probability to the desired level will be inversely proportional to this quantity.
we implemented the rest of the decoders in Python with the Psyco speed-up module.