2.4 ROBUST MODELS
2.4.2 Robustness for uncertain demand
We can also consider uncertainty in the number of people (=demand) at each village. In this section, we consider a robust version for Model 1. Those for Model 2 and 3 can be expressed similarly.
Let us define the feasible region A for Model 1 as follows: π’π’ = {(ππ, ππ)|π¦π¦ππ β€ οΏ½ π₯π₯ππ ππβππππ for ππππ = οΏ½ππ: ππππππ β€ π·π·1, ππ = 1, β¦ , πποΏ½, ππ = 1, β¦ , ππ, οΏ½ πππππ₯π₯ππ ππ ππ=1 β€ πΆπΆ, οΏ½ π₯π₯ππ ππ ππ=1 β€ ππ; π₯π₯ππβ{0,1}, π¦π¦ππβ{0,1}, ππππππ ππ = 1, β¦ , ππ}
Now suppose that ππΜππ is an estimate of the population in village i and that ππΜπππΎπΎππ is the amount by which the true population ππππ differs from this estimated value ππΜππ, so that ππππ β ππΜππ = ππΜπππΎπΎππ, i.e., ππππ = ππΜππ(1 + πΎπΎππ) . Also assume that
βππππ=1ππΜπππΎπΎππ = 0 so that βππ=1ππ ππππ = βππππ=1ππΜππ = π·π· 0 < |πΎπΎππ| β€ πΎπΎΜ ππ < 1
In other words we know the total population (D) across all n villages, but the true population ππππ at village i could be up to 100πΎπΎΜ ππ% higher or lower than its estimated population ππΜππ.
Let us define the set π΅π΅ as
π£π£ = {πΈπΈ| οΏ½ ππΜπππΎπΎππ ππ ππ=1 = 0, |πΎπΎππ| β€ πΎπΎΜ ππ< 1} where πΈπΈ is a vector of πΎπΎππ. Robust Model: max ππ,ππ οΏ½infπΈπΈ οΏ½ ππΜππ(1 + πΎπΎππ)π¦π¦ππ ππ ππ=1 οΏ½(ππ, ππ) β π’π’, πΈπΈ β π£π£οΏ½
Note that for a given feasible selection of outreach centers (ππ) and corresponding set of villages covered (ππ), the quantity within the braces represents the smallest value of the true total population covered across all different deviations from the estimates that meet conditions 1-3 above. The objective of the model is to find the vectors ππ and ππ that maximize this value.
Proposition
If πΎπΎΜ 1 = πΎπΎΜ 2= β― = πΎπΎΜ ππ = πΎπΎΜ , then the optimal solution to the original formulation (Model 1) is the optimal solution to the robust formulation.
Proof:
Let (ππβ, ππβ) be the optimal solution to Model 1, and consider any feasible (ππ, ππ) β π΄π΄ and define C as the index set of villages that are covered and N as the index set of villages that are not covered. Note that CβͺN = {1,2,β¦,n} and the estimated total coverage is β ππΜππβπΆπΆ ππ while the estimated population not covered is given by βππβππππΜππ = π·π· β β ππΜππβπΆπΆ ππ.
Define ππ(ππ, ππ) = οΏ½πποΏ½ππ ππβπΆπΆ = οΏ½πποΏ½πππ¦π¦ππ ππ ππ=1 ππΜ (πΈπΈ|ππ, ππ) = min πΈπΈ οΏ½οΏ½πποΏ½ππ(1 Β± πΎπΎππ)π¦π¦ππ ππ ππ=1 οΏ½πΈπΈ β π£π£οΏ½
Note that for the assignment (ππ, ππ), ππ(ππ, ππ) is the estimated total coverage, while ππΜ (πΈπΈ|ππ, ππ) is the smallest actual total coverage possible across all differences from the estimates that satisfy conditions 1-3 described earlier.
Case 1: ππ(ππ, ππ) = β ππΜππβπΆπΆ ππ β€ π·π·/2)
In this case the true total coverage has its minimum value ππΜ (πΈπΈ|ππ, ππ) when the true population of each village ππ β πΆπΆ is ππΜππ(1 β πΎπΎΜ ), as long as this minimum can be attained. This minimum is attained as long as the true total population not covered (in the villages indexed by
set N) does not exceed (1 + πΎπΎΜ ) βππβππππΜππ, which is the largest possible value that this number can take on.
The true number not covered is given by π·π· β (1 β πΎπΎΜ )(β ππΜππβπΆπΆ ππ) and therefore we need to show that {π·π· β (1 β πΎπΎΜ )(β ππΜππβπΆπΆ ππ)} β€ {(1 + πΎπΎΜ )(βππβππππΜππ)}. This is easily done because
{π·π· β (1 β πΎπΎΜ )(β ππΜππβπΆπΆ ππ)} β {(1 + πΎπΎΜ )(βππβππππΜππ)} = {π·π· β (1 β πΎπΎΜ )(β ππΜππβπΆπΆ ππ)} β {(1 + πΎπΎΜ )(π·π· β β ππΜππβπΆπΆ ππ)} = πΎπΎΜ {2 β ππΜππβπΆπΆ ππ β π·π·} β€ 0 (because πΎπΎΜ > 0 and β ππΜππβπΆπΆ ππ β€ π·π·/2) Therefore ππΜ (πΈπΈ|ππ, ππ) = οΏ½(1 β πΎπΎΜ )πποΏ½ππ ππβπΆπΆ = (1 β πΎπΎΜ )ππ(ππ, ππ), and in particular, for (ππβ, ππβ)
ππΜ (πΈπΈ|ππβ, ππβ) = (1 β πΎπΎΜ )ππ(ππβ, ππβ) .
Since (ππβ, ππβ) is optimal for Model 1, it follows that ππ(ππ, ππ) β€ ππ(ππβ, ππβ), and therefore ππΜ (πΈπΈ|ππ, ππ) β€ ππΜ (πΈπΈ|ππβ, ππβ).
Therefore (ππβ, ππβ) is also optimal for Model 2. Case 2: ππ(ππ, ππ) = β ππΜππβπΆπΆ ππ > π·π·/2)
Here it is not possible for the true coverage to attain the minimum possible value of (1 β πΎπΎΜ ) β ππΜππβπΆπΆ ππ because the actual total number not covered would then exceed its maximum possible value. Instead we make use of the fact that the minimum actual coverage is attained when the actual number not covered is at its maximum of (1 + πΎπΎΜ ) βππβππππΜππ. To show this minimum can be attained we need to ensure that the true total number covered is larger than (1 β πΎπΎΜ ) β ππΜππβπΆπΆ ππ, which is the smallest value that it can take on.
The true number covered is given by π·π· β (1 + πΎπΎΜ )(βππβππππΜππ) and therefore we need to show that {π·π· β (1 + πΎπΎΜ )(βππβππππΜππ)} β₯ {(1 β πΎπΎΜ )(β ππΜππβπΆπΆ ππ)}. This is easily done because
{π·π· β (1 + πΎπΎΜ )(βππβππππΜππ)} β {(1 β πΎπΎΜ ) β ππΜππβπΆπΆ ππ} = {π·π· β (1 + πΎπΎΜ )(π·π· β β ππΜππβπΆπΆ ππ)} β {(1 β πΎπΎΜ ) β ππΜππβπΆπΆ ππ} = πΎπΎΜ {2 β ππΜππβπΆπΆ ππ β π·π·} > 0 Therefore ππΜ (πΈπΈ|ππ, ππ) = π·π· β (1 + πΎπΎΜ ) βππβπππποΏ½ππ = π·π· β (1 + πΎπΎΜ )οΏ½π·π· β βππβπΆπΆπποΏ½πποΏ½ = (1 + πΎπΎΜ )(βππβπΆπΆπποΏ½ππ)β πΎπΎΜ π·π· = (1 + πΎπΎΜ )ππ(ππ, ππ) β πΎπΎΜ π·π·,
and in particular, for (ππβ, ππβ)
ππΜ (πΈπΈ|ππβ, ππβ) = (1 + πΎπΎΜ )ππ(ππβ, ππβ) β πΎπΎΜ π·π·.
Since (ππβ, ππβ) is optimal for Model 1, it follows that ππ(ππ, ππ) β€ ππ(ππβ, ππβ), and therefore ππΜ (πΈπΈ|ππ, ππ) β€ ππΜ (πΈπΈ|ππβ, ππβ). β
Example:
Suppose we have a total of 100 people in our n villages and the true population in any individual village i could be higher or lower than the estimated value ππΜππ by no more 10% (so
πΎπΎΜ =0.1).
Case 1: Suppose β ππΜππβπΆπΆ ππ =45 people are estimated to live in villages covered and βππβππππΜππ =55 in villages not covered. Then the lowest true coverage possible is 45(0.9) = 40.5 with 59.5 people not being covered.
Case 2: Suppose β ππΜππβπΆπΆ ππ =55 people are estimated to live in villages covered and βππβππππΜππ =45 in villages not covered. Then the lowest true coverage possible is when the actual number not covered is at its maximum of 45(1.1) = 49.5, i.e., with 50.5 people being covered.
According to the previous proposition, the optimal solution to the model without demand uncertainty is the robust solution for uncertain demand. If the assumption about the equality of
the total population is removed, the result is the same because the objective value for all solutions would be decreased by πΎπΎΜ . In addition, even if the assumption of percentage deviation from the estimated population is changed to a fixed amount of deviation from the estimated population, the optimal solution is still the robust solution. The fact that the solution to the robust model is the same as the solution for the original model is because of the following characteristics of the coverage model: 1) it maximizes the number of people who can be covered, 2) the robust model provides the optimum corresponding to the worst-case scenario for the error in the estimated population, and 3) there is no systematic interaction between the populations at different locations. Thus, in order to have the best worst-case performance it is optimal to locate the outreach points at the locations that maximize coverage with the estimated populations. This follows because if the population at each location can either be reduced by a constant percentage or a constant amount then the locations that maximizes coverage in the original problem will still provide the highest coverage for the new problem.