Reverse Multistar Inequalities and Vehicle Routing ... - IASI-CNR
Reverse Multistar Inequalities and Vehicle Routing ... - IASI-CNR
Reverse Multistar Inequalities and Vehicle Routing ... - IASI-CNR
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Q = Q the ERMS inequalities (10) do not provide new information since<br />
they can be shown to be equivalent to the MS inequalities (7). We next<br />
show that the MS inequality (7) for a given set S is equivalent to the ERMS<br />
inequality (10) for the complement set S ′ . For the proof we use the fact<br />
that, when Q = Q, all feasible solutions have a fixed number of vehicles<br />
given by (|V | − 1)/Q, i.e. x(1 : V \ {1}) = (|V | − 1)/Q.<br />
Proposition 3.2 When Q = Q, the ERMS inequality (10) for set S is<br />
equivalent to the MS inequality (7) for the set S ′ , <strong>and</strong> vice-versa.<br />
Proof. Consider the ERMS inequality (10) for a given set S:<br />
Qx(1 : S) + x(S ′ : S) ≤ (Q − 1)x(S : S ′ ) + |S|.<br />
Using the degree constraint for the depot, x(1 : V \ {1}) = (|V | − 1)/Q, we<br />
obtain<br />
|V | − 1 + x(S ′ : S) ≤ (Q − 1)x(S : S ′ ) + Qx(1 : S ′ ) + |S|.<br />
Since |V | − 1 − |S| = |S ′ | we obtain the MS inequality (7) for the set S ′ . <br />
Clearly, this equivalence no longer holds for the more general BVRP<br />
where Q < Q since we have shown that the ERMS inequalities (10) (<strong>and</strong><br />
even the RMS inequalities (8)) are necessary for modeling the BVRP.<br />
4 Rounded <strong>Inequalities</strong><br />
It is well known that “projected” inequalities can be used to produce (by<br />
adequate division <strong>and</strong> rounding) other interesting sets of inequalities. As<br />
an example, consider the MS inequalities (7) for the unit-dem<strong>and</strong> CVRP.<br />
Dividing by Q these inequalities <strong>and</strong> then rounding we obtain the following<br />
rounded MS inequalities<br />
<br />
Q − 1<br />
x(1 : S) + x(S<br />
Q<br />
′ <br />
1<br />
: S) ≥ x(S : S<br />
Q<br />
′ <br />
|S|<br />
) +<br />
Q<br />
that correspond to<br />
x(V \ S : S) ≥<br />
<br />
|S|<br />
Q<br />
(11)<br />
for all S ⊆ V \ {1}. These inequalities are the directed version of facetdefining<br />
inequalities for the undirected CVRP polytope (see, e.g. Campos<br />
11