32
Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University Bistra Dilkina Cornell University Yexiang Xue Cornell University Carla P. Gomes Cornell University Kevin S. McKelvey US Forest Service Michael K. Schwartz US Forest Service Claire A. Montgomery Oregon State University July 18, 2013 AAAI’13 - CompSustAI

Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Robust Network Design for

Multispecies Conservation

Ronan Le Bras Cornell University

Bistra Dilkina Cornell University

Yexiang Xue Cornell University

Carla P. Gomes Cornell University

Kevin S. McKelvey US Forest Service

Michael K. Schwartz US Forest Service

Claire A. Montgomery Oregon State University

July 18, 2013 AAAI’13 - CompSustAI

Page 2: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Motivation: Biodiversity & Conservation

2

Maintaining landscape connectivity is critical to reduce inbreeding,

increase genetic diversity and provide resilience

Key causes of biodiversity loss:

Habitat Loss and Fragmentation

urbanization deforestation

agriculture

Page 3: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Motivation: Landscape Connectivity

• Current approaches in conservation biology: measure connectivity and identify likely linkages

• For a given species:1. identify core areas

2. model landscape resistance – landscape is represented as a raster of cells with associated species-specific “movement cost”

3. connectivity = shortest resistance-weighted path between pairs of core areas

3

Page 4: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Motivation: Landscape Connectivity

• Cost-effective Conservation Planning– Given limited budget, which parcels to buy to

to ensure a path connecting each pair of core areas while minimizing resistance

• Robustness– Environmental disasters, wildfires, climate change, etc

– Need to conserve multiple paths between each pair of core areas

4

Page 5: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Outline

• Motivation ✔

• Problem Definition

• MIP Formulation

• Local Search Approach

• Experimental Results

• Conclusions and Future work

5

Page 6: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Problem Definition: Minimum Delay Generalized Steiner Network

Given:

• Graph

• Node costs

• Node delay (or resistance)

• Set of terminals (or core areas)

• Set of terminal pairs

• Budget

• Connectivity

Find:

• A subset of nodes V’ such that

• k vertex-disjoint paths between each pair in P in G(V’)

• Minimize the resistance weight of selected paths

PÍT ´TT ÍV

G(V,E)c(v)

d(v)

B

c(v)vÎV '

å £ B

k

6

Page 7: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Landscape connectivity

vs. Network Design

7

Landscape

Connectivity

Network Design

How do we choose which

habitats to protect

so that landscapes will stay

robustly well-connected for

wild animal species?

Steiner tree problem,

Survivable network design,

etc

How do factor in specific

features of wildlife conservation,

e.g., different species

requirements, interactions of

species, etc?

New general models

and methodologies

• Minimum Steiner Multigraph Problem

• Budget-Constrained Steiner

Connected Subgraph Problem

with Node Profits and Node Costs

• Upgrading Shortest Path

• Minimum Delay

Generalized Steiner Network

Sensor Networks

Social Networks

Transportation Networks

Page 8: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Multi-commodity flow-based MIP encoding

• Variables:– xv – binary variable for each node v; 1 if purchased

– fpe – flow variable for each pair/commodity p and directed edge e

• Constraints – Budget constraint

– For each commodity / pair p=(s,t):

• Edges can be used only if both endpoints purchased

• Make s the source of k units of commodity p, and t the only sink

• Flow conservation at all nodes but s,t

• Vertex-disjoint paths: enforce incoming flow in every node except s,t to be at most 1

• Computing the objective:– Minimize total resistance using traditional mincost flow formulation

– Flow cost on edges: d(e= (u,v)) = d(v)+d(u)[ ] / 2

Page 9: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Synthetic Instances: 4 species on 30x30 grid

9

Each species has 2 core areas and specific resistance

Land cost: correlated with resistance, core areas are free

Page 10: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

MIP scalability on synthetic benchmark

10

Bad scaling

behavior

100 150 200 250 300 0

200

400

600

800

1000

1200

Percentage of Min Budget

Me

dia

n T

ime

(se

cs)

spc=1

spc=2

spc=3

spc=4

Page 11: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Challenge: Intricate combinatorial structure (hard constraints for the budget-constrained connectivity requirements) with a complex path-based optimization component

• Proposed Approach:– Find an initial feasible solution (by looking at cost only)

– Propose moves based on replacing whole parts of the solution but maintaining feasibility (Large-Neighborhood Search)

– Choose best move available (Hill Climbing)

– Until no improving move found

– Two neighborhoods: HC-SP and HC-MIP

11

Page 12: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

12

Local Search Approach

Terminal s1

Terminal t1Terminal s2

Terminal t2

Terminal pairs:

P=(s1,t1), (s2,t2)

Connectivity Req:

k=2

Page 13: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Definitions:– Key-node: A terminal node, or a Steiner node of degree at least 3

– Key-path: A path whose end points are key nodes, and intermediate nodes are not (i.e. Steiner nodes of degree 2).

13

Key-node

Example of key-path

Page 14: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Idea:– All nodes of a key-path p are used by the same set of commodities.

– When substituting a key-path p, the new path(s) needs to exclude any node used by other paths of these commodities (keep disjoint).

14

Key-node

key-path used by (s1,t1) and (s2,t2)key-path used by (s1,t1)

key-path used by (s2,t2)

Page 15: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Neighborhood: Given a feasible solution G and a key-path p, a neighbor solution replaces p in G with:

– HC-SP: the delay-aggregated shortest path connecting the end points of p,if its cost does not exceed the remaining budget

– HC-MIP: a set of budget-constrained shortest paths connecting the end points of p

• HC-MIP involves solving the proposed MIP encoding, but for much smaller subproblems (1 terminal pair, small remaining budget)

• The neighborhood of HC-MIP contains the one of HC-SP

• HC-MIP can find best replacement path that is within budget (not shortest)

• HC-MIP can find replacement involving multiple paths (for separate commodities)

15

Page 16: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Quality of LS solutions for 4 species

16

HC-SP

tens of secs

HC-MIP

upto 220 secs

MIP

upto 1119 secs

Page 17: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Real Data: Wolverines in Montana

• Western Montana: 6km grid cells (4514 cells)

• Wolverine: 6 core areas forming 15 pairs, connectivity k=4

17

Page 18: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Results for wolverines 15 pairs

18

100 110 120 130 140 1501

1.2

1.4

1.6

1.8

2

2.2x 10

4

Budget (in Millions)

To

tal R

esis

tance

HC−SP

HC−MIP

MIP LB

10 hrs

limit

4200 secs

per run

270 secs

per run

Page 19: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Conclusions & Future Work

• Robust conservation plans for landscape connectivity: problem formulation - Minimum Delay Generalized Steiner Network

• MIP encoding that provides optimal solutions and scales to small number of pairs

• Local Search methods that scale extremely well, but have no guarantees

• Solutions to a large-scale landscape connectivity problem: Wolverine conservation in West Montana

• Minimum Delay Generalized Steiner Network applications in other domains

• Other issues in robustness – climate change

19

Page 20: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Thank you!

20

Ronan Le Bras Cornell University

Bistra Dilkina Cornell University

Yexiang Xue Cornell University

Carla P. Gomes Cornell University

Kevin S. McKelvey US Forest Service

Michael K. Schwartz US Forest Service

Claire A. Montgomery Oregon State University

Page 21: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Solutions for B=$115M

21

HC-SP HC-MIP

Page 22: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Real data:West Montana

Multi-species

Multigraph GSN 22

Page 23: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Two species with 1 pair each

23

0 50 100 150

180

200

220

240

260

Budget (Millions)

Avg

De

lay P

er

Pa

th (

Mill

ion

s)

k=1

k=2

k=3

k=4

Page 24: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Wildlife Corridors

24

$20M$10M

Loss of a single parcel will disconnect

corridor

Page 25: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Landscape Connectivity

• Current approaches in conservation biology: measure connectivity and identify likely linkages

• For a given species:1. identify core areas

2. model landscape resistance – landscape is represented as a raster of cells with associated species-specific “movement cost”

3. connectivity = shortest resistance-weighted path between pairs of core areas

• Cost-effective Conservation Planning– Given limited budget, which parcels to buy to

to ensure a path connecting each pair of coreareas while minimizing resistance

• Robustness– Environmental disasters, wildfires, climate change, etc

– Need to conserve multiple paths between each pair of core areas25

Page 26: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Multi-commodity flow-based MIP encoding

• For each pair, the existence of k vertex-disjoint paths can be enforced using flow constraints

– Transform the graph into a directed graph with unit capacities on all edges

– For each terminal pair p=(s,t) create a separate commodity p

• Make s the source of k units of commodity p

• Make t the only sink in the graph for commodity p

• Computing the objective:– Minimize total resistance using traditional mincost flow formulation

– Flow cost on edges: d(e= (u,v)) = d(v)+d(u)[ ] / 2

Page 27: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Multi-commodity flow-based MIP encoding

• Variables:– xv – binary variable for each node v; 1 if purchased

– fpe – flow variable for each directed edge e and pair p

• Constraints – Budget constraint

– For each commodity / pair p=(s,t):

• Edges can be used only if both endpoints purchased

• Flow conservation at all nodes but s,t

• Vertex-disjoint paths: enforce incoming flow in every node except s,t to be at most 1

Page 28: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Example of HC-SP move:

28

Best key-path

candidate for the SP

neighborhood

Page 29: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Example of HC-SP move:

29

Page 30: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Example of HC-MIP move:

30

Best key-path

candidate for the SP

neighborhood

Best key-path

candidate for the MIP

neighborhood

Page 31: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Example of HC-MIP move:

31

These nodes are no

longer used by the

pair (s1,t1). The

original key node

became a node of

degree 2

Page 32: Robust Network Design for Multispecies Conservationlebras/publications/LeBras2013RobustNetwork… · Robust Network Design for Multispecies Conservation Ronan Le Bras Cornell University

Local Search Approach

• Example of HC-SP move:

32