22.01.2014 Views

IEOR 269, Spring 2010 Integer Programming and Combinatorial ...

IEOR 269, Spring 2010 Integer Programming and Combinatorial ...

IEOR 269, Spring 2010 Integer Programming and Combinatorial ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>IEOR</strong><strong>269</strong> notes, Prof. Hochbaum, <strong>2010</strong><br />

ii<br />

10 General Matching Problem 14<br />

10.1 Maximum Matching Problem in Bipartite Graphs . . . . . . . . . . . . . . . . . . . . 14<br />

10.2 Maximum Matching Problem in Non-Bipartite Graphs . . . . . . . . . . . . . . . . . 15<br />

10.3 Constraint Matrix Analysis for Matching Problems . . . . . . . . . . . . . . . . . . . 16<br />

11 Traveling Salesperson Problem (TSP) 17<br />

11.1 IP Formulation for TSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17<br />

12 Discussion of LP-Formulation for MST 18<br />

13 Branch-<strong>and</strong>-Bound 20<br />

13.1 The Branch-<strong>and</strong>-Bound technique . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />

13.2 Other Branch-<strong>and</strong>-Bound techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . 22<br />

14 Basic graph definitions 23<br />

15 Complexity analysis 24<br />

15.1 Measuring quality of an algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24<br />

15.1.1 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24<br />

15.2 Growth of functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26<br />

15.3 Definitions for asymptotic comparisons of functions . . . . . . . . . . . . . . . . . . . 26<br />

15.4 Properties of asymptotic notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26<br />

15.5 Caveats of complexity analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27<br />

16 Complexity classes <strong>and</strong> NP-completeness 28<br />

16.1 Search vs. Decision . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28<br />

16.2 The class NP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29<br />

17 Addendum on Branch <strong>and</strong> Bound 30<br />

18 Complexity classes <strong>and</strong> NP-completeness 31<br />

18.1 Search vs. Decision . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31<br />

18.2 The class NP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32<br />

18.2.1 Some Problems in NP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33<br />

18.3 The class co-NP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34<br />

18.3.1 Some Problems in co-NP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34<br />

18.4 NP<strong>and</strong> co-NP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34<br />

18.5 NP-completeness <strong>and</strong> reductions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35<br />

18.5.1 Reducibility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35<br />

18.5.2 NP-Completeness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36<br />

19 The Chinese Checkerboard Problem <strong>and</strong> a First Look at Cutting Planes 40<br />

19.1 Problem Setup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40<br />

19.2 The First <strong>Integer</strong> <strong>Programming</strong> Formulation . . . . . . . . . . . . . . . . . . . . . . . 40<br />

19.3 An Improved ILP Formulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40<br />

20 Cutting Planes 43<br />

20.1 Chinese checkers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43<br />

20.2 Branch <strong>and</strong> Cut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

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

Saved successfully!

Ooh no, something went wrong!