Abstract
Optimization models often feature disjunctions of polytopes as submodels. Such a disjunctive set is initially (at best) relaxed to its convex hull, which is then refined by branching. To measure the error of the convex relaxation, the (relative) difference between the volume of the convex hull and the volume of the disjunctive set may be used. This requires a method to compute the volume of the disjunctive set.
We propose a revised variant of an old algorithm by Bieri and Nef (Linear Algebra Appl 52:69–97, 1983) for this purpose. The algorithm uses a sweep-plane to incrementally calculate the volume of the disjunctive set as a function of the offset parameter of the sweep-plane.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bieri, H., Nef, W.: A sweep-plane algorithm for computing the volume of polyhedra represented in boolean form. Linear Algebra Appl. 52, 69–97 (1983)
Edelsbrunner, H.: Algorithms in Combinatorial Geometry. Springer, Berlin (1987)
Hiller, B., Walther, T.: Improving branching for disjunctive polyhedral models using approximate convex decompositions, ZIB-Report 17-68, Zuse Institute Berlin, 2017
Lawrence, J.: Polytope volume computation. Math. Comput. 57(195), 259–271 (1991)
Lee, J., Skipper, D., Speakman, E.: Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations. Math. Program. Ser. B 170(1), 121–140 (2018)
Stein, P.: A note on the volume of a simplex. Am. Math. Mon. 73(3), 299–301 (1966)
Acknowledgements
The authors thank the DFG for support within project A04 in CRC TRR154 and the BMBF Research Campus Modal (fund number 05M14ZAM) and ICT COST Action TD1207 for additional support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Anderson, L., Hiller, B. (2019). A Sweep-Plane Algorithm for the Computation of the Volume of a Union of Polytopes. In: Fortz, B., Labbé, M. (eds) Operations Research Proceedings 2018. Operations Research Proceedings. Springer, Cham. https://doi.org/10.1007/978-3-030-18500-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-18500-8_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18499-5
Online ISBN: 978-3-030-18500-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)