15.083J/6.859J Integer Optimization. Lecture 3: Methods to enhance formulations
|
|
- Marjory Stevens
- 5 years ago
- Views:
Transcription
1 15.083J/6.859J Iteger Optimizatio Lecture 3: Methods to ehace formulatios
2 1 Outlie Polyhedral review Slide 1 Methods to geerate valid iequalities Methods to geerate facet defiig iequalities Polyhedral review.1 Dimesio of polyhedra Defiitio: The vectors x 1,...,x k R uique solutio of the liear system are affiely idepedet if the Slide k a i x i = 0, i=1 k a i =0, i=1 is a i =0 for all i =1,...,k. Propositio: The vectors x 1,...,x k R are affiely idepedet if ad oly if the vectors x x 1,...,x k x 1 are liearly idepedet. Slide 3 Defiitio: Let P = {x R Ax b}. The, the polyhedro P has dimesio k, deoted dim(p )= k, if the maximum umber of affiely idepedet poits i P is k +1. P = {(x 1,x ) x 1 x =0, 0 x 1 1, 0 x 1}, dim(p )=?. Valid Iequalities..1 Defiitios a x b is called a valid iequality for a set P if it is satisfied by all poits i P. Slide 4 Let f x g be a valid iequality for a polyhedro P,ad let F = {x P f x = g}. The, F is called a face of P ad we say that f x g represets F. A face is called proper if F =Ø,P. Aface F of P represeted by the iequality f x g, is called a facet of P if dim(f )= dim(p ) 1. We say that the iequality f x g is facet defiig. 1
3 x 3 cov(s) x 1.. Theorem For each facet F of P, at least oe of the iequalities represetig F is ecessary i ay descriptio of P. Slide 5 Every iequality represetig a face of P of dimesio less tha dim(p ) 1 is ot ecessary i the descriptio of P, ad ca be dropped...3 Example S = {(x 1,x ) Z x 1 3,x 1 1, x 1 +x 4, x 1 + x 8, x 1 +x 3}. Facets for cov(s): x 1 3, x 1 1, x 1 +x 3, x 1 + x 5, x 1 + x 1. Faces of dimesio oe: x 1 +x 4, ad x 1 + x 8. Slide 6 3 Methods to geerate valid iequalities 3.1 Roudig Choose u = (u 1,...,u m) 0; Multiply ith costrait with u i ad sum: (u A j )x j u b. Slide 7 Sice u A j u A j ad x j 0: ( ) u A j x j u b. ( ) As x Z + : u A j x j u b.
4 3.1.1 Matchig { } Slide 8 S = x {0, 1} E xe 1, i V. e δ({i}) U V, U = k +1. For each i U, multiply add: 1 1 x e + x e U. e E(U) Sice x e 0, x e 1 U. e E(U) Roud to ( U is odd) e δ(u) 1 U 1 x e U =, e E(U) e δ({i}) xe 1 by 1/, ad 3. Superadditivity 3..1 Defiitio A fuctio F : D R Ris superadditive if for a 1, a D,: a 1 + a D : Slide 9 F (a 1 )+ F (a ) F (a 1 + a ), It is odecreasig if F (a 1 ) F (a ), if a 1 a for all a 1, a D. 3.. Theorem Slide 10 If F : R m R is superadditive ad odecreasig with F (0) = 0, { } F (A j )x j F (b) is valid for the set S = x Z + Ax b Proof By iductio o x j,we show: F (A j )x j F (A j x j ). For x j = 0 it is clearly true. Assumig it is true for x j = k 1, the Slide 11 F (A j )k = F (A j )+ F (A j )(k 1) F (A j )+ F (A j (k 1)) F (A j + A j (k 1)), by superadditivity, ad the iductio is complete. Slide 1 Therefore, F (A j )x j F (A j x j ). 3
5 By superadditivity, F (A j x j ) F A j x j = F (Ax). Sice Ax b ad F is odecreasig F (Ax) F (b). 3.3 Modular arithmetic { } S = x Z + a j x j = a 0, d Z +.We write a j = b j + u j d, where b j (0 b j <d, b j Z +). The, b j x j = b 0 + rd, for some iteger r. Sice bj xj 0ad b0 <d,weobtai r 0. The, bj xj b0 is valid for S Examples For d = 1, ad a j are ot itegers. I this case, sice x 0, we obtai a j x j a 0. Sice x Z, a j x j a 0, ad thus the followig iequality is valid for S (a j a j )x j a 0 a 0. If the iequality b is valid for S a j x 1 R j +, ad the iequality c j x j d is valid for S R +, the the iequality 4 S = {x Z + 7x 1 +17x 64x 3 + x 4 = 03}. For d = 13, iequality x 1 +4x + x 3 + x 4 8 is valid for S. 3.4 Disjuctios Propositio Slide 13 Slide 14 Slide 15 mi(a j,c j )x j max(b, d) is valid for S 1 S. 4
6 3.4. Theorem If the iequality aj xj d(x k α) b is valid for S for some d 0, ad the iequality aj xj + c(x k α 1) b is valid for S for some c 0, the the iequality aj xj b is valid for S. Example: I previous example, we write x 1 +x 4ad x 1 1 as follows: Slide 16 α =, x 1 + x 1 is valid. ( x 1 + x )+(x 3) 1, ( x 1 + x ) (x ) Mixed iteger roudig Propositio For v R, f(v) = v v, v + =max {0,v}. Slide 17 X = {(x, y) Z R + x y b} y 3 5 x y = 3 x y = x The iequality x 1 1 f (b) y b is valid for cov(x) Proof P 1 = X {(x, y) x b }, P = X {(x, y) x b +1}. Add 1 f(b) times the iequality x b 0ad 0 y: (x b ) (1 f(b)) y is valid for P 1. For P we combie (x b ) 1ad x y b with multipliers f(b) ad 1: (x b )(1 f(b)) y. By disjuctio, (x b )(1 f(b)) y is valid for cov(p 1 P )=cov(x). Slide 18 5
7 3.5.3 Theorem { } Slide 19 S = x Z + A j x j b, j =1,...,. For every u Q+ m the ( iequality u A j + [f(u Aj ) f ( u ) b)] + x 1 f ( u b j u b is valid for cov(s). ) 4 Facets 4.1 By the defiitio Stable set max w i x i i V s. t. x i + x j 1, {i, j} E, x i 1, x i {0, 1}, i V. A collectio of odes U, such that for all i, j U, {i, j} E is called a clique. i U for ay clique U ( ) Coversely, sice U is ot maximal, there is a ode i / U such that U {i} is a clique, ad thus xj 1 ( ) is valid for cov(s). Sice iequality (*) is the sum of j U {i} x i 0 ad iequality (**), the (*) is ot facet defiig. Slide 0 is valid. Slide 1 A clique U is maximal if for all i V \ U, U {i} is ot a clique. (*) is facet defiig if ad oly if U is a maximal clique. U = {1,...,k}. The, e i, i = 1,...,k satisfy (*) with equality. For each i U, there is aode j = r(i) U, such that (i, r(i)) E. x i with x i i =1, x i r(i) = 1, ad zero elsewhere is i S, ad satisfies iequality (*) with equality. e 1,...,e k, x k+1,...,x are liearly idepedet; hece, affiely idepedet. 4. Liftig Slide Slide 3 6 Slide 4 max i=1 x 1 + x + x 3 1 x 1 + x 3 + x 4 1 x 1 + x 4 + x 5 1 x 1 + x 5 + x 6 1 x 1 + x + x 6 1. x i uique optimal solutio x 0 =(1/)(0, 1, 1, 1, 1, 1). Do maximal clique iequalities describe covex hull? Slide 5 6
8 x 0 does ot satisfy x + x 3 + x 4 + x 5 + x 6. (1) Stable sets {, 4}, {, 5}, {3, 5}, {3, 6}, {4, 6} satisfy it with equality. Not facet, sice there are o other stable sets that satisfy (1) with equality. { } (1) is facet defiig for S x {0, 1} 6 x 1 =0. Cosider ax 1 + x + x 3 + x 4 + x 5 + x 6, a>0. Select a i order for (1) to be still valid, ad to defie a facet for S. For x 1 = 0, (1) is valid for all a. If x 1 =1, a x x 3 x 4 x 5 x 6.Sice x 1 = 1 implies x = = x 6 =0, the a. Therefore, if 0 a, (1) is valid. For a =, {, 4}, {, 5}, {3, 5}, {3, 6}, {4, 6}, ad {1} satisfy it with equality. x 1 + x + x 3 + x 4 + x 5 + x 6, is valid ad defies a facet cov(s). Slide Geeral priciple { } Slide 7 Suppose S {0, 1},S i = S x {0, 1} x1 = i, i =0, 1, ad a j= j x j a 0 () is valid for S 0. If S 1 =Ø, the x 1 0 is valid for S. j= If S 1 =Ø, the a1x 1 + aj xj a0 (3) is valid for S for ay a1 a 0 Z, Z = j= aj xj s.t. x S1. If a 1 = a 0 Z ad () defies a face of dimesio k of cov(s 0 ), the (3) gives a face of dimesio k +1 of cov(s). 4.. Geometry Slide 8 7
9 x 3 a 1 x 1 + a x + a 3 x 3 a 0 a x + a 3 x 3 a 0 x x Order of liftig P =cov {x {0, 1} 6 5x 1 +5x +5x 3 +5x 4 +3x 5 +8x 6 17}. Slide 9 x 1 + x + x 3 + x 4 3 is valid for P {x 5 = x 6 =0}. Liftig o x 5 ad the o x 6, yields x 1 + x + x 3 + x 4 + x 5 + x 6 3. Liftig o x 6 ad the o x 5, yields x 1 + x + x 3 + x 4 +x
10 15.083J/6.859J Iteger Optimizatio Lecture 13: Lattices I
11 1 Outlie Iteger poits i lattices. Slide 1 Is {x Z Ax = b} oempty? Iteger poits i lattices B = [b 1,...,b d ] R d, b 1,...,b d are liearly idepedet. Slide L = L(B) = {y R y = Bv, v Z d } is called the lattice geerated by B. B is called a basis of L(B). b i = e i, i =1,..., e i is the i-th uit vector, the L(e 1,...,e )= Z. x, y L(B) ad λ, μ Z, λx + μy L(B)..1 Multiple bases b 1 =(1, ), b =(, 1), b 3 =(1, 1). The, L(b 1, b )= L(b, b 3 ). Slide 3 x b b b x
12 . Alterative bases Let B = [b 1,...,b d ] be a basis of the lattice L. If U R d d is uimodular, the B = BU is a basis of the lattice L. If B ad B are bases of L, the there exists a uimodular matrix U such that B = BU. If B ad B are bases of L, the det(b) = det(b)..3 Proof For all x L: x = Bv with v Z d. det(u )= ±1, ad det(u 1 )=1/ det(u) = ±1. x = BUU 1 v. From Cramer s rule, U 1 has itegral coordiates, ad thus w = U 1 v is itegral. B = BU. The, x = Bw,with w Z d, which implies that B is a basis of L. B = [b 1,...,b d ]ad B = [b 1,...,b d ] be bases of L. The, the vectors b 1,...,b d 1 d ad the vectors b,...,b are both liearly idepedet. V = {By y R } = {By y R }. There exists a ivertible d d matrix U such that Slide 4 Slide 5 B = BU ad B = BU 1. b i = BU i, U d 1, U d i Z ad b i = BU 1 Z. i U ad U 1 are both itegral, ad thus both det(u) ad det(u 1 ) are itegral, leadig to det(u )= ±1. det(b) = det(b) det(u ) = det(b). i.4 Covex Body Theorem Let L be a lattice i R ad let A R be a covex set such that vol(a) > det(l)ad A is symmetric aroud the origi, i.e., z A if ad oly if z A. The A cotais a o-zero lattice poit..5 Iteger ormal form A Z m of full row rak is i iteger ormal form, if it is of the form [B, 0], where B Z m m is ivertible, has itegral elemets ad is lower triagular. Elemetary operatios: (a) Exchagig two colums; (b) Multiplyig a colum by 1. (c) Addig a itegral multiple of oe colum to aother. Theorem: (a) A full row rak A Z m ca be brought ito the iteger ormal form [B, 0] usig elemetary colum operatios; (b) There is a uimodular matrix U such that [B, 0] = AU. Slide 6 Slide 7
13 .6 Proof We show by iductio that by applyig elemetary colum operatios (a)-(c), we ca trasform A to [ ] α 0 v C, (1) m 1 where α Z + \{0}, v Z ad C Z (m 1) ( 1) is of full row rak. By proceedig iductively o the matrix C we prove part (a). By iteratively exchagig two colums of A (Operatio (a)) ad possibly multi plyig colums by 1 (Operatio(b)), we catrasform A (ad reumber the colum idices) such that Slide 8 a 1,1 a 1,... a 1, 0. Sice A is of full row rak, a 1,1 > 0. Let k = max{i : a 1,i > 0}. If k = 1, the we have trasformed A ito a matrix of the form (1). Otherwise, k ad by applyig k 1 operatios (c) we trasform A to [ ] a 1,1 a 1,k 1 A = A 1 A,...,A k 1 A k, A k, A k+1,...,a. a 1, a 1,k Repeat the process to A, ad exchage two colums of A such that max{i : a 1,i > 0} k a 1,1 a 1,... a 1, 0. k k 1 k a 1,i (a 1,i a 1,i+1)+ a 1,k = a 1,1 < a 1,i, i=1 i=1 i=1 which implies that after a fiite umber of iteratios A is trasformed by elemetary colum operatios (a)-(c) ito a matrix of the form (1). Each of the elemetary colum operatios correspods to multiplyig matrix A by a uimodular matrix as follows: (i) Exchagig colums k ad j of matrix A correspods to multiplyig matrix A by a uimodular matrix U 1 = I + I k,j + I j,k I k,k I j,j. det(u 1)= 1. (ii) Multiplyig colum j by 1 correspods to multiplyig matrix A by a uimodular matrix U = I I j,j, that is a idetity matrix except that elemet (j, j) is 1. det(u )= 1. (iii) Addig f Z times colum k to colum j, correspods to multiplyig matrix A by a uimodular matrix U 3 = I + fi k,j. Sice det(u 3)= 1, U 3 is uimodular. Performig two elemetary colum operatios correspods to multiplyig the correspodig uimodular matrices resultig i aother uimodular matrix. 3
14 .7 Example [ ] [ ] [ ] Slide 9 Reorderig the colums [ ] Replacig colums oe ad two by the differece of the first ad twice the secod colum ad the secod ad third colum, respectively, yields [ ] Reorderig the colums [ ] Cotiuig with the matrix C =[19, 5], we obtai successively, the matrices [19, 5], [4, 5], [5, 4], [1, 4], [4, 1], [0, 1], ad [1, 0]. The iteger ormal form is: [ ] Characterizatio A Z m,fullrow rak;[b, 0] = AU. Let b Z m ad S = {x Z Ax = b}. m (a) The set S is oempty if ad oly if B 1 b Z. (b) If S, every solutio of S is of the form Slide 10 where U 1, U : U =[U 1, U ]. x = U 1B 1 b + U z, z Z m, (c) L = {x Z Ax = 0} is a lattice ad the colum vectors of U costitute a basis of L..9 Proof y = U 1 x. Sice U is uimodular, y Z if ad oly if x Z. Thus, S is oempty if ad oly if there exists a y Z such that [B, 0]y = b. Sice B is m ivertible, the latter is true if ad oly B 1 b Z. Slide 11 4
15 We ca express the set S as follows: S = {x Z Ax = b} = {x Z x = Uy, [B, 0]y = b, y Z } = {x Z x = U 1w + U z, Bw = b, w Z m, z Z m }. m Thus, if S, the B 1 b Z from part (a) ad hece, S = {x Z x = U 1B 1 b + U z, z Z m }. Let L = {x Z Ax = 0}. By settig b = 0 i part (b) we obtai that L = {x Z x = U z, z Z m }. Thus, by defiitio, L is a lattice with basis U..10 Example Is S = {x Z 3 Ax = b} is oempty [ ] [ ] A = ad b = Slide 1 Iteger ormal form: [B, 0] = AU, with [ ] [ ] [B, 0] = ad U = Note that det(u )= 1. Sice B 1 b = (3, 13) Z, S =. All iteger solutios of S are give by [ ] [ ] [ ] [ ] z 3 x = z = z, z Z z.11 Itegral Farkas lemma Let A Z m, b Z m ad S = {x Z Ax = b}. The set S = if ad oly if there exists a y Q m, such that y A Z ad y b Z. / The set S = if ad oly if there exists a y Q m, such that y 0, m y A Z ad y b Z /..1 Proof m Assume that S =. If there exists y Q m, such that y A Z ad y b Z, / the y Ax = y b with y Ax Z ad y b Z. / Coversely, if S =, the by previous theorem, u = B 1 b / Z, that is there exists a i such that u i Z /. Takig y to be the ith row of B 1 proves the theorem. m m Slide 13 Slide 14 5
16 .13 Reformulatios max c x, x S = {x Z + Ax = b}. [B, 0] = AU. There exists x 0 Z : Ax 0 = b iff B 1 b / Z. Let Let U be a basis of L, i.e., x S x = x 0 + y : Ay = 0, x 0 y. L = {y Z Ay = 0}. m Slide 15 L = {y Z y = U z, z Z m }. max c U z s.t U z x 0 z Z m. Differet bases give rise to alterative reformulatios max c Bz s.t. Bz x 0 z Z m. 6
17 MIT OpeCourseWare J / 6.859J Iteger Programmig ad Combiatorial Optimizatio Fall 009 For iformatio about citig these materials or our Terms of Use, visit:
Matrix Algebra 2.2 THE INVERSE OF A MATRIX Pearson Education, Inc.
2 Matrix Algebra 2.2 THE INVERSE OF A MATRIX MATRIX OPERATIONS A matrix A is said to be ivertible if there is a matrix C such that CA = I ad AC = I where, the idetity matrix. I = I I this case, C is a
More informationInverse Matrix. A meaning that matrix B is an inverse of matrix A.
Iverse Matrix Two square matrices A ad B of dimesios are called iverses to oe aother if the followig holds, AB BA I (11) The otio is dual but we ofte write 1 B A meaig that matrix B is a iverse of matrix
More informationChimica Inorganica 3
himica Iorgaica Irreducible Represetatios ad haracter Tables Rather tha usig geometrical operatios, it is ofte much more coveiet to employ a ew set of group elemets which are matrices ad to make the rule
More informationDeterminants of order 2 and 3 were defined in Chapter 2 by the formulae (5.1)
5. Determiats 5.. Itroductio 5.2. Motivatio for the Choice of Axioms for a Determiat Fuctios 5.3. A Set of Axioms for a Determiat Fuctio 5.4. The Determiat of a Diagoal Matrix 5.5. The Determiat of a Upper
More informationM A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O
M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #4 CORRECTION Algebra I 1 4 / 1 0 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O P r o f e s s o r : D r o r B a r - N a t a Correctio Homework Assigmet
More informationLecture 4: Grassmannians, Finite and Affine Morphisms
18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,
More informationACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory
1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.
More informationDefinitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.
Defiitios ad Theorems Remember the scalar form of the liear programmig problem, Miimize, Subject to, f(x) = c i x i a 1i x i = b 1 a mi x i = b m x i 0 i = 1,2,, where x are the decisio variables. c, b,
More informationa for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a
Math E-2b Lecture #8 Notes This week is all about determiats. We ll discuss how to defie them, how to calculate them, lear the allimportat property kow as multiliearity, ad show that a square matrix A
More informationa for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a
Math S-b Lecture # Notes This wee is all about determiats We ll discuss how to defie them, how to calculate them, lear the allimportat property ow as multiliearity, ad show that a square matrix A is ivertible
More informationHomework Set #3 - Solutions
EE 15 - Applicatios of Covex Optimizatio i Sigal Processig ad Commuicatios Dr. Adre Tkaceko JPL Third Term 11-1 Homework Set #3 - Solutios 1. a) Note that x is closer to x tha to x l i the Euclidea orm
More informationThe Discrete Fourier Transform
The Discrete Fourier Trasform Complex Fourier Series Represetatio Recall that a Fourier series has the form a 0 + a k cos(kt) + k=1 b k si(kt) This represetatio seems a bit awkward, sice it ivolves two
More information(3) If you replace row i of A by its sum with a multiple of another row, then the determinant is unchanged! Expand across the i th row:
Math 50-004 Tue Feb 4 Cotiue with sectio 36 Determiats The effective way to compute determiats for larger-sized matrices without lots of zeroes is to ot use the defiitio, but rather to use the followig
More informationChapter Vectors
Chapter 4. Vectors fter readig this chapter you should be able to:. defie a vector. add ad subtract vectors. fid liear combiatios of vectors ad their relatioship to a set of equatios 4. explai what it
More informationLecture 8: October 20, Applications of SVD: least squares approximation
Mathematical Toolkit Autum 2016 Lecturer: Madhur Tulsiai Lecture 8: October 20, 2016 1 Applicatios of SVD: least squares approximatio We discuss aother applicatio of sigular value decompositio (SVD) of
More informationDifferent kinds of Mathematical Induction
Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}
More information[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms.
[ 11 ] 1 1.1 Polyomial Fuctios 1 Algebra Ay fuctio f ( x) ax a1x... a1x a0 is a polyomial fuctio if ai ( i 0,1,,,..., ) is a costat which belogs to the set of real umbers ad the idices,, 1,...,1 are atural
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationAlgebraic Geometry I
6.859/15.083 Iteger Programmig ad Combiatorial Optimizatio Fall 2009 Lecture 14: Algebraic Geometry I Today... 0/1-iteger programmig ad systems of polyomial equatios The divisio algorithm for polyomials
More informationReview Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = =
Review Problems ICME ad MS&E Refresher Course September 9, 0 Warm-up problems. For the followig matrices A = 0 B = C = AB = 0 fid all powers A,A 3,(which is A times A),... ad B,B 3,... ad C,C 3,... Solutio:
More informationOptimization Methods MIT 2.098/6.255/ Final exam
Optimizatio Methods MIT 2.098/6.255/15.093 Fial exam Date Give: December 19th, 2006 P1. [30 pts] Classify the followig statemets as true or false. All aswers must be well-justified, either through a short
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationVector Spaces and Vector Subspaces. Remarks. Euclidean Space
Vector Spaces ad Vector Subspaces Remarks Let be a iteger. A -dimesioal vector is a colum of umbers eclosed i brackets. The umbers are called the compoets of the vector. u u u u Euclidea Space I Euclidea
More informationApply change-of-basis formula to rewrite x as a linear combination of eigenvectors v j.
Eigevalue-Eigevector Istructor: Nam Su Wag eigemcd Ay vector i real Euclidea space of dimesio ca be uiquely epressed as a liear combiatio of liearly idepedet vectors (ie, basis) g j, j,,, α g α g α g α
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationSolutions for the Exam 9 January 2012
Mastermath ad LNMB Course: Discrete Optimizatio Solutios for the Exam 9 Jauary 2012 Utrecht Uiversity, Educatorium, 15:15 18:15 The examiatio lasts 3 hours. Gradig will be doe before Jauary 23, 2012. Studets
More informationLinearly Independent Sets, Bases. Review. Remarks. A set of vectors,,, in a vector space is said to be linearly independent if the vector equation
Liearly Idepedet Sets Bases p p c c p Review { v v vp} A set of vectors i a vector space is said to be liearly idepedet if the vector equatio cv + c v + + c has oly the trivial solutio = = { v v vp} The
More information6.003 Homework #3 Solutions
6.00 Homework # Solutios Problems. Complex umbers a. Evaluate the real ad imagiary parts of j j. π/ Real part = Imagiary part = 0 e Euler s formula says that j = e jπ/, so jπ/ j π/ j j = e = e. Thus the
More informationPROBLEMS ON ABSTRACT ALGEBRA
PROBLEMS ON ABSTRACT ALGEBRA 1 (Putam 197 A). Let S be a set ad let be a biary operatio o S satisfyig the laws x (x y) = y for all x, y i S, (y x) x = y for all x, y i S. Show that is commutative but ot
More informationClique Facets of the Orthogonal Latin Squares Polytope
Clique Facets of the Orthogoal Lati Squares Polytope By G Appa 1, D Magos 2, Mourtos 1, JCM Jasse 3 1 Operatioal Research Departmet, Lodo School of Ecoomics ad Political Sciece, Houghto Street, Lodo WC2A
More information18.657: Mathematics of Machine Learning
8.657: Mathematics of Machie Learig Lecturer: Philippe Rigollet Lecture 0 Scribe: Ade Forrow Oct. 3, 05 Recall the followig defiitios from last time: Defiitio: A fuctio K : X X R is called a positive symmetric
More information15.081J/6.251J Introduction to Mathematical Programming. Lecture 21: Primal Barrier Interior Point Algorithm
508J/65J Itroductio to Mathematical Programmig Lecture : Primal Barrier Iterior Poit Algorithm Outlie Barrier Methods Slide The Cetral Path 3 Approximatig the Cetral Path 4 The Primal Barrier Algorithm
More informationLECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK)
LECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK) Everythig marked by is ot required by the course syllabus I this lecture, all vector spaces is over the real umber R. All vectors i R is viewed as a colum
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
More informationMath 451: Euclidean and Non-Euclidean Geometry MWF 3pm, Gasson 204 Homework 3 Solutions
Math 451: Euclidea ad No-Euclidea Geometry MWF 3pm, Gasso 204 Homework 3 Solutios Exercises from 1.4 ad 1.5 of the otes: 4.3, 4.10, 4.12, 4.14, 4.15, 5.3, 5.4, 5.5 Exercise 4.3. Explai why Hp, q) = {x
More informationIP Reference guide for integer programming formulations.
IP Referece guide for iteger programmig formulatios. by James B. Orli for 15.053 ad 15.058 This documet is iteded as a compact (or relatively compact) guide to the formulatio of iteger programs. For more
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More information(3) If you replace row i of A by its sum with a multiple of another row, then the determinant is unchanged! Expand across the i th row:
Math 5-4 Tue Feb 4 Cotiue with sectio 36 Determiats The effective way to compute determiats for larger-sized matrices without lots of zeroes is to ot use the defiitio, but rather to use the followig facts,
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationCHAPTER I: Vector Spaces
CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig
More informationMATH10212 Linear Algebra B Proof Problems
MATH22 Liear Algebra Proof Problems 5 Jue 26 Each problem requests a proof of a simple statemet Problems placed lower i the list may use the results of previous oes Matrices ermiats If a b R the matrix
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,
More informationEigenvalues and Eigenvectors
5 Eigevalues ad Eigevectors 5.3 DIAGONALIZATION DIAGONALIZATION Example 1: Let. Fid a formula for A k, give that P 1 1 = 1 2 ad, where Solutio: The stadard formula for the iverse of a 2 2 matrix yields
More information(I.C) Matrix algebra
(IC) Matrix algebra Before formalizig Gauss-Jorda i terms of a fixed procedure for row-reducig A, we briefly review some properties of matrix multiplicatio Let m{ [A ij ], { [B jk ] p, p{ [C kl ] q be
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationIntroduction to Optimization Techniques
Itroductio to Optimizatio Techiques Basic Cocepts of Aalysis - Real Aalysis, Fuctioal Aalysis 1 Basic Cocepts of Aalysis Liear Vector Spaces Defiitio: A vector space X is a set of elemets called vectors
More informationTheorem: Let A n n. In this case that A does reduce to I, we search for A 1 as the solution matrix X to the matrix equation A X = I i.e.
Theorem: Let A be a square matrix The A has a iverse matrix if ad oly if its reduced row echelo form is the idetity I this case the algorithm illustrated o the previous page will always yield the iverse
More informationLINEAR PROGRAMMING II
LINEAR PROGRAMMING II Patrik Forssé Office: 2404 Phoe: 08/47 29 66 E-mail: patrik@tdb.uu.se HE LINEAR PROGRAMMING PROBLEM (LP) A LP-problem ca be formulated as: mi c subject a + am + g + g p + + + c to
More informationOn a Generalization of the Master Cyclic Group Polyhedron
O a Geeralizatio of the Master Cyclic Group Polyhedro Sajeeb Dash IBM Research Ricardo Fukasawa Georgia Ist. Tech. October 21, 2008 Oktay Guluk IBM Research Abstract We study the Master Equality Polyhedro
More information(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous
Math 6130 Notes. Fall 2002. 4. Projective Varieties ad their Sheaves of Regular Fuctios. These are the geometric objects associated to the graded domais: C[x 0,x 1,..., x ]/P (for homogeeous primes P )
More informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationSequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018
CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical
More informationExample 1.1 Use an augmented matrix to mimic the elimination method for solving the following linear system of equations.
MTH 261 Mr Simods class Example 11 Use a augmeted matrix to mimic the elimiatio method for solvig the followig liear system of equatios 2x1 3x2 8 6x1 x2 36 Example 12 Use the method of Gaussia elimiatio
More informationsubject to A 1 x + A 2 y b x j 0, j = 1,,n 1 y j = 0 or 1, j = 1,,n 2
Additioal Brach ad Boud Algorithms 0-1 Mixed-Iteger Liear Programmig The brach ad boud algorithm described i the previous sectios ca be used to solve virtually all optimizatio problems cotaiig iteger variables,
More informationGeometry of LS. LECTURE 3 GEOMETRY OF LS, PROPERTIES OF σ 2, PARTITIONED REGRESSION, GOODNESS OF FIT
OCTOBER 7, 2016 LECTURE 3 GEOMETRY OF LS, PROPERTIES OF σ 2, PARTITIONED REGRESSION, GOODNESS OF FIT Geometry of LS We ca thik of y ad the colums of X as members of the -dimesioal Euclidea space R Oe ca
More informationReal Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B)
Real Numbers The least upper boud - Let B be ay subset of R B is bouded above if there is a k R such that x k for all x B - A real umber, k R is a uique least upper boud of B, ie k = LUB(B), if () k is
More informationProblem Set 2 Solutions
CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S
More informationOn Involutions which Preserve Natural Filtration
Proceedigs of Istitute of Mathematics of NAS of Ukraie 00, Vol. 43, Part, 490 494 O Ivolutios which Preserve Natural Filtratio Alexader V. STRELETS Istitute of Mathematics of the NAS of Ukraie, 3 Tereshchekivska
More informationAverage Reward Optimization Objective In Partially Observable Domains - Supplementary Material
Average Reward Optimizatio Objective I Partially Observable Domais - Supplemetary Material Aother example of a cotrolled system (see Sec. 4.2) Figure 3. The first two plots describe the behavior of the
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
More informationNotes The Incremental Motion Model:
The Icremetal Motio Model: The Jacobia Matrix I the forward kiematics model, we saw that it was possible to relate joit agles θ, to the cofiguratio of the robot ed effector T I this sectio, we will see
More informationTEACHER CERTIFICATION STUDY GUIDE
COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Amog the most useful of the various geeralizatios of KolmogorovâĂŹs strog law of large umbers are the ergodic theorems of Birkhoff ad Kigma, which exted the validity of the
More informationAlgebra of Least Squares
October 19, 2018 Algebra of Least Squares Geometry of Least Squares Recall that out data is like a table [Y X] where Y collects observatios o the depedet variable Y ad X collects observatios o the k-dimesioal
More informationFrequency Domain Filtering
Frequecy Domai Filterig Raga Rodrigo October 19, 2010 Outlie Cotets 1 Itroductio 1 2 Fourier Represetatio of Fiite-Duratio Sequeces: The Discrete Fourier Trasform 1 3 The 2-D Discrete Fourier Trasform
More informationSupplementary Material for Fast Stochastic AUC Maximization with O(1/n)-Convergence Rate
Supplemetary Material for Fast Stochastic AUC Maximizatio with O/-Covergece Rate Migrui Liu Xiaoxua Zhag Zaiyi Che Xiaoyu Wag 3 iabao Yag echical Lemmas ized versio of Hoeffdig s iequality, ote that We
More information5.1 Review of Singular Value Decomposition (SVD)
MGMT 69000: Topics i High-dimesioal Data Aalysis Falll 06 Lecture 5: Spectral Clusterig: Overview (cotd) ad Aalysis Lecturer: Jiamig Xu Scribe: Adarsh Barik, Taotao He, September 3, 06 Outlie Review of
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationOptimally Sparse SVMs
A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but
More informationChapter 1. Complex Numbers. Dr. Pulak Sahoo
Chapter 1 Complex Numbers BY Dr. Pulak Sahoo Assistat Professor Departmet of Mathematics Uiversity Of Kalyai West Begal, Idia E-mail : sahoopulak1@gmail.com 1 Module-2: Stereographic Projectio 1 Euler
More informationLONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES
J Lodo Math Soc (2 50, (1994, 465 476 LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES Jerzy Wojciechowski Abstract I [5] Abbott ad Katchalski ask if there exists a costat c >
More information2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.
CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.
More informationMachine Learning for Data Science (CS 4786)
Machie Learig for Data Sciece CS 4786) Lecture & 3: Pricipal Compoet Aalysis The text i black outlies high level ideas. The text i blue provides simple mathematical details to derive or get to the algorithm
More informationMatrix Algebra from a Statistician s Perspective BIOS 524/ Scalar multiple: ka
Matrix Algebra from a Statisticia s Perspective BIOS 524/546. Matrices... Basic Termiology a a A = ( aij ) deotes a m matrix of values. Whe =, this is a am a m colum vector. Whe m= this is a row vector..2.
More informationREVISION SHEET FP1 (MEI) ALGEBRA. Identities In mathematics, an identity is a statement which is true for all values of the variables it contains.
the Further Mathematics etwork wwwfmetworkorguk V 07 The mai ideas are: Idetities REVISION SHEET FP (MEI) ALGEBRA Before the exam you should kow: If a expressio is a idetity the it is true for all values
More informationOptimization Methods: Linear Programming Applications Assignment Problem 1. Module 4 Lecture Notes 3. Assignment Problem
Optimizatio Methods: Liear Programmig Applicatios Assigmet Problem Itroductio Module 4 Lecture Notes 3 Assigmet Problem I the previous lecture, we discussed about oe of the bech mark problems called trasportatio
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More information5.1. The Rayleigh s quotient. Definition 49. Let A = A be a self-adjoint matrix. quotient is the function. R(x) = x,ax, for x = 0.
40 RODICA D. COSTIN 5. The Rayleigh s priciple ad the i priciple for the eigevalues of a self-adjoit matrix Eigevalues of self-adjoit matrices are easy to calculate. This sectio shows how this is doe usig
More informationM 340L CS Homew ork Set 6 Solutions
1. Suppose P is ivertible ad M 34L CS Homew ork Set 6 Solutios A PBP 1. Solve for B i terms of P ad A. Sice A PBP 1, w e have 1 1 1 B P PBP P P AP ( ).. Suppose ( B C) D, w here B ad C are m matrices ad
More informationM 340L CS Homew ork Set 6 Solutions
. Suppose P is ivertible ad M 4L CS Homew ork Set 6 Solutios A PBP. Solve for B i terms of P ad A. Sice A PBP, w e have B P PBP P P AP ( ).. Suppose ( B C) D, w here B ad C are m matrices ad D is ivertible.
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationDiscrete-Time Systems, LTI Systems, and Discrete-Time Convolution
EEL5: Discrete-Time Sigals ad Systems. Itroductio I this set of otes, we begi our mathematical treatmet of discrete-time s. As show i Figure, a discrete-time operates or trasforms some iput sequece x [
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationMATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)
MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The
More informationFFTs in Graphics and Vision. The Fast Fourier Transform
FFTs i Graphics ad Visio The Fast Fourier Trasform 1 Outlie The FFT Algorithm Applicatios i 1D Multi-Dimesioal FFTs More Applicatios Real FFTs 2 Computatioal Complexity To compute the movig dot-product
More informationLinear Differential Equations of Higher Order Basic Theory: Initial-Value Problems d y d y dy
Liear Differetial Equatios of Higher Order Basic Theory: Iitial-Value Problems d y d y dy Solve: a( ) + a ( )... a ( ) a0( ) y g( ) + + + = d d d ( ) Subject to: y( 0) = y0, y ( 0) = y,..., y ( 0) = y
More informationREVISION SHEET FP1 (MEI) ALGEBRA. Identities In mathematics, an identity is a statement which is true for all values of the variables it contains.
The mai ideas are: Idetities REVISION SHEET FP (MEI) ALGEBRA Before the exam you should kow: If a expressio is a idetity the it is true for all values of the variable it cotais The relatioships betwee
More information3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,
3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [
More informationMDIV. Multiple divisor functions
MDIV. Multiple divisor fuctios The fuctios τ k For k, defie τ k ( to be the umber of (ordered factorisatios of ito k factors, i other words, the umber of ordered k-tuples (j, j 2,..., j k with j j 2...
More informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More informationCALCULATION OF FIBONACCI VECTORS
CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College
More informationLinear Elliptic PDE s Elliptic partial differential equations frequently arise out of conservation statements of the form
Liear Elliptic PDE s Elliptic partial differetial equatios frequetly arise out of coservatio statemets of the form B F d B Sdx B cotaied i bouded ope set U R. Here F, S deote respectively, the flux desity
More informationPROBLEM SET I (Suggested Solutions)
Eco3-Fall3 PROBLE SET I (Suggested Solutios). a) Cosider the followig: x x = x The quadratic form = T x x is the required oe i matrix form. Similarly, for the followig parts: x 5 b) x = = x c) x x x x
More informationLecture 7: Properties of Random Samples
Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationInteger Linear Programming
Iteger Liear Programmig Itroductio Iteger L P problem (P) Mi = s. t. a = b i =,, m = i i 0, iteger =,, c Eemple Mi z = 5 s. t. + 0 0, 0, iteger F(P) = feasible domai of P Itroductio Iteger L P problem
More informationB = B is a 3 4 matrix; b 32 = 3 and b 2 4 = 3. Scalar Multiplication
MATH 37 Matrices Dr. Neal, WKU A m matrix A = (a i j ) is a array of m umbers arraged ito m rows ad colums, where a i j is the etry i the ith row, jth colum. The values m are called the dimesios (or size)
More information