Open Access
VOL. 77 | 2018 Semigroups – A computational approach
Florian Kohl, Yanxi Li, Johannes Rauh, Ruriko Yoshida

Editor(s) Takayuki Hibi

Adv. Stud. Pure Math., 2018: 155-170 (2018) DOI: 10.2969/aspm/07710155


The question whether there exists an integral solution to the system of linear equations with non-negativity constraints, $A\mathbf{x} = \mathbf{b}, \, \mathbf{x} \ge 0$, where $A \in \mathbb{Z}^{m\times n}$ and ${\mathbf b} \in \mathbb{Z}^m$, finds its applications in many areas such as operations research, number theory, combinatorics, and statistics. In order to solve this problem, we have to understand the semigroup generated by the columns of the matrix $A$ and the structure of the “holes” which are the difference between the semigroup and its saturation. In this paper, we discuss the implementation of an algorithm by Hemmecke, Takemura, and Yoshida that computes the set of holes of a semigroup and we discuss applications to problems in combinatorics. Moreover, we compute the set of holes for the common diagonal effect model and we show that the $n^\text{th}$ linear ordering polytope has the integer-decomposition property for $n\leq 7$. The software is available at


Published: 1 January 2018
First available in Project Euclid: 21 September 2018

zbMATH: 07034253
MathSciNet: MR3839710

Digital Object Identifier: 10.2969/aspm/07710155

Primary: 11P21 , 52B11 , 90C08 , 97K70

Keywords: feasibility problem , lattice points , polytopes , software

Rights: Copyright © 2018 Mathematical Society of Japan


Back to Top