Problem Set 8 Solutions
|
|
- Nathaniel Phillips
- 6 years ago
- Views:
Transcription
1 Deign and Analyi of Algorithm April 29, 2015 Maachuett Intitute of Technology 6.046J/18.410J Prof. Erik Demaine, Srini Devada, and Nancy Lynch Problem Set 8 Solution Problem Set 8 Solution Thi problem et i due at 11:59pm on Friday, April 24, Exercie 8-1. Read CLRS, Chapter 29. Exercie 8-2. Exercie Exercie 8-3. Exercie Exercie 8-4. Read CLRS, Chapter 34. Exercie 8-5. Exercie Exercie 8-6. Exercie Problem 8-1. A Simple Simplex Example [25 point] Conider a linear program (LP) coniting of two variable x 1 and x 2 atifying the following three contraint: x 1 + x 2 10 x 2 4x 1 20 x 1 + 3x 2 24 x 1, x 2 0 The goal i to maximize the value of the objective function p = 4x 1 + x 2. (a) [5 point] Draw a diagram of the feaible region. See Figure 1.
2 2 Problem Set 8 Solution Figure 1: The feaible region of the LP problem. Image courtey of Finite mathematic & Applied calculu ( (b) [5 point] Write the given LP in tandard form, and tranform thi tandard form repreentation into lack form. Standard form: Maximize p = 4x 1 + x 2, ubject to: x 1 + x x 1 x 2 20 x 1 + 3x 2 24 x 1, x 2 0 Slack form: Introduce three new variable x 3, x 4, x 5. Maximize p = 4x 1 + x 2, ubject to: x 3 = 10 x 1 x 2 x 4 = 20 4x 1 + x 2 x 5 = 24 x 1 3x 2 x 1,..., x 5 0 (c) [10 point] Ue Simplex to olve the reulting lack form LP. Identify the pivot you chooe and give the reulting modified LP and the ucceive feaible olution. Indicate the ucceive olution on your diagram from Part (a).
3 Problem Set 8 Solution 3 Start with x 1 = x 2 = 0, x 3 = 10, x 4 = 20, x 5 = 24, that i, the olution (0, 0, 10, 20, 24), with objective function value p = 0. The firt nonbaic variable we elect for pivoting can be either x 1 or x 2, ince both have poitive coefficient in the objective function. To be pecific, let chooe x 2. A we increae x 2, the value of x 3 and x 5 decreae. The limiting contraint i the one for x 5 : we can only increae x 2 to 8, becaue any more would make x 5 negative. We exchange x 2 with x 5 : We olve the third contraint for x 2, obtaining x 2 = 8 1x 3 1 1x 3 5. Then we ubtitute, reulting in the following new LP: Maximize p = x 1 1 x 5, ubject to: x 3 = 2 x 1 + x x 4 = 28 x 1 x x 2 = 8 x 1 x x 1,..., x 5 0 We get a new olution by etting the non-baic variable, x 1 and x 5 equal to 0 and calculating the other: (0, 8, 2, 28, 0). The value of the objective function i now p = 8. The only option now for pivoting i x 1, becaue the coefficient of x 5 in the objective function i negative. A we increae x 1, the value of x 2, x 3, and x 4 all decreae. The limiting contraint i the one for x 3 ; we can only increae x 1 to 3. We exchange x with x 3, and olve the firt contraint for x 1, obtaining x 1 = 3 2 x x 5. We get the following new LP: Maximize p = x x 5, ubject to: x 1 = 3 x 3 + x x 4 = 15 + x 3 x x 2 = 7 + x 3 x x 1,..., x 5 0 We get a new olution by etting x 3 and x 5 to 0, obtaining (3, 7, 0, 14, 0). The value of the objective function i now p = 19. Next, we pivot on x 5. Increaing x 5 caue x 4 and x 2 to decreae, with the limiting contraint being the one for x 4. We exchange x 5 with x 4, and obtain x 5 = x x 5 4. We obtain the following new LP:
4 4 Problem Set 8 Solution Maximize p = x x 4, 1 1 x 1 = 6 x 3 x x 5 = 6 + x 3 x x 2 = 4 x 3 + x x 1,..., x 5 0 We get a new olution by etting x 3 and x 4 to 0, obtaining (6, 4, 0, 0, 6), with an objective function value of 28. At thi point no further pivot are poible (their coefficient in the objective function are both negative). Thu, an optimal olution i x 1 = 6, x 2 = 4. In the above proce, we tarted from the baic olution (0,0) meaning x 1 = 0, x 2 = 0, gradually improved our etimate through (0,8), (3,7), and finally arrived at the final olution (6,4). In Figure 1, thi correpond to travering four corner of the white region tarting from the origin in the clockwie direction. (d) [5 point] Give the dual LP of your tandard-form LP from Part (b) and give it optimal value. (Hint: Ue your olution to Part (c).) The tandard-form LP from Part (b) i: Maximize p = 4x 1 + x 2, ubject to: x 1 + x x 1 x 2 20 x 1 + 3x 2 24 x 1, x 2 0 A in CLRS p. 880, the dual LP ue new variable y 1, y 2, and y 3. The LP i: Minimize 10y y y 3, ubject to: y 1 + 4y 2 + y 3 4 y 1 y 2 + 3y 3 1 y 1, y 2, y 3 0 By LP duality (Theorem 29.10), the minimum value for thi LP i 28. Thi value i attained when y 1 = 5 8, y 2 = 5 3, and y 3 = 0. You can find thi olution manually, or by conidering the final lack form LP in your olution in Part (c) and uing formula (29.91) on p. 882.
5 Problem Set 8 Solution 5 Problem 8-2. NP-Completene [25 point] In thi problem, you will prove NP-completene of a few deciion problem. To prove NPhardne, you may reduce from any problem that ha been hown, in cla or in CLRS, to be NP-complete. (a) [5 point] Let TRIPLE-SAT denote the following deciion problem: given a Boolean formula φ, decide whether φ ha at leat three ditinct atifying aignment. Prove that TRIPLE-SAT i NP-complete. To how that TRIPLE-SAT i in NP, for any input formula φ, we need only gue three ditinct aignment and verify that they atify φ. To how that TRIPLE-SAT i NP-hard, we reduce SAT to it. Let φ denote the input Boolean formula to a SAT problem and uppoe that the et of variable in φ are X = {x 1,..., x n }. We contruct a TRIPLE-SAT problem with a Boolean formula φ / over a new variable et X / a follow: X / = {x 1,..., x n, y, z}. φ / = φ. Now we claim φ i atifiable iff φ / ha at leat 3 atifying aignment. If φ i atifiable, then we can augment any particular aignment by adding any of the 4 poible pair of value for {y, z} to give at leat four atifying aignment overall. On the other hand, if φ i not atifiable, then neither i φ /. (b) [10 point] In Problem Set 1, we conidered how one might locate donut hop at ome of the vertice of a treet network, modeled a an arbitrary undirected graph G = (V, E). Each vertex u ha a nonnegative integer value p(u), which decribe the potential profit obtainable from a hop located at u. Two hop cannot be located at adjacent vertice. The problem wa to deign an algorithm that output a ubet U V that maximize the total profit u U p(u). No doubt, you found an algorithm with time complexity that wa exponential in the graph parameter. Now we will ee why. Define DONUT to be the following deciion problem: given an undirected graph G = (V, E), given a mapping p from vertice u V to nonnegative integer profit p(u), and given a nonnegative integer k, decide whether there i a ubet U V uch that no two vertice in U are neighbor in G, and uch that u U p(u) k. Prove that DONUT i NP-hard. (Hint: Try a reduction from 3SAT.) Alo, explain why thi implie that, if there i a polynomial-time algorithm to olve the original problem, i.e., to output a ubet U that maximize the total profit, then P = NP.
6 6 Problem Set 8 Solution Let φ = C 1 C 2... C m be the input formula to a 3SAT problem, where each claue C c ha three literal choen from {x i, x i11 i n}. We contruct a DONUT problem (G, p, k) a follow. The vertice V of G are {v c,j 11 c m, 1 j 3}, where v c,j correpond to literal j in claue C c. We label each vertex v c,j with x i or x i, whichever appear in poition j of claue C c. The edge E of G are of two type: For each claue C c, an edge between each pair of vertice correponding to literal in claue C c, that i, between v c,j1 and v c,j2 for j 1 = j 2. For each i, an edge between each pair of vertice for which one i labeled by x i and the other by x i. The function p map all vertice to 1. The threhold k i equal to m. We claim that φ i atifiable iff the total profit in the DONUT problem (G, p, k) can be at leat k. Firt, uppoe that φ i atifiable. Then there i ome truth aignment A mapping the variable to {true, fale}. A mut make at leat one literal per claue true; for each claue, elect the vertex correponding to one uch literal to be in the et U. Since there are m claue, thi yield exactly m = k vertice, o the total profit i k. Moreover, we claim that U cannot contain two neighboring vertice in G. Suppoe for contradiction that u, v U and (u, v) E. Then the edge (u, v) mut be of one of the two type above. But u and v cannot correpond to literal in the ame claue becaue we elected only one vertex for each claue. And u and v cannot be labeled by x i and x i for the ame i, becaue A cannot make both a variable and it negation true. Since neither poibility can hold, U cannot contain two neighboring vertice. U achieve a total profit of k for the DONUT problem (G, p, k). Converely, uppoe that there exit U V, U k = m containing no two neighbor in G. Since U doe not contain neighbor, it cannot contain two vertice from the ame claue. Therefore, we mut have U = m, with exactly one vertex from each claue. Now define a truth aignment A for the variable: A(x i ) = true if ome vertex with label x i i in U, and A(x i ) = fale if ome vertex with label x i i in U. For other variable the truth value can be arbitrary. Alo ince U doe not contain neighbor, U cannot contain two vertice with contradictory label, o aignment A i well-defined. A atifie all claue by making one literal correponding to a vertex in U true in each claue. Therefore, A atifie φ. For the lat quetion, uppoe that there i a polynomial-time algorithm to olve the original problem, i.e., to output a ubet U that maximize the total profit. Then thi algorithm can be eaily adapted to a polynomial-time algorithm for DONUT: for any (G, p, k), imply run the aumed algorithm and obtain an optimal ubet U. Then output true if k U, and fale otherwie. Since we have already hown that DONUT i NP-hard, thi implie that P= NP.
7 Problem Set 8 Solution 7 (c) [10 point] Suppoe we have one machine and a et of n tak a 1, a 2,..., a n. Each tak a j require t j unit of time on the machine, yield a profit of p j, and ha a deadline d j. Here, the t j, p j, and d j value are nonnegative integer. The machine can proce only one tak at a time. Not all tak have to be run, but if a tak tart running, it mut run without interruption and mut complete by it deadline. A chedule for a ubet of the tak decribe when each of the tak in the ubet tart running. A chedule mut oberve the contraint given above. The profit for the chedule i the um of all the p j value for the tak a j in the chedule. The problem i to produce a chedule for a ubet of the tak that return the greatet poible amount of profit. State thi problem a a deciion problem and how that it i NP-complete. In howing thi, you may reduce from any problem that ha been hown, in cla or in CLRS, to be NP-complete. Define SCHED to be the following deciion problem: given (T, P, D, k) where T, P, and D are equence {t j }, {p j } and {d j }, each of length n, decide whether there exit a ubet I {1,..., n} and an ordering i 1, i 2,..., i m of I, uch that: 1. For every j, j l=1 T (i l) D(i j ). That i, the um of the running time of the firt j tak being run i no greater than the deadline for the j th tak. That mean that, when run in the given order, all tak meet their deadline. 2. m l=1 P (i l ) k. That i, the total profit i at leat k. To ee that SCHED i in NP, given an intance (T, P, D, k), we can gue a ubet of the tak and a equence of tart time, and verify that it meet all the contraint for a chedule and that it finihe within the given time k. To how that SCHED i NP-hard, we can reduce from SUBSET-SUM, defined on p of CLRS. Given an intance (S, t) of SUBSET-SUM, where S = n, order the element of S arbitrarily, a 1,..., n. We contruct an intance (T, P, D, k) of SCHED a follow: Let T = P = { 1,..., n } in that order, let D be a length-n equence coniting of t in every poition, and let k = t. We claim that the anwer to the SUBSET-SUM problem (S, t) i ye, iff the anwer to the SCHED problem (T, P, D, k) i ye. Firt, the anwer to the SUBSET-SUM problem (S, t) i ye. Then there i a ubet S / of the element in S whoe um i exactly t. Let I be the et of indice of the S / element within the equence 1,..., n, and let i 1, i 2,..., i m order I in increaing m order. Then the um of the running time of all tak i exactly t, that i, l=1 T (i l) = t. Thi implie that all tak meet their deadline. Moreover, the total profit i exactly m l=1 P (i l) = t = k. Therefore, the anwer to the SCHED problem (T, P, D, k) i ye. Converely, uppoe the anwer to the SCHED problem (T, P, D, k) i ye. Then there i a ubet I of 1,..., n and an ordering i 1, i 2,..., i m of I, uch that: 1. For every j, j l=1 T (i l) D(i j ).
8 8 Problem Set 8 Solution m 2. l=1 P (i l) k. Since all of the deadline are equal to k = t, thi i the ame a aying: m 1. l=1 T (i l) t. 2. m l=1 P (i l) t. m m Since each T (i j ) = P (i j ), thi ay that l=1 T (i l ) = l=1 P (i l ) = t. Now let S / be the ubet of S correponding to the indice in I, that i, S / = { i 1i I}. Then the um of the element of S / i exactly t. Therefore, the anwer to the SUBSET-SUM problem (S, t) i ye.
9 MIT OpenCoureWare J / J Deign and Analyi of Algorithm Spring 2015 For information about citing thee material or our Term of Ue, viit:
Lecture 21. The Lovasz splitting-off lemma Topics in Combinatorial Optimization April 29th, 2004
18.997 Topic in Combinatorial Optimization April 29th, 2004 Lecture 21 Lecturer: Michel X. Goeman Scribe: Mohammad Mahdian 1 The Lovaz plitting-off lemma Lovaz plitting-off lemma tate the following. Theorem
More informationList coloring hypergraphs
Lit coloring hypergraph Penny Haxell Jacque Vertraete Department of Combinatoric and Optimization Univerity of Waterloo Waterloo, Ontario, Canada pehaxell@uwaterloo.ca Department of Mathematic Univerity
More informationPreemptive scheduling on a small number of hierarchical machines
Available online at www.ciencedirect.com Information and Computation 06 (008) 60 619 www.elevier.com/locate/ic Preemptive cheduling on a mall number of hierarchical machine György Dóa a, Leah Eptein b,
More informationChapter Landscape of an Optimization Problem. Local Search. Coping With NP-Hardness. Gradient Descent: Vertex Cover
Coping With NP-Hardne Chapter 12 Local Search Q Suppoe I need to olve an NP-hard problem What hould I do? A Theory ay you're unlikely to find poly-time algorithm Mut acrifice one of three deired feature
More informationBogoliubov Transformation in Classical Mechanics
Bogoliubov Tranformation in Claical Mechanic Canonical Tranformation Suppoe we have a et of complex canonical variable, {a j }, and would like to conider another et of variable, {b }, b b ({a j }). How
More informationc n b n 0. c k 0 x b n < 1 b k b n = 0. } of integers between 0 and b 1 such that x = b k. b k c k c k
1. Exitence Let x (0, 1). Define c k inductively. Suppoe c 1,..., c k 1 are already defined. We let c k be the leat integer uch that x k An eay proof by induction give that and for all k. Therefore c n
More informationμ + = σ = D 4 σ = D 3 σ = σ = All units in parts (a) and (b) are in V. (1) x chart: Center = μ = 0.75 UCL =
Our online Tutor are available 4*7 to provide Help with Proce control ytem Homework/Aignment or a long term Graduate/Undergraduate Proce control ytem Project. Our Tutor being experienced and proficient
More informationCS 170: Midterm Exam II University of California at Berkeley Department of Electrical Engineering and Computer Sciences Computer Science Division
1 1 April 000 Demmel / Shewchuk CS 170: Midterm Exam II Univerity of California at Berkeley Department of Electrical Engineering and Computer Science Computer Science Diviion hi i a cloed book, cloed calculator,
More informationIEOR 3106: Fall 2013, Professor Whitt Topics for Discussion: Tuesday, November 19 Alternating Renewal Processes and The Renewal Equation
IEOR 316: Fall 213, Profeor Whitt Topic for Dicuion: Tueday, November 19 Alternating Renewal Procee and The Renewal Equation 1 Alternating Renewal Procee An alternating renewal proce alternate between
More informationAvoiding Forbidden Submatrices by Row Deletions
Avoiding Forbidden Submatrice by Row Deletion Sebatian Wernicke, Jochen Alber, Jen Gramm, Jiong Guo, and Rolf Niedermeier Wilhelm-Schickard-Intitut für Informatik, niverität Tübingen, Sand 13, D-72076
More informationCodes Correcting Two Deletions
1 Code Correcting Two Deletion Ryan Gabry and Frederic Sala Spawar Sytem Center Univerity of California, Lo Angele ryan.gabry@navy.mil fredala@ucla.edu Abtract In thi work, we invetigate the problem of
More informationEE 508 Lecture 16. Filter Transformations. Lowpass to Bandpass Lowpass to Highpass Lowpass to Band-reject
EE 508 Lecture 6 Filter Tranformation Lowpa to Bandpa Lowpa to Highpa Lowpa to Band-reject Review from Lat Time Theorem: If the perimeter variation and contact reitance are neglected, the tandard deviation
More informationOnline Appendix for Managerial Attention and Worker Performance by Marina Halac and Andrea Prat
Online Appendix for Managerial Attention and Worker Performance by Marina Halac and Andrea Prat Thi Online Appendix contain the proof of our reult for the undicounted limit dicued in Section 2 of the paper,
More informationChapter 5 Consistency, Zero Stability, and the Dahlquist Equivalence Theorem
Chapter 5 Conitency, Zero Stability, and the Dahlquit Equivalence Theorem In Chapter 2 we dicued convergence of numerical method and gave an experimental method for finding the rate of convergence (aka,
More informationClustering Methods without Given Number of Clusters
Clutering Method without Given Number of Cluter Peng Xu, Fei Liu Introduction A we now, mean method i a very effective algorithm of clutering. It mot powerful feature i the calability and implicity. However,
More informationChapter 4. The Laplace Transform Method
Chapter 4. The Laplace Tranform Method The Laplace Tranform i a tranformation, meaning that it change a function into a new function. Actually, it i a linear tranformation, becaue it convert a linear combination
More informationControl Systems Analysis and Design by the Root-Locus Method
6 Control Sytem Analyi and Deign by the Root-Locu Method 6 1 INTRODUCTION The baic characteritic of the tranient repone of a cloed-loop ytem i cloely related to the location of the cloed-loop pole. If
More information7.2 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 281
72 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 28 and i 2 Show how Euler formula (page 33) can then be ued to deduce the reult a ( a) 2 b 2 {e at co bt} {e at in bt} b ( a) 2 b 2 5 Under what condition
More informationSOLUTIONS TO ALGEBRAIC GEOMETRY AND ARITHMETIC CURVES BY QING LIU. I will collect my solutions to some of the exercises in this book in this document.
SOLUTIONS TO ALGEBRAIC GEOMETRY AND ARITHMETIC CURVES BY QING LIU CİHAN BAHRAN I will collect my olution to ome of the exercie in thi book in thi document. Section 2.1 1. Let A = k[[t ]] be the ring of
More informationList Coloring Graphs
Lit Coloring Graph February 6, 004 LIST COLORINGS AND CHOICE NUMBER Thomaen Long Grotzch girth 5 verion Thomaen Long Let G be a connected planar graph of girth at leat 5. Let A be a et of vertice in G
More informationRoot Locus Diagram. Root loci: The portion of root locus when k assume positive values: that is 0
Objective Root Locu Diagram Upon completion of thi chapter you will be able to: Plot the Root Locu for a given Tranfer Function by varying gain of the ytem, Analye the tability of the ytem from the root
More informationTheoretical Computer Science. Optimal algorithms for online scheduling with bounded rearrangement at the end
Theoretical Computer Science 4 (0) 669 678 Content lit available at SciVere ScienceDirect Theoretical Computer Science journal homepage: www.elevier.com/locate/tc Optimal algorithm for online cheduling
More informationSOME RESULTS ON INFINITE POWER TOWERS
NNTDM 16 2010) 3, 18-24 SOME RESULTS ON INFINITE POWER TOWERS Mladen Vailev - Miana 5, V. Hugo Str., Sofia 1124, Bulgaria E-mail:miana@abv.bg Abtract To my friend Kratyu Gumnerov In the paper the infinite
More informationMulticolor Sunflowers
Multicolor Sunflower Dhruv Mubayi Lujia Wang October 19, 2017 Abtract A unflower i a collection of ditinct et uch that the interection of any two of them i the ame a the common interection C of all of
More informationTHE SPLITTING SUBSPACE CONJECTURE
THE SPLITTING SUBSPAE ONJETURE ERI HEN AND DENNIS TSENG Abtract We anwer a uetion by Niederreiter concerning the enumeration of a cla of ubpace of finite dimenional vector pace over finite field by proving
More informationSuggested Answers To Exercises. estimates variability in a sampling distribution of random means. About 68% of means fall
Beyond Significance Teting ( nd Edition), Rex B. Kline Suggeted Anwer To Exercie Chapter. The tatitic meaure variability among core at the cae level. In a normal ditribution, about 68% of the core fall
More informationElectronic Theses and Dissertations
Eat Tenneee State Univerity Digital Common @ Eat Tenneee State Univerity Electronic Thee and Diertation Student Work 5-208 Vector Partition Jennifer French Eat Tenneee State Univerity Follow thi and additional
More informationZ a>2 s 1n = X L - m. X L = m + Z a>2 s 1n X L = The decision rule for this one-tail test is
M09_BERE8380_12_OM_C09.QD 2/21/11 3:44 PM Page 1 9.6 The Power of a Tet 9.6 The Power of a Tet 1 Section 9.1 defined Type I and Type II error and their aociated rik. Recall that a repreent the probability
More informationConvex Hulls of Curves Sam Burton
Convex Hull of Curve Sam Burton 1 Introduction Thi paper will primarily be concerned with determining the face of convex hull of curve of the form C = {(t, t a, t b ) t [ 1, 1]}, a < b N in R 3. We hall
More information3.1 The Revised Simplex Algorithm. 3 Computational considerations. Thus, we work with the following tableau. Basic observations = CARRY. ... m.
3 Computational conideration In what follow, we analyze the complexity of the Simplex algorithm more in detail For thi purpoe, we focu on the update proce in each iteration of thi procedure Clearly, ince,
More informationChapter 7. Network Flow. CS 350: Winter 2018
Chapter 7 Network Flow CS 3: Winter 1 1 Soviet Rail Network, Reference: On the hitory of the tranportation and maximum flow problem. Alexander Schrijver in Math Programming, 1: 3,. Maximum Flow and Minimum
More informationCHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS
CHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.1 INTRODUCTION 8.2 REDUCED ORDER MODEL DESIGN FOR LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.3
More informationNew index matrix representations of operations over natural numbers
Note on Number Theory and Dicrete Mathematic Print ISSN 30 532 Online ISSN 2367 8275 Vol 24 208 No 53 60 DOI: 07546/nntdm2082453-60 New index matrix repreentation of operation over natural number Lilija
More informationQuestion 1 Equivalent Circuits
MAE 40 inear ircuit Fall 2007 Final Intruction ) Thi exam i open book You may ue whatever written material you chooe, including your cla note and textbook You may ue a hand calculator with no communication
More informationTRIPLE SOLUTIONS FOR THE ONE-DIMENSIONAL
GLASNIK MATEMATIČKI Vol. 38583, 73 84 TRIPLE SOLUTIONS FOR THE ONE-DIMENSIONAL p-laplacian Haihen Lü, Donal O Regan and Ravi P. Agarwal Academy of Mathematic and Sytem Science, Beijing, China, National
More informationEE 508 Lecture 16. Filter Transformations. Lowpass to Bandpass Lowpass to Highpass Lowpass to Band-reject
EE 508 Lecture 6 Filter Tranformation Lowpa to Bandpa Lowpa to Highpa Lowpa to Band-reject Review from Lat Time Theorem: If the perimeter variation and contact reitance are neglected, the tandard deviation
More informationMinimum Cost Noncrossing Flow Problem on Layered Networks
Minimum Cot Noncroing Flow Problem on Layered Network İ. Kuban Altınel*, Necati Ara, Zeynep Şuvak, Z. Caner Taşkın Department of Indutrial Engineering, Boğaziçi Univerity, 44, Bebek, İtanbul, Turkey Abtract
More informationUSPAS Course on Recirculated and Energy Recovered Linear Accelerators
USPAS Coure on Recirculated and Energy Recovered Linear Accelerator G. A. Krafft and L. Merminga Jefferon Lab I. Bazarov Cornell Lecture 6 7 March 005 Lecture Outline. Invariant Ellipe Generated by a Unimodular
More informationNOTE: The items d) and e) of Question 4 gave you bonus marks.
MAE 40 Linear ircuit Summer 2007 Final Solution NOTE: The item d) and e) of Quetion 4 gave you bonu mark. Quetion [Equivalent irciut] [4 mark] Find the equivalent impedance between terminal A and B in
More information6. KALMAN-BUCY FILTER
6. KALMAN-BUCY FILTER 6.1. Motivation and preliminary. A wa hown in Lecture 2, the optimal control i a function of all coordinate of controlled proce. Very often, it i not impoible to oberve a controlled
More informationMarch 18, 2014 Academic Year 2013/14
POLITONG - SHANGHAI BASIC AUTOMATIC CONTROL Exam grade March 8, 4 Academic Year 3/4 NAME (Pinyin/Italian)... STUDENT ID Ue only thee page (including the back) for anwer. Do not ue additional heet. Ue of
More informationComputers and Mathematics with Applications. Sharp algebraic periodicity conditions for linear higher order
Computer and Mathematic with Application 64 (2012) 2262 2274 Content lit available at SciVere ScienceDirect Computer and Mathematic with Application journal homepage: wwweleviercom/locate/camwa Sharp algebraic
More informationMATEMATIK Datum: Tid: eftermiddag. A.Heintz Telefonvakt: Anders Martinsson Tel.:
MATEMATIK Datum: 20-08-25 Tid: eftermiddag GU, Chalmer Hjälpmedel: inga A.Heintz Telefonvakt: Ander Martinon Tel.: 073-07926. Löningar till tenta i ODE och matematik modellering, MMG5, MVE6. Define what
More informationSocial Studies 201 Notes for March 18, 2005
1 Social Studie 201 Note for March 18, 2005 Etimation of a mean, mall ample ize Section 8.4, p. 501. When a reearcher ha only a mall ample ize available, the central limit theorem doe not apply to the
More informationComparing Means: t-tests for Two Independent Samples
Comparing ean: t-tet for Two Independent Sample Independent-eaure Deign t-tet for Two Independent Sample Allow reearcher to evaluate the mean difference between two population uing data from two eparate
More informationOptimal Coordination of Samples in Business Surveys
Paper preented at the ICES-III, June 8-, 007, Montreal, Quebec, Canada Optimal Coordination of Sample in Buine Survey enka Mach, Ioana Şchiopu-Kratina, Philip T Rei, Jean-Marc Fillion Statitic Canada New
More informationarxiv: v4 [math.co] 21 Sep 2014
ASYMPTOTIC IMPROVEMENT OF THE SUNFLOWER BOUND arxiv:408.367v4 [math.co] 2 Sep 204 JUNICHIRO FUKUYAMA Abtract. A unflower with a core Y i a family B of et uch that U U Y for each two different element U
More informationarxiv: v1 [math.mg] 25 Aug 2011
ABSORBING ANGLES, STEINER MINIMAL TREES, AND ANTIPODALITY HORST MARTINI, KONRAD J. SWANEPOEL, AND P. OLOFF DE WET arxiv:08.5046v [math.mg] 25 Aug 20 Abtract. We give a new proof that a tar {op i : i =,...,
More informationMath 273 Solutions to Review Problems for Exam 1
Math 7 Solution to Review Problem for Exam True or Fale? Circle ONE anwer for each Hint: For effective tudy, explain why if true and give a counterexample if fale (a) T or F : If a b and b c, then a c
More informationCompetitive Analysis of Task Scheduling Algorithms on a Fault-Prone Machine and the Impact of Resource Augmentation
Competitive Analyi of Tak Scheduling Algorithm on a Fault-Prone Machine and the Impact of Reource Augmentation Antonio Fernández Anta a, Chryi Georgiou b, Dariuz R. Kowalki c, Elli Zavou a,d,1 a Intitute
More informationSuggestions - Problem Set (a) Show the discriminant condition (1) takes the form. ln ln, # # R R
Suggetion - Problem Set 3 4.2 (a) Show the dicriminant condition (1) take the form x D Ð.. Ñ. D.. D. ln ln, a deired. We then replace the quantitie. 3ß D3 by their etimate to get the proper form for thi
More informationONLINE APPENDIX: TESTABLE IMPLICATIONS OF TRANSLATION INVARIANCE AND HOMOTHETICITY: VARIATIONAL, MAXMIN, CARA AND CRRA PREFERENCES
ONLINE APPENDIX: TESTABLE IMPLICATIONS OF TRANSLATION INVARIANCE AND HOMOTHETICITY: VARIATIONAL, MAXMIN, CARA AND CRRA PREFERENCES CHRISTOPHER P. CHAMBERS, FEDERICO ECHENIQUE, AND KOTA SAITO In thi online
More informationarxiv: v2 [math.nt] 30 Apr 2015
A THEOREM FOR DISTINCT ZEROS OF L-FUNCTIONS École Normale Supérieure arxiv:54.6556v [math.nt] 3 Apr 5 943 Cachan November 9, 7 Abtract In thi paper, we etablih a imple criterion for two L-function L and
More informationTechnical Appendix: Auxiliary Results and Proofs
A Technical Appendix: Auxiliary Reult and Proof Lemma A. The following propertie hold for q (j) = F r [c + ( ( )) ] de- ned in Lemma. (i) q (j) >, 8 (; ]; (ii) R q (j)d = ( ) q (j) + R q (j)d ; (iii) R
More informationIn presenting the dissertation as a partial fulfillment of the requirements for an advanced degree from the Georgia Institute of Technology, I agree
In preenting the diertation a a partial fulfillment of the requirement for an advanced degree from the Georgia Intitute of Technology, I agree that the Library of the Intitute hall make it available for
More informationMidterm Review - Part 1
Honor Phyic Fall, 2016 Midterm Review - Part 1 Name: Mr. Leonard Intruction: Complete the following workheet. SHOW ALL OF YOUR WORK. 1. Determine whether each tatement i True or Fale. If the tatement i
More informationALLOCATING BANDWIDTH FOR BURSTY CONNECTIONS
SIAM J. COMPUT. Vol. 30, No. 1, pp. 191 217 c 2000 Society for Indutrial and Applied Mathematic ALLOCATING BANDWIDTH FOR BURSTY CONNECTIONS JON KLEINBERG, YUVAL RABANI, AND ÉVA TARDOS Abtract. In thi paper,
More informationNCAAPMT Calculus Challenge Challenge #3 Due: October 26, 2011
NCAAPMT Calculu Challenge 011 01 Challenge #3 Due: October 6, 011 A Model of Traffic Flow Everyone ha at ome time been on a multi-lane highway and encountered road contruction that required the traffic
More informationAn Inequality for Nonnegative Matrices and the Inverse Eigenvalue Problem
An Inequality for Nonnegative Matrice and the Invere Eigenvalue Problem Robert Ream Program in Mathematical Science The Univerity of Texa at Dalla Box 83688, Richardon, Texa 7583-688 Abtract We preent
More informationAssignment for Mathematics for Economists Fall 2016
Due date: Mon. Nov. 1. Reading: CSZ, Ch. 5, Ch. 8.1 Aignment for Mathematic for Economit Fall 016 We now turn to finihing our coverage of concavity/convexity. There are two part: Jenen inequality for concave/convex
More informationMAE140 Linear Circuits Fall 2012 Final, December 13th
MAE40 Linear Circuit Fall 202 Final, December 3th Intruction. Thi exam i open book. You may ue whatever written material you chooe, including your cla note and textbook. You may ue a hand calculator with
More informationinto a discrete time function. Recall that the table of Laplace/z-transforms is constructed by (i) selecting to get
Lecture 25 Introduction to Some Matlab c2d Code in Relation to Sampled Sytem here are many way to convert a continuou time function, { h( t) ; t [0, )} into a dicrete time function { h ( k) ; k {0,,, }}
More informationTHE DIVERGENCE-FREE JACOBIAN CONJECTURE IN DIMENSION TWO
THE DIVERGENCE-FREE JACOBIAN CONJECTURE IN DIMENSION TWO J. W. NEUBERGER Abtract. A pecial cae, called the divergence-free cae, of the Jacobian Conjecture in dimenion two i proved. Thi note outline an
More informationChapter 13. Root Locus Introduction
Chapter 13 Root Locu 13.1 Introduction In the previou chapter we had a glimpe of controller deign iue through ome imple example. Obviouly when we have higher order ytem, uch imple deign technique will
More information4. Connectivity Connectivity Connectivity. Whitney's s connectivity theorem: (G) (G) (G) for special
4. Connectivity 4.. Connectivity Vertex-cut and vertex-connectivity Edge-cut and edge-connectivty Whitney' connectivity theorem: Further theorem for the relation of and graph 4.. The Menger Theorem and
More informationLecture 8: Period Finding: Simon s Problem over Z N
Quantum Computation (CMU 8-859BB, Fall 205) Lecture 8: Period Finding: Simon Problem over Z October 5, 205 Lecturer: John Wright Scribe: icola Rech Problem A mentioned previouly, period finding i a rephraing
More informationLecture 10 Filtering: Applied Concepts
Lecture Filtering: Applied Concept In the previou two lecture, you have learned about finite-impule-repone (FIR) and infinite-impule-repone (IIR) filter. In thee lecture, we introduced the concept of filtering
More informationGeometric Measure Theory
Geometric Meaure Theory Lin, Fall 010 Scribe: Evan Chou Reference: H. Federer, Geometric meaure theory L. Simon, Lecture on geometric meaure theory P. Mittila, Geometry of et and meaure in Euclidean pace
More informationPrimitive Digraphs with the Largest Scrambling Index
Primitive Digraph with the Larget Scrambling Index Mahmud Akelbek, Steve Kirkl 1 Department of Mathematic Statitic, Univerity of Regina, Regina, Sakatchewan, Canada S4S 0A Abtract The crambling index of
More informationSTOCHASTIC GENERALIZED TRANSPORTATION PROBLEM WITH DISCRETE DISTRIBUTION OF DEMAND
OPERATIONS RESEARCH AND DECISIONS No. 4 203 DOI: 0.5277/ord30402 Marcin ANHOLCER STOCHASTIC GENERALIZED TRANSPORTATION PROBLEM WITH DISCRETE DISTRIBUTION OF DEMAND The generalized tranportation problem
More information(b) Is the game below solvable by iterated strict dominance? Does it have a unique Nash equilibrium?
14.1 Final Exam Anwer all quetion. You have 3 hour in which to complete the exam. 1. (60 Minute 40 Point) Anwer each of the following ubquetion briefly. Pleae how your calculation and provide rough explanation
More information1. The F-test for Equality of Two Variances
. The F-tet for Equality of Two Variance Previouly we've learned how to tet whether two population mean are equal, uing data from two independent ample. We can alo tet whether two population variance are
More informationThe machines in the exercise work as follows:
Tik-79.148 Spring 2001 Introduction to Theoretical Computer Science Tutorial 9 Solution to Demontration Exercie 4. Contructing a complex Turing machine can be very laboriou. With the help of machine chema
More informationWhite Rose Research Online URL for this paper: Version: Accepted Version
Thi i a repoitory copy of Identification of nonlinear ytem with non-peritent excitation uing an iterative forward orthogonal leat quare regreion algorithm. White Roe Reearch Online URL for thi paper: http://eprint.whiteroe.ac.uk/107314/
More informationLecture 7: Testing Distributions
CSE 5: Sublinear (and Streaming) Algorithm Spring 014 Lecture 7: Teting Ditribution April 1, 014 Lecturer: Paul Beame Scribe: Paul Beame 1 Teting Uniformity of Ditribution We return today to property teting
More informationSource slideplayer.com/fundamentals of Analytical Chemistry, F.J. Holler, S.R.Crouch. Chapter 6: Random Errors in Chemical Analysis
Source lideplayer.com/fundamental of Analytical Chemitry, F.J. Holler, S.R.Crouch Chapter 6: Random Error in Chemical Analyi Random error are preent in every meaurement no matter how careful the experimenter.
More informationPythagorean Triple Updated 08--5 Drlnoordzij@leennoordzijnl wwwleennoordzijme Content A Roadmap for generating Pythagorean Triple Pythagorean Triple 3 Dicuion Concluion 5 A Roadmap for generating Pythagorean
More informationLaplace Transformation
Univerity of Technology Electromechanical Department Energy Branch Advance Mathematic Laplace Tranformation nd Cla Lecture 6 Page of 7 Laplace Tranformation Definition Suppoe that f(t) i a piecewie continuou
More informationME2142/ME2142E Feedback Control Systems
Root Locu Analyi Root Locu Analyi Conider the cloed-loop ytem R + E - G C B H The tranient repone, and tability, of the cloed-loop ytem i determined by the value of the root of the characteritic equation
More informationOptimizing Cost-sensitive Trust-negotiation Protocols
Optimizing Cot-enitive Trut-negotiation Protocol Weifeng Chen, Lori Clarke, Jim Kuroe, Don Towley Department of Computer Science Univerity of Maachuett, Amhert {chenwf, clarke, kuroe, towley}@c.uma.edu
More informationSociology 376 Exam 1 Spring 2011 Prof Montgomery
Sociology 76 Exam Spring Prof Montgomery Anwer all quetion. 6 point poible. You may be time-contrained, o pleae allocate your time carefully. [HINT: Somewhere on thi exam, it may be ueful to know that
More informationON THE DETERMINATION OF NUMBERS BY THEIR SUMS OF A FIXED ORDER J. L. SELFRIDGE AND E. G. STRAUS
ON THE DETERMINATION OF NUMBERS BY THEIR SUMS OF A FIXED ORDER J. L. SELFRIDGE AND E. G. STRAUS 1. Introduction. We wih to treat the following problem (uggeted by a problem of L. Moer [2]): Let {x} = {x
More informationOn the chromatic number of a random 5-regular graph
On the chromatic number of a random 5-regular graph J. Díaz A.C. Kapori G.D. Kemke L.M. Kiroui X. Pérez N. Wormald Abtract It wa only recently hown by Shi and Wormald, uing the differential equation method
More informationNAME (pinyin/italian)... MATRICULATION NUMBER... SIGNATURE
POLITONG SHANGHAI BASIC AUTOMATIC CONTROL June Academic Year / Exam grade NAME (pinyin/italian)... MATRICULATION NUMBER... SIGNATURE Ue only thee page (including the bac) for anwer. Do not ue additional
More informationON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS Michael Filaseta* and Andrzej Schinzel 1. Introduction and the Main Theo
ON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS Michael Filaeta* and Andrzej Schinzel 1. Introduction and the Main Theorem Thi note decribe an algorithm for determining whether
More informationSocial Studies 201 Notes for November 14, 2003
1 Social Studie 201 Note for November 14, 2003 Etimation of a mean, mall ample ize Section 8.4, p. 501. When a reearcher ha only a mall ample ize available, the central limit theorem doe not apply to the
More informationNonlinear Single-Particle Dynamics in High Energy Accelerators
Nonlinear Single-Particle Dynamic in High Energy Accelerator Part 6: Canonical Perturbation Theory Nonlinear Single-Particle Dynamic in High Energy Accelerator Thi coure conit of eight lecture: 1. Introduction
More informationLecture 9: Shor s Algorithm
Quantum Computation (CMU 8-859BB, Fall 05) Lecture 9: Shor Algorithm October 7, 05 Lecturer: Ryan O Donnell Scribe: Sidhanth Mohanty Overview Let u recall the period finding problem that wa et up a a function
More informationON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS. Volker Ziegler Technische Universität Graz, Austria
GLASNIK MATEMATIČKI Vol. 1(61)(006), 9 30 ON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS Volker Ziegler Techniche Univerität Graz, Autria Abtract. We conider the parameterized Thue
More informationThe Impact of Imperfect Scheduling on Cross-Layer Rate. Control in Multihop Wireless Networks
The mpact of mperfect Scheduling on Cro-Layer Rate Control in Multihop Wirele Network Xiaojun Lin and Ne B. Shroff Center for Wirele Sytem and Application (CWSA) School of Electrical and Computer Engineering,
More informationON THE APPROXIMATION ERROR IN HIGH DIMENSIONAL MODEL REPRESENTATION. Xiaoqun Wang
Proceeding of the 2008 Winter Simulation Conference S. J. Maon, R. R. Hill, L. Mönch, O. Roe, T. Jefferon, J. W. Fowler ed. ON THE APPROXIMATION ERROR IN HIGH DIMENSIONAL MODEL REPRESENTATION Xiaoqun Wang
More informationThe Hassenpflug Matrix Tensor Notation
The Haenpflug Matrix Tenor Notation D.N.J. El Dept of Mech Mechatron Eng Univ of Stellenboch, South Africa e-mail: dnjel@un.ac.za 2009/09/01 Abtract Thi i a ample document to illutrate the typeetting of
More informationSolving Differential Equations by the Laplace Transform and by Numerical Methods
36CH_PHCalter_TechMath_95099 3//007 :8 PM Page Solving Differential Equation by the Laplace Tranform and by Numerical Method OBJECTIVES When you have completed thi chapter, you hould be able to: Find the
More informationUNIT 15 RELIABILITY EVALUATION OF k-out-of-n AND STANDBY SYSTEMS
UNIT 1 RELIABILITY EVALUATION OF k-out-of-n AND STANDBY SYSTEMS Structure 1.1 Introduction Objective 1.2 Redundancy 1.3 Reliability of k-out-of-n Sytem 1.4 Reliability of Standby Sytem 1. Summary 1.6 Solution/Anwer
More informationDepartment of Mechanical Engineering Massachusetts Institute of Technology Modeling, Dynamics and Control III Spring 2002
Department of Mechanical Engineering Maachuett Intitute of Technology 2.010 Modeling, Dynamic and Control III Spring 2002 SOLUTIONS: Problem Set # 10 Problem 1 Etimating tranfer function from Bode Plot.
More informationOnline Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy
Online Parallel Scheduling of Non-uniform Tak: Trading Failure for Energy Antonio Fernández Anta a, Chryi Georgiou b, Dariuz R. Kowalki c, Elli Zavou a,d,1 a Intitute IMDEA Network b Univerity of Cypru
More informationFair Game Review. Chapter 6. Evaluate the expression. 3. ( ) 7. Find ± Find Find Find the side length s of the square.
Name Date Chapter 6 Evaluate the epreion. Fair Game Review 1. 5 1 6 3 + 8. 18 9 + 0 5 3 3 1 + +. 9 + 7( 8) + 5 0 + ( 6 8) 1 3 3 3. ( ) 5. Find 81. 6. Find 5. 7. Find ± 16. 8. Find the ide length of the
More informationON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS
ON A CERTAIN FAMILY OF QUARTIC THUE EQUATIONS WITH THREE PARAMETERS VOLKER ZIEGLER Abtract We conider the parameterized Thue equation X X 3 Y (ab + (a + bx Y abxy 3 + a b Y = ±1, where a, b 1 Z uch that
More informationOnline Appendix for Corporate Control Activism
Online Appendix for Corporate Control Activim B Limited veto power and tender offer In thi ection we extend the baeline model by allowing the bidder to make a tender offer directly to target hareholder.
More informationChip-firing game and a partial Tutte polynomial for Eulerian digraphs
Chip-firing game and a partial Tutte polynomial for Eulerian digraph Kévin Perrot Aix Mareille Univerité, CNRS, LIF UMR 7279 3288 Mareille cedex 9, France. kevin.perrot@lif.univ-mr.fr Trung Van Pham Intitut
More information