CS 466666 Algorithm Design and Analysis Spectral Sparsification

  • Slides: 22
Download presentation
CS 466/666 - Algorithm Design and Analysis Spectral Sparsification Waterloo, 9 July 2020 1

CS 466/666 - Algorithm Design and Analysis Spectral Sparsification Waterloo, 9 July 2020 1

Today’s Plan Effective Resistance No office hour today. • Cover time Proposal to be

Today’s Plan Effective Resistance No office hour today. • Cover time Proposal to be submitted July 13 (4 received!). • Spectral sparsification HW 4 posted. HW 3 solution posted. 2

Effective Resistance 3

Effective Resistance 3

Rayleigh’s Monotonicity Principle 4

Rayleigh’s Monotonicity Principle 4

Random Walks on Undirected Graphs 5

Random Walks on Undirected Graphs 5

Commute Time 6

Commute Time 6

Cover Time 7

Cover Time 7

Approximating Cover Time by Resistance Diameter 8

Approximating Cover Time by Resistance Diameter 8

Approximating Cover Time by Resistance Diameter 9

Approximating Cover Time by Resistance Diameter 9

Graph Connectivity 10

Graph Connectivity 10

Cut Sparsifiers 11

Cut Sparsifiers 11

Spectral Sparsification 12

Spectral Sparsification 12

Linear Algebraic Problem 13

Linear Algebraic Problem 13

Isotropy Condition 14

Isotropy Condition 14

Intuition Idea: Random Sampling (from Karger). • Uniform sampling won’t work. • Non-uniform sampling?

Intuition Idea: Random Sampling (from Karger). • Uniform sampling won’t work. • Non-uniform sampling? 15

Sampling Algorithm 16

Sampling Algorithm 16

Number of Vectors 17

Number of Vectors 17

Matrix Chernoff Bound 18

Matrix Chernoff Bound 18

Concentration 19

Concentration 19

Effective Resistance What is the sampling probability? In the graph case, it is possible

Effective Resistance What is the sampling probability? In the graph case, it is possible to compute good approximations of the sampling probabilities in near-linear time. The idea is to do dimension reduction. 20

Linear-Sized Spectral Sparsifiers 21

Linear-Sized Spectral Sparsifiers 21

Spectral Graph Theory This is the end of the spectral graph theory part of

Spectral Graph Theory This is the end of the spectral graph theory part of the course. One great result that we haven’t discussed is a near-linear time algorithm to solve Laplacian equations. This leads to a revolution in designing fast algorithm for combinatorial problems using techniques from convex optimization. For example, this leads to an interior point algorithm to compute maximum flow. It is good to see this viewpoint to study graph problems. 22