Lecture 10 February 4, 2013

Similar documents
1 Matroid intersection

Lecture 5 January 16, 2013

1 Perfect Matching and Matching Polytopes

CS675: Convex and Combinatorial Optimization Fall 2014 Combinatorial Problems as Linear Programs. Instructor: Shaddin Dughmi

Graph coloring, perfect graphs

4 Packing T-joins and T-cuts

Definition 2.3. We define addition and multiplication of matrices as follows.

Solving the MWT. Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP:

Hermite normal form: Computation and applications

3. Linear Programming and Polyhedral Combinatorics

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 17: Combinatorial Problems as Linear Programs III. Instructor: Shaddin Dughmi

Week 4. (1) 0 f ij u ij.

A short course on matching theory, ECNU Shanghai, July 2011.

CS675: Convex and Combinatorial Optimization Fall 2016 Combinatorial Problems as Linear and Convex Programs. Instructor: Shaddin Dughmi

CMPSCI611: The Matroid Theorem Lecture 5

Combinatorial Optimization

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

Computational Integer Programming. Lecture 2: Modeling and Formulation. Dr. Ted Ralphs

Shortest paths with negative lengths

A simple LP relaxation for the Asymmetric Traveling Salesman Problem

ACO Comprehensive Exam October 18 and 19, Analysis of Algorithms

EE595A Submodular functions, their optimization and applications Spring 2011

3. Linear Programming and Polyhedral Combinatorics

The cocycle lattice of binary matroids

Lecture 1 and 2: Random Spanning Trees

Acyclic Digraphs arising from Complete Intersections

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Greedy Algorithms. CSE 101: Design and Analysis of Algorithms Lecture 10

CS 6820 Fall 2014 Lectures, October 3-20, 2014

Integer Programming, Part 1

RESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices

1 Some loose ends from last time

15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu)

Lifting theorems and facet characterization for a class of clique partitioning inequalities

Decomposing oriented graphs into transitive tournaments

An 1.75 approximation algorithm for the leaf-to-leaf tree augmentation problem

On Generalizations of Network Design Problems with Degree Bounds

Advanced Combinatorial Optimization September 24, Lecture 5

Ring Sums, Bridges and Fundamental Sets

The Jordan Canonical Form

Section Notes 8. Integer Programming II. Applied Math 121. Week of April 5, expand your knowledge of big M s and logical constraints.

2.1 Laplacian Variants

Semimatroids and their Tutte polynomials

Dual Consistent Systems of Linear Inequalities and Cardinality Constrained Polytopes. Satoru FUJISHIGE and Jens MASSBERG.

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

Mathematical Programs Linear Program (LP)

Advanced Combinatorial Optimization Updated February 18, Lecture 5. Lecturer: Michel X. Goemans Scribe: Yehua Wei (2009)

16.1 Min-Cut as an LP

ACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS

Lecture Introduction. 2 Brief Recap of Lecture 10. CS-621 Theory Gems October 24, 2012

Advanced Combinatorial Optimization Updated April 29, Lecture 20. Lecturer: Michel X. Goemans Scribe: Claudio Telha (Nov 17, 2009)

14 : Theory of Variational Inference: Inner and Outer Approximation

A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits

NATIONAL UNIVERSITY OF SINGAPORE CS3230 DESIGN AND ANALYSIS OF ALGORITHMS SEMESTER II: Time Allowed 2 Hours

CPSC 536N: Randomized Algorithms Term 2. Lecture 9

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2

Graph Theory. Thomas Bloom. February 6, 2015

Lecture 14: Random Walks, Local Graph Clustering, Linear Programming

Discrete Wiskunde II. Lecture 5: Shortest Paths & Spanning Trees

arxiv: v1 [math.ra] 13 Jan 2009

Unit 2, Section 3: Linear Combinations, Spanning, and Linear Independence Linear Combinations, Spanning, and Linear Independence

1 Submodular functions

On the adjacency matrix of a block graph

CSC 2414 Lattices in Computer Science September 27, Lecture 4. An Efficient Algorithm for Integer Programming in constant dimensions

1 Overview. 2 Extreme Points. AM 221: Advanced Optimization Spring 2016

Filters in Analysis and Topology

A Randomized Rounding Approach to the Traveling Salesman Problem

c i r i i=1 r 1 = [1, 2] r 2 = [0, 1] r 3 = [3, 4].

Topic: Primal-Dual Algorithms Date: We finished our discussion of randomized rounding and began talking about LP Duality.

On improving matchings in trees, via bounded-length augmentations 1

Duality of LPs and Applications

MAT-INF4110/MAT-INF9110 Mathematical optimization

The Topology of Intersections of Coloring Complexes

Partial cubes: structures, characterizations, and constructions

Matroid Optimisation Problems with Nested Non-linear Monomials in the Objective Function

Linear Algebra II. 2 Matrices. Notes 2 21st October Matrix algebra

Discrete Optimization 2010 Lecture 2 Matroids & Shortest Paths

Classical Complexity and Fixed-Parameter Tractability of Simultaneous Consecutive Ones Submatrix & Editing Problems

DETECTION OF FXM ARBITRAGE AND ITS SENSITIVITY

Lecture Overview. 2 Weak Induction

Contents. Introduction

Topological properties

A combinatorial algorithm minimizing submodular functions in strongly polynomial time

Lecture #21. c T x Ax b. maximize subject to

The Cutting Plane Method is Polynomial for Perfect Matchings

1 Matchings in Non-Bipartite Graphs

NP-Completeness Review

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**

CS 350 Algorithms and Complexity

1 Overview. 2 Multilinear Extension. AM 221: Advanced Optimization Spring 2016

/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Matroids and Greedy Algorithms Date: 10/31/16

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS

Transportation Problem

The Steiner Network Problem

Acyclic subgraphs with high chromatic number

Lattices and Hermite normal form

Tree sets. Reinhard Diestel

Advanced Combinatorial Optimization September 22, Lecture 4

1 Maximum Budgeted Allocation

Lecture 4: An FPTAS for Knapsack, and K-Center

Transcription:

UBC CPSC 536N: Sparse Approximations Winter 2013 Prof Nick Harvey Lecture 10 February 4, 2013 Scribe: Alexandre Fréchette This lecture is about spanning trees and their polyhedral representation Throughout the lecture, we fix our base graph G = (V, E) to be undirected and connected, with V = n 1 Spanning Trees We start with the basic definitions Definition 11 A set T E is a spanning tree if T is connected and acyclic; or T is a maximal cyclic subgraph; or T is acyclic with T = n 1; or T is a minimal connected spanning subgraph It is easy to show that the above defining properties of spanning trees are equivalent See Figure 1 for a example of a spanning tree G T Figure 1: A spanning tree T of an undirected graph G Let s see if we can find defining inequalities for spanning trees Since spanning trees are acyclic, we know they can t select too many edges in a set of nodes Formally, for any U V, let E[U] = {e = uv E : u, v U} Claim 12 Let T be a spanning tree of G Then T E[U] U 1 for all U V Proof Consider the subgraph (U, T E[U]) of G By the acyclic property of T, this subgraph is also acyclic Any acyclic subgraph of (U, E[U]) can have at most U 1 edges So T E[U] U 1 11 Polyhedral Representation Let s now see how we can frame spanning trees and the inequality of Claim 12 in polyhedral terms 1

Definition 13 For any T E, the characteristic vector χ T {0, 1} E is defined as { 1 if e T χ T (e) = 0 otherwise Moreover, as with our previous notation, for any C E, χ T (C) = e C χ T (e) = T C Claim 12 shows that if T is a spanning tree and U V is arbitrary, then χ T (E[U]) U 1 This is a linear inequality constraint for the vector χ T We use these constraints (one for each U V ) to define a polyhedron Let Q = {x R E 0 : x(e) = n 1, x(e[u]) U 1 U V } Note that Q [0, 1] E Indeed, we have that the single entries of the vectors in Q are bounded, as 0 x(e = uv) {u, v} 1 = 1 for every edge e E The following follows easily from our definition of spanning tree and Claim 12: Corollary 14 Let T be any spanning tree, then χ T Q Hence, Q contains all characteristic vectors corresponding to spanning trees The remaining work will be concerned with showing that (the extreme points of) Q are precisely the characteristic vectors of spanning trees First, we construct an alternate definition for Q Definition 15 For any C E, let κ(c) be the number of connected components of (V, C) Moreover, let r(c) = n κ(c) An intuition behind r(c) is that it is the largest acyclic set of edges that can be chose from C, that is r(c) = max{ F : F C, F is acyclic} Now define P = {x R E 0 : x(e) = n 1, x(c) r(c) C E} As we see next, the polytopes P and Q are equivalent This will be a useful fact because, even though Q may be more intuitive, P has easier to use structural constraints Claim 16 P = Q Proof We proceed in two steps: P Q; Say x P Given U V, let C = E[U] We know that each node in V \ U is a singleton connected component in (V, C), hence κ(c) n U Moreover, U itself will form at least one big connected components (possibly many more), so in fact κ(c) n U + 1 Hence, x(e[u]) = x(c) r(c) = n κ(c) U 1 and thus x Q Q P ; Say x Q Given C E, let the connected components of (V, C) be {(V i, C i )} κ i=1, where 2

naturally κ = κ(c) Then x(c) = κ i=1 x(c i) Since x 0 and C i E[V i ], we have that x(c) = κ x(c i ) i=1 κ x(e[v i ]) i=1 κ V i 1 = V κ = n κ(c) = r(c), i=1 so x P Both P and Q represent the spanning tree polytope Now we state our main results Theorem 17 Let x be an extreme point of Q Then x = χ T for some spanning tree T It is perhaps not clear at this point whether this theorem is useful suppose we want to find a spanning tree that optimizes a linear cost function Can we simply solve the linear program max { w T x : x P }? One issue is that P is defined by exponentially many linear constraints, so it is not immediately clear that this linear program can be solved in polynomial time 1 Our theorem is implied from the following integrality result: Lemma 18 Let x be an extreme point of Q Then x {0, 1} E Let s use the lemma to show our theorem Proof of Theorem 17 Let x be an extreme point of Q Since x {0, 1} E from Lemma 18, x = χ T for some T E We know that T = x(e) = n 1 For T to be an extreme point, we only need it to be acyclic (according to Definition 11) Suppose T is not acylic, and let C T be a cycle Note that κ(c) = n C + 1 as C is connected Hence, r(c) = C 1 However, x(c) = T C = C, so x(c) r(c), and thus x P, so x Q by Claim 16; contradiction So T is acyclic, and is a spanning tree Proving the lemma requires additional machinery 2 Submodularity, Lattices and Chains So the bulk of the work remaining is in the proof of Lemma 18 Recall that we already proved an integrality result for the st-flow polyhedron, where we used the concept of totally unimodular matrices However, in our situation, we will need new tools We first start with a technical result Claim 21 Let A, B, C E be disjoint set of edges Then, κ(c) κ(a C) κ(b C) κ(a B C) Proof First, note that we can focus on the case where B = 1 Indeed, induction gives us the remaining cases As a quick argument, suppose B = {b i } t i=1 and that the result holds for any 1 The linear program max { w T x : x P } can be solved in polynomial time by a greedy combinatorial algorithm The duality theory of linear programming is convenient for proving correctness of that algorithm Unfortunately we don t have time to discuss this further 3

B such that B < t, then κ(b C) κ(a B C) = κ({b i } t i=1 C) κ(a {b i } t i=1 C) = κ(c {b t }) κ(a C {b t }) where C = C {b i } i=1 t 1, using the result for B = 1 gives us and using the induction hypothesis yields κ(c ) κ(a C ) = κ(c {b i } t 1 i=1 ) κ(a C {b i} t 1 i=1 ) κ(b C) κ(a B C) κ(c) κ(a C) So assume B = {b} The left-hand-side of the inequality we want to show corresponds to the number of components of (V, C) that get connected by A Similarly, the right-hand-side is the number of components of (V, B C) that get tied together by A Intuitively, there are less components to tie together in (V, B C) that there are in (V, C), which explains the inequality To formalize the argument, consider the following three cases: The endpoints of b are in the same component of C; In this case, κ(b C) = κ(c) and κ(a B C) = κ(a C) as adding b does not connect two distinct components of (V, C) Hence, κ(c) κ(a C) = κ(b C) κ(a B C) The endpoints of b are in the same component of A C, but not in the same component of C alone; So adding b does not connect two distinct components of (V, A C), so κ(a B C) = κ(a C), but does connect two components of (V, C), so κ(b C) = κ(c) 1 Hence, κ(b C) κ(a B C) = κ(c) 1 κ(a C) κ(c) κ(a C) The endpoints of b are not in the same component of A C; This means b connects two distinct components both in (V, A C) and (V, C), so κ(b C) = κ(c) 1 and κ(a B C) = κ(a C) 1, and thus κ(b C) κ(a B C) = κ(c) 1 κ(a C) + 1 = κ(c) κ(a C) The key new tool we use for our integrality result is in the following concept Definition 22 A set function f : (X) R is submodular if f(s) + f(t ) f(s T ) + f(s T ) for all S, T (X) Here (X) denotes the power set of X, ie, the collection of all subsets of X Claim 23 The function r : (E) R from Definition 15 is submodular 4

Proof We show that for any S, T (E), r(s) + r(t ) r(s T ) + r(s T ) This is quite straightforward from the result of Claim 21: κ(c) κ(a C) κ(b C) κ(a B C) κ(c) + κ(a B C) κ(a C) + κ(b C) Let A = S \ T, B = T \ S and C = S T, then κ(s T ) + κ(s T ) κ(s) + κ(t ) κ(s T ) κ(s T ) κ(s) κ(t ) (n κ(s T )) + (n κ(s T )) (n κ(s)) + (n κ(t )) r(s T ) + r(s T ) r(s) + r(t ) The submodularity of r will yield interesting structure in the tight constraints of P Definition 24 Let x P A set C E is tight for x if x(c) = r(c) Let T x = {C E : x(c) = r(c)} be the collection of tight sets at x Note that E is always in T x, since x(e) = n 1 = r(e) One of the main trick to unravel such tight sets structure is uncrossing Claim 25 Let S and T be tight for x P Then S T and S T are also tight Proof Since x P, we know that r(s T ) x(s T ) and r(s T ) x(s T ) Furthermore, note that x(s T ) + x(s T ) = x(s) + x(t ) Indeed, x(s) = x(s \ T ) + x(s T ), x(t ) = x(s \ T ) + x(s T ) and x(s T ) = x(s \ T ) + x(t \ S) + x(s T ), so x(s T ) + x(s T ) = x(s \ T ) + x(t \ S) + x(s T ) + x(s T ) = x(s) + x(t ) Piecing those two observations together yields r(s T ) + r(s T ) x(s T ) + x(s T ) = x(s) + x(t ) = r(s) + r(t ) r(s T ) + r(s T ), and thus equality must hold throughout, so r(s T ) + r(s T ) = x(s T ) + x(s T ) Finally, since x(s T ) r(s T ) and x(s T ) r(s T ), we must in fact have individual equality x(s T ) = r(s T ) and x(s T ) = r(s T ), and thus S T and S T are also tight Claim 25 say that T x forms a lattice S, T T x implies S T, S T T x Definition 26 A sequence of sets {C i } k i=1 is a chain if C i C i+1 for all i [k 1] 5

The properties of maximal chains in lattices will be the key to get our desired result Again fix x to be an extreme point of P Let = C 0 C 1 C 2 C k 1 C k = E be an inclusion-wise maximal chain in T x Let C i = C i \ C i 1 so C i = j i C j and the C i s are disjoint Lemma 27 For all S T x, χ S span({χ Ci : i [k]}) Proof Fix a tight set S T x First, suppose there exists a j [k] such that S C j is a proper subset of C j (ie S C j {, C j } see Figure 2) Let C = (S C j ) C j 1 = (S C j ) C j 1 Since T x is a lattice, C T x However, C j 1 C C j ; contradiction to the maximality of our chain C j 1 C j C j+1 S C j S Figure 2: A set S T x partially intersecting a C j So for every tight set S T x, we must have S C j {, C j } for all j [k] Since S E = C k, there is a J S [k] so that S = j J S C j, so χ S = and thus χ S span({χ Cj : j [k]}) j J S χ C j = j J S (χ Cj χ Cj 1 ) We now have the tools required to finalize our target result Proof of Lemma 18 Let x be our extreme point Note that it is a basic feasible solution, so its tight constraints span the whole space R E Formally, this means span({χ S : S T x } {e i : x i = 0}}) = RE One thing to note here is that the tight constraints at x are not only from T x They can also be tight non-negativity constraints coming from the requirement that x 0 in P That is why we also add the possibly tight e T i x 0 By Lemma 27, we have that span({χ Ci : i [k]} {e i : x i = 0}}) = RE, where {C i } k i=1 is our inclusion-wise maximal chain in T x Our first step is to reorganize the coordinates so that all the zero entries of x are at the end (ie there is a l so that x i = 0 implies i > l) Hence, since x is a basic feasible solution, 6

[ ] y x = is the (unique) solution to z where y R l and z R m l χ T C 1 χ T C 2 χ T C k 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 [ ] y = z r(c 1 ) r(c 2 ) r(c k ) 0 0 0 Because of the lower portion of the constraint matrix, any solution have z = 0 Hence, y is the unique solution to χ T C 1 [l] r(c 1 ) χ T C 2 [l] y = r(c 2 ), r(c k ) χ T C k [l] [ ] y to the above must z where χ Ci [l] R l is χ Ci restricted to the first l coordinates Notice that this restriction doesn t affect the inclusion property of our chain, that is C i [l] C i+1 [l] for all i [k 1] Hence, we can reorder the columns (again) so that the matrix is a form where the 1s are all left-aligned (ie, no 1 is to the right of a 0) and lower rows have more ones (ie, no 0 is beneath a 1) For example, 1 0 0 0 0 1 1 1 0 0 r(c 1 ) 1 1 1 1 0 r(c 2 ) y = r(c 1 1 1 1 1 k ) Finally, the above system has a unique solution y, so it has full column rank Hence, we can delete rows to get a square l l non-singular matrix This last updated matrix must be lower triangular Indeed, there are no full zero rows or identical rows by non-singularity Hence, y is the unique solution to 1 0 0 0 1 1 0 0 r(c α1 ) 1 1 1 0 r(c α2 ) y = r(c 1 1 1 1 αl ) Hence, y 1 = r(c α 1 ) and y 1 + y 2 = r(c α 2 ), and more generally, y i = r(c αi ) r(c αi 1 ) Thus, y is integral since the r(c j ) s are integral, and thus x is integral 7