Title
C++ tools for exploiting polyhedral symmetries
Abstract
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.
Year
DOI
Venue
2010
10.1007/978-3-642-15582-6_48
ICMS
Keywords
Field
DocType
polyhedral combinatorics,basic support,tools permlib,software sympol,computational group theory,polyhedral representation conversion,callable library,polyhedral symmetry,data structure,permutation group algorithm,permutation group,decomposition method
Discrete mathematics,Data structure,Algebra,Computer science,Polyhedron,Permutation group,Theoretical computer science,Frameworks supporting the polyhedral model,Software,Homogeneous space,Polyhedral combinatorics,Computational group theory
Conference
Volume
ISSN
ISBN
6327
0302-9743
3-642-15581-2
Citations 
PageRank 
References 
2
0.40
3
Authors
2
Name
Order
Citations
PageRank
Thomas Rehn1162.56
Achill Schürmann2529.17