An Accelerated Dynamic Programming Framework Based on Quadrilateral Inequality and Convex Monotonicity Theory
DOI:
https://doi.org/10.70063/techcompinnovations.v2i2.109Keywords:
Dynamic Programming, Convex Monotonicity, Quadrilateral Inequality, Algorithm Acceleration, Computational ComplexityAbstract
Dynamic programming (DP) is a foundational technique for solving multistage optimization problems; however, its classical formulation often incurs a cubic time complexity, rendering it impractical for large-scale real-world applications. This study proposes an accelerated dynamic programming framework that leverages quadrilateral inequality and convex monotonicity theory to significantly reduce computational overhead. By formally establishing the structural conditions under which DP decision boundaries exhibit monotone behavior, the proposed method eliminates redundant state transitions and maintains a sequence of admissible decisions through an efficient stack-based mechanism. The resulting algorithm achieves a worst-case complexity of O(n2) and can be further optimized to O(n) when convex monotonicity holds, representing a substantial improvement over traditional O (n3) techniques. Experimental validation using the classical stone-merging problem demonstrates that the accelerated method executes more than 60 times faster than the standard approach for large inputs, while maintaining identical optimal results. These findings confirm that embedding geometric regularities into DP formulations not only enhances performance but also broadens the applicability of dynamic programming to computation-intensive optimization tasks. This research contributes a mathematically grounded, scalability-oriented solution for accelerating dynamic programming, with implications for logistics, production planning, data segmentation, and other large-scale decision systems.
Downloads
References
Moshe Sniedovich. Dynamic Programming Foundations and Principles 2nd Edition, 2012
F.Frances.Yao. Speed-Up in Dynamic Programming, 2016
R.E. Kalaba, H.H. Natsuyama and S. Ueno, The estimation of parameters in time-dependent transport problems: Dynamic programming and associative memories, Computers Math. Applic: 3'/(2), 41-45, 1999.
Warren B. Powel, Approximate Dynamic Programming,2007
Huaguang Zhang, Derong Liu, Yanhong Luo, Ding Wang, Adaptive Dynamic Programming for Control, 2012
Art Lew, Holger Mauch, Dynamic Programming, 2006
Art Lew. Computer Science: A Mathematical Introduction. Prentice-Hall International, Englewood Cliffs, New Jersey, 1985.
Art Lew. N degrees of separation: Influences of dynamic programming on computer science. J. Math. Analysis and Applications, 249(1):232–242, 2000.
Art Lew. A Petri net model for discrete dynamic programming. In Proceedings of the 9th Bellman Continuum: International Workshop on Uncertain Systems and Soft Computing, Beijing, China, July 24–27, 2002, pages 16–21, 2002.
Art Lew. Canonical greedy algorithms and dynamic programming. Journal of Control and Cybernetics, 2006.
Art Lew and R. Halverson, Jr. A FCCM for dataflow (spreadsheet) programs. In Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (FCCM ’95). IEEE Computer Society, 1995.
Art Lew and Holger Mauch. Solving integer dynamic programming using Petri nets. In Proceedings of the Multiconference on Computational Engineering in Systems Applications (CESA), Lille, France, July 9–11, 2003, 2003.
Art Lew and Holger Mauch. Bellman nets: A Petri net model and tool for dynamic programming. In Le Thi Hoai An and Pham Dinh Tao, editors, Proceedings of Modelling, Computation and Optimization in Information Systems and Management Sciences (MCO), Metz, France, July 1–3, 2004, pages 241–248, Metz, France, 2004. Hermes Science Publishing Limited.
Z. Peng, Aeroengine Fault Diagnostics Based on Kalman Filter, Diss., Nanjing University of Aeronautices and Astronautices, 2008.
L. Yebo, et al., Research on gas fault fusion diagnosis of aero-engine component, Acta Aeronaut. Astronaut. Sin. 35 (6) (2014) 1612–1620





