论文信息 - C++ Tools for Exploiting Polyhedral Symmetries

C++ Tools for Exploiting Polyhedral Symmetries

We report on the recently developed C++ tools PermLib and SymPol that are designed to support high performance work with symmetric polyhedra. The callable library PermLib provides basic support for permutation group algorithms and data structures. It can in particular be used for the development of optimization algorithms that combine methods from polyhedral combinatorics and computational group theory. The software SymPol is such an application helping to detect polyhedral symmetries and to analyze faces of polyhedra up to symmetries. It in particular provides successfully used decomposition methods for polyhedral representation conversions up to symmetries.

Achill Schürmann | Thomas Rehn | Thomas Rehn | Achill Schürmann

[1] S LeonJeffrey. Permutation group algorithms based on partitions, I , 1991 .

[2] Mathieu Dutour Sikiric,et al. The Contact Polytope of the Leech Lattice , 2009, Discret. Comput. Geom..

[3] M. Jünger,et al. 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art , 2010 .

[4] Peter Schlattmann,et al. Theory and Algorithms , 2009 .

[5] François Margot,et al. Symmetry in Integer Linear Programming , 2010, 50 Years of Integer Programming.

[6] J. S. Leon,et al. Permutation Group Algorithms Based on Partitions, I: Theory and Algorithms , 1991, J. Symb. Comput..

[7] Mathieu Dutour Sikiric,et al. Polyhedral representation conversion up to symmetries , 2007, ArXiv.

[8] E. O'Brien,et al. Handbook of Computational Group Theory , 2005 .

[9] Mathieu Dutour Sikiric,et al. Classification of eight dimensional perfect forms , 2006 .