CSPP 55005 Advanced Algorithms — Winter 2013

Homework 2 (assigned January 17, due January 23)

Reading: CLRS chapter 26, sections 26.1–26.3.

Written assignment: Solve the following "Do" exercises and assigned problems. Only solutions to the assigned problems should be turned in.
Note: You are responsible for the material covered in both "Do" exercises and assigned problems.
Note: If you work with others, indicate their names at the top of your homework paper. Everyone must submit their own independently written solutions.

"Do" Exercises (not to be handed in):

  1. Exercise 26.1-6, page 714.

  2. Exercise 26.2-6, page 730.

  3. Exercise 26.2-11, page 731.

  4. Exercise 26.3-1, page 735.

  5. Exercise 26.3-3, page 735.

  6. Exercise 26.3-4, page 735.

  7. Problem 26-5, pages 762–763.

Assigned Problems (to be handed in):

  1. Problem 26-1, page 760–761.

  2. Problem 26-2, page 761.

  3. Problem 26-4, page 762. For each part, write pseudocode, explain your algorithm, and justify its O(V + E) running time. (5 points for each part)

  4. Consider an arbitrary directed network (G = (V, E), s, t, capacities c: V × VR+) in which we want to find the maximum flow. Assume for simplicity that all edge capacities are at least 1, and define the capacity of an s-to-t path to be the smallest capacity of its constituent edges, c(p) = min{c(u, v): (u, v) is an edge in p}. The fattest path from s to t is the path with the largest capacity c(p).

  5. You are given a directed graph G = (V, E), with a source sV and sink tV, and nonnegative numbers l(u, v) for each edge (u, v) ∈ E. We define a flow f, and the value of a flow as usual, requiring that all vertices except s and t satisfy flow conservation. However, the given numbers l are lower bounds on the edge flow: i.e., they require that  f (u, v) ≥ l(u, v) for each edge (u, v) ∈ E, and there is no upper bound on flow values on the edges. We call an s-to-t flow f feasible if and only if  f (u, v) ≥ l(u, v) for every edge (u, v). A natural problem in this setting is to find a feasible s-to-t flow of minimum value.

Gerry Brady and Janos Simon
Thursday January 17 15:00:10 CST 2013