<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Data Instance generator and optimization models for evacuation planning in the event of wild re</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Christian Artigues</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Emmanuel Hebrard</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yannick Pencole</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Andreas Schutt</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Peter J. Stuckey</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Copyright c by the paper's authors. Copying permitted for private and academic purposes. In: G. Di Stefano, A. Navarra Editors: Proceedings of the RSFF'18 Workshop, L'Aquila, Italy</institution>
          ,
          <addr-line>19-20-July-2018, published at</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Decision Sciences</institution>
          ,
          <addr-line>Data61, CSIRO</addr-line>
          ,
          <country country="AU">Australia</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Department of Computing and Information Systems, The University of Melbourne</institution>
          ,
          <addr-line>Victoria 3010</addr-line>
          ,
          <country country="AU">Australia</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>LAAS-CNRS, Universite de Toulouse</institution>
          ,
          <addr-line>CNRS, Toulouse</addr-line>
          ,
          <country country="FR">France</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>One critical part of decision support during the response phase to a wild re is the ability to perform large-scale evacuation planning. While in practice most evacuation planning is principally designed by experts using simple heuristic approaches or scenario simulations, more recently optimization approaches to evacuation planning have been carried out, notably in the context of oodings. Evacuation planning in case of wild res is much harder as wild re propagations are inherently less predictable than oods. This paper present a new optimization model for evacuation planning in the event of wild re aiming at maximizing the temporal safety margin between the evacuees and the actual or potential wild re front. As a rst contribution, an open-source data instance generator based on road network generation via quadtrees and a basic re propagation model is proposed to the community. As a second contribution we propose 0{1 integer programming and constraint programming formulations enhanced with a simple compression heuristic that are compared on 240 problem instances build by the generator. The results show that the generated instances are computationally challenging and that the contraint programming framework obtains the best performance.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        The overall objective of the GEO-SAFE project [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] is to develop methods and tools enabling to
set up an integrated decision support system to assist authorities in optimizing the resources
during the response phase to a wild re ( re suppression, life and goods protection). One critical
and crucial part of this integrated decision support is the ability to perform large-scale
evacuation planning [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. While in practice most evacuation planning is principally designed by
experts using simple heuristic approaches or scenario simulations [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ], more recently
optimization approaches to evacuation planning have been addressed, using a variety of optimization
technology, as surveyed recenly in [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. This paper presents a challenging variant of the
evacuation planning problem in case of wild re issued from exchanges with practitioners in the
context of the GEO-SAFE project and from a speci c literature review. A large amount of
work has been carried out, notably at NICTA1,[
        <xref ref-type="bibr" rid="ref10 ref11 ref12 ref13 ref4 ref5 ref6 ref9">11, 4, 12, 10, 5, 6, 9, 13</xref>
        ] mainly in the context of
oodings, which can be transposed under some adaptations to evacuation in case of res.
Evacuation planning in case of wild res is indeed much harder. Wild re propagations are inherently
less predictable than oods. While ood levels mostly rely on the xed topology of the area
and rainfalls, wild re mainly depends on the wildland fuels [
        <xref ref-type="bibr" rid="ref1 ref14">14, 1</xref>
        ], on the slope of the burning
ground and more importantly on the speed and direction of the wind that can suddenly change
at any time [
        <xref ref-type="bibr" rid="ref16 ref18">18, 16</xref>
        ]. Therefore, evacuation planning dedicated to wild res must be much more
robust to di erence future scenarios. A good evacuation plan in case of wild re must not only
minimize the evacuation time of the population but also maximize the spatial and temporal
safety margin between the evacuees and the actual or potential wild re front.
      </p>
      <p>This paper present a new optimization model for evacuation planning in the event of wild re
as well as a problem instance generator. On these instances, basic 0{1 integer programming
and constraint programming formulations enhanced with a simple compression heuristic are
compared. In Section 2, we provide a literature review and we de ne the considered problem.
Section 3 presents the instance generator. The basic 0{1 integer programming, constraint
programming formulations and the heuristic are proposed in Section 4. Computational experiments
are given in Section 5.
2
2.1</p>
    </sec>
    <sec id="sec-2">
      <title>State-of-the-art review and problem de nition</title>
      <sec id="sec-2-1">
        <title>Basic evacuation data</title>
        <p>
          We adopt the notation an terminology given in [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. There is a directed graph G(N = E [T [S; A)
representing e.g. a road network in a region that must be evacuated. The graph is made of:
the set of evacuation nodes E . An evacuation node represents a zone where people to be
evacuated are regrouped),
the set of safe nodes S. A safe node represent a safe geographical zone that people located
in the evacuation nodes must reach during the planning horizon
the set of transit nodes T . A transit node represent an intersection in the road network
that can be traversed by the vehicles carrying evacuated people from the evacuation zones
to the safe zones.
        </p>
        <p>1Former Australia's Information and Communications Technology Research Centre
Suppose the time is discretized in minutes. Each evacuation node k 2 E is associated with a
number of evacuees dk. Each arc q 2 A has a capacity ue in evacuees/minute, a travel time te
giving the number of minutes that a vehicle takes to traverse the arc and a end time be, which
gives the time at which the arc becomes unavailable due to the re propagation.</p>
        <p>Other characteristics may appear in the variants considered in the cited papers.
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Previously considered evacuation problems</title>
        <p>
          We limit our review to the the NICTA papers as they explain the genesis of the nal model w.r.t.
practical considerations. The rst considered problem and solution methods were presented by
Pillac et al. in 2013 in a research report that was later published in [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ]. One of the practical
motivation of the work was that in an urgency situation, the possibility of choices in a road
network, such as a fork, generate stress among the population. This is why it is preferable to
de ne a single evacuation path for each evacuation zone. Hence the problem considered in [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ]
can be described as a two-level optimization problem, which can be solved in an integrated way
or by a two-phase approach. At the rst level, exactly one evacuation path is determined from
each evacuation node to a single safe node. At the second level the ow of evacuees is scheduled
trough the path. A MILP (called the restricted ow model RF) is proposed to solve the problem
in an integrated way. It is based on time-expanded graph, in which each node is duplicated for
each time period. Arc capacities ue in the time expanded network ensure that the tra c does not
exceed the road capacity, especially when several paths use the same arc. The model includes
continuous ow variable per evacuation node per arc and in the expanded network and also a
binary variable per edge in the (non-expanded) graph G to ensure the uniqueness of the path
for each evacuation node. As the MILP is intractable on a set of instances (HN) derived from a
real case scenario involving 70000 evacuees in the Hawkesbury-Nepean oodplain, located
NorthWest of Sydney, an iterative column-generation-like two-phase heuristic is proposed. Given a set
of potential paths, a master problem solves the path selection and ow scheduling problem with
another MILP (called the con ict-based heuristic path generation master problem, CPG-MP)
involving a reduced number of binary constraints (one per path). A sub-problem nds new paths
based on a subset of critical nodes by solving a multiple-origin, multiple-destination shortest
path problem. A lexicographic objective is considered. The main objective is to maximize
the number of evacuated people during the time horizon, while a secondary objective aims at
maximizing the evacuation start time, based on the practical relevance. Note that the second
objective is only indirectly tackled by weighting each arc in the time-expanded graph by a cost
inversely proportional to the arc time, hence solving a min-cost ow problem.
        </p>
        <p>
          Subsequent papers describe variants of the models and new methods. A more sophisticated
variant of the heuristic was proposed in Pillac et al. (2014) [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ] for the same problem with,
however, a di erent secondary objective for the min-cost ow, aiming at minimizing the
evacuation time (called the clearance time), which is indirectly obtained by weighting the arc in the
time-expanded graph by a cost proportional to the arc time.
        </p>
        <p>
          In Even et al. (2014) [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ], an additional degree of freedom is introduced, giving the possibility
of selecting contra ow roads, which consists in reversing the direction of some major roads. In
practical cases, this possibility can highly increase the network capacity for evacuation. This is
done by introducing a subset Ac of arcs that can be used in contra ows and by modifying the
CPG-MP, interestingly without the need of introducing additional binary variables. A software
called the NICTA Evacuation Planner is also presented, with new instances with up to 1 000 000
evacuees, which are solved requiring up to 30 min. of CPU time.
        </p>
        <p>
          In Even et al. (2015)[
          <xref ref-type="bibr" rid="ref5">5</xref>
          ], the case where the selected paths must form a convergent subgraph,
i.e. for which each node has at most one outgoing arc in the set of paths, is considered. This is
motivated by the fact that convergent evacuation paths can be better controlled. Indeed, even
if in the previous model, a single path was assigned to each evacuation node, in the case where
two paths are merged and then are separated again, a driver can be confronted to a choice and
take a decision that would not correspond to what was planed. Hence the set of paths now
form a tree rooted at the safe node. The solution method is still a two-phase method but does
not follow anymore the column generation principle. A tree is rst built by a MIP working
on an aggregated graph (without time discretization). The second phase is the ow scheduling
problem given the computed tree, which is a maximum ow problem. The rst phase is now
able to produce good upper bounds on the maximum number of evacuees and on the minimum
clearance time. A simulation study shows that the convergent model outperforms the general
model when the presence of a fork in the network generated an hesitation for the driver that is
captured by a 0.75 second delay.
        </p>
        <p>
          This model is further developed by Kumar et al. (2016) [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] to incorporate network design
aspects in the problem to model possible infrastructure enhancement decisions, as for the west
Sydney case concerns about the capacity of the road network were expressed. Two additional
decisions are introduced : adding lanes to a road (arc) and elevating a road (arc). The rst
decision results in an increase of the capacity of the arc while the second decision postpones
the ooding time, both coming at a cost. These decisions can be incorporated in the tree
design problem, which is also the master problem of a Benders decomposition method. The
objective is still to maximize the number of evacuated people under a budget constraint that
limits the infrastructure upgrades. The maximum ow subproblem is used to obtain a feasible
ow schedule and also to generate optimality cuts that are reinjected in the master problem.
To increase the performance of the Benders method, pareto-optimal cuts are generated.
        </p>
        <p>
          All previous approaches assumed that each individual vehicle of an evacuation ( ow unit)
moves independently from the other vehicles of the same zone, and exactly as prescribed by
the maximum ow model. Pillac et al. [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ] propose to use the concept of response curves to
incorporate behavioral models in the problem. In practice, instead of assigning a start time to
each evacuee, the authorities can in uence the evacuation start time of a zone and the level of
resources mobilized to increase the evacuation rate (e.g. number of agents knocking on people's
door), to which people answer according to a behavioral model abstracted by a response curve.
It follows that to each evacuation zone k 2 E , a set of response curves Fk is given. For each
evacuated zone, a start time k and a response curve ff 2 Fk has to be assigned such that the
ow of evacuees leaving zone k at time t is given by
tk =
0
f (t
        </p>
        <p>if t &lt;
) if t
:
A column generation approach is proposed where the set of all evacuation plans of a zone is
considered, where a evacuation plan is a path from the evacuated zone to a safe node, the start
time and the response curve. The master problem selects a plan for each evacuation zone in
such a way that the network capacity is satis ed and the total cost of the plans is minimized
(without ensuring that a convergent is obtained). The plan generation subproblem is solved
either via a MIP or via a shortest path approach. The methods experiences di culties is solving
realistic instances due to a long-tail e ect.</p>
        <p>
          Another drawback of the ow model is that it generated preemptive evacuation plans. As
ow units are routed independently there are time periods in which the evacuation of a zone
may be stopped and reinitiated later. Even et al. (2015) [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] report that this creates serious
implementation issues for the evacuation plans. They propose another model in which the
evacuation rate is a decision variable that remains xed as soon as the evacuation starts and
as long as the zone is not fully evacuated or the time horizon is reached. They assume that
the evacuation path of each evacuation zone is already determined and concentrate only on the
scheduling problem. We present this model in the case that all people must be evacuated and
the objective is to minimize the clearance time. Let k denote the start time of evacuation of
zone k and let k denote the evacuation rate of zone k. Let Ak = (e1k; : : : ; ejkAkj) the evacuation
path of zone k given as its list of edges. An evacuation plan de nes a task Jki for each edge eik
with a start time Ski = k + Piq=11 tqk where tik is the travel time of edge eik. The evacuation has
a variable duration pk and the total number of evacuees is pk k with pk k = dk since all people
must be evacuated. Each edge task eik 2 Ak has duration pk. Let Je the set of tasks that use
edge e 2 A. We also denote as uk the maximum evacuation rate of an evacuation node k, which
can be seen as a node capacity. The model can be written as follows :
min Cmax
        </p>
        <p>s.t.</p>
        <sec id="sec-2-2-1">
          <title>Cmax</title>
          <p>SjAkj + pk</p>
          <p>k
Ski + pk</p>
          <p>beik
pk k = dk</p>
          <p>i 1
Ski = k + X tq</p>
          <p>k
q=1
X
k
k
k
pk
ue</p>
          <p>
            This is a no-wait total work- and resource-constrained project scheduling problem where (4)
are the total work constraints, (5) are the no-wait constraints, as the start time of the evacuation
task on a arc of the evacuation path starts exactly at the decided evacuation time k plus the
total travel time along the path toward edge e. Constraints (6) are the capacity constraints on
each edge e. The problem was e ciently solved in [
            <xref ref-type="bibr" rid="ref6">6</xref>
            ] via constraint programming for both the
clearance time minimization version and the maximization of the number of evacuated people
variant.
2.3
          </p>
        </sec>
      </sec>
      <sec id="sec-2-3">
        <title>A new evacuation planning problem in case of wild res</title>
        <p>
          In the work of Even et al. (2015) [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] and previous studies, the time be at which arc e becomes
unavailable comes from a ood propagation model, which is pretty accurate. In the case of
re, even if precise propagation models can be obtained, they depend on multiple parameters.
Among them, the wind has a great variability. The subject of promising further studies would be
to consider explicitly uncertainty via robust of stochastic approaches, but this would require the
de nition of various scenarios possibly associated with probability distributions. An alternative
to modeling uncertainty of the unavailability dates would be to consider an objective function
that seeks to maximize the length of the time interval [Ce; be], where Ce is the completion time
of the last task using edge e. It follows that in this paper we consider the following optimization
problem, with objective function (10) giving the maximum (possibly negative) slack on each
evacuation arc, weighted by the population.
        </p>
        <p>max</p>
        <p>k2E;8mi=1in;:::;jAkj dk(beik
s.t.(4); (5); (6); (7); (8); (9)</p>
        <p>Ski + pk)
(10)
(11)
3</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Realistic data instance generator</title>
      <p>
        Catastrophic wild re requiring large population evacuation are, thankfully, rare events.
However, it means that obtaining useful data is di cult, and indeed this a key problem within the
GEO-SAFE project. A signi cant part of the project revolves around simulation tools such as
EXODUS [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], however, even simulated data was hard to come by.
      </p>
      <p>Therefore, we opted for taking advantage of the project environment to contribute to this
e ort by generating our own \realistic" dataset. On the one hand, this approach may introduce
biases since we must use models to generate realistic road networks and simulate wild res.
On the other hand, we believe that it will make it much more convenient for benchmarking
algorithms in the future. As it turns out, the generated instance are challenging even though
relatively modest in size, thus being interesting from an academic viewpoint as well.
3.1</p>
      <sec id="sec-3-1">
        <title>Generation of road networks</title>
        <p>
          The rst step is to generate a graph standing for the road network. To this end, we used the
quadtree model described in [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]. In a nutshell, this model starts with a single square formed
by four nodes and four edges. At each iteration, a square is chosen and ve nodes are added,
one in the center of the square, and one on each edge connected by a perpendicular edge to
the center node. A parameter r controls the sprawl, that is, the preference for splitting larger
squares (r &lt; 1) or smaller square (r &gt; 1). The graphs generated in this manner share a many
features with real road networks: they are planar, embedded in an Euclidean plane, have similar
density distributions, path lengths are within a constant factor of the Euclidean distance, and
the number of turns is logarithmic with high probability. An example of random quadtree
network is shown in Figure 1a. The colors on the edges correspond to road capacity. To
allocate capacities, we rst compute a minimum Steiner tree spanning three randomly chosen
nodes in high density areas (\cities") and connect these cities to the nearest corner of the outer
square. The corresponding set of edges are given the highest capacity and are coloured in blue
in Figure 1a. A second set of edges, forming a grid are given an intermediate capacity, they are
coloured in green.
        </p>
        <p>(a) road network
(b) simulated wild re</p>
        <p>(c) evacuation plan
The second step consists in determining safety due dates for every edge of the evacuation tree,
that is, a time after which the edge become unsafe. To this purpose we use a relatively simple
re propagation model. We chose to use a simple model based on two parameters: a constant
intensity representing the type of fuel material as well as the temperature, and a wind direction.
Indeed, the goal is not so much to accurately predict re propagation, as it is to generate safety
due dates consistent with a wild re. Of course, should the authorities use this type of planning
tools during a real event, then correctly predicting re propagation would be among the most
important factor.</p>
        <p>The land area is discretized into squares of xed size (we use another parameter to control this
size) which can be in three states: untouched, burning and burned. The re starts as a single
burning square, then at each iteration, any untouched square adjacent of a burning square
catches re with probability ( A )2, where stands for the intensity of the re, and A is the
angle between the wind an a vector going from the center of burning square to the center of
the untouched square. Moreover, any burning square that did not propagate stop burning with
probability 2. Figure 1b illustrate the state of the simulated wild re, with burning squares in
red and burned squares in black.
3.3</p>
      </sec>
      <sec id="sec-3-2">
        <title>Generating evacuation plans</title>
        <p>The third step consists in generating the actual evacuation plan, that is, an embedded tree
connecting a set of evacuation nodes E to a safe node r. Here again, the goal is not to compute
the best evacuation plans, however they must be representative of what would be actual plans.</p>
        <p>We rst randomly pick a prede ned number of evacuation nodes among the nodes of the graph
that are in the state burned or burning of the simulated re. Then we use the convention that
the safe zone is the furthest corner from the center of the re. The evacuation tree is computed
simply by using a shortest paths algorithm, however with respect to an arc labeling taking into
account rst the safety due date of the arc, and only then its length and its capacity.</p>
        <p>At this point we have all the information we need to de ne a re evacuation problem as
de ned in Section 2.3.</p>
        <p>The tools we developed as well as the benchmarks instances we used in this paper can be
accessed here: https://github.com/ehebrard/evacsim.
4</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Formulations and heuristic</title>
      <p>In this section, we propose two formulations for the problem: a 0{1 integer linear programing
formulation and a constraint programming formulation. Then, we describe a simple compression
heuristic able to nd quickly an initial solution.</p>
      <p>0{1 linear programming formulation
Let H denote an upper bound on the latest evacuation completion time on the evacuation nodes
(the time by which the last evacuee leaves the evacuation node). We propose an integer 0-1
linear formulation that makes a discrete approximation of the problem. The set of discrete
evacuation possible start times is equal to Hk = f0; : : : ; H pkg where pk = d udkk e is the smallest
possible integer evacuation processing time. For an evacuation start time t 2 Hk, the set of
possible evacuation processing times is Pkt = fpk; : : : ; min(dk; H t)g. Let pmk 2 Pkt denote
the mth smallest possible processing time for m = 1; : : : ; jPktj. We introduce a 0{1 variable xktm
equal to 1 if and only if k = t, pk = pmk et k = pdmkk . By analogy to multi-mode scheduling
problems, set f1; : : : ; jPktjg represent the set of processing modes available for scheduling an
evacuation task that starts at time t. For a given mode m and a given time t, we denote by
Ikitm Hk the maximal discrete time interval such that</p>
      <p>i 1 i 1
8 2 Ikitm; t 2 [ + X tqk; : : : ; + X tqk + pmk
q=1 q=1
i.e. the set of evacuation start times
at time t. This interval is precisely:</p>
      <p>in mode m that make evacuation on edge eik in process
i
Iktm = ft
i 1
X tqk; : : : ; t
q=1
i 1
X tq</p>
      <p>k
q=1
pmk + 1g \ Hk
Given these elements , the problem can be expressed as the following 0{1 integer linear program:</p>
      <sec id="sec-4-1">
        <title>Wmin</title>
        <p>dk(bei
k</p>
        <p>X
t2Hk m=1
jPktj
X(t + pmk)xktm</p>
        <p>jPk0j
X X X
Jki 2Je m=1 2Ikitm
max Wmin</p>
        <p>s.t.
i 1
X tq )</p>
        <p>k
q=1
jPktj
X X xktm = 1
t2Hk m=1
kmxktm</p>
        <p>ue
8k 2 E ; 8i = 1; : : : ; jAkj</p>
        <p>8k 2 E
8e 2 A; 8t = 0; : : : ; H</p>
        <p>
          1
k 2 E ; t 2 Hk; m 2 Pkt
(12)
(13)
(14)
(15)
In [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ], the NEPP was modeled using standard cumulative constraints. We adapt here this
model for our problem. Let x (resp. x) denote the largest (resp. smallest) value in the domain
of a variable x. Given a set of tasks J with start time variable si 2 [si; si], processing time
variable pi 2 [pi; pi], height variable i 2 [ i; i] and a resource r of constant capacity ur, recall
that cumulative((si; pi; i)i2J ; ur) enforces the relations
        </p>
        <p>X
i2Jjsi t&lt;si+pi
i</p>
        <p>Consequently, to model the problem, it su ces to associate a task Jki to each arc on the
evacuation path of each evacuation node k 2 E , with height variable k 2 [1; uk], start time
variable Ski 2 [0; H udvv ], duration variable pk 2 [ udvv ; dv]. A resource is de ned per arc e 2 A,
with capacity ue.</p>
        <p>The baseline constraint program for the evacuation planning problem is obtained by replacing
constraints (6) in the problem formulation of Section 2.3 by:
cumulative((Ski; pk; k)Jki 2Je; ue)
8e 2 A
(17)
4.3</p>
        <sec id="sec-4-1-1">
          <title>Heuristic</title>
          <p>We propose a simple compression heuristic to nd an initial upper bound. The heuristic is based
on the assumption that scheduling all evacuation tasks at time 0 with the minimum evacuation
rate yields a feasible solution, with a high cost. Starting from this solution (8k 2 E , we set the
start time sk := 0, the end time ek := dk, and the rate k := 1). Now an iterative process starts
where, at each iteration, the critical evacuation tasks, i.e. the one that minimizes the cost on
some edge, is identi ed. Then, its duration is decreased and its height is consequently increased
until (i) either no more height increase/duration decrease can be performed without exceeding
an edge capacity or (ii) the task is not critical anymore and another task becomes critical. If
case (i) occurs the process stops, otherwise, if case (ii) occurs, the compression process restarts
with the new critical task unless the objective increase is smaller than a prede ned parameter
, in which case the process also stops. Due to the possibility of only left shifting a task k by dk
at each iteration, this descent heuristic is of pseudo polynomial computational complexity.
5</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Computational experiments</title>
      <p>We generated 240 benchmark instances following the protocol described in Section 3. They are
organized into three types of road networks: Dense, Medium and Sparse where the density refers
to the number of intersections (respectively 400, 800 and 1200) in the land area. Notice that
the graph has always 4 edges per node, so this corresponds to graph size. The impact on the
instance is that larger graphs allow for more choices for the shortest paths and therefore longer
independent paths. For every type of road network, we generated 4 classes of instances, with
respectively 10, 15, 20 and 25 evacuation nodes. Finally, for every class we simulated 20 random
wild res and the subsequent evacuation trees.</p>
      <p>We used CPLEX 12.7 to solve the MILP formulation with default settings and CPOptimizer
12.7 for solving the CP formulation. The heuristic was used to provide an initial solution to
both solvers. We ran every method on every instance of the dataset with a time limit of 45
minutes on 4 cluster nodes, each with 35 Intel Xeon CPU E5-2695 v4 2.10GHz cores running
Linux Ubuntu 16.04.4.</p>
      <p>We provide here e few implementation details. We only used discrete evacuation rates as it
was simpler to implement in the CP solver. It follows that Constraints (4) was implemented
as an inequality ( ). The number of edges on which to check the cumulative constraint was
reduced thank to the observation that in a path on an evacuation only one edge is a bottleneck.
It follows that only one edge per path has to be considered as a limited resource. Last, the
opposite of the weighted slack was actually minimized, which amounts to a maximum weighted
lateness objective. The results are displayed in table 1, where we give for each solver the average
upper bound on each instance family and the optimality ratio, i.e. the percentage of veri ed
optimal solutions found.</p>
      <p>CPO</p>
      <p>MIP</p>
      <p>We can rst remark that the generated instances are hard to solve optimally for both solvers:
on average only 51% of the instances are solved to optimality with the same behavior for the
families: almost all the instances with10 evacuation node and a large part of the instances
with 15 evacuation nodes car be solved to optimality, while instances with 20 evacuation nodes
becomes much harder and the ones with 25 activities are intractable. As an outcome, our
generator is able to produce computationally challenging instances.</p>
      <p>In terms of comparison between integer and constraint programming, the integer program is
signi cantly outperformed by CP, both in terms of optimality ratio and of upper bounds on
maximum weighted lateness. This is both due to slower convergence time and memory issued
due to the huge size of the IP model. As a typical example, the instance medium 10 30 3 2 has
328147 binary variables and 3198 constraints after CPLEX preprocessing.</p>
      <p>In terms of the obtained objective function values, on the 240 instances only 45 have negative
values, meaning that in a majority of instances the evacuation could not be performed on some
edge before the expected deadline. Interestingly, all these 45 instances were solved to optimality,
which represents 36% of the 123 instances solved to optimality. 74% of the remaining instances,
correspond to pessimistic scenarios where the evacuation road network is unable to ensure the
evacuation of the the whole population before the traversal of some route segment would become
critical. If such situation occurred in actual road network this could give helpful support to the
authorities for increasing the capacity of speci c road segments or to build better prescribed
evacuation routes.
6</p>
    </sec>
    <sec id="sec-6">
      <title>Concluding remarks</title>
      <p>We have proposed a data instance generator and optimization frameworks for a computationally
challenging evacuation planning problem, with an objective function tailored to the event of
wild re. This generator could be improved by incorporating more sophisticated re propagation
models and actual road networks. The generation of evacuation routes is also an optimization
problem in itself. Feedback from the evacuation planning, in the case, which often occurred in
our experiments, where obtained safety margin are not su cient should be used to modi ed the
evacuation routes accordingly. In terms of the evacuation planning problem we have proposed
new integer and constraint programming formulation. To obtain competitive results with IP, one
should obviously consider decomposition approach as the problem is huge. Continuous models
could also be designed to reduce the number of variables. Even if CP obtains much better
results, the vast majority of medium size instances could not be solved to optimality. As future
research directions, we will speci c global constraint that better capture the structure of the
problem as well as dedicated search strategies. Finally, we believe that coupling our approach
with simulation and/or stochastic{robust optimization will lead to useful decision support tools
in case of response to wild res.</p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgement</title>
      <p>This work is partially funded by the H2020-MSCA-RISE-2015 European project GEO-SAFE
(id 691161)</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Hal</surname>
            <given-names>E.</given-names>
          </string-name>
          <string-name>
            <surname>Anderson</surname>
          </string-name>
          .
          <article-title>Aids to determining fuel models for estimating re behavior</article-title>
          .
          <source>Technical Report 122</source>
          , United States Department of Agriculture- Forest
          <string-name>
            <surname>Service</surname>
          </string-name>
          ,
          <source>Intermountain Forest and Range Experiment Station Ogden, UT</source>
          <volume>84401</volume>
          ,
          <year>April 1982</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>Vedat</given-names>
            <surname>Bayram</surname>
          </string-name>
          .
          <article-title>Optimization models for large scale network evacuation planning and management: A literature review</article-title>
          .
          <source>Surveys in Operations Research and Management Science</source>
          ,
          <year>2016</year>
          . DOI:
          <volume>10</volume>
          .1016/j.sorms.
          <year>2016</year>
          .
          <volume>11</volume>
          .001.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>David</given-names>
            <surname>Eisenstat</surname>
          </string-name>
          .
          <article-title>Random road networks: the quadtree model</article-title>
          .
          <source>CoRR, abs/1008.4916</source>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Caroline</given-names>
            <surname>Even</surname>
          </string-name>
          , Victor Pillac, and Pascal Van Hentenryck.
          <article-title>NICTA evacuation planner: Actionable evacuation plans with contra ows</article-title>
          .
          <source>In ECAI 2014 - 21st European Conference on Arti cial Intelligence</source>
          ,
          <fpage>18</fpage>
          -22
          <source>August</source>
          <year>2014</year>
          , Prague, Czech Republic - Including
          <source>Prestigious Applications of Intelligent Systems (PAIS</source>
          <year>2014</year>
          ), pages
          <fpage>1143</fpage>
          {
          <fpage>1148</fpage>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Caroline</given-names>
            <surname>Even</surname>
          </string-name>
          , Victor Pillac, and Pascal Van Hentenryck.
          <article-title>Convergent plans for large-scale evacuations</article-title>
          .
          <source>In Proceedings of the Twenty-Ninth AAAI Conference on Arti cial Intelligence, January 25-30</source>
          ,
          <year>2015</year>
          , Austin, Texas, USA., pages
          <volume>1121</volume>
          {
          <fpage>1127</fpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>Caroline</given-names>
            <surname>Even</surname>
          </string-name>
          , Andreas Schutt, and Pascal Van Hentenryck.
          <article-title>A constraint programming approach for non-preemptive evacuation scheduling</article-title>
          .
          <source>In Principles and Practice of Constraint Programming - 21st International Conference, CP</source>
          <year>2015</year>
          ,
          <article-title>Cork</article-title>
          , Ireland,
          <source>August 31 - September 4</source>
          ,
          <year>2015</year>
          , Proceedings, pages
          <volume>574</volume>
          {
          <fpage>591</fpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>Edward</surname>
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Galea</surname>
          </string-name>
          , Mathew Owen, and
          <string-name>
            <surname>Peter J. Lawrence</surname>
          </string-name>
          .
          <source>The EXODUS Model. Fire Engineers Journal</source>
          , pages
          <volume>26</volume>
          {
          <fpage>30</fpage>
          ,
          <year>1996</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          <article-title>[8] Geo-safe - geospatial based environment for optimisation systems addressing re emergencies, MSCA-</article-title>
          <string-name>
            <surname>RISE-</surname>
          </string-name>
          2015
          <string-name>
            <surname>- Marie</surname>
          </string-name>
          Sklodowska-Curie Research and
          <article-title>Innovation Sta Exchange (RISE) European projet { id 691161</article-title>
          . http://fseg.gre.ac.uk/fire/geo-safe.
          <source>html. Accessed: July</source>
          <volume>11</volume>
          ,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Kanal</given-names>
            <surname>Kumar</surname>
          </string-name>
          , Julia Romanski, and Pascal Van Hentenryck.
          <article-title>Optimizing infrastructure enhancements for evacuation planning</article-title>
          .
          <source>In Proceedings of the Thirtieth AAAI Conference on Arti cial Intelligence</source>
          ,
          <source>February 12-17</source>
          ,
          <year>2016</year>
          , Phoenix, Arizona, USA., pages
          <volume>3864</volume>
          {
          <fpage>3870</fpage>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>Victor</surname>
            <given-names>Pillac</given-names>
          </string-name>
          , Manuel Cebrian, and Pascal Van Hentenryck.
          <article-title>A column-generation approach for joint mobilization and evacuation planning</article-title>
          .
          <source>Constraints</source>
          ,
          <volume>20</volume>
          (
          <issue>3</issue>
          ):
          <volume>285</volume>
          {
          <fpage>303</fpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>Victor</surname>
            <given-names>Pillac</given-names>
          </string-name>
          , Caroline Even, and Pascal Van Hentenryck.
          <article-title>A con ict-based path-generation heuristic for evacuation planning</article-title>
          .
          <source>Transportation research part B</source>
          , (
          <volume>83</volume>
          ):
          <volume>136</volume>
          {
          <fpage>150</fpage>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>Victor</surname>
            <given-names>Pillac</given-names>
          </string-name>
          , Pascal Van Hentenryck,
          <string-name>
            <given-names>and Caroline</given-names>
            <surname>Even</surname>
          </string-name>
          .
          <article-title>A path-generation matheuristic for large scale evacuation planning</article-title>
          .
          <source>In Hybrid Metaheuristics - 9th International Workshop</source>
          , HM 2014, Hamburg, Germany, June 11-13,
          <year>2014</year>
          . Proceedings, pages
          <volume>71</volume>
          {
          <fpage>84</fpage>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>Julia</given-names>
            <surname>Romanski</surname>
          </string-name>
          and Pascal Van Hentenryck.
          <article-title>Benders decomposition for large-scale prescriptive evacuations</article-title>
          .
          <source>In Proceedings of the Thirtieth AAAI Conference on Arti cial Intelligence</source>
          ,
          <source>February 12-17</source>
          ,
          <year>2016</year>
          , Phoenix, Arizona, USA., pages
          <volume>3894</volume>
          {
          <fpage>3900</fpage>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <surname>Richard</surname>
            <given-names>C.</given-names>
          </string-name>
          <string-name>
            <surname>Rothermel</surname>
          </string-name>
          .
          <article-title>A mathematical model for re spread predictions in wildland fuels</article-title>
          .
          <source>Technical Report 115</source>
          ,
          <string-name>
            <given-names>USDA</given-names>
            <surname>For</surname>
          </string-name>
          . Serv., lntermt. For. and
          <string-name>
            <given-names>Range</given-names>
            <surname>Exp</surname>
          </string-name>
          . Stn.,
          <string-name>
            <surname>Ogden</surname>
          </string-name>
          , Utah, USA,
          <year>1972</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <surname>Shahrooz</surname>
            <given-names>Shahparvari</given-names>
          </string-name>
          , Prem Chhetri, Babak Abbasi, and
          <string-name>
            <given-names>Ahmad</given-names>
            <surname>Abareshi</surname>
          </string-name>
          .
          <article-title>Enhancing emergency evacuation response of late evacuees: Revisiting the case of australian black saturday bush re</article-title>
          .
          <source>Transportation Research Part E: Logistics and Transportation Review</source>
          ,
          <volume>93</volume>
          :
          <fpage>148</fpage>
          {
          <fpage>176</fpage>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>Alexander</given-names>
            <surname>Stepanov and James MacGregor Smith.</surname>
          </string-name>
          <article-title>Modeling wild re propagation with delaunay triangulation and shortest path algorithms</article-title>
          .
          <source>European Journal of Operational Research</source>
          ,
          <volume>218</volume>
          (
          <issue>3</issue>
          ):
          <volume>775</volume>
          {
          <fpage>788</fpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <surname>Anand</surname>
            <given-names>Veeraswamy</given-names>
          </string-name>
          , Edwin R Galea, Lazaros Filippidis,
          <string-name>
            <surname>Peter J Lawrence</surname>
          </string-name>
          , and
          <string-name>
            <surname>Robert J Gazzard.</surname>
          </string-name>
          <article-title>The simulation of urban-scale evacuation scenarios: Swinley forest re</article-title>
          .
          <source>In Proceedings 6th Int Symp Human Behaviour in Fire</source>
          , pages
          <volume>221</volume>
          {
          <fpage>232</fpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <surname>David</surname>
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Weise</surname>
            and
            <given-names>Gregory S.</given-names>
          </string-name>
          <string-name>
            <surname>Biging</surname>
          </string-name>
          .
          <article-title>A qualitative comparison of re spread models incorporating wind and slope e ects</article-title>
          .
          <source>Forest Science</source>
          ,
          <volume>43</volume>
          (
          <issue>2</issue>
          ):
          <volume>170</volume>
          {
          <fpage>180</fpage>
          ,
          <year>1997</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>