The Problem of Computing the Optimal IO Sequences
Solved in O(n*(dmacn+2)) in the paper:
K.Sabnani and A.T. Dahbura, A Protocol Test Generation Procedure, Computer Network and ISDN Systems, Vol. 15, 1988, 285-297
Solved in O(m2 ) in the paper:
W.H. Chen and C.Y. Tang, Computing the Optimal IO Sequence of a Protocol in Polynomial Time, Information Processing Letter, Vol. 15, 1988,285-297