Abstract
A polyhedronP = {x∈ ℝ n+ ∣d ⩽Ax ⩽e} is said to have the real decomposition property (RDP) if for any positiveT and any realx∈TP, there are positive coefficients λ1,…, λ r and integers 1, …,s r ∈P withx = λ l s l + … + λ r s r andT=λ l + ⋯ + λ r . We give a constructive proof that this property holds for a polyhedronP iffP is integral. This construction is used to show that some classes of polyhedra have an integral decomposition property. Furthemore, the RDP provides a generalization of the theorem of Birkhoff-von Neumann. So RDP may be used in some scheduling problems on parallel processors with preemptions.
Similar content being viewed by others
References
S. Baum and L.E. Trotter, “Integer rounding for polymatroid and branching optimization problems”,SIAM Journal on Algebraic and Discrete Methods 2 (1981) 416–425.
C. Berge, “Balanced matrices”,Mathematical Programming 2 (1972) 19–31.
R.G. Bland and J. Edmonds, “Fast primal algorithms for totally unimodular linear programming”, Presented at the XI International Symposium on Mathematical Programming (Bonn, West Germany, 1982).
J. Edmonds, “Submodular functions, matroids and certain polyhedra”, in: R. Guy, H. Hanani, N. Sauer and J. Schonheim, eds.,Combinatorial structures and their applications (Gordon and Breach, New York, 1970) pp. 69–87.
A. Hoffman and J.B. Kruskal, “Integral boundary points of convex polyhedra” in: H.W. Kuhn and A.W. Tucker, eds.,Linear inequalities and related systems (Princeton University Press, Princeton, N.J., 1956) pp. 223–246.
E.L. Lawler and J. Labetoulle, On preemptive scheduling of unrelated processors by linear programming,Journal of ACM 25 (1978) 612–619.
J.F. Maurras, K. Truemper and M. Akguel, “Polynomial algorithms for a class of linear programs”,Mathematical Programming 21 (1981) 121–136.
C. McDiarmid, Integral decomposition in polyhedraMathematical Programming 25 (1983) 183–198.
A. Schrijver, “Fractional packing and covering”, in: A. Schrijver, ed.,Packing and covering in combinatorics (Mathematisch Centrum, Amsterdam, 1979) pp. 201–274.
R. Slowinski, “L’ordonnancement des tâches préemptives sur les processeurs indépendants en présence de ressources supplémentaires”,RAIRO Informatique 15 (1981) 155–166.
D. de Werra, On some characterisations of totally unimodular matrices,Mathematical Programming 20 (1981) 14–21.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
de Werra, D. A decomposition property of polyhedra. Mathematical Programming 30, 261–266 (1984). https://doi.org/10.1007/BF02591932
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02591932