For fruit flies like flowers: on the order of 4*42 = 64 steps, a considerable saving on the naive approach
The Markov assumptions:
Together, these assumptions mean that you don't need to enumerate all paths.
Sweep through network one word at a time recording the single best sequence ending in each state. For a good diagrammatic illustration of this process, see Chapter 7 of Allen.
