Abstract
In this paper, we design and analyze a simple, greedy algorithm for a class of linear programs called Horn programs. This algorithm, which we term as the “Lifting Algorithm”, is a variant of the Stressing Algorithm proposed for Difference Constraint systems in [5] and runs in time O(m·n 2) on a Horn system with m constraints and n variables. Inasmuch as Horn constraints subsume difference constraints, and all known algorithms for the problem of checking feasibility in Difference Constraint Systems run in time Ω(m·n), the running time of our algorithm is only a factor n worse than the best known running time for checking feasibility in Difference Constraint Systems. Horn programs arise in a number of application areas including econometrics and program verification; consequently, their study is well-motivated. An important feature of our algorithm is that it uses only one operator, viz., addition. We also show that our algorithm can identify the linear and lattice point feasibility of Extended Horn Systems in O(m ·n 2) time.
This research was supported in part by the Air-Force Office of Scientific Research under contract FA9550-06-1-0050 and in part by the National Science Foundation through Award CCF-0827397.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Borosh, I., Treybig, L.B.: Bounds on positive integral solutions to linear diophantine equations. American Mathematical Society 55(2), 299–304 (1976)
Chandru, V., Rao, M.R.: Linear programming. In: Algorithms and Theory of Computation Handbook. CRC Press, Boca Raton (1999)
Papadimitriou, C.H., Steiglitz, K.: Combinatorial Optimization. Prentice Hall, Englewood Cliffs (1982)
Schrijver, A.: Theory of Linear and Integer Programming. John Wiley and Sons, New York (1987)
Subramani, K.: A Zero-Space algorithm for negative cost cycle detection in networks. Journal of Discrete Algorithms 5(3), 408–421 (2007)
Truemper, K.: Personal communication (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chandrasekaran, R., Subramani, K. (2009). A Combinatorial Algorithm for Horn Programs. In: Dong, Y., Du, DZ., Ibarra, O. (eds) Algorithms and Computation. ISAAC 2009. Lecture Notes in Computer Science, vol 5878. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10631-6_112
Download citation
DOI: https://doi.org/10.1007/978-3-642-10631-6_112
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10630-9
Online ISBN: 978-3-642-10631-6
eBook Packages: Computer ScienceComputer Science (R0)