The name is absent



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. The name is absent
2. Imputing Dairy Producers' Quota Discount Rate Using the Individual Export Milk Program in Quebec
3. The name is absent
4. The name is absent
5. QUEST II. A Multi-Country Business Cycle and Growth Model
6. The quick and the dead: when reaction beats intention
7. Standards behaviours face to innovation of the entrepreneurships of Beira Interior
8. Testing Hypotheses in an I(2) Model with Applications to the Persistent Long Swings in the Dmk/$ Rate
9. On the Relation between Robust and Bayesian Decision Making
10. Disentangling the Sources of Pro-social Behavior in the Workplace: A Field Experiment