Average Case Lower Bounds for Monotone Switching Networks
|
|
- Alisha Harrison
- 5 years ago
- Views:
Transcription
1 Average Cae Lower Bound for Monoone Swiching Nework Yuval Filmu, Toniann Piai, Rober Robere, Sephen Cook Deparmen of Compuer Science Univeriy of Torono
2 Monoone Compuaion (Refreher) Monoone circui were inroduced a a naural rericion on general circui for he purpoe of proving lower bound.
3 Monoone Compuaion (Refreher) Monoone circui were inroduced a a naural rericion on general circui for he purpoe of proving lower bound. Many of he (general) circui cla eparaion we believe o be rue imply heir monoone verion, o monoone eparaion are a good place o ar.
4 Monoone Compuaion (Refreher) Monoone circui were inroduced a a naural rericion on general circui for he purpoe of proving lower bound. Many of he (general) circui cla eparaion we believe o be rue imply heir monoone verion, o monoone eparaion are a good place o ar. Much of he work up unil now ha been on exac monoone compuaion --- wha abou average-cae?
5 Previou Monoone Lower Bound Problem Clique Direced Conn. Poiner Jumping GEN GEN
6 Previou Monoone Lower Bound Problem Clique Direced Conn. Poiner Jumping GEN GEN Fir Proved By... Razborov [85] Karchmer-Wigderon [88] Grigni-Siper [95] Raz-McKenzie [97] Chan-Poechin [12]
7 Previou Monoone Lower Bound Problem Clique Direced Conn. Poiner Jumping GEN GEN Fir Proved By... Razborov [85] Karchmer-Wigderon [88] Grigni-Siper [95] Raz-McKenzie [97] Chan-Poechin [12] Lower Bound (Ck Size) (Ck Deph) (Ck Deph) (Ck Deph) (Nework Size)
8 Monoone, Average Cae LB Problem Clique Diribuion Random Graph Lower Bound (Roman [10])
9 Monoone, Average Cae LB Problem Clique Direced Conn. Diribuion Random Graph Lower Bound (Roman [10]) Poiner Jumping GEN??
10 Monoone, Average Cae LB Problem Clique Direced Conn. Diribuion Random Graph Lower Bound (Roman [10]) Poiner Jumping GEN?? Our work
11 Monoone Swiching Nework Model for ml baed on undireced conneciviy x z z y v z
12 Monoone Swiching Nework Model for ml baed on undireced conneciviy x z z y v z x = z = 1 y = v = 0
13 Monoone Swiching Nework Model for ml baed on undireced conneciviy x z z y v z x = z = 1 y = v = 0 Dead Alive
14 Monoone Swiching Nework Model for ml baed on undireced conneciviy x z z y v z x = z = 1 y = v = 0 - live pah, o accep!
15 Monoone Swiching Nework Model for ml baed on undireced conneciviy x z z y v z y = z = 1 x = v = 0 Alo accep!
16 Monoone Swiching Nework Model for ml baed on undireced conneciviy x z z y v z x = z = v = 1 y = 0 Two acceping pah, bu ha alrigh!
17 Monoone Swiching Nework y x z v z z Allow reverible nondeerminim
18 Monoone Swiching Nework y x z z z v M compue a boolean funcion f if f(x) = 1 iff M(x) ha a live - pah
19 Monoone Swiching Nework y x z v z z ml = all problem olvable by polynomially-ized monoone wiching nework
20 Monoone Swiching Nework In hi model, he canonical complee problem for ml i undireced graph conneciviy:
21 Monoone Swiching Nework In hi model, he canonical complee problem for ml i undireced graph conneciviy: u Given a li of edge in an undireced graph, i here an - pah? v
22 Monoone Swiching Nework In hi model, he canonical complee problem for ml i undireced graph conneciviy: u u u uv v v v
23 Monoone Swiching Nework In hi model, he canonical complee problem for ml i undireced graph conneciviy: u u u uv v v v
24 Swiching Nework and Circui Swiching nework ize and circui deph are cloely relaed. Theorem: A wiching nework of ize O() compuing a boolean funcion f can be convered ino a bounded fan-in circui wih deph Theorem: A bounded fanin circui of deph O(d) compuing a boolean funcion f can be convered ino a wiching nework wih ae.
25 Swiching Nework and Circui Swiching nework ize and circui deph are cloely relaed. Theorem: A wiching nework of ize O() compuing a boolean funcion f can be convered ino a bounded fan-in circui wih deph In oher word, a lower bound of on wiching nework ize implie a deph lower Theorem: A bounded of fanin circui for circui. of deph O(d) compuing a boolean funcion f can be convered ino a wiching nework wih ae.
26 The GEN Problem Inpu: Poiive ineger N, a ube of riple and wo diinguihed poin, in [N]. Problem: Doe generae uing he riple in L?
27 The GEN Problem (Algebraic Inuiion) Inpu: Poiive ineger N, a muliplicaion able and wo diinguihed poin, in [N]. Problem: Doe lie in he e generaed by repeaed powering of?
28 Generaion uing Triple (Inuiion) Think of each riple (x, y, z) a a pair of direced edge: (x, y) and (y, z) N = 6
29 Generaion uing Triple (Inuiion) (,, a) a b N = 6
30 Generaion uing Triple (Inuiion) (, a, b) (Order of fir wo coordinae doen maer) a b N = 6
31 Generaion uing Triple To generae we ar wih, and ee wha we can reach wih he riple a b N = 6
32 Generaion uing Triple To generae we ar wih, and ee wha we can reach wih he riple a b N = 6 Uing (,,a) and {} we generae {,a}
33 Generaion uing Triple To generae we ar wih, and ee wha we can reach wih he riple a b N = 6 Uing (,a,b) and {,a} we generae {,a,b}
34 Generaion uing Triple And o on... a b N = 6
35 Generaion uing Triple If ever ener our generaed e we accep he inance! a b N = 6
36 Graph Inance Viewing GEN a a graph i a nice implificaion: If G i a DAG where each node ha fan-in 0 or 2, we aociae a naural GEN inance wih riple (x,y,z) for each pair of edge (x,z), (y,z). Graph Inance of GEN iomorphic o G
37 GEN i in mp I i eay o give a polynomially-ized monoone circui family for GEN.
38 GEN i in mp We have one wire for each poin in he inpu e [N]. A wire will have value 1 during he compuaion if ha poin can be generaed. u v
39 GEN i in mp Conruc a gadge G ha updae he conen of he wire, uing he inpu riple. u v G
40 GEN i in mp Conruc a gadge G ha updae he conen of he wire, uing he inpu riple. = 1 u = 1 v G v = 1 if v gen. from {, u} = 1 if gen. from {, u}
41 GEN i in mp How doe G work? For each poin z, e he wire of z o be equal o. = 1 u = 1 v G v = 1 if v gen. from {, u} = 1 if gen. from {, u}
42 GEN i in mp How doe G work? For each poin z, e he wire of z o be equal o. So, G ha ize (looely). = 1 u = 1 v G v = 1 if v gen. from {, u} = 1 if gen. from {, u}
43 GEN i in mp To compue GEN, we imply ring n copie of G in a row, aring wih = 1 and all oher wire wih 0. = 1 u v G G G G
44 GEN i in mp To compue GEN, we imply ring n copie of G in a row, aring wih = 1 and all oher wire wih 0. = 1 u v Wha G abou monoone G wiching G nework? G
45 Reverible Pebbling Game Given: A DAG G wih a ource node and a ink node
46 Reverible Pebbling Game Given: A DAG G wih a ource node and a ink node Goal: Place a pebble on he ink node, minimize # of pebble
47 Reverible Pebbling Game Given: A DAG G wih a ource node and a ink node Goal: Place a pebble on he ink node, minimize # of pebble One move: If all he predeceor of a node have pebble, hen place a pebble on or remove a pebble from ha node.
48 Reverible Pebbling Game, Example ha no predeceor, o we can alway place a pebble on i
49 Reverible Pebbling Game, Example
50 Reverible Pebbling Game, Example
51 Reverible Pebbling Game, Example Now remove pebble, ince we don need hem...
52 Reverible Pebbling Game, Example Now remove pebble, ince we don need hem
53 Reverible Pebbling Game, Example Noe ha if we removed he pebble on fir, we canno remove he oher pebble due o reveribiliy:
54 Reverible Pebbling Game The reverible pebbling game naurally define an efficien wiching nework algorihm for GEN on hi graph.
55 Reverible Pebbling Game The reverible pebbling game naurally define an efficien wiching nework algorihm for GEN on hi graph. a b
56 Reverible Pebbling Game The reverible pebbling game naurally define an efficien wiching nework algorihm for GEN on hi graph. No ored! a b
57 Reverible Pebbling Game The reverible pebbling game naurally define an efficien wiching nework algorihm for GEN on hi graph. We only ore c log n bi, where c i he maximum number of pebble.
58 Reverible Pebbling Game The reverible pebbling game naurally define an efficien wiching nework algorihm for GEN on hi graph. We only ore c log n bi, where c i he maximum number of pebble. Require ae
59 Reverible Pebbling Game The reverible pebbling game naurally define an efficien wiching nework algorihm for GEN on hi graph. We only ore c log n bi, where c i he maximum number of pebble. We how ha hi i eenially igh, even when he monoone algorihm i allowed o err on a large fracion of he inpu.
60 Reverible Pebble Number If G i a DAG hen define he reverible pebbling number of G o be he minimum number of pebble needed o pebble he ink of G.
61 Reverible Pebble Number If G i a DAG hen define he reverible pebbling number of G o be he minimum number of pebble needed o pebble he ink of G. (Cook [73]) Heigh h pyramid
62 Reverible Pebble Number If G i a DAG hen define he reverible pebbling number of G o be he minimum number of pebble needed o pebble he ink of G. (Cook [73]) Heigh h pyramid (Poechin [12]) Pah wih n node
63 Deerminiic Lower Bound Poechin give a mehod (refined by Chan and Poechin) o lower bound he number of ae of monoone wiching nework compuing cerain funcion.
64 Deerminiic Lower Bound Poechin give a mehod (refined by Chan and Poechin) o lower bound he number of ae of monoone wiching nework compuing cerain funcion. High level: 1. Chooe a large e of YES inance S. 2. Show ha, for any wiching nework M and any inance I in S, you can find a ae in M ha i highly pecific o I. 3. Show ha any ae can only be highly pecific o a relaively mall number of inance I.
65 Deerminiic Lower Bound (Skech) Some riple cro he cu and are e o 0 The maxerm of GEN are - cu (like a cu in - conneciviy). We add all riple which do no cro he cu. Le be he e of all cu.
66 Deerminiic Lower Bound (Skech) If M i a monoone wiching nework compuing GEN, we can naurally aociae wih each ae v a vecor which i 1 iff ha ae i reachable on a given cu.
67 Deerminiic Lower Bound (Skech) If M i a monoone wiching nework compuing GEN, we can naurally aociae wih each ae v a vecor which i 1 iff ha ae i reachable on a given cu.
68 Deerminiic Lower Bound (Skech) If M i a monoone wiching nework compuing GEN, we can naurally aociae wih each ae v a vecor which i 1 iff ha ae i reachable on a given cu. On here i a live pah o v o v
69 Deerminiic Lower Bound (Skech) If M i a monoone wiching nework compuing GEN, we can naurally aociae wih each ae v a vecor which i 1 iff ha ae i reachable on a given cu. On here i no live pah o v o v
70 Deerminiic Lower Bound (Skech) The vecor are called reachabiliy vecor. They ell u exacly how he nework operae on he cu. To ge a lower bound, we fix a large e of YES inance of GEN: pyramid inance of heigh h. Le be he e of heigh-h pyramid.
71 Deerminiic Lower Bound (Skech) we define anoher vecor.. 1. For every monoone wiching nework M compuing GEN and for each P in here i a ae.. 2. depend only on coordinae in P, and ha zero correlaion wih any funcion depending only on h coordinae 3.
72 Deerminiic Lower Bound (Skech) 1. For every monoone wiching nework M compuing GEN and for each P in here i a ae.. he ae mu perform a lo of work eparaing he pyramid P from all of he cu (I i highly pecific o P)
73 Deerminiic Lower Bound (Skech) 2. depend only on coordinae in P, and ha zero correlaion wih any funcion depending only on h coordinae. for any wo diinc pyramid ha hare a mo h coordinae, he funcion and are uncorrelaed (or orhogonal)
74 Summing hi inequaliy over all ae v and uing 1 give he lower bound. Deerminiic Lower Bound (Skech) 3. (uing orhogonaliy from 2) any ae can only be pecific (in he ene of 1) o a mo pyramid
75 Deerminiic Lower Bound (Skech) How do we come up wih hee funcion? For a fixed pyramid P, we inroduce new funcion for each riple l in P which aify a propery we call nicene, along wih wo oher properie: 1. For any,, and have he ame Fourier coefficien up o level h. 2. i mall. Nicene: If C i a cu and l croe C, hen
76 Average Cae Compuaion Le f be a boolean funcion and M a wiching nework. Le D be a diribuion on M compue f wih error on D if
77 Our Diribuion on GEN Inpu The diribuion we ue i uppored on a e of graph inance, and a e of maxerm. Definiion: Fix a DAG G wih fan-in 0 or 2. Define he diribuion a follow: wih probabiliy ½ chooe eiher a random cu inance or a random graph inance of GEN iomorphic o G
78 Our Diribuion on GEN Inpu The diribuion we ue i uppored on a e of graph inance, and a e of maxerm. Definiion: Fix a DAG G wih fan-in 0 or 2. Define he diribuion a follow: wih probabiliy ½ chooe eiher a random cu inance or a random graph inance of GEN iomorphic o G We vary he complexiy of he GEN problem by chooing graph wih differen reverible pebbling number.
79 Diribuion (Picure!) [N]
80 Random Cu [N]
81 Random Cu All riple added excep hoe ha cro he cu [N]
82 Random G-Inance [N]
83 Random G-Inance [N]
84 Random G-Inance Graph ha m < N verice Many poible iomorphic inance on [N] [N]
85 Lower bounding he average cae If he circui i allowed o error, here are wo baic difficulie in he previou proof: 1. The circui migh no accep all pyramid (no longer complee) 2. The circui migh no rejec all cu (no longer ound)
86 Lower bounding he average cae If he circui i allowed o error, here are wo baic difficulie in he previou proof: 1. The circui migh no accep all pyramid (no longer complee) 2. The circui migh no rejec all cu (no longer ound) The fir problem i eay o handle --- we can ill find a large ube of pyramid ha i acceped by he circui, on average.
87 Lower bounding he average cae If he circui i allowed o error, here are wo baic difficulie in he previou proof: 1. The circui migh no accep all pyramid (no longer complee) 2. The circui migh no rejec all cu (no longer ound) The econd problem i much harder, and overcoming i i our main echnical conribuion.
88 Lower bounding he average cae If he circui i allowed o error, here are wo baic difficulie in he previou proof: 1. The circui migh no accep all pyramid (no longer complee) 2. The circui migh no rejec all cu (no longer ound) The econd problem i much harder, and overcoming i i our main echnical conribuion. The problem arie in a echnical par of he conrucion of he vecor, and fixing i i ricky.
89 Puing i All Togeher: Main Theorem Main Theorem: Le N, m, h be poiive ineger and, non-negaive real parameer aifying Le G be a DAG wih fan-in 0 or 2, m verice, and reverible pebbling number h. Any monoone wiching nework compuing GEN on [N] wih error on ha a lea ae.
90 Corollarie All corollarie are obained by chooing graph wih differen pebbling number and eing parameer appropriaely.
91 Corollarie All corollarie are obained by chooing graph wih differen pebbling number and eing parameer appropriaely. Pyramid of heigh
92 Corollarie All corollarie are obained by chooing graph wih differen pebbling number and eing parameer appropriaely. Pyramid of heigh Pyramid of heigh h = N/2
93 Corollarie All corollarie are obained by chooing graph wih differen pebbling number and eing parameer appropriaely. Pyramid of heigh Pyramid of heigh h = N/2 Direced pah of lengh N
94 Corollarie All corollarie are obained by chooing graph wih differen pebbling number and eing parameer appropriaely. Pyramid of heigh Pyramid of heigh h = N/2 Direced pah of lengh N All lower bound are over wih error
95 Furher Direcion Framework preened only applie o GEN -- can we exend i o oher funcion?
96 Furher Direcion Framework preened only applie o GEN -- can we exend i o oher funcion? Can we opimize he lower bound furher? (In paricular, we loe a quare roo due o Cauchy-Schwarz)
97 Furher Direcion Framework preened only applie o GEN -- can we exend i o oher funcion? Can we opimize he lower bound furher? (In paricular, we loe a quare roo due o Cauchy-Schwarz) Doe hi proof have a more direc (read: combinaorial) analog in he world of monoone circui?
Algorithmic Discrete Mathematics 6. Exercise Sheet
Algorihmic Dicree Mahemaic. Exercie Shee Deparmen of Mahemaic SS 0 PD Dr. Ulf Lorenz 7. and 8. Juni 0 Dipl.-Mah. David Meffer Verion of June, 0 Groupwork Exercie G (Heap-Sor) Ue Heap-Sor wih a min-heap
More informationProblem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow.
CSE 202: Deign and Analyi of Algorihm Winer 2013 Problem Se 3 Inrucor: Kamalika Chaudhuri Due on: Tue. Feb 26, 2013 Inrucion For your proof, you may ue any lower bound, algorihm or daa rucure from he ex
More informationRandomized Perfect Bipartite Matching
Inenive Algorihm Lecure 24 Randomized Perfec Biparie Maching Lecurer: Daniel A. Spielman April 9, 208 24. Inroducion We explain a randomized algorihm by Ahih Goel, Michael Kapralov and Sanjeev Khanna for
More informationNetwork Flows: Introduction & Maximum Flow
CSC 373 - lgorihm Deign, nalyi, and Complexiy Summer 2016 Lalla Mouaadid Nework Flow: Inroducion & Maximum Flow We now urn our aenion o anoher powerful algorihmic echnique: Local Search. In a local earch
More informationMain Reference: Sections in CLRS.
Maximum Flow Reied 09/09/200 Main Reference: Secion 26.-26. in CLRS. Inroducion Definiion Muli-Source Muli-Sink The Ford-Fulkeron Mehod Reidual Nework Augmening Pah The Max-Flow Min-Cu Theorem The Edmond-Karp
More informationAlgorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov)
Algorihm and Daa Srucure 2011/ Week Soluion (Tue 15h - Fri 18h No) 1. Queion: e are gien 11/16 / 15/20 8/13 0/ 1/ / 11/1 / / To queion: (a) Find a pair of ube X, Y V uch ha f(x, Y) = f(v X, Y). (b) Find
More informationSoviet Rail Network, 1955
Sovie Rail Nework, 1 Reference: On he hiory of he ranporaion and maximum flow problem. Alexander Schrijver in Mah Programming, 1: 3,. Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic
More informationCS4445/9544 Analysis of Algorithms II Solution for Assignment 1
Conider he following flow nework CS444/944 Analyi of Algorihm II Soluion for Aignmen (0 mark) In he following nework a minimum cu ha capaciy 0 Eiher prove ha hi aemen i rue, or how ha i i fale Uing he
More informationThe Residual Graph. 11 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm
Augmening Pah Algorihm Greedy-algorihm: ar wih f (e) = everywhere find an - pah wih f (e) < c(e) on every edge augmen flow along he pah repea a long a poible The Reidual Graph From he graph G = (V, E,
More information1 Motivation and Basic Definitions
CSCE : Deign and Analyi of Algorihm Noe on Max Flow Fall 20 (Baed on he preenaion in Chaper 26 of Inroducion o Algorihm, 3rd Ed. by Cormen, Leieron, Rive and Sein.) Moivaion and Baic Definiion Conider
More informationIntroduction to Congestion Games
Algorihmic Game Theory, Summer 2017 Inroducion o Congeion Game Lecure 1 (5 page) Inrucor: Thoma Keelheim In hi lecure, we ge o know congeion game, which will be our running example for many concep in game
More informationMaximum Flow and Minimum Cut
// Sovie Rail Nework, Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic problem. Cornerone problem in combinaorial opimizaion. Beauiful mahemaical dualiy. Nework Flow Flow nework.
More informationThe Residual Graph. 12 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm
Augmening Pah Algorihm Greedy-algorihm: ar wih f (e) = everywhere find an - pah wih f (e) < c(e) on every edge augmen flow along he pah repea a long a poible The Reidual Graph From he graph G = (V, E,
More informationSoviet Rail Network, 1955
7.1 Nework Flow Sovie Rail Nework, 19 Reerence: On he hiory o he ranporaion and maximum low problem. lexander Schrijver in Mah Programming, 91: 3, 00. (See Exernal Link ) Maximum Flow and Minimum Cu Max
More informationCS 473G Lecture 15: Max-Flow Algorithms and Applications Fall 2005
CS 473G Lecure 1: Max-Flow Algorihm and Applicaion Fall 200 1 Max-Flow Algorihm and Applicaion (November 1) 1.1 Recap Fix a direced graph G = (V, E) ha doe no conain boh an edge u v and i reveral v u,
More informationGraphs III - Network Flow
Graph III - Nework Flow Flow nework eup graph G=(V,E) edge capaciy w(u,v) 0 - if edge doe no exi, hen w(u,v)=0 pecial verice: ource verex ; ink verex - no edge ino and no edge ou of Aume every verex v
More informationAlgorithm Design and Analysis
Algorihm Deign and Analyi LECTURES 17 Nework Flow Dualiy of Max Flow and Min Cu Algorihm: Ford-Fulkeron Capaciy Scaling Sofya Rakhodnikova S. Rakhodnikova; baed on lide by E. Demaine, C. Leieron, A. Smih,
More information! Abstraction for material flowing through the edges. ! G = (V, E) = directed graph, no parallel edges.
Sovie Rail Nework, haper Nework Flow Slide by Kevin Wayne. opyrigh Pearon-ddion Weley. ll righ reerved. Reference: On he hiory of he ranporaion and maximum flow problem. lexander Schrijver in Mah Programming,
More informationFlow networks. Flow Networks. A flow on a network. Flow networks. The maximum-flow problem. Introduction to Algorithms, Lecture 22 December 5, 2001
CS 545 Flow Nework lon Efra Slide courey of Charle Leieron wih mall change by Carola Wenk Flow nework Definiion. flow nework i a direced graph G = (V, E) wih wo diinguihed verice: a ource and a ink. Each
More informationMax Flow, Min Cut COS 521. Kevin Wayne Fall Soviet Rail Network, Cuts. Minimum Cut Problem. Flow network.
Sovie Rail Nework, Max Flow, Min u OS Kevin Wayne Fall Reference: On he hiory of he ranporaion and maximum flow problem. lexander Schrijver in Mah Programming, :,. Minimum u Problem u Flow nework.! Digraph
More informationCSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it
CSC 36S Noe Univeriy of Torono, Spring, 2003 Flow Algorihm The nework we will conider are direced graph, where each edge ha aociaed wih i a nonnegaive capaciy. The inuiion i ha if edge (u; v) ha capaciy
More informationAdmin MAX FLOW APPLICATIONS. Flow graph/networks. Flow constraints 4/30/13. CS lunch today Grading. in-flow = out-flow for every vertex (except s, t)
/0/ dmin lunch oday rading MX LOW PPLIION 0, pring avid Kauchak low graph/nework low nework direced, weighed graph (V, ) poiive edge weigh indicaing he capaciy (generally, aume ineger) conain a ingle ource
More informationNetwork Flow. Data Structures and Algorithms Andrei Bulatov
Nework Flow Daa Srucure and Algorihm Andrei Bulao Algorihm Nework Flow 24-2 Flow Nework Think of a graph a yem of pipe We ue hi yem o pump waer from he ource o ink Eery pipe/edge ha limied capaciy Flow
More informationCSE 521: Design & Analysis of Algorithms I
CSE 52: Deign & Analyi of Algorihm I Nework Flow Paul Beame Biparie Maching Given: A biparie graph G=(V,E) M E i a maching in G iff no wo edge in M hare a verex Goal: Find a maching M in G of maximum poible
More informationAlgorithm Design and Analysis
Algorihm Deign and Analyi LECTURE 0 Nework Flow Applicaion Biparie maching Edge-dijoin pah Adam Smih 0//0 A. Smih; baed on lide by E. Demaine, C. Leieron, S. Rakhodnikova, K. Wayne La ime: Ford-Fulkeron
More informationGreedy. I Divide and Conquer. I Dynamic Programming. I Network Flows. Network Flow. I Previous topics: design techniques
Algorihm Deign Technique CS : Nework Flow Dan Sheldon April, reedy Divide and Conquer Dynamic Programming Nework Flow Comparion Nework Flow Previou opic: deign echnique reedy Divide and Conquer Dynamic
More informationPhysics 240: Worksheet 16 Name
Phyic 4: Workhee 16 Nae Non-unifor circular oion Each of hee proble involve non-unifor circular oion wih a conan α. (1) Obain each of he equaion of oion for non-unifor circular oion under a conan acceleraion,
More informationu(t) Figure 1. Open loop control system
Open loop conrol v cloed loop feedbac conrol The nex wo figure preen he rucure of open loop and feedbac conrol yem Figure how an open loop conrol yem whoe funcion i o caue he oupu y o follow he reference
More informationNotes for Lecture 17-18
U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up
More information18 Extensions of Maximum Flow
Who are you?" aid Lunkwill, riing angrily from hi ea. Wha do you wan?" I am Majikhie!" announced he older one. And I demand ha I am Vroomfondel!" houed he younger one. Majikhie urned on Vroomfondel. I
More information4/12/12. Applications of the Maxflow Problem 7.5 Bipartite Matching. Bipartite Matching. Bipartite Matching. Bipartite matching: the flow network
// Applicaion of he Maxflow Problem. Biparie Maching Biparie Maching Biparie maching. Inpu: undireced, biparie graph = (, E). M E i a maching if each node appear in a mo one edge in M. Max maching: find
More information6.8 Laplace Transform: General Formulas
48 HAP. 6 Laplace Tranform 6.8 Laplace Tranform: General Formula Formula Name, ommen Sec. F() l{ f ()} e f () d f () l {F()} Definiion of Tranform Invere Tranform 6. l{af () bg()} al{f ()} bl{g()} Lineariy
More information16 Max-Flow Algorithms and Applications
Algorihm A proce canno be underood by opping i. Underanding mu move wih he flow of he proce, mu join i and flow wih i. The Fir Law of Mena, in Frank Herber Dune (196) There a difference beween knowing
More informationLecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.
Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in
More informationMatching. Slides designed by Kevin Wayne.
Maching Maching. Inpu: undireced graph G = (V, E). M E i a maching if each node appear in a mo edge in M. Max maching: find a max cardinaliy maching. Slide deigned by Kevin Wayne. Biparie Maching Biparie
More informationToday: Max Flow Proofs
Today: Max Flow Proof COSC 58, Algorihm March 4, 04 Many of hee lide are adaped from everal online ource Reading Aignmen Today cla: Chaper 6 Reading aignmen for nex cla: Chaper 7 (Amorized analyi) In-Cla
More informationReminder: Flow Networks
0/0/204 Ma/CS 6a Cla 4: Variou (Flow) Execie Reminder: Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d
More information6/3/2009. CS 244 Algorithm Design Instructor: t Artur Czumaj. Lecture 8 Network flows. Maximum Flow and Minimum Cut. Minimum Cut Problem.
Maximum Flow and Minimum Cu CS lgorihm Deign Inrucor: rur Czumaj Lecure Nework Max and min cu. Two very rich algorihmic problem. Cornerone problem in combinaorial opimizaion. Beauiful mahemaical dualiy.
More informationMATH 128A, SUMMER 2009, FINAL EXAM SOLUTION
MATH 28A, SUMME 2009, FINAL EXAM SOLUTION BENJAMIN JOHNSON () (8 poins) [Lagrange Inerpolaion] (a) (4 poins) Le f be a funcion defined a some real numbers x 0,..., x n. Give a defining equaion for he Lagrange
More informationToday s topics. CSE 421 Algorithms. Problem Reduction Examples. Problem Reduction. Undirected Network Flow. Bipartite Matching. Problem Reductions
Today opic CSE Algorihm Richard Anderon Lecure Nework Flow Applicaion Prolem Reducion Undireced Flow o Flow Biparie Maching Dijoin Pah Prolem Circulaion Loweround conrain on flow Survey deign Prolem Reducion
More informationFlow Networks. Ma/CS 6a. Class 14: Flow Exercises
0/0/206 Ma/CS 6a Cla 4: Flow Exercie Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d e Sink 0/0/206 Flow
More informationNetwork Flow Applications
Hopial problem Neork Flo Applicaion Injured people: n Hopial: k Each peron need o be brough o a hopial no more han 30 minue aay Each hopial rea no more han n/k" people Gien n, k, and informaion abou people
More informationPrice of Stability and Introduction to Mechanism Design
Algorihmic Game Theory Summer 2017, Week 5 ETH Zürich Price of Sabiliy and Inroducion o Mechanim Deign Paolo Penna Thi i he lecure where we ar deigning yem which involve elfih player. Roughly peaking,
More informationThey were originally developed for network problem [Dantzig, Ford, Fulkerson 1956]
6. Inroducion... 6. The primal-dual algorihmn... 6 6. Remark on he primal-dual algorihmn... 7 6. A primal-dual algorihmn for he hore pah problem... 8... 9 6.6 A primal-dual algorihmn for he weighed maching
More information18.03SC Unit 3 Practice Exam and Solutions
Sudy Guide on Sep, Dela, Convoluion, Laplace You can hink of he ep funcion u() a any nice mooh funcion which i for < a and for > a, where a i a poiive number which i much maller han any ime cale we care
More informationCMU-Q Lecture 3: Search algorithms: Informed. Teacher: Gianni A. Di Caro
CMU-Q 5-38 Lecure 3: Search algorihms: Informed Teacher: Gianni A. Di Caro UNINFORMED VS. INFORMED SEARCH Sraegy How desirable is o be in a cerain inermediae sae for he sake of (effecively) reaching a
More informationMore Digital Logic. t p output. Low-to-high and high-to-low transitions could have different t p. V in (t)
EECS 4 Spring 23 Lecure 2 EECS 4 Spring 23 Lecure 2 More igial Logic Gae delay and signal propagaion Clocked circui elemens (flip-flop) Wriing a word o memory Simplifying digial circuis: Karnaugh maps
More informationFlow networks, flow, maximum flow. Some definitions. Edmonton. Saskatoon Winnipeg. Vancouver Regina. Calgary. 12/12 a.
Flow nework, flow, maximum flow Can inerpre direced graph a flow nework. Maerial coure hrough ome yem from ome ource o ome ink. Source produce maerial a ome eady rae, ink conume a ame rae. Example: waer
More informationEECE 301 Signals & Systems Prof. Mark Fowler
EECE 31 Signal & Syem Prof. Mark Fowler Noe Se #27 C-T Syem: Laplace Tranform Power Tool for yem analyi Reading Aignmen: Secion 6.1 6.3 of Kamen and Heck 1/18 Coure Flow Diagram The arrow here how concepual
More informationSelfish Routing. Tim Roughgarden Cornell University. Includes joint work with Éva Tardos
Selfih Rouing Tim Roughgarden Cornell Univeriy Include join work wih Éva Tardo 1 Which roue would you chooe? Example: one uni of raffic (e.g., car) wan o go from o delay = 1 hour (no congeion effec) long
More informationNotes on cointegration of real interest rates and real exchange rates. ρ (2)
Noe on coinegraion of real inere rae and real exchange rae Charle ngel, Univeriy of Wiconin Le me ar wih he obervaion ha while he lieraure (mo prominenly Meee and Rogoff (988) and dion and Paul (993))
More informationSyntactic Complexity of Suffix-Free Languages. Marek Szykuła
Inroducion Upper Bound on Synacic Complexiy of Suffix-Free Language Univeriy of Wrocław, Poland Join work wih Januz Brzozowki Univeriy of Waerloo, Canada DCFS, 25.06.2015 Abrac Inroducion Sae and ynacic
More informationFLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER
#A30 INTEGERS 10 (010), 357-363 FLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER Nahan Kaplan Deparmen of Mahemaic, Harvard Univeriy, Cambridge, MA nkaplan@mah.harvard.edu Received: 7/15/09, Revied:
More informationHomework sheet Exercises done during the lecture of March 12, 2014
EXERCISE SESSION 2A FOR THE COURSE GÉOMÉTRIE EUCLIDIENNE, NON EUCLIDIENNE ET PROJECTIVE MATTEO TOMMASINI Homework shee 3-4 - Exercises done during he lecure of March 2, 204 Exercise 2 Is i rue ha he parameerized
More information1 Review of Zero-Sum Games
COS 5: heoreical Machine Learning Lecurer: Rob Schapire Lecure #23 Scribe: Eugene Brevdo April 30, 2008 Review of Zero-Sum Games Las ime we inroduced a mahemaical model for wo player zero-sum games. Any
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More information10. State Space Methods
. Sae Space Mehods. Inroducion Sae space modelling was briefly inroduced in chaper. Here more coverage is provided of sae space mehods before some of heir uses in conrol sysem design are covered in he
More information23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes
Half-Range Series 2.5 Inroducion In his Secion we address he following problem: Can we find a Fourier series expansion of a funcion defined over a finie inerval? Of course we recognise ha such a funcion
More informationChapter 7: Solving Trig Equations
Haberman MTH Secion I: The Trigonomeric Funcions Chaper 7: Solving Trig Equaions Le s sar by solving a couple of equaions ha involve he sine funcion EXAMPLE a: Solve he equaion sin( ) The inverse funcions
More informationApproximation Algorithms for Unique Games via Orthogonal Separators
Approximaion Algorihms for Unique Games via Orhogonal Separaors Lecure noes by Konsanin Makarychev. Lecure noes are based on he papers [CMM06a, CMM06b, LM4]. Unique Games In hese lecure noes, we define
More informationCHAPTER 12 DIRECT CURRENT CIRCUITS
CHAPTER 12 DIRECT CURRENT CIUITS DIRECT CURRENT CIUITS 257 12.1 RESISTORS IN SERIES AND IN PARALLEL When wo resisors are conneced ogeher as shown in Figure 12.1 we said ha hey are conneced in series. As
More informationV The Fourier Transform
V he Fourier ransform Lecure noes by Assaf al 1. Moivaion Imagine playing hree noes on he piano, recording hem (soring hem as a.wav or.mp3 file), and hen ploing he resuling waveform on he compuer: 100Hz
More informationPENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD
PENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD HAN XIAO 1. Penalized Leas Squares Lasso solves he following opimizaion problem, ˆβ lasso = arg max β R p+1 1 N y i β 0 N x ij β j β j (1.1) for some 0.
More informationOrdinary Differential Equations
Ordinary Differenial Equaions 5. Examples of linear differenial equaions and heir applicaions We consider some examples of sysems of linear differenial equaions wih consan coefficiens y = a y +... + a
More informationLaplace transfom: t-translation rule , Haynes Miller and Jeremy Orloff
Laplace ransfom: -ranslaion rule 8.03, Haynes Miller and Jeremy Orloff Inroducory example Consider he sysem ẋ + 3x = f(, where f is he inpu and x he response. We know is uni impulse response is 0 for
More informationMaximum Flow in Planar Graphs
Maximum Flow in Planar Graph Planar Graph and i Dual Dualiy i defined for direced planar graph a well Minimum - cu in undireced planar graph An - cu (undireced graph) An - cu The dual o he cu Cu/Cycle
More informationMaximum Flow. Contents. Max Flow Network. Maximum Flow and Minimum Cut
Conen Maximum Flow Conen. Maximum low problem. Minimum cu problem. Max-low min-cu heorem. Augmening pah algorihm. Capaciy-caling. Shore augmening pah. Princeon Univeriy COS Theory o Algorihm Spring Kevin
More information2. VECTORS. R Vectors are denoted by bold-face characters such as R, V, etc. The magnitude of a vector, such as R, is denoted as R, R, V
ME 352 VETS 2. VETS Vecor algebra form he mahemaical foundaion for kinemaic and dnamic. Geomer of moion i a he hear of boh he kinemaic and dnamic of mechanical em. Vecor anali i he imehonored ool for decribing
More informationdy dx = xey (a) y(0) = 2 (b) y(1) = 2.5 SOLUTION: See next page
Assignmen 1 MATH 2270 SOLUTION Please wrie ou complee soluions for each of he following 6 problems (one more will sill be added). You may, of course, consul wih your classmaes, he exbook or oher resources,
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
More informationEE 315 Notes. Gürdal Arslan CLASS 1. (Sections ) What is a signal?
EE 35 Noes Gürdal Arslan CLASS (Secions.-.2) Wha is a signal? In his class, a signal is some funcion of ime and i represens how some physical quaniy changes over some window of ime. Examples: velociy of
More informationR t. C t P t. + u t. C t = αp t + βr t + v t. + β + w t
Exercise 7 C P = α + β R P + u C = αp + βr + v (a) (b) C R = α P R + β + w (c) Assumpions abou he disurbances u, v, w : Classical assumions on he disurbance of one of he equaions, eg. on (b): E(v v s P,
More informationMatrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality
Marix Versions of Some Refinemens of he Arihmeic-Geomeric Mean Inequaliy Bao Qi Feng and Andrew Tonge Absrac. We esablish marix versions of refinemens due o Alzer ], Carwrigh and Field 4], and Mercer 5]
More informationComputer-Aided Analysis of Electronic Circuits Course Notes 3
Gheorghe Asachi Technical Universiy of Iasi Faculy of Elecronics, Telecommunicaions and Informaion Technologies Compuer-Aided Analysis of Elecronic Circuis Course Noes 3 Bachelor: Telecommunicaion Technologies
More informationTimed Circuits. Asynchronous Circuit Design. Timing Relationships. A Simple Example. Timed States. Timing Sequences. ({r 6 },t6 = 1.
Timed Circuis Asynchronous Circui Design Chris J. Myers Lecure 7: Timed Circuis Chaper 7 Previous mehods only use limied knowledge of delays. Very robus sysems, bu exremely conservaive. Large funcional
More informationarxiv: v1 [cs.cg] 21 Mar 2013
On he rech facor of he Thea-4 graph Lui Barba Proenji Boe Jean-Lou De Carufel André van Renen Sander Verdoncho arxiv:1303.5473v1 [c.cg] 21 Mar 2013 Abrac In hi paper we how ha he θ-graph wih 4 cone ha
More information23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes
Represening Periodic Funcions by Fourier Series 3. Inroducion In his Secion we show how a periodic funcion can be expressed as a series of sines and cosines. We begin by obaining some sandard inegrals
More informationRandom Walk with Anti-Correlated Steps
Random Walk wih Ani-Correlaed Seps John Noga Dirk Wagner 2 Absrac We conjecure he expeced value of random walks wih ani-correlaed seps o be exacly. We suppor his conjecure wih 2 plausibiliy argumens and
More informationt is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...
Mah 228- Fri Mar 24 5.6 Marix exponenials and linear sysems: The analogy beween firs order sysems of linear differenial equaions (Chaper 5) and scalar linear differenial equaions (Chaper ) is much sronger
More information6.2 Transforms of Derivatives and Integrals.
SEC. 6.2 Transforms of Derivaives and Inegrals. ODEs 2 3 33 39 23. Change of scale. If l( f ()) F(s) and c is any 33 45 APPLICATION OF s-shifting posiive consan, show ha l( f (c)) F(s>c)>c (Hin: In Probs.
More informationChapter 2. First Order Scalar Equations
Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.
More information13.1 Circuit Elements in the s Domain Circuit Analysis in the s Domain The Transfer Function and Natural Response 13.
Chaper 3 The Laplace Tranform in Circui Analyi 3. Circui Elemen in he Domain 3.-3 Circui Analyi in he Domain 3.4-5 The Tranfer Funcion and Naural Repone 3.6 The Tranfer Funcion and he Convoluion Inegral
More information, the. L and the L. x x. max. i n. It is easy to show that these two norms satisfy the following relation: x x n x = (17.3) max
ecure 8 7. Sabiliy Analyi For an n dimenional vecor R n, he and he vecor norm are defined a: = T = i n i (7.) I i eay o how ha hee wo norm aify he following relaion: n (7.) If a vecor i ime-dependen, hen
More informationLinear Motion, Speed & Velocity
Add Iporan Linear Moion, Speed & Velociy Page: 136 Linear Moion, Speed & Velociy NGSS Sandard: N/A MA Curriculu Fraework (2006): 1.1, 1.2 AP Phyic 1 Learning Objecive: 3.A.1.1, 3.A.1.3 Knowledge/Underanding
More informationFITTING EQUATIONS TO DATA
TANTON S TAKE ON FITTING EQUATIONS TO DATA CURRICULUM TIDBITS FOR THE MATHEMATICS CLASSROOM MAY 013 Sandard algebra courses have sudens fi linear and eponenial funcions o wo daa poins, and quadraic funcions
More information!!"#"$%&#'()!"#&'(*%)+,&',-)./0)1-*23)
"#"$%&#'()"#&'(*%)+,&',-)./)1-*) #$%&'()*+,&',-.%,/)*+,-&1*#$)()5*6$+$%*,7&*-'-&1*(,-&*6&,7.$%$+*&%'(*8$&',-,%'-&1*(,-&*6&,79*(&,%: ;..,*&1$&$.$%&'()*1$$.,'&',-9*(&,%)?%*,('&5
More information5.1 - Logarithms and Their Properties
Chaper 5 Logarihmic Funcions 5.1 - Logarihms and Their Properies Suppose ha a populaion grows according o he formula P 10, where P is he colony size a ime, in hours. When will he populaion be 2500? We
More informationInnova Junior College H2 Mathematics JC2 Preliminary Examinations Paper 2 Solutions 0 (*)
Soluion 3 x 4x3 x 3 x 0 4x3 x 4x3 x 4x3 x 4x3 x x 3x 3 4x3 x Innova Junior College H Mahemaics JC Preliminary Examinaions Paper Soluions 3x 3 4x 3x 0 4x 3 4x 3 0 (*) 0 0 + + + - 3 3 4 3 3 3 3 Hence x or
More information6.003 Homework #9 Solutions
6.00 Homework #9 Soluions Problems. Fourier varieies a. Deermine he Fourier series coefficiens of he following signal, which is periodic in 0. x () 0 0 a 0 5 a k sin πk 5 sin πk 5 πk for k 0 a k 0 πk j
More information2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes
Some common engineering funcions 2.7 Inroducion This secion provides a caalogue of some common funcions ofen used in Science and Engineering. These include polynomials, raional funcions, he modulus funcion
More informationOnline Convex Optimization Example And Follow-The-Leader
CSE599s, Spring 2014, Online Learning Lecure 2-04/03/2014 Online Convex Opimizaion Example And Follow-The-Leader Lecurer: Brendan McMahan Scribe: Sephen Joe Jonany 1 Review of Online Convex Opimizaion
More information6.003 Homework #9 Solutions
6.003 Homework #9 Soluions Problems. Fourier varieies a. Deermine he Fourier series coefficiens of he following signal, which is periodic in 0. x () 0 3 0 a 0 5 a k a k 0 πk j3 e 0 e j πk 0 jπk πk e 0
More informationFractional Ornstein-Uhlenbeck Bridge
WDS'1 Proceeding of Conribued Paper, Par I, 21 26, 21. ISBN 978-8-7378-139-2 MATFYZPRESS Fracional Ornein-Uhlenbeck Bridge J. Janák Charle Univeriy, Faculy of Mahemaic and Phyic, Prague, Czech Republic.
More informationSome Basic Information about M-S-D Systems
Some Basic Informaion abou M-S-D Sysems 1 Inroducion We wan o give some summary of he facs concerning unforced (homogeneous) and forced (non-homogeneous) models for linear oscillaors governed by second-order,
More informationPhysics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle
Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,
More informationME 391 Mechanical Engineering Analysis
Fall 04 ME 39 Mechanical Engineering Analsis Eam # Soluions Direcions: Open noes (including course web posings). No books, compuers, or phones. An calculaor is fair game. Problem Deermine he posiion of
More informationEXERCISES FOR SECTION 1.5
1.5 Exisence and Uniqueness of Soluions 43 20. 1 v c 21. 1 v c 1 2 4 6 8 10 1 2 2 4 6 8 10 Graph of approximae soluion obained using Euler s mehod wih = 0.1. Graph of approximae soluion obained using Euler
More informationLie Derivatives operator vector field flow push back Lie derivative of
Lie Derivaives The Lie derivaive is a mehod of compuing he direcional derivaive of a vecor field wih respec o anoher vecor field We already know how o make sense of a direcional derivaive of real valued
More informationMATH 4330/5330, Fourier Analysis Section 6, Proof of Fourier s Theorem for Pointwise Convergence
MATH 433/533, Fourier Analysis Secion 6, Proof of Fourier s Theorem for Poinwise Convergence Firs, some commens abou inegraing periodic funcions. If g is a periodic funcion, g(x + ) g(x) for all real x,
More informationStationary Distribution. Design and Analysis of Algorithms Andrei Bulatov
Saionary Disribuion Design and Analysis of Algorihms Andrei Bulaov Algorihms Markov Chains 34-2 Classificaion of Saes k By P we denoe he (i,j)-enry of i, j Sae is accessible from sae if 0 for some k 0
More information