Such a formulation of the polytope P is referred to as the standard form. Observe
that the standard form is rather similar to the well-known Hermite normal form (see
e.g., Section 6). In the next section we shall show that any n-dimensional simplex
P can be restructured into the standard form. We first derive the following lemma.
Lemma 3.1 Let a simplex P be given in standard form. If P contains two
integral points x1 and x2, it also contains the integral point
x = (max{æj, ʃɪ),∙∙∙, max{⅛, x2n})τ.
Proof: Since P contains two integral points æ1 and æ2, it implies that Ax1 ≤ b and
Ax2 ≤ b. Notice that
n
≤ 7,÷∣∙
J = I
and
n
j — ¼ι+l∙
7 = 1
Since α(n+ι)j ≤ 0 for j = 1, ∙ ∙ ∙, n, it follows that
n
α(n+ι)j maχ{3j? 3j} ≤ bn+l,
j=ι
i.e., ∑2j=ι α(n+ι)j^j ≤ ⅛ι÷ι∙ Moreover, for h = 1, 2, it holds that
n
∑az3%h3 <bi,i = 1,∙ ∙ ∙ ,n.
J = I
Since (⅛ ≤ 0 for j ψ i, it is easy to see that
⅛ - ∑3≠l <pj∑3
bl - ∑3≠t alj max{xj1, x2}
bi - ∑3≠t al3x3
for i = l,...,n. It means that
allxl ≤ bt - ]Γ ¾j⅜'
J≠i
More intriguing information
1. The name is absent2. Work Rich, Time Poor? Time-Use of Women and Men in Ireland
3. Regional specialisation in a transition country - Hungary
4. The WTO and the Cartagena Protocol: International Policy Coordination or Conflict?
5. Economies of Size for Conventional Tillage and No-till Wheat Production
6. Private tutoring at transition points in the English education system: its nature, extent and purpose
7. The name is absent
8. Automatic Dream Sentiment Analysis
9. GENE EXPRESSION AND ITS DISCONTENTS Developmental disorders as dysfunctions of epigenetic cognition
10. Sustainability of economic development and governance patterns in water management - an overview on the reorganisation of public utilities in Campania, Italy, under EU Framework Directive in the field of water policy (2000/60/CE)