Minimum-Cost Flow Network
|
|
- Allen Thomas
- 5 years ago
- Views:
Transcription
1 Minimum-Cost Flow Network Smoothed flow network: G = (V,E) balance values: b : V Z costs: c : E R capacities: u : E N 2 1/2 3/1-1 1/3 3/2 3/1 1 3/1 1/2-2 cost/capacity 2/ 17
2 Smoothed 2 1 1/2 3/ /3 1 3/2 3/ /1 1/ flow: f : E R capacity constraints: e E : f(e) u(e) Kirchhoff s law: v V : b(v) = out(v) in(v) 3/17
3 Smoothed 2 1 1/2 3/ /3 1 3/2 3/ /1 1/ flow: f : E R capacity constraints: e E : f(e) u(e) Kirchhoff s law: v V : b(v) = out(v) in(v) Goal: min flow f e E f(e) c(e) 3/17
4 Smoothed 2 1/2 3/ /3 3/2 3/ /1 1/2-2 flow: f : E R capacity constraints: e E : f(e) u(e) Kirchhoff s law: v V : b(v) = out(v) in(v) Goal: min flow f e E f(e) c(e) 3/17
5 Short History Smoothed Pseudo-Polynomial Algorithms: Out-of-Kilter algorithm [Minty 6, Fulkerson 61] Cycle Canceling algorithm Successive Shortest Path algorithm 4/17
6 Short History Smoothed Pseudo-Polynomial Algorithms: Out-of-Kilter algorithm [Minty 6, Fulkerson 61] Cycle Canceling algorithm Successive Shortest Path algorithm Polynomial Time Algorithms: Capacity Scaling algorithm [Edmonds and Karp 72] Cost Scaling algorithm 4/17
7 Short History Smoothed Pseudo-Polynomial Algorithms: Out-of-Kilter algorithm [Minty 6, Fulkerson 61] Cycle Canceling algorithm Successive Shortest Path algorithm Polynomial Time Algorithms: Capacity Scaling algorithm [Edmonds and Karp 72] Cost Scaling algorithm Strongly Polynomial Algorithms: Tardos algorithm [Tardos 85] Minimum-Mean Cycle Canceling algorithm Network Simplex algorithm Enhanced Capacity Scaling algorithm [Orlin 93] 4/17
8 Theory vs. Practice Smoothed Theory Practice Fastest algorithm: Enhanced Capacity Scaling Fastest algorithm: Network Simplex 5/17
9 Theory vs. Practice Smoothed Theory Practice Fastest algorithm: Enhanced Capacity Scaling Fastest algorithm: Network Simplex Successive Shortest Path: exponential in worst case Minimum-Mean Cycle Canceling: strongly polynomial Successive Shortest Path much faster than Minimum-Mean Cycle Canceling 5/17
10 Smoothed Reason for Gap between Theory and Practice Adversary Worst-case complexity is too pessimistic! There are artificial worst-case inputs. These inputs, however, do not occur in practice. I will trick your algorithm! 6/17
11 Smoothed Reason for Gap between Theory and Practice Adversary Worst-case complexity is too pessimistic! There are artificial worst-case inputs. These inputs, however, do not occur in practice. This phenomenon occurs also for many other problems and algorithms. I will trick your algorithm! 6/17
12 Smoothed Reason for Gap between Theory and Practice Adversary Worst-case complexity is too pessimistic! There are artificial worst-case inputs. These inputs, however, do not occur in practice. This phenomenon occurs also for many other problems and algorithms. I will trick your algorithm! Goal Find a more realistic performance measure that is not just based on the worst case. 6/17
13 Smoothed Smoothed Observation: In worst-case analysis, the adversary is too powerful. Idea: Let s weaken him! Input model: Adversarial choice of flow network Adversarial real arc capacities u e and node balance values b v Adversarial densities f e : [,1] [,φ] Arc costs c e independently drawn according to f e 7/17
14 Smoothed Smoothed Observation: In worst-case analysis, the adversary is too powerful. Idea: Let s weaken him! Input model: Adversarial choice of flow network Adversarial real arc capacities u e and node balance values b v Adversarial densities f e : [,1] [,φ] Arc costs c e independently drawn according to f e Randomness models, e.g., measurement errors, numerical imprecision, rounding,... 7/17
15 Smoothed Smoothed Worst-case : max ce T Smoothed : max fe E[T] 8/17
16 Smoothed Smoothed Worst-case : max ce T Smoothed : max fe E[T] f(x) φ = 1: Average-case analysis 1 1 x 8/17
17 Smoothed Smoothed Worst-case : max ce T Smoothed : max fe E[T] f(x) φ 1/φ 1 x 8/17
18 Smoothed Smoothed Worst-case : max ce T Smoothed : max fe E[T] f(x) φ : Worst-case analysis φ x 1 x 8/17
19 Smoothed Smoothed Worst-case : max ce T Smoothed : max fe E[T] φ : Worst-case analysis f(x) φ x 1 x 8/17
20 Initial Transformation Smoothed Successive Shortest Path algorithm 2 1/2 3/1-1 1/3 3/2 3/1 1 3/1 1/2-2 9/17
21 Initial Transformation Smoothed Successive Shortest Path algorithm /2 1/2 3/1 /1 3 1/3 3/2 3/1-3 /1 3/1 1/2 /2 9/17
22 Augmenting Steps Smoothed Successive Shortest Path algorithm 3 /2 2 /1 1/2 3/1 2 21/3 3/2 3/1 2 3/1 1/2 /1 2 /2-3 path length: 3, augmenting flow value: 2 1/17
23 Augmenting Steps Smoothed Successive Shortest Path algorithm /2-1/2 3/1 /1 1 1/1-1/2 3/2 3/1-1 /1 3/1-1/2 /2 update residual network 1/17
24 Augmenting Steps Smoothed Successive Shortest Path algorithm 1 /2 1 /1-1/2 1/1 1-1/2 3/2 3/1 1 3/1 3/1 1-1/2 /1 1 /2-1 path length: 5, augmenting flow value: 1 1/17
25 Augmenting Steps Smoothed Successive Shortest Path algorithm /2-1/2-3/1 /1 1/2-1/1 3/2 3/1 /1-3/1-1/2 /2 update residual network 1/17
26 Resulting Flow Smoothed Successive Shortest Path algorithm 3 /2 2 1 /1 1/2 3/ /3 3/2 3/ /1 1/2 /1 1 2 /2-3 flow cost: 11, flow value: 3 11/17
27 Resulting Flow Smoothed Successive Shortest Path algorithm 2 1/2 3/ /3 3/2 3/ /1 1/2-2 flow cost: 11, flow value: 3 11/17
28 Results Smoothed Theorem (Upper Bound) In expectation, the SSP algorithm requires O(mnφ) iterations and has a running time of O(mnφ(m+nlogn)). 12/17
29 Results Smoothed Theorem (Upper Bound) In expectation, the SSP algorithm requires O(mnφ) iterations and has a running time of O(mnφ(m+nlogn)). Theorem (Lower Bound) There are smoothed instances on which the SSP algorithm requires Ω(m min{n,φ} φ) iterations in expectation. upper bound tight for φ = Ω(n) 12/17
30 Useful Properties Observations Discretization Flow Reconstruction Lemma The distances from the source to any node increase monotonically. cost initial solution: empty flow value 13/17
31 Useful Properties Observations Discretization Flow Reconstruction Lemma The distances from the source to any node increase monotonically. cost slope = path length value length value after 1 iteration value 13/17
32 Useful Properties Observations Discretization Flow Reconstruction Lemma The distances from the source to any node increase monotonically. cost after 2 iterations value 13/17
33 Useful Properties Observations Discretization Flow Reconstruction Lemma The distances from the source to any node increase monotonically. cost after 3 iterations value 13/17
34 Useful Properties Observations Discretization Flow Reconstruction Lemma The distances from the source to any node increase monotonically. cost after 4 iterations value 13/17
35 Useful Properties Observations Discretization Flow Reconstruction Lemma The distances from the source to any node increase monotonically. cost value after 5 iterations #iterations = #distinct slopes 13/17
36 Useful Properties Observations Discretization Flow Reconstruction Lemma The distances from the source to any node increase monotonically. cost value after 5 iterations #iterations = #distinct slopes Lemma Every intermediate flow is optimal for its flow value. 13/17
37 Counting the Number of Slopes Observations Discretization Flow Reconstruction slope = augmenting path length (,n] n 14/17
38 Counting the Number of Slopes Observations Discretization Flow Reconstruction slope = augmenting path length (,n] = k I l, I l = n k l=1 n 14/17
39 Counting the Number of Slopes Observations Discretization Flow Reconstruction slope = augmenting path length (,n] = k I l, I l = n k l=1 n = #slopes = k l=1 #slopes I l 14/17
40 Counting the Number of Slopes Observations Discretization Flow Reconstruction slope = augmenting path length (,n] = k I l, I l = n k l=1 n = E[#slopes]= k E[#slopes I l ] l=1 14/17
41 Counting the Number of Slopes Observations Discretization Flow Reconstruction slope = augmenting path length (,n] = k I l, I l = n k l=1 n = E[#slopes]= k E[#slopes I l ] l=1 k Pr[ slope I l ] l=1 14/17
42 Counting the Number of Slopes Observations Discretization Flow Reconstruction slope = augmenting path length (,n] = k I l, I l = n k l=1 n = E[#slopes]= k E[#slopes I l ] l=1 k Pr[ slope I l ] l=1 Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) 14/17
43 Counting the Number of Slopes Observations Discretization Flow Reconstruction slope = augmenting path length (,n] = k I l, I l = n k l=1 n = E[#slopes]= k E[#slopes I l ] Main Lemma l=1 k Pr[ slope I l ] l=1 = O(mnφ) d : ε : Pr[ slope (d,d +ε]] = O(mφε) 14/17
44 Flow Reconstruction Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) cost value 15/17
45 Flow Reconstruction Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) d - slope threshold cost d > d > d d d value 15/17
46 Flow Reconstruction Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) d - slope threshold F - flow at breakpoint cost d > d d > d F d value 15/17
47 Flow Reconstruction Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) d - slope threshold cost F - flow at breakpoint d > d P - next augmenting path e - empty arc of P in G f d c(p) > d d F value 15/17
48 Flow Reconstruction Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) d - slope threshold cost F - flow at breakpoint d > d P - next augmenting path e - empty arc of P in G f d c(p) > d d F value slope (d,d +ε] c(p) (d,d +ε] 15/17
49 Flow Reconstruction Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) d - slope threshold cost F - flow at breakpoint d > d P - next augmenting path e - empty arc of P in G f d c(p) > d d F value slope (d,d +ε] c(p) (d,d +ε] Goal: Reconstruct F and P without knowing c e 15/17
50 Principle of Deferred Decisions Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) Phase 1: Reveal all c e for e e. Assume this suffices to uniquely identify F and P. cost d > d c(p) > d d F d value 16/17
51 Principle of Deferred Decisions Observations Discretization Flow Reconstruction Main Lemma d : ε : Pr[ slope (d,d +ε]] = O(mφε) Phase 1: Reveal all c e for e e. Assume this suffices to uniquely identify F and P. cost d Phase 2: > d c(p) > d Pr[c(P) (d,d +ε]] d F = Pr[c(e) (z,z +ε]] φε, d value where z is fixed if c e for e e is fixed. 16/17
52 Flow Reconstruction Observations Discretization Flow Reconstruction Case 1: e forward arc Set c (e) = 1 and for all e e set c (e ) = c(e ). Run SSP with modified costs c. 17/17
53 Flow Reconstruction Observations Discretization Flow Reconstruction Case 1: e forward arc Set c (e) = 1 and for all e e set c (e ) = c(e ). Run SSP with modified costs c. cost d > d c(p) > d d F d value 17/17
54 Flow Reconstruction Observations Discretization Flow Reconstruction Case 1: e forward arc Set c (e) = 1 and for all e e set c (e ) = c(e ). Run SSP with modified costs c. cost c d c > d d > d F d value 17/17
55 Flow Reconstruction Observations Discretization Flow Reconstruction Case 1: e forward arc Set c (e) = 1 and for all e e set c (e ) = c(e ). Run SSP with modified costs c. cost c d c > d d > d F d value F is the same for c and c 17/17
Smoothed Analysis of the Minimum-Mean Cycle Canceling Algorithm and the Network Simplex Algorithm
Smoothed Analysis of the Minimum-Mean Cycle Canceling Algorithm and the Network Simplex Algorithm Kamiel Cornelissen and Bodo Manthey University of Twente, Enschede, The Netherlands k.cornelissen@utwente.nl,
More informationPearls of Algorithms
Part 3: Randomized Algorithms and Probabilistic Analysis Prof. Dr. Institut für Informatik Winter 2013/14 Efficient Algorithms When is an algorithm considered efficient? Efficient Algorithms When is an
More informationJessica Su (some parts copied from CLRS / last quarter s notes)
1 Max flow Consider a directed graph G with positive edge weights c that define the capacity of each edge. We can identify two special nodes in G: the source node s and the sink node t. We want to find
More informationand 6.855J. The Successive Shortest Path Algorithm and the Capacity Scaling Algorithm for the Minimum Cost Flow Problem
15.082 and 6.855J The Successive Shortest Path Algorithm and the Capacity Scaling Algorithm for the Minimum Cost Flow Problem 1 Pseudo-Flows A pseudo-flow is a "flow" vector x such that 0 x u. Let e(i)
More informationNetwork optimization: An overview
Network optimization: An overview Mathias Johanson Alkit Communications 1 Introduction Various kinds of network optimization problems appear in many fields of work, including telecommunication systems,
More informationLecture 10,11: General Matching Polytope, Maximum Flow. 1 Perfect Matching and Matching Polytope on General Graphs
CMPUT 675: Topics in Algorithms and Combinatorial Optimization (Fall 2009) Lecture 10,11: General Matching Polytope, Maximum Flow Lecturer: Mohammad R Salavatipour Date: Oct 6 and 8, 2009 Scriber: Mohammad
More informationCS261: Problem Set #1
CS261: Problem Set #1 Due by 11:59 PM on Tuesday, April 21, 2015 Instructions: (1) Form a group of 1-3 students. You should turn in only one write-up for your entire group. (2) Turn in your solutions by
More informationMonotone Paths in Geometric Triangulations
Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation
More informationMinimum Cost Edge Disjoint Paths
Minimum Cost Edge Disjoint Paths Theodor Mader 15.4.2008 1 Introduction Finding paths in networks and graphs constitutes an area of theoretical computer science which has been highly researched during
More informationOutline. Main Questions. What is the k-means method? What can we do when worst case analysis is too pessimistic?
Outline Main Questions 1 Data Clustering What is the k-means method? 2 Smoothed Analysis What can we do when worst case analysis is too pessimistic? 3 Smoothed Analysis of k-means Method What is the smoothed
More informationToday. Maximum flow. Maximum flow. Problem
5 Maximum Flow (slides 1 4) Today Maximum flow Algorithms and Networks 2008 Maximum flow problem Applications Briefly: Ford-Fulkerson; min cut max flow theorem Preflow push algorithm Lift to front algorithm
More informationNetwork Flows. 1. Flows deal with network models where edges have capacity constraints. 2. Shortest paths deal with edge costs.
Network Flows. Flows deal with network models where edges have capacity constraints. 2. Shortest paths deal with edge costs. 4 u v 2 5 s 6 5 t 4 x 2 y 3 3. Network flow formulation: A network G = (V, E).
More informationNetwork flows and Menger s theorem
Network flows and Menger s theorem Recall... Theorem (max flow, min cut strong duality). Let G be a network. The maximum value of a flow equals the minimum capacity of a cut. We prove this strong duality
More informationMathematics for Decision Making: An Introduction. Lecture 18
Mathematics for Decision Making: An Introduction Lecture 18 Matthias Köppe UC Davis, Mathematics March 5, 2009 18 1 Augmenting Circuit Algorithm for Min Cost Flow Augmenting Circuit Algorithm, Kantoróvich
More informationDiscrete Optimization 2010 Lecture 5 Min-Cost Flows & Total Unimodularity
Discrete Optimization 2010 Lecture 5 Min-Cost Flows & Total Unimodularity Marc Uetz University of Twente m.uetz@utwente.nl Lecture 5: sheet 1 / 26 Marc Uetz Discrete Optimization Outline 1 Min-Cost Flows
More informationA COMPUTATIONAL STUDY OF THE CONSTRAINED MAXIMUM FLOW PROBLEM
COMPUTTIONL STUDY OF THE CONSTRINED MXIMUM FLOW PROBLEM Cenk Çalışkan, Woodbury School of Business, Utah Valley University, 800 W. University Pkwy, Orem, UT 84058, (801) 863-6487, cenk.caliskan@uvu.edu
More informationChapter 5 Graph Algorithms Algorithm Theory WS 2012/13 Fabian Kuhn
Chapter 5 Graph Algorithms Algorithm Theory WS 2012/13 Fabian Kuhn Graphs Extremely important concept in computer science Graph, : node (or vertex) set : edge set Simple graph: no self loops, no multiple
More informationSolution for Homework set 3
TTIC 300 and CMSC 37000 Algorithms Winter 07 Solution for Homework set 3 Question (0 points) We are given a directed graph G = (V, E), with two special vertices s and t, and non-negative integral capacities
More informationThe push&pull protocol for rumour spreading
The push&pull protocol for rumour spreading Abbas Mehrabian Simons Institute for Theory of Computing, UC Berkeley University of Waterloo 10 February 2017 Co-authors Huseyin Acan Omer Angel Petra Berenbrink
More informationLinear Programming Duality and Algorithms
COMPSCI 330: Design and Analysis of Algorithms 4/5/2016 and 4/7/2016 Linear Programming Duality and Algorithms Lecturer: Debmalya Panigrahi Scribe: Tianqi Song 1 Overview In this lecture, we will cover
More informationIncremental Algorithms for the Minimum Cost Flow Problem
Incremental Algorithms for the Minimum Cost Flow Problem LAURA CIUPALĂ Department of Computer Science University Transilvania of Braşov Iuliu Maniu Street 50, Braşov ROMANIA laura_ciupala@yahoo.com Abstract:
More informationParametric Maximum Flow Problem: Techniques and Algorithms. Deepika Sareen, Dr Deepak Garg. Thapar University, Patiala
Parametric Maximum Flow Problem: Techniques and Algorithms Deepika Sareen, Dr Deepak Garg Thapar University, Patiala sareendeepika@yahoo.co.in, dgarg@thapar.edu Abstract We encounter many different types
More information1 Introduction. 2 The Generic Push-Relabel Algorithm. Improvements on the Push-Relabel Method: Excess Scaling. 2.1 Definitions CMSC 29700
CMSC 9700 Supervised Reading & Research Week 6: May 17, 013 Improvements on the Push-Relabel Method: Excess Scaling Rahul Mehta 1 Introduction We now know about both the methods based on the idea of Ford
More informationWorkshop In Advanced Data Structures Push-Relabel Heuristics. Maya Orshizer Sagi Hed
Workshop In Advanced Data Structures Push-Relabel Heuristics Maya Orshizer Sagi Hed 1 Contents 1 Overview And Goals 3 2 Our Implementation Of Push Relabel 3 2.1 Definitions...............................
More informationReducing Directed Max Flow to Undirected Max Flow and Bipartite Matching
Reducing Directed Max Flow to Undirected Max Flow and Bipartite Matching Henry Lin Division of Computer Science University of California, Berkeley Berkeley, CA 94720 Email: henrylin@eecs.berkeley.edu Abstract
More informationThe Simplex Algorithm is NP-mighty
The Simplex Algorithm is NP-mighty Yann Disser Martin Skutella Abstract We propose to classify the power of algorithms by the complexity of the problems that they can be used to solve. Instead of restricting
More informationCSC 8301 Design & Analysis of Algorithms: Linear Programming
CSC 8301 Design & Analysis of Algorithms: Linear Programming Professor Henry Carter Fall 2016 Iterative Improvement Start with a feasible solution Improve some part of the solution Repeat until the solution
More informationDepartment of Computer Applications. MCA 312: Design and Analysis of Algorithms. [Part I : Medium Answer Type Questions] UNIT I
MCA 312: Design and Analysis of Algorithms [Part I : Medium Answer Type Questions] UNIT I 1) What is an Algorithm? What is the need to study Algorithms? 2) Define: a) Time Efficiency b) Space Efficiency
More informationChapter 7. Network Flow. Slides by Kevin Wayne. Copyright 2005 Pearson-Addison Wesley. All rights reserved.
Chapter 7 Network Flow Slides by Kevin Wayne. Copyright 2005 Pearson-Addison Wesley. All rights reserved. 1 * 7.13 Assignment Problem Assignment Problem Assignment problem. Input: weighted, complete bipartite
More informationNetwork Design and Optimization course
Effective maximum flow algorithms Modeling with flows Network Design and Optimization course Lecture 5 Alberto Ceselli alberto.ceselli@unimi.it Dipartimento di Tecnologie dell Informazione Università degli
More informationImportant separators and parameterized algorithms
Important separators and parameterized algorithms Dániel Marx 1 1 Institute for Computer Science and Control, Hungarian Academy of Sciences (MTA SZTAKI) Budapest, Hungary School on Parameterized Algorithms
More informationCuts, Connectivity, and Flow
Cuts, Connectivity, and Flow Vertex Cut and Connectivity A separating set or vertex cut of a graph G is a set S V(G) such that G S G S has more than one component A graph G is k-connected if every vertex
More informations-t Graph Cuts for Binary Energy Minimization
s-t Graph Cuts for Binary Energy Minimization E data term ( L) = D ( ) + ( ) P Lp λ Ι Lp Lq p prior term Now that we have an energy function, the big question is how do we minimize it? pq N n Exhaustive
More informationCOT 6936: Topics in Algorithms! Giri Narasimhan. ECS 254A / EC 2443; Phone: x3748
COT 6936: Topics in Algorithms! Giri Narasimhan ECS 254A / EC 2443; Phone: x3748 giri@cs.fiu.edu http://www.cs.fiu.edu/~giri/teach/cot6936_s12.html https://moodle.cis.fiu.edu/v2.1/course/view.php?id=174
More informationThe simplex method and the diameter of a 0-1 polytope
The simplex method and the diameter of a 0-1 polytope Tomonari Kitahara and Shinji Mizuno May 2012 Abstract We will derive two main results related to the primal simplex method for an LP on a 0-1 polytope.
More informationSorting With Forbidden Intermediates
1 Sorting With Forbidden Intermediates Carlo Comin Anthony Labarre Romeo Rizzi Stéphane Vialette February 15th, 2016 Genome rearrangements for permutations Permutations model genomes with the same contents
More informationMinimum-cost flow algorithms: An experimental evaluation
Egerváry Research Group on Combinatorial Optimization Technical reports TR-2013-04. Published by the Egerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationOn the Bottleneck Shortest Path Problem
Konrad-Zuse-Zentrum für Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Germany VOLKER KAIBEL MATTHIAS A.F. PEINHARDT On the Bottleneck Shortest Path Problem Supported by the DFG Research
More information/ Approximation Algorithms Lecturer: Michael Dinitz Topic: Linear Programming Date: 2/24/15 Scribe: Runze Tang
600.469 / 600.669 Approximation Algorithms Lecturer: Michael Dinitz Topic: Linear Programming Date: 2/24/15 Scribe: Runze Tang 9.1 Linear Programming Suppose we are trying to approximate a minimization
More informationOnline Algorithms. Lecture 11
Online Algorithms Lecture 11 Today DC on trees DC on arbitrary metrics DC on circle Scheduling K-server on trees Theorem The DC Algorithm is k-competitive for the k server problem on arbitrary tree metrics.
More informationCopyright 2007 Pearson Addison-Wesley. All rights reserved. A. Levitin Introduction to the Design & Analysis of Algorithms, 2 nd ed., Ch.
Iterative Improvement Algorithm design technique for solving optimization problems Start with a feasible solution Repeat the following step until no improvement can be found: change the current feasible
More information11. APPROXIMATION ALGORITHMS
11. APPROXIMATION ALGORITHMS load balancing center selection pricing method: vertex cover LP rounding: vertex cover generalized load balancing knapsack problem Lecture slides by Kevin Wayne Copyright 2005
More information/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Approximation algorithms Date: 11/27/18
601.433/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Approximation algorithms Date: 11/27/18 22.1 Introduction We spent the last two lectures proving that for certain problems, we can
More informationAlgorithms for convex optimization
Algorithms for convex optimization Michal Kočvara Institute of Information Theory and Automation Academy of Sciences of the Czech Republic and Czech Technical University kocvara@utia.cas.cz http://www.utia.cas.cz/kocvara
More informationMaximum flows & Maximum Matchings
Chapter 9 Maximum flows & Maximum Matchings This chapter analyzes flows and matchings. We will define flows and maximum flows and present an algorithm that solves the maximum flow problem. Then matchings
More informationThe Encoding Complexity of Network Coding
The Encoding Complexity of Network Coding Michael Langberg Alexander Sprintson Jehoshua Bruck California Institute of Technology Email mikel,spalex,bruck @caltech.edu Abstract In the multicast network
More informationThe Encoding Complexity of Network Coding
The Encoding Complexity of Network Coding Michael Langberg Alexander Sprintson Jehoshua Bruck California Institute of Technology Email: mikel,spalex,bruck @caltech.edu Abstract In the multicast network
More informationLECTURE 6: INTERIOR POINT METHOD. 1. Motivation 2. Basic concepts 3. Primal affine scaling algorithm 4. Dual affine scaling algorithm
LECTURE 6: INTERIOR POINT METHOD 1. Motivation 2. Basic concepts 3. Primal affine scaling algorithm 4. Dual affine scaling algorithm Motivation Simplex method works well in general, but suffers from exponential-time
More information& ( D. " mnp ' ( ) n 3. n 2. ( ) C. " n
CSE Name Test Summer Last Digits of Mav ID # Multiple Choice. Write your answer to the LEFT of each problem. points each. The time to multiply two n " n matrices is: A. " n C. "% n B. " max( m,n, p). The
More informationPreflow-Push Algorithm
Preflow-Push Algorithm An s-t preflow obeys the following constraints: Capacity constraints: 0 f(e) c(e) e f (v) = f (u,v) f (v,w) 0 u V w V A labeling h assigns nonnegative integers to vertices. h(t)
More informationCSE 417 Network Flows (pt 4) Min Cost Flows
CSE 417 Network Flows (pt 4) Min Cost Flows Reminders > HW6 is due Monday Review of last three lectures > Defined the maximum flow problem find the feasible flow of maximum value flow is feasible if it
More informationMVE165/MMG630, Applied Optimization Lecture 8 Integer linear programming algorithms. Ann-Brith Strömberg
MVE165/MMG630, Integer linear programming algorithms Ann-Brith Strömberg 2009 04 15 Methods for ILP: Overview (Ch. 14.1) Enumeration Implicit enumeration: Branch and bound Relaxations Decomposition methods:
More informationRandomized Algorithms 2017A - Lecture 10 Metric Embeddings into Random Trees
Randomized Algorithms 2017A - Lecture 10 Metric Embeddings into Random Trees Lior Kamma 1 Introduction Embeddings and Distortion An embedding of a metric space (X, d X ) into a metric space (Y, d Y ) is
More informationHeap-on-Top Priority Queues. March Abstract. We introduce the heap-on-top (hot) priority queue data structure that combines the
Heap-on-Top Priority Queues Boris V. Cherkassky Central Economics and Mathematics Institute Krasikova St. 32 117418, Moscow, Russia cher@cemi.msk.su Andrew V. Goldberg NEC Research Institute 4 Independence
More informationAlgorithms for finding the minimum cycle mean in the weighted directed graph
Computer Science Journal of Moldova, vol.6, no.1(16), 1998 Algorithms for finding the minimum cycle mean in the weighted directed graph D. Lozovanu C. Petic Abstract In this paper we study the problem
More informationOutline: Finish uncapacitated simplex method Negative cost cycle algorithm The max-flow problem Max-flow min-cut theorem
Outline: Finish uncapacitated simplex method Negative cost cycle algorithm The max-flow problem Max-flow min-cut theorem Uncapacitated Networks: Basic primal and dual solutions Flow conservation constraints
More informationAlina Ene. From Minimum Cut to Submodular Minimization Leveraging the Decomposable Structure. Boston University
From Minimum Cut to Submodular Minimization Leveraging the Decomposable Structure Alina Ene Boston University Joint work with Huy Nguyen (Northeastern University) Laszlo Vegh (London School of Economics)
More informationRandomized algorithms have several advantages over deterministic ones. We discuss them here:
CS787: Advanced Algorithms Lecture 6: Randomized Algorithms In this lecture we introduce randomized algorithms. We will begin by motivating the use of randomized algorithms through a few examples. Then
More informationA constant-factor approximation algorithm for the asymmetric travelling salesman problem
A constant-factor approximation algorithm for the asymmetric travelling salesman problem London School of Economics Joint work with Ola Svensson and Jakub Tarnawski cole Polytechnique F d rale de Lausanne
More informationMaximum flow problem CE 377K. March 3, 2015
Maximum flow problem CE 377K March 3, 2015 Informal evaluation results 2 slow, 16 OK, 2 fast Most unclear topics: max-flow/min-cut, WHAT WILL BE ON THE MIDTERM? Most helpful things: review at start of
More informationOn the Complexity of the Policy Improvement Algorithm. for Markov Decision Processes
On the Complexity of the Policy Improvement Algorithm for Markov Decision Processes Mary Melekopoglou Anne Condon Computer Sciences Department University of Wisconsin - Madison 0 West Dayton Street Madison,
More informationCS 580: Algorithm Design and Analysis. Jeremiah Blocki Purdue University Spring 2018
CS 580: Algorithm Design and Analysis Jeremiah Blocki Purdue University Spring 2018 Chapter 11 Approximation Algorithms Slides by Kevin Wayne. Copyright @ 2005 Pearson-Addison Wesley. All rights reserved.
More informationA Constant Bound for the Periods of Parallel Chip-firing Games with Many Chips
A Constant Bound for the Periods of Parallel Chip-firing Games with Many Chips Paul Myer Kominers and Scott Duke Kominers Abstract. We prove that any parallel chip-firing game on a graph G with at least
More informationCounting the Number of Eulerian Orientations
Counting the Number of Eulerian Orientations Zhenghui Wang March 16, 011 1 Introduction Consider an undirected Eulerian graph, a graph in which each vertex has even degree. An Eulerian orientation of the
More informationMaximum Flow. Flow Networks. Flow Networks Ford-Fulkerson Method Edmonds-Karp Algorithm Push-Relabel Algorithms. Example Flow Network
Flow Networks Ford-Fulkerson Method Edmonds-Karp Algorithm Push-Relabel Algorithms Maximum Flow Flow Networks A flow network is a directed graph where: Each edge (u,v) has a capacity c(u,v) 0. If (u,v)
More informationUniversity Alexandru Ioan Cuza of Iaşi Faculty of Computer Science. A simple push-relabel algorithm for sub-modular flows
University Alexandru Ioan Cuza of Iaşi Faculty of Computer Science T E C H N I C A L R E P O R T A simple push-relabel algorithm for sub-modular flows Cristian Frasinaru, Emanuel F. Olariu TR 13-02, October
More informationApproximation Algorithms
Approximation Algorithms Given an NP-hard problem, what should be done? Theory says you're unlikely to find a poly-time algorithm. Must sacrifice one of three desired features. Solve problem to optimality.
More informationSyllabus. simple: no multi-edges undirected edges in-/out-/degree /0: absent 1: present (strongly) connected component subgraph, induced graph
Introduction to Algorithms Syllabus Recap on Graphs: un/directed, weighted Shortest Paths: single-source, all-pairs Minimum Spanning Tree: Prim, Kruskal Maximum Flow: Ford-Fulkerson, Edmonds-Karp Maximum
More informationCombinatorial Optimization
Combinatorial Optimization Frank de Zeeuw EPFL 2012 Today Introduction Graph problems - What combinatorial things will we be optimizing? Algorithms - What kind of solution are we looking for? Linear Programming
More informationGraphs. Edges may be directed (from u to v) or undirected. Undirected edge eqvt to pair of directed edges
(p 186) Graphs G = (V,E) Graphs set V of vertices, each with a unique name Note: book calls vertices as nodes set E of edges between vertices, each encoded as tuple of 2 vertices as in (u,v) Edges may
More informationCS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm. Instructor: Shaddin Dughmi
CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm Instructor: Shaddin Dughmi Algorithms for Convex Optimization We will look at 2 algorithms in detail: Simplex and Ellipsoid.
More information2 The Fractional Chromatic Gap
C 1 11 2 The Fractional Chromatic Gap As previously noted, for any finite graph. This result follows from the strong duality of linear programs. Since there is no such duality result for infinite linear
More informationLecture 8: Non-bipartite Matching. Non-partite matching
Lecture 8: Non-bipartite Matching Non-partite matching Is it easy? Max Cardinality Matching =? Introduction The theory and algorithmic techniques of the bipartite matching have been generalized by Edmonds
More informationToday. Golden section, discussion of error Newton s method. Newton s method, steepest descent, conjugate gradient
Optimization Last time Root finding: definition, motivation Algorithms: Bisection, false position, secant, Newton-Raphson Convergence & tradeoffs Example applications of Newton s method Root finding in
More information2 The Mixed Postman Problem with Restrictions on the Arcs
Approximation Algorithms for the Mixed Postman Problem with Restrictions on the Arcs Francisco Javier Zaragoza Martínez Departamento de Sistemas, Universidad Autónoma Metropolitana Unidad Azcapotzalco
More informationPareto Optimal Solutions for Smoothed Analysts
Pareto Optimal Solutions for Smoothed Analysts Ankur Moitra, IAS joint work with Ryan O Donnell, CMU September 26, 2011 Ankur Moitra (IAS) Pareto September 26, 2011 values weights v1 w 1...... v i w i
More informationSubexponential lower bounds for randomized pivoting rules for the simplex algorithm
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm Oliver Friedmann 1 Thomas Dueholm Hansen 2 Uri Zwick 3 1 Department of Computer Science, University of Munich, Germany.
More informationTest 1 - Closed Book Last 4 Digits of Student ID # Multiple Choice. Write your answer to the LEFT of each problem. 3 points each
CSE 5311 Test 1 - Closed Book Summer 2009 Name Last 4 Digits of Student ID # Multiple Choice. Write your answer to the LEFT of each problem. 3 points each 1. Which of the following statements is true?
More informationA Primal-Dual Approach for Online Problems. Nikhil Bansal
A Primal-Dual Approach for Online Problems Nikhil Bansal Online Algorithms Input revealed in parts. Algorithm has no knowledge of future. Scheduling, Load Balancing, Routing, Caching, Finance, Machine
More informationMinimum Spanning Tree (undirected graph)
1 Minimum Spanning Tree (undirected graph) 2 Path tree vs. spanning tree We have constructed trees in graphs for shortest path to anywhere else (from vertex is the root) Minimum spanning trees instead
More informationAssignment and Matching
Assignment and Matching By Geetika Rana IE 680 Dept of Industrial Engineering 1 Contents Introduction Bipartite Cardinality Matching Problem Bipartite Weighted Matching Problem Stable Marriage Problem
More informationMaximum flows and minimal cuts. Filip Malmberg
Maximum flows and minimal cuts Filip Malmberg MSF cuts I A Minimum Spanning Forest with respect to a set of seed-points divides a graph into a number of connected components. Thus, it defines a cut on
More informationNetwork Flow. By: Daniel Pham, Anthony Huber, Shaazan Wirani
Network Flow By: Daniel Pham, Anthony Huber, Shaazan Wirani Questions 1. What is a network flow? 2. What is the Big O notation of the Ford-Fulkerson method? 3. How to test if the Hungarian algorithm is
More informationGraph Algorithms Matching
Chapter 5 Graph Algorithms Matching Algorithm Theory WS 2012/13 Fabian Kuhn Circulation: Demands and Lower Bounds Given: Directed network, with Edge capacities 0and lower bounds l for Node demands for
More informationNetwork Flow and Matching
Chapter 4 Network Flow and Matching In this chapter, we examine the network flow problem, a graph problem to which many problems can be reduced. In fact, some problems that don t even appear to be graph
More informationLecture Notes 2: The Simplex Algorithm
Algorithmic Methods 25/10/2010 Lecture Notes 2: The Simplex Algorithm Professor: Yossi Azar Scribe:Kiril Solovey 1 Introduction In this lecture we will present the Simplex algorithm, finish some unresolved
More informationl Heaps very popular abstract data structure, where each object has a key value (the priority), and the operations are:
DDS-Heaps 1 Heaps - basics l Heaps very popular abstract data structure, where each object has a key value (the priority), and the operations are: l insert an object, find the object of minimum key (find
More informationJörgen Bang-Jensen and Gregory Gutin. Digraphs. Theory, Algorithms and Applications. Springer
Jörgen Bang-Jensen and Gregory Gutin Digraphs Theory, Algorithms and Applications Springer Contents 1. Basic Terminology, Notation and Results 1 1.1 Sets, Subsets, Matrices and Vectors 1 1.2 Digraphs,
More informationTesting Continuous Distributions. Artur Czumaj. DIMAP (Centre for Discrete Maths and it Applications) & Department of Computer Science
Testing Continuous Distributions Artur Czumaj DIMAP (Centre for Discrete Maths and it Applications) & Department of Computer Science University of Warwick Joint work with A. Adamaszek & C. Sohler Testing
More informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 29 Approximation Algorithms Load Balancing Weighted Vertex Cover Reminder: Fill out SRTEs online Don t forget to click submit Sofya Raskhodnikova 12/7/2016 Approximation
More informationGraphs and Network Flows IE411. Lecture 13. Dr. Ted Ralphs
Graphs and Network Flows IE411 Lecture 13 Dr. Ted Ralphs IE411 Lecture 13 1 References for Today s Lecture IE411 Lecture 13 2 References for Today s Lecture Required reading Sections 21.1 21.2 References
More informationGraph Theory and Optimization Approximation Algorithms
Graph Theory and Optimization Approximation Algorithms Nicolas Nisse Université Côte d Azur, Inria, CNRS, I3S, France October 2018 Thank you to F. Giroire for some of the slides N. Nisse Graph Theory and
More informationLecture Notes on Karger s Min-Cut Algorithm. Eric Vigoda Georgia Institute of Technology Last updated for Advanced Algorithms, Fall 2013.
Lecture Notes on Karger s Min-Cut Algorithm. Eric Vigoda Georgia Institute of Technology Last updated for 4540 - Advanced Algorithms, Fall 2013. Today s topic: Karger s min-cut algorithm [3]. Problem Definition
More informationFast and Simple Algorithms for Weighted Perfect Matching
Fast and Simple Algorithms for Weighted Perfect Matching Mirjam Wattenhofer, Roger Wattenhofer {mirjam.wattenhofer,wattenhofer}@inf.ethz.ch, Department of Computer Science, ETH Zurich, Switzerland Abstract
More informationCS261: A Second Course in Algorithms Lecture #3: The Push-Relabel Algorithm for Maximum Flow
CS26: A Second Course in Algorithms Lecture #3: The Push-Relabel Algorithm for Maximum Flow Tim Roughgarden January 2, 206 Motivation The maximum flow algorithms that we ve studied so far are augmenting
More informationCSE 417 Network Flows (pt 3) Modeling with Min Cuts
CSE 417 Network Flows (pt 3) Modeling with Min Cuts Reminders > HW6 is due on Friday start early bug fixed on line 33 of OptimalLineup.java: > change true to false Review of last two lectures > Defined
More informationLinear Programming. Course review MS-E2140. v. 1.1
Linear Programming MS-E2140 Course review v. 1.1 Course structure Modeling techniques Linear programming theory and the Simplex method Duality theory Dual Simplex algorithm and sensitivity analysis Integer
More informationSolutions to Final. Solutions to Final. May 18th CS170 David Wolfe ALWAYS TRUE SOMETIMES TRUE NEVER TRUE
Solutions to Final May 18th 1995 CS170 David Wolfe 1. (30 points) Check one box for each of the following. ALWAYS TRUE SOMETIMES TRUE NEVER TRUE In a connected graph, E=O(V) In a connected graph, E=Ω(V)
More informationLinear Programming. Readings: Read text section 11.6, and sections 1 and 2 of Tom Ferguson s notes (see course homepage).
Linear Programming Learning Goals. Introduce Linear Programming Problems. Widget Example, Graphical Solution. Basic Theory: Feasible Set, Vertices, Existence of Solutions. Equivalent formulations. Outline
More informationLinear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued.
Linear Programming Widget Factory Example Learning Goals. Introduce Linear Programming Problems. Widget Example, Graphical Solution. Basic Theory:, Vertices, Existence of Solutions. Equivalent formulations.
More information