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.