02.03.2013 Views

Reverse Multistar Inequalities and Vehicle Routing ... - IASI-CNR

Reverse Multistar Inequalities and Vehicle Routing ... - IASI-CNR

Reverse Multistar Inequalities and Vehicle Routing ... - IASI-CNR

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!