23
It means that l(yn+1) ψ n ⅛ 1. It is also a contradiction. □
We still have to prove Theorem 3.7. It suffices to consider the case in which P
has an integral point x0, i.e., Ax0 ≤ b. Following the same line of the proof of the
above theorem, we can show that there is at most one completely labeled simplex
of type II in this case. It is clear we only need to demonstrate that the procedure
will produce at least two different completely labeled simp lices. Let us suppose to
the contrary that the procedure only generates a completely labeled simplex, say,
σ(z1, ∙ ∙ ∙ , æi+1), of type II. It is easy to see that for each к ∈ N, the starting point
vk ∈ Ck can be expressed as
vk = x0 - ∑ ʌ^(ʌ)
⅛∈^r-⅛
where λk are positive integers for all h E N-к- Notice that in Step (2) the procedure
operates by only using q(Jι) for h ∈ N~k for each к ∈ N. Hence, starting from
vk ∈ Ck, the vertices xkj generated by the procedure can be written as
jΛ = ,V+ £ i⅛)
⅛∈^r-⅛
where λk' are integers for all h ∈ N_k- Since starting from the n ⅛ 1 starting
points cl, ∙ ∙ ∙, un+1, the procedure generates a unique completely labeled simplex
σ(x1, ∙ ∙ ∙ , æn+1) of type II, it implies that for each к ∈ N,
xi = ∙, + Σ⅛t,⅛i⅛(4
= ∙, + Σ⅛Mfr(J)
(4.2)
= 4'° + Σ½V.l.+ ,, W’"*’ 4W
where λkh3k are integers for all h ∈ .∖~k∙ It is not difficult to derive that
ʌ ⅛⅛ _ ʌ 4ι
λh - λh
More intriguing information
1. Factores de alteração da composição da Despesa Pública: o caso norte-americano2. Enterpreneurship and problems of specialists training in Ukraine
3. The name is absent
4. Population ageing, taxation, pensions and health costs, CHERE Working Paper 2007/10
5. Word Sense Disambiguation by Web Mining for Word Co-occurrence Probabilities
6. Educational Inequalities Among School Leavers in Ireland 1979-1994
7. The name is absent
8. Conservation Payments, Liquidity Constraints and Off-Farm Labor: Impact of the Grain for Green Program on Rural Households in China
9. Modeling industrial location decisions in U.S. counties
10. The name is absent