12
Proof: Consider the simplest case in which P contains a single integral point, say
w. The general case can be shown in a similar way. Choose w to be the starting
point since it is allowed. Take an arbitrary index к from N and set l(ιυ) = к
artificially. Then the algorithm will terminate with a completely labeled simplex,
say σ⅛, within a finite number of steps. If w is a vertex of σ⅛, then restore the true
label of w, i.e., Z(w) = 0. Hence σ⅛ is of type I. Otherwise, it must be of type
II. However, this can not happen according to Theorem 3.5. Hence repeat the
procedure over all indices of N. We complete the proof. □
It is not clear whether the Exclusion Theorem also holds for the problems in
standard form without the additional condition. In order to provide a complete
answer in that case, let us define for к ∈ ʌ a subset C⅛ of Zn by
Ck = { x ∈ Zn I ajτ x > b3 for j ∈ N_k }.
Now we establish the following procedure.
Step (1) Set к = 1.
Step (2) Choose any starting point vk E Ck and implement the algorithm. If an integral
point in P is found, then stop. Otherwise, к becomes к ⅛ 1.
Step (3) If к = n ⅛ 2, then stop. Otherwise, go to Step (2).
We still have to discuss how to obtain a starting point vk ∈ Ck for each к E N.
For each к ∈ N, we define
q(k) = -q(k∖
We adopt the following labeling rule.
Modified Labeling Rule: To x E Zn, we assign x with the label
f(ʃ) = min{ j E ∖-∣- ∖ aj x — bj = min{α^s — hk. l∣ E N_k ∖a[x — bfl ≤ 0 } }.
More intriguing information
1. Structural Breakpoints in Volatility in International Markets2. The role of statin drugs in combating cardiovascular diseases
3. Contribution of Economics to Design of Sustainable Cattle Breeding Programs in Eastern Africa: A Choice Experiment Approach
4. The name is absent
5. FUTURE TRADE RESEARCH AREAS THAT MATTER TO DEVELOPING COUNTRY POLICYMAKERS
6. SME'S SUPPORT AND REGIONAL POLICY IN EU - THE NORTE-LITORAL PORTUGUESE EXPERIENCE
7. The name is absent
8. The name is absent
9. Methods for the thematic synthesis of qualitative research in systematic reviews
10. Update to a program for saving a model fit as a dataset