Optimization and Analysis of Nonserial Diverging Branch Systems in Dynamic Programming