PhD-Course Combinatorial Optimization 1b
This PhD course is being taught in the research network
LNMB (Landelijk Netwerk Mathematische Besliskunde
which stands for Dutch national Network on the Mathematics of Operations Research).
Venue: Utrecht University, Wiskundegebouw, room 611AB, Monday 13:00-14:45,
Nov. 15, 2010 - Feb 14, 2011 (break from Dec 20, 2010 until Jan 17, 2011)
Material is taken from the lecture notes of "A course in Combinatorial
Optimization" by Lex Schrijver. You can download this material from Lex'
CWI website in PS
or PDF-format.
The preceding course CO1a was given by Monique Laurent and covers Chapters 1
upto 5 of these notes. I will deal with chapters 6 upto 10, covering topics
complexity (briefly), coloring, unimodularity, multi-commodity flows, and, if
time permits, matroids. Below I briefly describe the topics treated each
week, and the accompanying exercises. Those students who want the full 4 credits
for this course should work out these exercises to an appropriate level. You
can do this in couples of two. I hold both students totally responsible for
what they or their co-author write down. The worked out exercises should be
handed in or mailed after we finish the course (February 14, 2011), and
before March 14, 2011. Please send your answers,
either electronically, in PDF, to c.a.j.hurkens@tue.nl, or in writing,
to Cor Hurkens, Faculteit Wiskunde en Informatica, Technische Universiteit
Eindhoven, postbus 513, 5600 MB, Eindhoven
-
Class 1, November 15, 2010.
Contents:
(a) problems, instances, sizes; algorithms, run time, polynomial run time.
Decision problems versus Optimization problems.
Course CO2a (Woeginger) deals with complexity.
P: polynomially solvable problems; NP: problems with polynomially verifiable yes-instances.
Example: SATISFIABILITY is in NP; Definition:
a problem in NP is called DIFFICULT if it contains SATISFIABILITY as a special
case. An optimization problem is called HARD if its decision version is
difficult.
Material: sections 6.1-6.10 of Lecture Notes
Remark: the notes state that PRIMES (given a number, is it prime?) belongs to NP
as well as co-NP, but it was not known whether PRIMES is in P. The case was
settled in summer 2002 by three Indian scientists using he AKS algorithm.
Note that this does not help us in finding the decomposition of a non-prime number.
Exercise: none.
(b) definitions of matching, edge cover, vertex cover and stable set,
from chapter 3. SATISFIABILITY special case of COCLIQUE (proof). Matching and
edge cover are easy, for all graphs. Vertex cover and stable set easy for
bipartite graphs only. Relating problems by Gallai. Vertex coloring number
of (connected) graph DIFFICULT as well.
Material: section 3.1 and 7.1 of lecture notes.
Exercises: 7.1, 7.2
-
Class 2, November 22, 2010.
Contents: Vertex coloring number of (connected) graph DIFFICULT as well.
Even if graph is planar. Planar graph: five-colorable (proof by Thomassen).
General upper bound is Delta(G)+1 (trivial), Delta(G)
in case there is vertex of lower degree, and Delta(G), in case G is not K_n
or C_2n+1 (Brooks). Proof of Brooks' theorem, Berge, Hadwiger.
sub-structures: induced subgraphs, subgraphs, minors;
vertex-color-number at least clique-number, strict inequality for odd cycles
and their complement;
missed: Perfect Graph: each induced subgraph H colorable with w(H) colors;
Berge Graph: no induced odd cycle (>=5) or complement;
Berges conjecture, Hadwigers conjecture; line graph
of bipartite graphs: almost also bipartite, does not contain large induced
odd cycles;
edge-color-number at least max degree, equal to max degree for bipartite
graphs (with proof), edge-color-number at most max degree plus one (Vizing,
with proof, details below).
Material: sections 7.1 and 7.2 of lecture notes.
Proof of Brooks (PDF).
Proof of Vizing (PDF).
Exercises: 7.6, 7.8, 7.11, 7.12 (Remark: given a ground set X, and subsets A_1,...,A_k
of X, a subset T of X is called a transversal of (A_1,...,A_k),
in case T ={t_1,t_2,...,t_k} with distinct t_j, such that t_j\in A_j, j=1,...,k.
-
Class 3, November 29, 2010.
Contents:
seen various min-max relations, some are TIGHT, in particular for bipartite
graphs and their complements.
Relevant definition: a graph is PERFECT if, for EACH INDUCED subgraph G', its
vertex color number equals its largest clique size.
Bipartite graph is perfect (max clique size is 1 or 2 = color number);
also true for complement (with proof).
Partial order, chains, anti-chains, comparability graph, Dilworth's min-max
theorem.
Lovasz' theorem: graph is perfect if and only if for each INDUCED subgraph
alpha*omega >= number of vertices ; proof based on linear algebra.
Material: sections 7.3 and 7.4 of lecture notes.
Proof of perfectness of complement of bipartite graph (PDF).
Exercises: 7.23, 7.26.
HINT at 7.26: the nodes of the graph you have to consider are the metro lines,
NOT the metro stations.
-
Class 4, December 6, 2010.
Contents:
Using Lovasz' theorem to prove min-max relations for several structures:
for a bipartite graph, complement is perfect and hence edge cover number
equals stable set number; the line grap of a bipartite graph is perfect, hence
the edge color number of a bipartite graph equals the maximum degree.
Further we can reprove Dilworths decompositin theorem.
Definition of chordal graphs, simplicial vertex, intersection graph of subtrees
in tree; chordal graph is perfect; chordal graph is insection graph of
appropriate choice of trees; maximum number of mutually disjoint subtrees
equals minimum number of tree vertices that hit all subtrees.
Material: sections 7.4 and 7.5 of lecture notes.
Exercises: 7.28, 7.29.
HINT at 7.29: interval graph is the intersection graph of subpaths within a
path (in the above replace TREE by PATH), equivalently, interval graph
associates vertices with (open) intervals along real axis, and edges with
interval pairs that have non-empty intersection.
-
Class 5, December 13, 2010.
Contents:
ILP = max { c'x | Ax <= b, x integer }
is
difficult.
Polyhedron P = { x | Ax <= b } can be
without vertices, polytope cannot. See chapter 2 for theory on Linear
Programming. Polytope P is integer if each vertex is integer; generalization: a
polyhedon P is integer if, for each c for which { max cx, x in P }
exists, there exists an integer optimal vector. If polyhedron
P = { x | Ax <= b } is given by matrix A of full column rank,
again, P is integer if each vertex is integer.
Note that max { c'x | Ax <= b, x integer } <=
max { c'x
| Ax <= b } =
min { y'b | y'A = c', y >= 0 } <=
min { y'b | y'A = c', y >= 0, y integer }
. In general the inequalities
are strict. For special A we have equality throughout.
Definitions: matrix
A is totally unimodular if each k by k submatrix has determinant -1,0,
or +1, for k = 1,...,min{m,n}. Integer matrix A is unimodular if it
is of rank m and each m by m submatrix has det = 0,-1,+1.
Hoffman-Kruskal: A is totally unimodular if and only if, for all integer b:
P_b = { x | x >= 0, Ax <= b }
is integer.
Material: chapter 2, sections 8.1, 8.2.
Exercises: 8.7, 8.8, 8.10.
-
Class 6, January 24, 2011.
Contents: total unimodularity of adjacency matrix of bipartite
graph. Consequence: alternative proof of Koenig's theorems on matchings
and edge covers. Further: weighted versions of these theorems.
Total
unimodularity of vertex-arc incidence matrix of directed graph. Reproving
the max flow-min cut theorem (read for your self). Total unimodularity
of interval matrix. Material planning problem for railways: a weighted
circulation problem.
Material: lecture notes, sections 8.3, 8.4.
Exercises: 8.16, 8.18.
-
Class 7, January 31, 2011.
Contents:
recapitulation of max-flow equals min-cut theorem: s-t-cut W has capacity equal to
sum of flow upper bounds on arcs leaving W minus sum of flow lower bounds on arcs entering W.
Multicommodity flows are distinct s_i-t_i flows using the same
network capacity. There are directed and undirected variants, fractional
and integer variants, and in particular edge-disjoint, or vertex disjoint
path-variants.
Fractional variants are easy as they can be formulated as LPs; the remaining
variants are almost all NP-complete, for two or more commodities.
Necessary condition is: capacity of cut is at least demand across the
cut. Often not sufficient. Sufficient to have half-integral solution for
two-commodity undirected case (Hu, including proof).
Material: lecture notes, sections 9.1, 9.2.
Exercises: 9.3, 9.8.
-
Class 8, February 7, 2011.
Contents:
Extra conditions on MCFs may save the day:
planarity, or in Hu's case: parity condition: for each singleton cut set,
parity of capacity and demand are equal.
Vertex disjoint paths in undirected graphs for FIXED number of
source-sink-pairs is polynomially solvable; this extends to edge disjoint
paths in undirected graphs. Vertex disjoint paths in directed but acyclic
graphs is also easy, for FIXED number of s_i-t_i-pairs.
Planar graphs can be embedded by 1-1 functions P,Q_e mapping nodes v to
distinct points P(v), and mapping for e=(u,v) a point t \in [0,1] to Q_e(t),
such that Q_e(0)=P(u), Q_e(1)=P(v), Q_e is continuous, and the images of Q_e,
Q_f intersecting only at P(v) where v is an endpoint of both e and f.
Multicommodity flows in planar graphs, with commodity end points
on boundary of outer face. For the existence of vertex disjoint paths, it
is required that the s_i,t_i appear along boundary in a cross-free
order. A greedy algorithm decides whether or not required paths exist. A
necessary condition is that each simple closed curve intersects G at least
as often as it separates commodities. Robertson and Seymour prove that
cross-freeness and closed-curve-cut-condition together imply the existence
of the required paths.
Material: lecture notes, sections 9.3, 9.4.
Exercise: 9.14.
-
Class 9, February 14, 2011.
Contents:
In planar graphs, with commodity end points on boundary of outer face,
we look for edge disjoint paths connecting commodities. For the existence
of edge disjoint paths connecting commodities, the (regular) cut-condition
(c(X)>=d(X))
, does not imply the existence of paths. However,
if we add the parity-condition (c(X)=d(X) modulo 2)
, it can
be proved that paths do exist. We follow the proof by Okamura and Seymour.
A tight cut is a subset X in V for which c(X)=d(X)
. For
each tight cut X we know that each component inside G(X), or inside G(V\X),
is tight as well. The combined effect of cut-condition and parity is that
if c(X) < d(X)
, then c(X)<=d(X)-2
. Replacing a
commodity (s,t), by two commodities (s,v) and (v,t) can yield a violated
cut S only if it separates v from s and t and originally S was tight.
Material: lecture notes, sections 9.4, 9.5.
Exercises: None.