The Functional Modeling and Verification of Dynamic Programming Problems Based on Max_Semiring
Functional modeling algorithms and verification frameworks for DP issues are not thoroughly studied in the literature,which mostly concentrates on the design and derivation of algorithms for DP problems.Firstly,the re-lationship between the maximum half-loop and the recursive equation of DP issues is examined,a class of DP prob-lems that have the maximal half-loop property are identified,and then this class of DP problems using the maximal half-loop are functionally described.Secondly,in order to confirm that the functional modeling algorithm used in this study is valid,the output of Wimmer's recursive function with the maximum half-loop-based functional mode-ling technique are made equivalence checking.Finally,case examples of lcs difficulties illustrate the method's via-bility and efficacy.
万方数据
维普
