Spatial Forest Planning with Integer Programming Lecture 10 (5/4/2015)

Slides:



Advertisements
Similar presentations
WOOD 492 MODELLING FOR DECISION SUPPORT Lecture 16 Integer Programming.
Advertisements

Design of the fast-pick area Based on Bartholdi & Hackman, Chpt. 7.
1 Material to Cover  relationship between different types of models  incorrect to round real to integer variables  logical relationship: site selection.
Based on customer demand, estimate:  ω s : minimum required amount of material s For final products, ω s is the customer demand Calculated once µ i is.
BU Decision Models Integer_LP1 Integer Optimization Summer 2013.
1 LP Duality Lecture 13: Feb Min-Max Theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum.
FORS 8450 Advanced Forest Planning Lecture 4 Extensions to Linear Programming.
Linear Programming Problem
Introduction to Algorithms
Introduction to Markov Random Fields and Graph Cuts Simon Prince
Approximation Algorithms Chapter 5: k-center. Overview n Main issue: Parametric pruning –Technique for approximation algorithms n 2-approx. algorithm.
Ch 2. 6 – Solving Systems of Linear Inequalities & Ch 2
EMIS 8373: Integer Programming Valid Inequalities updated 4April 2011.
FORS 8450 Advanced Forest Planning Lecture 12 Tabu Search Change in the Value of a Medium-Sized Forest when Considering Spatial Harvest Scheduling Constraints.
Rajat K. Pal. Chapter 3 Emran Chowdhury # P Presented by.
Integer Programming 3 Brief Review of Branch and Bound
Validating Streaming XML Documents Luc Segoufin & Victor Vianu Presented by Harel Paz.
Dynamic lot sizing and tool management in automated manufacturing systems M. Selim Aktürk, Siraceddin Önen presented by Zümbül Bulut.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Graph Theory Ch.5. Coloring of Graphs 1 Chapter 5 Coloring of Graphs.
Objectives: Set up a Linear Programming Problem Solve a Linear Programming Problem.
Linear Programming Digital Lesson. Copyright © by Houghton Mifflin Company, Inc. All rights reserved. 2 Linear programming is a strategy for finding the.
Uneven-aged Management II. Lecture 10 (5/4/2015).
FORS 4710 / 6710 Forest Planning FORS 8450 Advanced Forest Planning Lecture 2 Linear Programming.
Modeling Non-Timber Objectives in Harvest Scheduling with Linear Programming Lecture 4 (4/8/2014)
1 Lecture 4 Maximal Flow Problems Set Covering Problems.
Decision Procedures An Algorithmic Point of View
Zvi Kohavi and Niraj K. Jha 1 Capabilities, Minimization, and Transformation of Sequential Machines.
Linear Programming Chapter 13 Supplement.
FORS 8450 Advanced Forest Planning Lecture 21 Binary Search.
ENCI 303 Lecture PS-19 Optimization 2
Chapter 12 Discrete Optimization Methods
Integer Programming Key characteristic of an Integer Program (IP) or Mixed Integer Linear Program (MILP): One or more of the decision variable must be.
Chapter 1. Formulations 1. Integer Programming  Mixed Integer Optimization Problem (or (Linear) Mixed Integer Program, MIP) min c’x + d’y Ax +
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 10: February 18, 2015 Architecture Synthesis (Provisioning, Allocation)
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Two Discrete Optimization Problems Problem: The Transportation Problem.
Forest Management with Linear Programming Lecture 3 (4/6/2015)
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
1 Inventory Control with Time-Varying Demand. 2  Week 1Introduction to Production Planning and Inventory Control  Week 2Inventory Control – Deterministic.
1 An Arc-Path Model for OSPF Weight Setting Problem Dr.Jeffery Kennington Anusha Madhavan.
Dominance and Indifference in Airline Planning Decisions NEXTOR Conference: INFORMS Aviation Session June 2 – 5, 2003 Amy Mainville Cohn, KoMing Liu, and.
Management Science 461 Lecture 3 – Covering Models September 23, 2008.
Integer Programming (an example from reserve design) Lecture 7 (4/20/2015)
Times are discretized and expressed as integers from 1 to 1440 (minutes in a day). set of stations set of trains set of stations visited by train j The.
1 TCOM 5143 Lecture 10 Centralized Networks: Time Delay and Cost Tradeoffs.
The minimum cost flow problem. Solving the minimum cost flow problem.
Sullivan Algebra and Trigonometry: Section 12.9 Objectives of this Section Set Up a Linear Programming Problem Solve a Linear Programming Problem.
WOOD 492 MODELLING FOR DECISION SUPPORT Lecture 14 Sensitivity Analysis.
Linear Programming: A Geometric Approach3 Graphing Systems of Linear Inequalities in Two Variables Linear Programming Problems Graphical Solution of Linear.
Unconstrained Submodular Maximization Moran Feldman The Open University of Israel Based On Maximizing Non-monotone Submodular Functions. Uriel Feige, Vahab.
Capabilities, Minimization, and Transformation of Sequential Machines
Digital Lesson Linear Programming.
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Digital Lesson Linear Programming.
The minimum cost flow problem
1.206J/16.77J/ESD.215J Airline Schedule Planning
Spatial Forest Planning with Integer Programming
Introduction to linear programming (LP): Minimization
Integer Programming (정수계획법)
Linear Programming Objectives: Set up a Linear Programming Problem
Forest Management with Linear Programming
Chapter 1. Formulations (BW)
Integer Programming (정수계획법)
1.6 Linear Programming Pg. 30.
An integer programming approach for frequent itemset hiding
Chapter 1. Formulations.
Presentation transcript:

Spatial Forest Planning with Integer Programming Lecture 10 (5/4/2015)

Spatial Forest Planning

Spatial Forest Planning with Roads

Balancing the Age-class Distribution

Spatially-explicit Harvest Scheduling Models Set of management units T planning periods Decision: whether and when to harvest management units –Modeled with 0-1 variables –x mt = 1 if unit m is harvested in period t, 0 otherwise

Spatially-explicit Harvest Scheduling Models (continued) Constraints –Logical: can only harvest a unit once, at most –Harvest volume, area and revenue flow control –Ending conditions Minimum average ending age Extended rotations Target ending inventories –Maximum harvest area (green-up) –Others spatial concerns: Roads, mature patches, etc…

one constraint for each and for each t=h i,…,T Integer Programming Model for Spatial Forest Planning subject to: one constraint for each m=1,2,…,M one constraint for each t=1,2,…,T one constraint for each t=1,2,…,T-1 for each m=1,2,…,M and for each t=1,2,…,T

Notation where h m =the first period in which management unit m is old enough to be harvested, x mt = a binary variable whose value is 1 if management unit m is to be harvested in period t for t = h m,... T; when t = 0, the value of the binary variable is 1 if management unit m is not harvested at all during the planning horizon (i.e., xm0 represents the “do-nothing” alternative for management unit m), M =the number of management units in the forest, T =the number of periods in the planning horizon, c mt =the net discounted net revenue per hectare plus the discounted expected forest value at the end of the planning horizon if management unit m is harvested in period t, M ht = the set of management units that are old enough to be harvested in period t, A m =the area of management unit m in hectares, v mt =the volume of sawtimber in m 3 /ha harvested from management unit m if it is harvested in period t, H t =the total volume of sawtimber in m 3 harvested in period t,

and b l,t =a lower bound on decreases in the harvest level between periods t and t+1 (where, for example, bl,t = 1 would require non-declining harvests and bl,t = 0.9 would allow a decrease of up to 10%), b h,t =an upper bound on increases in the harvest level between periods t and t+1 (where bh,t = 1 would allow no increase in the harvest level and bh,t = 1.1 would allow an increase of up to 10%), C =the set of indexes corresponding to the management units in cover C, =the set of covers that arise from the problem, h i =the first period in which the youngest management unit in cover i is old enough to be harvested, =the age of management unit m at the end of the planning horizon if it is harvested in period t; and =the minimum average age of the forest at the end of the planning horizon. Notation cont.

The Challenge of Solving Spatially- Explicit Forest Management Models Formulations involve many binary (0-1) decision variables –Feasible region is not convex, or even continuous –In fact, it is a potentially immense set of points in n-dimensional space Solution times could increase more than exponentially with problem size

1.) Unit Restriction Model (URM): adjacent units cannot be cut simultaneously 2.) Area Restriction Model (ARM): adjacent units can be cut simultaneously as long as their combined area doesn’t exceed the maximum harvest opening size

Pair-wise Constraints for URM Pair-wise adjacency constraint for AB is Adjacency list: AB BC BD BE CD AD AE DF

What is a “better” formulation?

Maximal Clique Constraints for URM Clique adjacency constraint for ABD is Maximal clique list: BCD DF ABD ABE

Cover Constraints for ARM Cover constraint for FDC is: Cover list: ABC AE BCE BDEF CDF AD BCD In general: McDill et al. 2002

GMU Constraints for ARM GMU variable for BDF is: GMU list: A-F BD BDE BDF BE AB BC CD CF The constraint in general form: Where is the set of GMUs that contain at least one stand in max clique j; J is the set of max cliques; and h j is the first period in which the youngest stand in clique j is old enough to be cut. McDill et al and Goycoolea et al. 2005

The “Bucket” Formulation of ARM Introduce a class of “clearcuts”:, and Introduce variables that take the value of 1 if management unit m is assigned to clearcut i in period t. Objective function: Constantino et al. 2008

The “Bucket” Formulation of ARM (cont.) Constraints: for m = 1, 2,..., M for and t = h m,... T for and t = h m,... T for and t = h m,... T

The “Bucket” Formulation of ARM (cont.) Constraints: for t = 1, 2,... T for t = 1, 2,... T-1

The “Bucket” Formulation of ARM (cont.) takes the value of one whenever a unit in maximal clique is assigned to clearcut i in period t; is a maximal clique in the set of maximal cliques.

Strengthening and Lifting Covers

Formalization where C is a set of management units (nodes) that form a connected sub-graph of the underlying adjacency graph, and for which holds, but for any The minimal cover constraint has the general form of: maximum harvest area area of unit j

Strengthening the Minimal Covers denote the set of all possible minimal covers that arise from a certain forest planning problem (or adjacency graph). Notation: Let For every set of management units A, let the set of all management units adjacent, but not belonging, to A. Define: represent Define: Number of units in the forest

Proposition: Consider a minimal cover C Define: Then, for all is valid for P. and Strengthening the Minimal Covers Cont.

Proof: Consider If, then the inequality holds by the If, then: definition of minimal cover C.

How strong are these inequalities?

Sequential Lifting Algorithm Strengthening and lifting Compatibility testing

Open Questions: 1)Can one define a rule for multiple lifting? 2)Can one find even stronger inequalities? 3)Is there a better formulation?

A “Cutting Plane” Algorithm for the Cover Formulation