1 Introduction
Given a polytope P, for example, the convex hull of n ⅛ 1 affinely independent
vectors of Rn, the question is to determine whether P contains an integral point
or not. We develop a simplicial algorithm to solve the problem. The algorithm
is based on a specific integer labeling rule and the well-known ∕<ι-triangulation of
Rn. The main feature of the algorithm can be described as follows: The algorithm
subdivides Rn into п-dimensional simplices such that all integral points of Rn are
vertices of the triangulation, and then assigns an integer to each integral point
of Rn according to the labeling rule. Starting from an arbitrary integral point,
the algorithm generates a sequence of adjacent simplices of varying dimension and
terminates with either the YES or (exclusively) NO answer within a finite number
of steps. In the YES case, the algorithm Ends an integral point in P. The NO
answer shows that there is no integral point in P.
Our work was motivated by the works of Scarf [11] and of Dang and van
Maaren [1]. However, Scarf’s algorithm is based on primitive sets. Although Dang
and van Maaren’s algorithm is also based on simplices, it does not guarantee that the
polytope has no integral point if no integral point can be found by their algorithm.
The algorithm and the labeling rule in this paper are very different from Dang and
van Maaren theirs. We would also like to point out that our algorithm could date
back to the work of van der Laan and Talman [5], although their algorithm was
introduced to compute a fixed point of a continuous function.
The remainder of the paper is summarized next. In Section 2 the labeling
rule and basic theorems are introduced. Section 3 gives a full description of the
algorithm in case the polytope is a full-dimensional simplex in some standard form.
In Section 4 we shall demonstrate how to transform the problem of an arbitrary full-
dimensional simplex into the standard form. In Section 5 we apply the algorithm
to general full-dimensional polytopes. In Section 6 we deal with lower-dimensional
More intriguing information
1. The name is absent2. A methodological approach in order to support decision-makers when defining Mobility and Transportation Politics
3. Delivering job search services in rural labour markets: the role of ICT
4. Gerontocracy in Motion? – European Cross-Country Evidence on the Labor Market Consequences of Population Ageing
5. The name is absent
6. For Whom is MAI? A theoretical Perspective on Multilateral Agreements on Investments
7. Structure and objectives of Austria's foreign direct investment in the four adjacent Central and Eastern European countries Hungary, the Czech Republic, Slovenia and Slovakia
8. Food Prices and Overweight Patterns in Italy
9. The name is absent
10. Lumpy Investment, Sectoral Propagation, and Business Cycles