1 / 39

Lecture 11 Overview

Lecture 11 Overview. Self-Reducibility. Overview on Greedy Algorithms. Revisit Minimum Spanning Tree. Exchange Property. Self-Reducibility. Max Independent Set in Matroid. Exchange Property. Self-Reducibility. Overview on Greedy Algorithms. Self-Reducibility. Exchange Property.

amyd
Download Presentation

Lecture 11 Overview

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Lecture 11 Overview Self-Reducibility

  2. Overview on Greedy Algorithms

  3. RevisitMinimum Spanning Tree

  4. Exchange Property

  5. Self-Reducibility

  6. Max Independent Set in Matroid

  7. Exchange Property

  8. Self-Reducibility

  9. Overview on Greedy Algorithms Self-Reducibility Exchange Property Matroid

  10. Local Ratio Method

  11. Basic Idea Proof

  12. Basic Idea

  13. Minimum Spanning Tree

  14. Activity Selection

  15. Puzzle

  16. Independent Set in Interval Graphs Activity 9 Activity 8 Activity 7 Activity 6 Activity 5 Activity 4 Activity 3 Activity 2 Activity 1 time • We must schedule jobs on a single processor with no preemption. • Each job may be scheduled in one interval only. • The problem is to select a maximum weight subset of non-conflicting jobs.

  17. Slide from http://www.cs.technion.ac.il/~reuven/STOC2000.ppt Independent Set in Interval Graphs Activity9 Activity8 Activity7 Activity6 Activity5 Activity4 Activity3 Activity2 Activity1 time Maximize s.t. For each instance I For each time t

  18. Maximal Solutions • We say that a feasible schedule is I-maximalif either it contains instance I, or it does not contain I but adding I to it will render it infeasible. Activity9 Activity8 Activity7 Activity6 Activity5 Activity4 Activity3 Activity2 Activity1 I2 I1 time The schedule above is I1-maximal and also I2-maximal

  19. Slide from http://www.cs.technion.ac.il/~reuven/STOC2000.ppt An effective profit function Activity9 Activity8 Activity7 Activity6 Activity5 Activity4 Activity3 Activity2 Activity1 P1=0 P1= P(Î) P1=0 P1=0 P1=0 P1= P(Î) P1=0 P1= P(Î) P1= P(Î) Î Let Îbe an interval that ends first;

  20. Slide from http://www.cs.technion.ac.il/~reuven/STOC2000.ppt An effective profit function Activity9 Activity8 Activity7 Activity6 Activity5 Activity4 Activity3 Activity2 Activity1 P1=0 P1= P(Î) P1=0 P1=0 P1=0 P1= P(Î) P1=0 P1= P(Î) P1= P(Î) Î For every feasible solution x: p1 ·x  p(Î) For every Î-maximal solution x: p1 ·x  p(Î) Every Î-maximal is optimal.

  21. Slide from http://www.cs.technion.ac.il/~reuven/STOC2000.ppt Independent Set in Interval Graphs:An Optimization Algorithm • Algorithm MaxIS( S, p ) • If S = Φ then returnΦ ; • If ISp(I) 0 then returnMaxIS( S - {I}, p); • Let ÎS that ends first; • IS define: p1(I) = p(Î)  (I in conflict with Î) ; • IS = MaxIS( S, p- p1) ; • If IS is Î-maximal then returnIS else return IS {Î};

  22. Slide from http://www.cs.technion.ac.il/~reuven/STOC2000.ppt Running Example P(I5) = 3 -4 P(I6) = 6 -4 -2 P(I3) = 5 -5 P(I2) = 3 -5 P(I1) = 5 -5 P(I4) = 9 -5 -4 -4 -5 -2

  23. Solution 1 Solution 2

  24. Minimum Weight Arborescence

  25. Definition

  26. Problem

  27. Key Point 1

  28. Key Point 2

  29. Why?

  30. Key Point 3 0

  31. Matroid Greedy Local Ratio Divide-and-Conquer Dynamic Programming Self-reducibility

  32. A Property of MST

More Related