THE k SHORTEST ROUTES AND THE k SHORTEST CHAINS IN A GRAPH. Michel Sakorovitch

Size: px
Start display at page:

Download "THE k SHORTEST ROUTES AND THE k SHORTEST CHAINS IN A GRAPH. Michel Sakorovitch"

Transcription

1 ORC October THE k SHORTEST ROUTES AND THE k SHORTEST CHAINS IN A GRAPH by Michel Sakorovitch C L A R I N G H 0 U S E! FOR FEDERAL SCIENTIFIC AND» TECHNICAL INFORMATION Hardoopy m D D C DEC? 1966 OPERATIONS RESEARCH CENTER COLLEGE OF ENGINEERING UNIVERSITY OF C A L I F 0 R Nl A - B E R K E L E Y

2 THE k SHORTEST ROUTES AND THE k SHORTEST CHAINS IN A GRAPH by Michel Sakarovitch Operations Research Center University of California, Berkeley October 1966 ORC This research has been partially supported by the Office of Naval Research under Contract Nonr-222(83), the National Science Foundation under Grant GP-4593, and the National Bureau of Standards, Contract CST-136 with the University of California. Reproduction in whole or in part is permitted for any purpose of the United States Government..

3 THE k SHORTEST ROUTES AND THE k SHORTEST CHAINS IN A GRAPH by Michel Sakarovltch 1. Introduction In a given graph G = (N,A) where N represents the set of nodes and A the set of directed arcs, a length a(x,y) Is associated to every arc (x,y) E A. A route from x to x Is a seuence of nodes and arcs on P= [x o,(x o,x 1 ),x 1,(x 1,x 2 ) X n-l^xn-l,x n^* X n^ such that x. e N 1 = 0,n (x...x.) e A 1 = 1,n A route P will also be considered as a partial subgraph (see [21 ) of G containing nodes x,..,x and arcs (x,x,),..., (x,,x ). The length of a on N o 1 n-1 n route P Is: n Ä(P) = I a(x,x,) 1=1 1 " i 1 A chain Is a route In which no node Is repeated. A cycle Is a route In which no node Is repeated except that x = x. 0 and D wll] be two particular nodes. P (P 1 ) will denote the shortest route (chain) from 0 to D and: G n = (N,A ) = U P jssl j will be the partial subgraph of G defined by: x e N If f x e P for some j <. (x,y) e A iff (x,y) e P for some j <. Ä n = A - A n

4 In a similar way G', A', A 1 and N' are defined, k is the number of routes in G which we need to generate as P,-..., P.. i.e. k is the min of +1 ' ' +k (k - ) and (max number of routes in G - ), Our central problem will be the construction of the k shortest routes (k shortest chains) from 0 to D. In this form, the problem is slightly more general than the one dealt with in [1], [6] and [3] and reviewed in [7] in two respects: - Negative lengths are allowed, provided that no: "negative cycle" (a cycle along which a(x,y) < 0) exist. - Attention is not restricted to chains. Moreover, this paper is based on the following simple idea: At any stage of the algorithm, suppose we know the ( < k) shortest routes from 0 to D and P +1 P +k which are the (+l) St (+k ) th - shortest routes in G ordered according to increasing lengths. P is a shortest st route from 0 to D which has at least one arc in A. The (+1) shortest route is obtained by: +1 ^+1 if ^l) 1 ^l) f +l if ^+l) < ^P+l) G and the list P. is updated and the process begins again. The algorithm is initiated by finding the shortest routes from 0 to every node using an algorithm such as the one in [4] if all lengths are nonnegative and the one. in [5] if there are negative lengths. In the next section an algorithm to construct the k shortest routes from 0 to D is described and it is justified in Section 3. Since the problem of finding the k shortest chains is of interest in many applications, a variant of the algorithm presented in Section 2 which exhibits the k shortest chains is described

5 in Section A. Attention is drawn to the fact that minor modifications of these two algorithms allow to find the routes (chains) shorter than a given length. If capacities were to be considered, an immediate application of this last problem could be: what uantity can be shipped from 0 to D if we demand that the maximum time of travel be less than or eual to a certain given number. 2. Algorithm For Finding The k Shortest Routes Step 0. - Find all the shortest routes from 0 to D : P P If ^ k, terminate. Determine for all x e N : TTCX) = shortest distance from 0 to x. n(x) = shortest distance from x to D. Note that P^ does not exist (the length of a route which does Step 1. - Let: not exist is taken as infinite), k = 0. (1) C (x) = / Min, v 7 {T(y)+a(y,x)} for x c N (y,x) e A w Tr(x) for x «! N (2) E = {x e N C (x) + n(x) = Min [c (y) + n(y)3 = ^ } yen l If ir =» and k + < k : terminate, the problem is infeasible, Determine m by:

6 Let: P + i =P +i i= l...- G B = G +m p tüx- = p L x- i =! ( k - m ) +m+i +m+i ' H = +m j = 0 For each x e E generate all the routes R,. from 0 to (ox) x, the last arc of which belongs to Ä, and, the length of which is ^ (x) ; this is easily done by backtracking in the definition of C (x) and n(x). Similarly generate all the chains C, n v from x to D of length n(x). By combining a route R. * with a chain C, n v and repeating the operation for all x e E, all the routes from 0 to D of length u can be generated. Lets call them P.,..., P.. We +1 * +n need only to generate at most k - of them. If n 21 k - let P... ^ P.. j = 1 k - ; terminate, solution has been obtained. Go to Step 2. Step 2. - Let j = j + 1 If j > n go to Step 1. P = P +1 +j G _= G U?\. +1 +j

7 If the set of arcs in G,. - G is empty let: +i P +l+i!l = P^. +i 1 < i < k = + 1 Go to Step 2. If the set of arcs in G.. - G is not empty, they form a simple route C,, from 0. to D. (0., D. e G ) (of Lemma 5). j 3 J J J Let R = (I^,..,^), S = (S 1,... J S s ), T = (T^..,^) be respectively a set cf routes from 0 to 0., from D, to 0. J J J and from D. to D, obtained by considering parts of: - Those, routes from 0 to D which contain 0. ; J - Those routes from 0 to D which contain D. and then J V - Those routes from 0 to D which contain D. Generate new routes in G, according to increasing lengths, by taking the union of a part of a route in R, from 0 to 0., route C. and a part of a route in T from D to D. Insert those newly created routes in the seuence P^ so that the new seuence is still ordered according to increasing lengths. Generate new routes until exhaustion of possibilities or until the p =k--n + i-l first, elements of this new seuence have been created. If S = 0 go to Step 4. Let u = 1. We will call route of order u a route which contains (u+1) times route C, (and u times an element of S ). For instance a route of order 1 is the union of a route in R, route

8 C., a route in S, route C., a route in T. Go to Step 3. Step 3. - Generate routes of order u according to increasing lengths and their elements in the seuence just generated in such a position that the seuence is still ordered according to increasing lengths either until exhaustion oi possibilities or until the p first elements of the seuence have been generated. If the first route of order u is among the p first elements let u = u + 1 and go to Step 3. If not, go to Step 4. Step 4. - Let = + 1 Denote by P, the elements of the seuence just generated and by k their number. Go to Step Justification Of The Algorithm Let A = {(x.y) e A Tr(y) - Tr(x) = a(x,y)} G = (N,A) Lemma 1. - A necessary and sufficient condition for a cycle to be of 0 length (0-cycle) is that it be contained in G. Proof: (1) If a cycle [x»x. x -,x = x ] belongs 0 to G, it is a 0 cycle, J ' o 1 n-1' n o 7i(x ) - 7i(x ) - a(y,x ),1,0 (c 1 i i t * i nx ) - Tr(x ) = a(x,,x ) o n-i n-i o i = I " a ( x i_ 1» x i) v

9 (ii) Let C be a 0 cycle. For all the arcs (x.y) e C we have by definition of i\ : Ti(y) - TT(X) <_ a(x,y) If for one arc we had strict ineuality by adding these relations for all arcs of C, we would obtain 0 < Ü(C) which contradicts the assumption..e.d. Lenuna 2. - All routes in G from 0 to a given node z have the same length: TI(Z). Any route not completely included in G has a larger length. Proof; Obvious, since along any route of G TT(y) - Tr(x) = a(x,y) and for a route not completely included in G, we would have on at least one arc: Tr(y) - TT(X) < a(x,y)..e.d. Lemma 3. - A necessary and sufficient condition for n to be finite at the end of Step 1 is that P,. do not contain a 0-cycle. +j " Proof; Suppose P contains a 0-cycle, then the routes obtained by the union of P and i times this 0-cycle are of same length TT for any positive integer i. If there is an infinite number of routes of length ir, there, is an infinite subset of these routes the elements of v;hich differ from one another by the addition of a cycle a certain number of times since the number of chains from 0

10 to D is finite. The length of this cycle is thus 0..e.d. Lemma 4. - IT, as defined in (2), is the shortest length of all routes not completely Included in G. Proof; * It is sufficient to show that for each route P which contains at least an arc (x,y) in A, 2,(P ) > TT ' ' ' From the definition of TT and n we have: (3) )t(p*) >. TT(X) + a(x,y) + n(y) But from (1) : IT(X) + acx.y) >_ C (y) and the property of shortest distances that: Tt(y) 1 ^(x) + a(x,y) Then, from (2) : C (y) + n(y) >. n which together with (3) implies; A(P*) > * -.e.d. Lemma 5. - In Step 2 the set of arcs in G., - G is either empty or forms a ^ +1 simple route C^ from (K to D. (0., D, E G ). This route is either a chain j j j J J or a simple cycle in which case D. - 0,. J J

11 D Figure 1 Proof: If the set of arcs in G +1 G Is not empty, * J, P,. includes successive +J 5^ seuences of arcs of A ; let C be the last of these seuences when P.. is j +3 described from 0 to D. C. forms a route from 0. (e G ) to D. (e G ) since J J J C. is a subset of P... j +j The part of P,. from 0 to 0. is included in G for if it were not, it +J J would be possible, frrm Lemma 2, to construct another route shorter than TT and which would have the arcs of C, outside of G thus contradicting Lemma 4 and j b similarily for D to D, proving 3 a single path C.. Suppose that a proper subset of C forms a cycle. If this cycle was a 0-cycle from Lemma 3, n would be infinite and the algorithm would have been terminated at the end of Step 1. If this cycle had a positive length, it would be possible by deleting it from P, to construct a route not completely included in G and of length < tr, thus J r J e» contradicting Lemma 4 again. Thus if there is a cycle, it can only be simple. The following lemma is not crucial for the proof of the theorem, however, it helps understanding of the algorithm..e.d. Lemma 6. -i Proof: s It is impossible that TT < ^ _, since?.. is not among the shortest +j

12 10 routes. Suppose ir = Ti,. Then 3 ix t y) e A 0 P,. for which r (y) + n(y) = -1 * >" ^^ v = v. but then P., would have been discovered at a previous passage and r r & (x,y) would have been added to A, thus a contradiction..e.d. Theorem The algorithm leads to a solution in a finite number of steps, or shows that no solution exists. Proof; In Steps 2 and 3 the seuence P,.., P, v. is generated so that this seuence is at hand at beginning of Step 1. Then P.. Is either the shortest route completely included in G, P., or the shortest route containing some arc in Ä, P., (Lemma 4). +1 If the number of routes in G. (k + ), is less then k and- if there does not exist routes outside those in G (n =») the problem is infeasible. Each time Step 1 is described, some arcs are added to G so that we can only go a finite number of times through Step 1. We cannot cycle indefinitely in Step 3 since each time we go through Step 3, at least, a new route is added to the updated seuence and we do not want more than p routes. Now we can go only a finite number of times through Step 2 since at each passage the index j is increased by one unit and when j > n we go to Step 1..e.d. 4. Variant Of The Preceding Algorithm To Find The k Shortest Chains The basic idea of this variant is to perform the algorithm of Section 2 and to keep the routes thus generated only if they are chains. Two main differences

13 11 with the initial algorithtri justify a rewriting of the algorithm: - When a 0-cycle is met, no new chain will ever be constructed. - Routes of order u jl 1 will not give rise to any chain and Step 3 can be skipped. Step 0'. - Find all the shortest chains from 0 to D : P',., P'. 1 Step 1'. - Define: If fl k, terminate. Determine for all x e N : ii(x) = shortest distance from 0 to x. n(x) = shortest distance from x to D. k' = 0. {Min. v - {Tr(y) + a(y,x)} for x N (y.x) e A ' w ' IT(X) for x jf N (2) E = {x e N C a (x) + n(x) = Min U (y)+n(y)] - *) yen If Tf = oo an d k' + < k : terminate, the problem is infeasible. Determine m by: Let: P' = P, i = 1 m +i +i X L m G' = G' +m P'f^. = P'^,. i = l,..ak' -m) +rrrf-i +:.;fi = + m j = o

14 12 For each x e E generate the routes R,. from 0 to x, (ox) the last arc of which belongs to Ä and the length of which is C (x) ; this is easily done by backtracking in the definition of C (x) and TI(X). Similarly generate all the chains C, x from (xd) x to D of length n(x). By combining a route R,. which a chain C, ^ (ox) (xd) in such a way that no newly constructed route from 0 to D contains a cycle counted more than once, a finite number n of routes from 0 to D of length TT, P,.., P are generated. Among those are all the chains of length TT and having a nonempty inter- section with Ä. Go to Step 2'. Step 2\ - j = j + 1 If j > n go to Step 1'. If P^, is a chain, let P',, = P i. +J +1 +j Let ( + 1 if P, Is a chain +j therwise G', = G' U P** +j If the set of arcs in G', - G' is empty, let k', = k' p'?' = p, i < i < k 1 '+i +i = ' Go to Step 2'.

15 T 13 If the set of arcs in G', - G' is not empty, it forms a simple route C, from 0, to D,. Let Cl be the subset of C. which J j J 1 J is a chain from 0. to D.. J j Let R 1 = (R].. R'), T 1 = (T 1.. T 1 ) be respectively a set of chains from 0 to 0., from D, to D J J obtained by taking parts of: - Those chains from 0 to D which contain 0,. J - Those chains from 0 to D which contain D,. J Generate new routes in G',, according to increasing lengths, by routes taking union of a chain in R', chain C', and a chain in T'. Keep only those routes which are chains and insert them in the seuence P'TJ SO that the new seuence be still ordered according to increasing lengths. Generate new chains until exhaustion of possibilities or until the k - + j - 1 first elements of the new seuence have been generated. Let = ' Denote by?'_, the elements of the seuence just generated and by k 1 their number. Go to Step 2'. This algorithm, as well as algorithm of Section 2, can be slightly modified in order to produce, respectively all the chains (routes) which are shorter than a given length L (or within x% of the length of the shortest chain (route)).

16 14 5. Examples Suppose we want to find the four shortest routes and the four shortest chains In the following graph: a) Four Shortest Routes 1) Step 0. - The shortest route is uniue P = [0, 1, 2, D] A = {(01), (12), (2D)} UP-P = 6 2) Step 1. - Nodes TT(X) n(x) ^(x) n(x)+c 1 (x) D E - {3, D} u «= 8 P' does not exist P^ = [0, 1, 2, 3, D] n = 1

17 15 3) Step 2. - j = 1 P 2 = P' r 2 G n = G 1 UP 2 i.e. : There is no other route in G than P and P, i.e. P does not exist, k = 0. Go to Step 2. ^) Step 2. - j = 2 > n : go to Step 1. 5) Step 1. - Nodes n(x) ; 2 (x) n(x)+c 2 (x) CO E = {0} TI 2 = 9 D Since P does not exist m = 0 P^ = [0, 1, 2, 0, 1, 2, D] n - 1 Go to Step 2.

18 16 6) Step 2. - j = 1 P 3 = ^3 G = G 2 UP2 i.e, C3 = (2, 0) P^ = [ D] Wp = n If we go to Step 3 and generate the shortest route of order 1, we find P^ = [0-1-2-U D] A(P^) = 12 and we insert it in the seuence after P, Go to Step 2. 7) Step 2. -j=2>n-l,goto Step 1. 8) Step 1. -

19 17 Nodes n(x) C 3 (x) n(x)+c 3 (x) oo oo 2 2 CO E = {3} ^ = 11 D and P 4 = p3 = [o-3-d] terminate. b) Four Shortest Chains Up to stage (6) the two algorithms give the same result i.e. Pj = [0, 1, 2, D] P^ = [0, 1, 2, 3, D] 6') Step 2'. - j " 1 ' = - 2 G' = G' U P No new chain in G' ; P' does not exist, k' -- 0 Go to Step 2'.

20 .18 7') Step 2'. -j=2>n=l go to Step I 1 8') Step 1'. - Nodes n(x) C 2 (x) n(x)+c 2 (x) D 0 00 oo E - {3} "3 =10 2 P' does not exist so m = 0 P3 = [0, 3, D] n = 1 Go to Step 2'. 9') Step 2'. - j = 1 P^ is a chain: P^ = P^ = [0, 3, D] G' ^ U P* = G There is no chain outside P' P' P' in G' ; i.e., Pi, does riot exist, k' = 0. Go to Step 1'. 10») Step 1'. - Nodes n(x) c 3 (x) n(x)+; 3(x) CO 1 5 ^n : CO D 0 '., cc

21 .19 k^ + 3 = 0 + 3<4 Problem is Infeaslble. "T

22 20 REFERENCES [1] Bellman, R., and R. Kalaba, "On k Best Policies," Journal of SIAM. Vol. 8, pp , (1960). [2] Berge, C, "Theorie des Graphes et Applications," Dunod, (1962). [3] Clarke, S., Krikorian, A., and J. Rausen, "Computing the N Best Loopless Paths in a Network." Journal of SIAM. Vol. 11, No. 4, pp [4] Dantzig, G. B., "The Shortest Route Problem," Operations Research Journal, Vol. 5, pp , (1951). [5] Ford, L., and R. Fulkerson, "Flows in Networks," Princeton University Press, pp [6] Hoffman, W., and R. Parley, "A Method for the Solution of the U 1 Best Path Problem," Journal of Association Computing Machinery, Vol. 6, pp [7] Pollack, M., "Solution of the k Best Route Through a Network," A Review, Journal of Mathematical Analysis andapplication. Vol. 3, pp , (1961).

23 Unclassified Security Classification DOCUMENT CONTROL DATA R&D (Security clasaitieation ol title, body ol.ibstr.id and indrxiti/! uniiolnliou must IT etitrred wlirn Iho ovatull rc/iorl is cinssilied) I. ORIGINATING ACTIVITY (Corpora(o outho/j University of California, Berkeley 2/1 RCPOPT StCUFil TY CLASSIFICATION Unclassified Zl> CROUP 3. REPORT TITLE THE k SHORTEST ROUTES AND THE k SHORTEST CHAINS IN A GRAPH 4 DESCRIPTIVE NOTES (Type ol report and Inclusive dates) Research Report 5- A\JTHOH(S) (Last name, first naine, initial) Sakarovitch, Michel 6 REPORT DATE October a. CONTRACT OR GRANT NO. Nonr-222(83) 6. PROJEC T NO. NR c. RR TOTAL NO. OF PAGES 24 9a. ORIGINATOR'S REPORT NUMBERfS; ORC NO. OF REFS 9b. OTHER REPORT NOfS.) (A ny other numbers that may be as at ned this report) 10. AVAILABILITY/LIMITATION NOTICES Available without limitation on dissemination. It. SUPPLEMENTARY NOTES»2- SPONSORING MILITARY ACTIVITY Mathematical Science Division 13. ABSTRACT DD 1^1473 Unclassified Security Classitication

24 14. Unc]HBsifled Security Clf.ssificfition. Atjanrtvzmm. KEY WORDS ROLE «OLE ROLL LINK C WT k Shortest Routes k Shortest Chains 1. ORIGINATING ACTIVITY: Enter the name ond nddress of tlic contractor, subcontractor, grantee, Deiuirtmcnt of Defense octivity or other orgr.nizf.tion fcor;)or.we author) issuinc the report. 2«. REPORT SECUKTTY CLASSIFICATION: Enter the overall security classification of the report. Indicate v/liether "Rc&tiicted Data" is included Marking is to be in accirdance with appropriate security regulations, 2b. GROUP: Automatic downgrading is specified in DoD Directive and Armed Forces Industrial Manual, Enter the t^011!' number. Also, when applicable, show that optional markidüs have been used for Group 3 and Group 4 as authorized. 3. REPORT TITLE: Enter the complete report title in all capital letters. Titles in all cases should be unclassified. If a nieaningful title cannot bo selected without classification, show title classification in all capitals in parenthesis immediately following the title. 4. DESCRIPTIVE NOTES: If appropriate, enter the type of report, e.g., interim, progress, summary, amual, or final. Give the inclusive dates when a specific reporting period is covered. 5. AUTIIOR(S): Enter the name(s) of author(s) as shown on or in the report. Entei tast name, first name, middle initial. If xilitary, show rank end branch of service. The name of the principal..;uhor is an absolute minimum reuirement. 6. REPORT DATE; Enter the date of the report as day, month, year; or month, year. If more than one date appears on the report, use date of publication. 7a. TOTAL NUMBER OF PAGES: The total page count should follow normal pagination procedures, i.e., enter the number of pages containing information. 7b. NUMBER OF REFERENCES: Enter the total number of references cited in the report. 8a. CONTRACT OR GRANT NUMBER: If appropriate, enter the applicable number of the contract or grant under which the report was written. 86, Be, &, Bd. PROJECT NUMBER: Enter the appiopriatc military department identification, such as project number, subproject number, system numbers, task number, etc. 9a. ORIGINATOR'S REPORT NUMBER(S): Enter the official report number by which the document will be identified and controlled by the originating activity. This number must be uniue to this report. 0/., OTUF.R RKPÜKT NU.V.UF.R(S): If the rcpott l; be«. r)ssi -.,-i'-;l.-tiy other report nuiiibetr. (oil'it r b}' th' nr;,;'. i '.'or or by the f;jon.t'jr}, f(lr.o eater thin r.u..i'.rr(r). 10. AVAILABILITY/LIMITATION NOTICES: Enter any limitations on further dissemination of the report, other than those INSTRUCTIONS imposed by security classification, using standard statements auch as: (1) (2) (3) (4) (5) "Qualified reuesters may obtain copies of this report from DDC" "Foreign announcement and dissemination of this report by DDC is not authorized." "U. S. Government agencies may obtain copies of this report directly from DDC. Other ualified DDC users shall reuest through "U. S. military agencies may obtain copies of this report directly from DDC Other ualified users shall reuest through "All distribution of this report is controlled. Qualified DDC users shall reuest through If the report has been furnished to the Office of Technical Services, Department of Commerce, for sale to the public, indicate this fact and enter the price, if known. 11. SUPPLEMENTARY NOTES: Use for additional explanatory notes. 12. SPONSORING MILITARY ACTIVITY: Enter the name of the departmental project office or laboratory sponsoring fpaj" in^ tor) the research and development. Include address. 13- ABSTRACT: Enter an abstract giving a brief and factual summary of the document indicative of the report, even though it may also appear elsewhere in the body of the technical report. If additional space is reuired, a continuation sheet shall' be attached. It is highly desirable that the abstract of classified reports be unclassified. Each paragraph of the abstract shall end with an indication of the military security classification of the information in the paragraph, represented as fts.). (S), <C), or (U). There is no limitation on the length of the abstract. However, the suggested length is from 150 to 225 words. 14. KEY WORDS: Key words are technically meaningful terms or short phrases that characterize a report and may be used as index entries for cataloging the report. Key words must be selected so that no security classification is reuired. Identifiers, such as euipment model designation, trade name, military project code name, f,eoj»taphic location, may be used us key word'; ft x but will be ft 'Hie assigm lie d by link an injicntion roles ti of technir.il conif.hts is opti'mal DD FORM 1 JAN (BACK) Und ass i fled Security Classification

S 3 j ESD-TR W OS VL, t-i 1 TRADE-OFFS BETWEEN PARTS OF THE OBJECTIVE FUNCTION OF A LINEAR PROGRAM

S 3 j ESD-TR W OS VL, t-i 1 TRADE-OFFS BETWEEN PARTS OF THE OBJECTIVE FUNCTION OF A LINEAR PROGRAM I >> I 00 OH I vo Q CO O I I I S 3 j ESD-TR-65-363 W-07454 OS VL, t-i 1 P H I CO CO I LU U4 I TRADE-OFFS BETWEEN PARTS OF THE OBECTIVE FUNCTION OF A LINEAR PROGRAM ESD RECORD COPY ESD ACCESSION LIST ESTI

More information

THE STÄTIONARITY OF AN ESTIMATED AUTOREGRESSIVE PROCESS BY T. W. ANDERSON TECHNICAL REPORT NO. 7 NOVEMBER 15, 1971

THE STÄTIONARITY OF AN ESTIMATED AUTOREGRESSIVE PROCESS BY T. W. ANDERSON TECHNICAL REPORT NO. 7 NOVEMBER 15, 1971 H. V. JOHNS JR. THE STÄTIONARITY OF AN ESTIMATED AUTOREGRESSIVE PROCESS BY T. W. ANDERSON TECHNICAL REPORT NO. 7 NOVEMBER 15, 1971 PREPARED UNDER CONTRACT NQ0014-67-A-0112-0030 (NR-042-034) FOR THE OFFICE

More information

NOL UNITED STATES NAVAL ORDNANCE LABORATORY, WHITE OAK, MARYLAND NOLTR ^-z ^ /

NOL UNITED STATES NAVAL ORDNANCE LABORATORY, WHITE OAK, MARYLAND NOLTR ^-z ^ / NOLTR 64-25 RESIDUAL BORE STRESS IN AN AUTOFRETTAGED CYLINDER CONSTRUCTED OF A STRAIN HARDENING MATERIAL ^7 to QUALIFIED REQUESTERS MAY ORT/mr COPIES DIRECT FROM DDC ^ r'> NOL 18 DECEMBER 1964 v..- iv-

More information

UNCLASSIFIED AD NUMBER LIMITATION CHANGES

UNCLASSIFIED AD NUMBER LIMITATION CHANGES TO: UNCLASSIFIED AD NUMBER AD450636 LIMITATION CHANGES Approved for public release; distribution is unlimited. FROM: Distribution authorized to U.S. Gov't. agencies and their contractors; Administrative/Operational

More information

THE MINIMUM NUMBER OF LINEAR DECISION FUNCTIONS TO IMPLEMENT A DECISION PROCESS DECEMBER H. Joksch D. Liss. Prepared for

THE MINIMUM NUMBER OF LINEAR DECISION FUNCTIONS TO IMPLEMENT A DECISION PROCESS DECEMBER H. Joksch D. Liss. Prepared for PJSD-TDR-64-171 TM-03903 THE MINIMUM NUMBER OF LINEAR DECISION FUNCTIONS TO IMPLEMENT A DECISION PROCESS TECHNICAL DOCUMENTARY REPORT NO. ESD-TDR-64-171 DECEMBER 1964 H. Joksch D. Liss Prepared for DIRECTORATE

More information

cot* SEPTEMBER 1965 a CC 0^\ 0 «*«***

cot* SEPTEMBER 1965 a CC 0^\ 0 «*«*** CM 1 1 I >> 1 a, i CO 8! 1 ESD-TR-65-132 vo a! 1 n 1 oc tl. 1 H I 1 -» 1 f- 1 8 CO 1 U4 UJ ESD ACCb^iui^u.-. ESTl Call No._ Copy. No. J Qt 1 ** TM-4187 LIGHT REFLECTIONS FROM SYSTEMS OF PLANE MIRRORS TECHNICAL

More information

NOLTR UNITED STATES NAVAL ORDNANCE LABORATORY, WHITE OAK,, MARYLAND 1

NOLTR UNITED STATES NAVAL ORDNANCE LABORATORY, WHITE OAK,, MARYLAND 1 ACOUSTIC IMPEDANCE OF SEAWATER AS A FUNCTION OF TEMPERATURE, PRESSURE AND SALINITY 3d 19 JULY 1966 UNITED STATES NAVAL ORDNANCE LABORATORY, WHITE OAK,, MARYLAND 1 CLEARINGHOUSE FOR FEDEPAL SCIIINTIFIC

More information

St>-T*-4*-te.» ESD RECORD COPY. ,om*' ESD ACCESSION LIST ESTI Call M - 4H THIRD QUARTERLY TECHNICAL REPORT October to 30 December 1967

St>-T*-4*-te.» ESD RECORD COPY. ,om*' ESD ACCESSION LIST ESTI Call M - 4H THIRD QUARTERLY TECHNICAL REPORT October to 30 December 1967 St>-T*-4*-te.» THIRD QUARTERLY TECHNICAL REPORT-2430-3 1 October to 30 December 1967 January 1968 ESD RECORD COPY RETURN TO SCIENTIFIC & TECHNICAL INFORMATION DIVISION (ESTI), BUILDING 1211 ESD ACCESSION

More information

GENERAL INSTRUCTIONS FOR COMPLETING SF 298

GENERAL INSTRUCTIONS FOR COMPLETING SF 298 GENERAL INSTRUCTIONS FOR COMPLETING SF 298 The Report Documentation Page (RDP) is used for announcing and cataloging reports. It is important that this information be consistent with the rest of the report,

More information

FINAL EXAM PRACTICE PROBLEMS CMSC 451 (Spring 2016)

FINAL EXAM PRACTICE PROBLEMS CMSC 451 (Spring 2016) FINAL EXAM PRACTICE PROBLEMS CMSC 451 (Spring 2016) The final exam will be on Thursday, May 12, from 8:00 10:00 am, at our regular class location (CSI 2117). It will be closed-book and closed-notes, except

More information

SHORTEST PATH, ASSIGNMENT AND TRANSPORTATION PROBLEMS. The purpose of this note is to add some insight into the

SHORTEST PATH, ASSIGNMENT AND TRANSPORTATION PROBLEMS. The purpose of this note is to add some insight into the SHORTEST PATH, ASSIGNMENT AND TRANSPORTATION PROBLEMS 0 by A. J. Hoffmnan* H. M. Markowitz** - 3114/634 081 1. Introduction The purpose of this note is to add some insight into the C ': already known relationships

More information

Technical Note

Technical Note ESD ACCESSION LIST TRI Call Nn n 9.3 ' Copy No. / of I

More information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.

More information

Technical Note

Technical Note ESD-TR-66-208 Technical Note 1966-31 An Efficient Technique for the Calculation of Velocity-Acceleration Periodograms E. M. Hofstetter 18 May 1966 Lincoln Laboratory ' The work reported in this document

More information

ARCHIVE COPY DO NOT LOAN

ARCHIVE COPY DO NOT LOAN AEDC-TR-66-234 ARCHIVE COPY DO NOT LOAN SS 33 ES& IN-CHAMBER VACUUM GAGE CALIBRATION METHOD AND : ITS APPLICATION TO CRYOPUMPING MEASUREMENTS = --- "'. = R. M. Freeman ARO, Inc. - January 1967 = Distribution

More information

IfliiieflibUTribl A COMPARISON OF THE FALLOUT MASS-SIZE DISTRIBUTIONS CALCULATED BY L06N0RMAL AND POWER-LAW MODELS

IfliiieflibUTribl A COMPARISON OF THE FALLOUT MASS-SIZE DISTRIBUTIONS CALCULATED BY L06N0RMAL AND POWER-LAW MODELS USNRDHR-II05 14 November 1886 a* es A COMPARISON OF THE FALLOUT MASS-SIZE DISTRIBUTIONS CALCULATED BY L06N0RMAL AND POWER-LAW MODELS by E.G.Freiling l u FEß 1^ IfliiieflibUTribl U.S. NAVAL RADIOLOGICAL

More information

ON THE SIMPLE TENSILE DEFORMATION OF AN INCOMPRESSIBLE RUBBER MATRIX FILLED WITH NON-ADHERENT RIGID SPHERES OF UNIFORM SIZE DISTRIBUTION

ON THE SIMPLE TENSILE DEFORMATION OF AN INCOMPRESSIBLE RUBBER MATRIX FILLED WITH NON-ADHERENT RIGID SPHERES OF UNIFORM SIZE DISTRIBUTION ON THE SIMPLE TENSILE DEFORMATION OF AN INCOMPRESSIBLE RUBBER MATRIX FILLED WITH NON-ADHERENT RIGID SPHERES OF UNIFORM SIZE DISTRIBUTION P. J. Blatz California Institute of Technology Pasadena, California

More information

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section Summary. Relations and Functions Properties of Relations. Combining Relations Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included

More information

ON ANALOGUES OF POINCARE-LYAPUNOV THEORY FOR MULTIPOINT BOUNDARY-VALUE PROBLEMS

ON ANALOGUES OF POINCARE-LYAPUNOV THEORY FOR MULTIPOINT BOUNDARY-VALUE PROBLEMS . MEMORANDUM RM-4717-PR SEPTEMBER 1965 ON ANALOGUES OF POINCARE-LYAPUNOV THEORY FOR MULTIPOINT BOUNDARY-VALUE PROBLEMS Richard Bellman This research is sponsored by the United StUes Air Force under Project

More information

Stochastic Shortest Path Problems

Stochastic Shortest Path Problems Chapter 8 Stochastic Shortest Path Problems 1 In this chapter, we study a stochastic version of the shortest path problem of chapter 2, where only probabilities of transitions along different arcs can

More information

RD-R14i 390 A LIMIT THEOREM ON CHARACTERISTIC FUNCTIONS VIA RN ini EXTREMAL PRINCIPLE(U) TEXAS UNIV AT AUSTIN CENTER FOR CYBERNETIC STUDIES A BEN-TAL

RD-R14i 390 A LIMIT THEOREM ON CHARACTERISTIC FUNCTIONS VIA RN ini EXTREMAL PRINCIPLE(U) TEXAS UNIV AT AUSTIN CENTER FOR CYBERNETIC STUDIES A BEN-TAL RD-R14i 390 A LIMIT THEOREM ON CHARACTERISTIC FUNCTIONS VIA RN ini EXTREMAL PRINCIPLE(U) TEXAS UNIV AT AUSTIN CENTER FOR CYBERNETIC STUDIES A BEN-TAL DEC 83 CCS-RR-477 UNCLASSIFIED N@884-i-C-236 F/0 2/1

More information

2. A vertex in G is central if its greatest distance from any other vertex is as small as possible. This distance is the radius of G.

2. A vertex in G is central if its greatest distance from any other vertex is as small as possible. This distance is the radius of G. CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh (rezab@stanford.edu) HW#1 Due at the beginning of class Thursday 01/21/16 1. Prove that at least one of G and G is connected. Here, G

More information

Criteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman

Criteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for

More information

INSULATIVE PERFORMANCE OF SELECTED ABLATIVE MATERIALS IN A LOW ENTHALPY HYPERSONIC AIRSTREAM. May 1966

INSULATIVE PERFORMANCE OF SELECTED ABLATIVE MATERIALS IN A LOW ENTHALPY HYPERSONIC AIRSTREAM. May 1966 AEDCTR-66-26 "w MAY 30 1966 JUN 111968 INSULATIVE PERFORMANCE OF SELECTED ABLATIVE MATERIALS IN A LOW ENTHALPY HYPERSONIC AIRSTREAM J. B. Carman, Jr. ARO, Inc. May 1966 Distribution of this document is

More information

THE GRAM-CHARLIER APPROXIMATION" OF THE NORMAL LAW AND THE STATISTICAL DESCRIPTION OF A HOMOGENEOUS TURBULENT FLOW NEAR STATISTICAL EQUILIBRIUM

THE GRAM-CHARLIER APPROXIMATION OF THE NORMAL LAW AND THE STATISTICAL DESCRIPTION OF A HOMOGENEOUS TURBULENT FLOW NEAR STATISTICAL EQUILIBRIUM wm' '» *^^».. v i & HYDROMECHANICS AERODYNAMICS O STRUCTURAL MECHANICS NGTO*' * i;s " ct-'e-a fm-iri)wr" w::: FOR FEDERAL SCIENTIFIC AND TECHNICAL INFORMATION Hardcopy Microfiche \6.st> \JLbO THE GRAM-CHARLIER

More information

UNCLASSIFIED AD NUMBER LIMITATION CHANGES

UNCLASSIFIED AD NUMBER LIMITATION CHANGES TO: UNCLASSIFIED AD NUMBER AD237455 LIMITATION CHANGES Approved for public release; distribution is unlimited. FROM: Distribution authorized to U.S. Gov't. agencies and their contractors; Administrative/Operational

More information

Hamiltonian cycles in circulant digraphs with jumps 2, 3, c [We need a real title???]

Hamiltonian cycles in circulant digraphs with jumps 2, 3, c [We need a real title???] Hamiltonian cycles in circulant digraphs with jumps,, c [We need a real title???] Abstract [We need an abstract???] 1 Introduction It is not known which circulant digraphs have hamiltonian cycles; this

More information

A0A TEXAS UNIV AT AUSTIN DEPT OF CHEMISTRY F/G 7/5 PHOTOASSISTED WATER-GAS SHIFT REACTION ON PLATINIZED T7TANIAI T--ETCIUI

A0A TEXAS UNIV AT AUSTIN DEPT OF CHEMISTRY F/G 7/5 PHOTOASSISTED WATER-GAS SHIFT REACTION ON PLATINIZED T7TANIAI T--ETCIUI AA113 878 TEXAS UNIV AT AUSTIN DEPT OF CHEMISTRY F/G 7/5 PHOTOASSISTED WATER-GAS SHIFT REACTION ON PLATINIZED T7TANIAI T--ETCIUI APR 82 S FANG. 8 CHEN..J M WHITE N14-75-C-922 UNCLASSIFIED NL OFFICE OF

More information

Management Science Research Report #MSRR-570. Decomposition of Balanced Matrices. Part II: Wheel-and-Parachute-Free Graphs

Management Science Research Report #MSRR-570. Decomposition of Balanced Matrices. Part II: Wheel-and-Parachute-Free Graphs AD-A247 398 111111! IN1!1111 I 111! 1 U Management Science Research Report #MSRR-570 Decomposition of Balanced Matrices. Part II: Wheel-and-Parachute-Free Graphs Michele ConfortiI Gerard Cornu~Jols 2 and

More information

Even Pairs and Prism Corners in Square-Free Berge Graphs

Even Pairs and Prism Corners in Square-Free Berge Graphs Even Pairs and Prism Corners in Square-Free Berge Graphs Maria Chudnovsky Princeton University, Princeton, NJ 08544 Frédéric Maffray CNRS, Laboratoire G-SCOP, University of Grenoble-Alpes, France Paul

More information

April Distribution of this document is unlimited.

April Distribution of this document is unlimited. "I ARCHIVE COPY DO NOTLOAN A VACUUM INTEGRATING SPHERE FOR IN SITU REFLECTANCE MEASUREMENTS AT 77 K FROM 0.5 TO 10 MICRONS B. A. McCullough, B. E. Wood, and A. M. Smith ARO, Inc. April 1967 Distribution

More information

NORWEGIAN SEISMIC ARRAY NORSAR ESD ACCESSION LIST, Approv. Royal Norwegian Council for Scientific and Industrial Research. Copy No.

NORWEGIAN SEISMIC ARRAY NORSAR ESD ACCESSION LIST, Approv. Royal Norwegian Council for Scientific and Industrial Research. Copy No. ESD-TR-73-(23 & o 03 Royal Norwegian Council for Scientific and Industrial Research ESD ACCESSION LIST, DR> call No. t fl± Copy No. of _cys, OS O OSLO Approv.. 1.I-- I Wilimifarl. DATA CENTER h\) W">f

More information

Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J

Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J Frank Curtis, John Drew, Chi-Kwong Li, and Daniel Pragel September 25, 2003 Abstract We study central groupoids, central

More information

EUROPEAN COMMISSION. Brussels, XXX [ ](2015) XXX draft ANNEX 1 ANNEX

EUROPEAN COMMISSION. Brussels, XXX [ ](2015) XXX draft ANNEX 1 ANNEX EUROPEAN COMMISSION Brussels, XXX [ ](2015) XXX draft ANNEX 1 ANNEX EN EN ANNEX 'ANNEX VIII HARMONISED INFORMATION RELATING TO EMERGENCY HEALTH RESPONSE 1. Application PART A GENERAL REQUIREMENTS 1.1.

More information

Knü. ADOAOll 835 ON PACKING SQUARES WITH EQUAL SQUARES. P. Erdos, et al. Stanford University. Prepared for:

Knü. ADOAOll 835 ON PACKING SQUARES WITH EQUAL SQUARES. P. Erdos, et al. Stanford University. Prepared for: ADOAOll 835 ON PACKING SQUARES WITH EQUAL SQUARES P. Erdos, et al Stanford University Prepared for: National Science Foundation Office of Naval Research March 1975 DISTRIBUTED BY: Knü National Technical

More information

6.046 Recitation 11 Handout

6.046 Recitation 11 Handout 6.046 Recitation 11 Handout May 2, 2008 1 Max Flow as a Linear Program As a reminder, a linear program is a problem that can be written as that of fulfilling an objective function and a set of constraints

More information

A MARTINGALE INEQUALITY FOR THE SQUARE AND MAXIMAL FUNCTIONS LOUIS H.Y. CHEN TECHNICAL REPORT NO. 31 MARCH 15, 1979

A MARTINGALE INEQUALITY FOR THE SQUARE AND MAXIMAL FUNCTIONS LOUIS H.Y. CHEN TECHNICAL REPORT NO. 31 MARCH 15, 1979 A MARTINGALE INEQUALITY FOR THE SQUARE AND MAXIMAL FUNCTIONS BY LOUIS H.Y. CHEN TECHNICAL REPORT NO. 31 MARCH 15, 1979 PREPARED UNDER GRANT DAAG29-77-G-0031 FOR THE U.S. ARMY RESEARCH OFFICE Reproduction

More information

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Generalized Pigeonhole Properties of Graphs and Oriented Graphs Europ. J. Combinatorics (2002) 23, 257 274 doi:10.1006/eujc.2002.0574 Available online at http://www.idealibrary.com on Generalized Pigeonhole Properties of Graphs and Oriented Graphs ANTHONY BONATO, PETER

More information

Mathematics Masters Examination

Mathematics Masters Examination Mathematics Masters Examination OPTION 4 Fall 2015 MATHEMATICAL COMPUTER SCIENCE NOTE: Any student whose answers require clarification may be required to submit to an oral examination. Each of the twelve

More information

mmi N N OPERATIONS RESEARCH CENTER /y-f MULTI-TERMINAL SHORTEST PATHS : i UNIVERSITY OF CALIFORNIA- BERKELEY / 6 O T. C. Hu ORC APRIL 1965

mmi N N OPERATIONS RESEARCH CENTER /y-f MULTI-TERMINAL SHORTEST PATHS : i UNIVERSITY OF CALIFORNIA- BERKELEY / 6 O T. C. Hu ORC APRIL 1965 N N 00 ORC 65-11 APRIL 1965 MULTI-TERMINAL SHORTEST PATHS by : i T. C. Hu (V J / 6 O /y-f OPERATIONS RESEARCH CENTER COLLEGE OF ENGINEERING mmi CiCLT UNIVERSITY OF CALIFORNIA- BERKELEY !.fl]m-t ÜMIMAl.

More information

2 Generating Functions

2 Generating Functions 2 Generating Functions In this part of the course, we re going to introduce algebraic methods for counting and proving combinatorial identities. This is often greatly advantageous over the method of finding

More information

AD-A ROCHESTER UNIV NY GRADUATE SCHOOL OF MANAGEMENT F/B 12/1. j FEB 82.J KEILSON F C-0003 UNCLASSIFIED AFGL-TR NL

AD-A ROCHESTER UNIV NY GRADUATE SCHOOL OF MANAGEMENT F/B 12/1. j FEB 82.J KEILSON F C-0003 UNCLASSIFIED AFGL-TR NL AD-A115 793 ROCHESTER UNIV NY GRADUATE SCHOOL OF MANAGEMENT F/B 12/1 F EFFORTS IN MARKOV MODELING OF WEATHER DURATIONS.(U) j FEB 82.J KEILSON F1962980-C-0003 UNCLASSIFIED AFGL-TR-82-0074 NL A'FGL -TR-82-0074

More information

UNCLASSIFIED. .n ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA UNCLASSIFIED

UNCLASSIFIED. .n ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA UNCLASSIFIED UNCLASSIFIED.n 260610 ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA UNCLASSIFIED NOTICE: When government or other drawings, specifications or other data are

More information

AD-AISS "3 IMPACT OF DETECTOR LOCATION AND ORIENTATION ERRORS ON in THE PERPENDICULAR METHOD AN INTRODUCTION(U) JET PROPULSION LAB PASADENA CA 03 OCT

AD-AISS 3 IMPACT OF DETECTOR LOCATION AND ORIENTATION ERRORS ON in THE PERPENDICULAR METHOD AN INTRODUCTION(U) JET PROPULSION LAB PASADENA CA 03 OCT AD-AISS "3 IMPACT OF DETECTOR LOCATION AND ORIENTATION ERRORS ON in THE PERPENDICULAR METHOD AN INTRODUCTION(U) JET PROPULSION LAB PASADENA CA 03 OCT 05 JPL-D-4301 UNCLASSIFIED, F/G 17/11 NL if I 258 KiE

More information

PROPAGATION OF CYLINDRICAL SHEAR WAVES IN NONHOMOGENEOUS ELASTIC MEDIA,. Pei Chi Chou Professor of Aerospace Engineering

PROPAGATION OF CYLINDRICAL SHEAR WAVES IN NONHOMOGENEOUS ELASTIC MEDIA,. Pei Chi Chou Professor of Aerospace Engineering PROPAGATION OF CYLINDRICAL SHEAR WAVES IN NONHOMOGENEOUS ELASTIC MEDIA,. Pei Chi Chou Professor of Aerospace Engineering Richard J. Schaller Graduate Research Assistant &I C LEAR I USE FOR FDERAL SCIENTIFIC

More information

Two Applications of Maximum Flow

Two Applications of Maximum Flow Two Applications of Maximum Flow The Bipartite Matching Problem a bipartite graph as a flow network maximum flow and maximum matching alternating paths perfect matchings 2 Circulation with Demands flows

More information

Running Time. Assumption. All capacities are integers between 1 and C.

Running Time. Assumption. All capacities are integers between 1 and C. Running Time Assumption. All capacities are integers between and. Invariant. Every flow value f(e) and every residual capacities c f (e) remains an integer throughout the algorithm. Theorem. The algorithm

More information

TO Approved for public release, distribution unlimited

TO Approved for public release, distribution unlimited UNCLASSIFIED AD NUMBER AD463752 NEW LIMITATION CHANGE TO Approved for public release, distribution unlimited FROM Distribution authorized to U.S. Gov't. agencies and their contractors; Administrative/Operational

More information

Week 4. (1) 0 f ij u ij.

Week 4. (1) 0 f ij u ij. Week 4 1 Network Flow Chapter 7 of the book is about optimisation problems on networks. Section 7.1 gives a quick introduction to the definitions of graph theory. In fact I hope these are already known

More information

CEOCKKMISTRY OF THE CARBONATK CYCLE IN THE MAR INK HNV1R0NMENT. Keith E. Chave Professor of Oceanography University of Hawaii Honolulu, Hawaii 96822

CEOCKKMISTRY OF THE CARBONATK CYCLE IN THE MAR INK HNV1R0NMENT. Keith E. Chave Professor of Oceanography University of Hawaii Honolulu, Hawaii 96822 05 «^ TITLE O CEOCKKMISTRY OF THE CARBONATK CYCLE IN THE MAR INK HNV1R0NMENT 1> AUTHOR: Keith E. Chave Professor of Oceanography University of Hawaii Honolulu, Hawaii 96822 DATE OF ISSUE: December 28,

More information

Kruskal s Theorem Rebecca Robinson May 29, 2007

Kruskal s Theorem Rebecca Robinson May 29, 2007 Kruskal s Theorem Rebecca Robinson May 29, 2007 Kruskal s Theorem Rebecca Robinson 1 Quasi-ordered set A set Q together with a relation is quasi-ordered if is: reflexive (a a); and transitive (a b c a

More information

10. The GNFA method is used to show that

10. The GNFA method is used to show that CSE 355 Midterm Examination 27 February 27 Last Name Sample ASU ID First Name(s) Ima Exam # Sample Regrading of Midterms If you believe that your grade has not been recorded correctly, return the entire

More information

AFRL-RW-EG-TP

AFRL-RW-EG-TP AFRL-RW-EG-TP-2011-018 Relational Information Space for Dynamic Systems Robert A. Murphey Air Force Research Laboratory, Munitions Directorate AFRL/RWG 101 West Eglin Boulevard Eglin AFB, FL 32542-6810

More information

Sponsored Financial Services. How We Get Our Funds

Sponsored Financial Services. How We Get Our Funds Sponsored Financial Services How We Get Our Funds Types of Payment Methods Letter of Credit Draws Usually Federal Automatic Payments Usually Foundations and Non-Profits Periodic Billings Usually Corporations,

More information

Algorithms: COMP3121/3821/9101/9801

Algorithms: COMP3121/3821/9101/9801 NEW SOUTH WALES Algorithms: COMP32/382/90/980 Aleks Ignjatović School of Computer Science and Engineering University of New South Wales LECTURE 7: MAXIMUM FLOW COMP32/382/90/980 / 24 Flow Networks A flow

More information

1 The independent set problem

1 The independent set problem ORF 523 Lecture 11 Spring 2016, Princeton University Instructor: A.A. Ahmadi Scribe: G. Hall Tuesday, March 29, 2016 When in doubt on the accuracy of these notes, please cross chec with the instructor

More information

32 Divisibility Theory in Integral Domains

32 Divisibility Theory in Integral Domains 3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible

More information

Parity Versions of 2-Connectedness

Parity Versions of 2-Connectedness Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida

More information

UNIVERSITY OF NORTH CAROLINA Department of Statistics Chapel Hill, N. C.

UNIVERSITY OF NORTH CAROLINA Department of Statistics Chapel Hill, N. C. UNIVERSITY OF NORTH CAROLINA Department of Statistics Chapel Hill, N. C. Mathematical Sciences Directorate Air Force Office of Scientific Research Washington 25, D. C. AFOSR Report No. THEOREMS IN THE

More information

Counting independent sets of a fixed size in graphs with a given minimum degree

Counting independent sets of a fixed size in graphs with a given minimum degree Counting independent sets of a fixed size in graphs with a given minimum degree John Engbers David Galvin April 4, 01 Abstract Galvin showed that for all fixed δ and sufficiently large n, the n-vertex

More information

Aperiodic languages and generalizations

Aperiodic languages and generalizations Aperiodic languages and generalizations Lila Kari and Gabriel Thierrin Department of Mathematics University of Western Ontario London, Ontario, N6A 5B7 Canada June 18, 2010 Abstract For every integer k

More information

Reverse mathematics of some topics from algorithmic graph theory

Reverse mathematics of some topics from algorithmic graph theory F U N D A M E N T A MATHEMATICAE 157 (1998) Reverse mathematics of some topics from algorithmic graph theory by Peter G. C l o t e (Chestnut Hill, Mass.) and Jeffry L. H i r s t (Boone, N.C.) Abstract.

More information

SUBPART MULTIYEAR CONTRACTING (Revised December 19, 2006)

SUBPART MULTIYEAR CONTRACTING (Revised December 19, 2006) SUBPART 217.1--MULTIYEAR CONTRACTING (Revised December 19, 2006) 217.103 Definitions. As used in this subpart-- Advance procurement means an exception to the full funding policy that allows acquisition

More information

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ

A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In

More information

Shortest paths with negative lengths

Shortest paths with negative lengths Chapter 8 Shortest paths with negative lengths In this chapter we give a linear-space, nearly linear-time algorithm that, given a directed planar graph G with real positive and negative lengths, but no

More information

Advanced Linear Programming: The Exercises

Advanced Linear Programming: The Exercises Advanced Linear Programming: The Exercises The answers are sometimes not written out completely. 1.5 a) min c T x + d T y Ax + By b y = x (1) First reformulation, using z smallest number satisfying x z

More information

Eulerian Subgraphs in Graphs with Short Cycles

Eulerian Subgraphs in Graphs with Short Cycles Eulerian Subgraphs in Graphs with Short Cycles Paul A. Catlin Hong-Jian Lai Abstract P. Paulraja recently showed that if every edge of a graph G lies in a cycle of length at most 5 and if G has no induced

More information

On the Derivation of Lattice Structured Information Flow Policies

On the Derivation of Lattice Structured Information Flow Policies Purdue University Purdue e-pubs Department of Computer Science Technical Reports Department of Computer Science 1976 On the Derivation of Lattice Structured Information Flow Policies Dorothy E. Denning

More information

Bounds on parameters of minimally non-linear patterns

Bounds on parameters of minimally non-linear patterns Bounds on parameters of minimally non-linear patterns P.A. CrowdMath Department of Mathematics Massachusetts Institute of Technology Massachusetts, U.S.A. crowdmath@artofproblemsolving.com Submitted: Jan

More information

EUROPEAN COMMISSION. Brussels, XXX D046374/04 [ ](2016) XXX draft ANNEX 1 ANNEX

EUROPEAN COMMISSION. Brussels, XXX D046374/04 [ ](2016) XXX draft ANNEX 1 ANNEX EUROPEAN COMMISSION Brussels, XXX D046374/04 [ ](2016) XXX draft ANNEX 1 ANNEX EN EN ANNEX EN 1 EN ANNEX 'ANNEX VIII HARMONISED INFORMATION RELATING TO EMERGENCY HEALTH RESPONSE AND PREVENTATIVE MEASURES

More information

System Reliability Simulation and Optimization by Component Reliability Allocation

System Reliability Simulation and Optimization by Component Reliability Allocation System Reliability Simulation and Optimization by Component Reliability Allocation Zissimos P. Mourelatos Professor and Head Mechanical Engineering Department Oakland University Rochester MI 48309 Report

More information

The edge-density for K 2,t minors

The edge-density for K 2,t minors The edge-density for K,t minors Maria Chudnovsky 1 Columbia University, New York, NY 1007 Bruce Reed McGill University, Montreal, QC Paul Seymour Princeton University, Princeton, NJ 08544 December 5 007;

More information

The Econometric Society is collaborating with JSTOR to digitize, preserve and extend access to Econometrica.

The Econometric Society is collaborating with JSTOR to digitize, preserve and extend access to Econometrica. On the Optimal Character of the (s, S) Policy in Inventory Theory Author(s): A. Dvoretzky, J. Kiefer, J. Wolfowitz Reviewed work(s): Source: Econometrica, Vol. 21, No. 4 (Oct., 1953), pp. 586-596 Published

More information

Mh -ILE CPYl. Caregi Mello University PITBRH ENYVNA123AS1718. Carnegi Melo Unovrsity reecs ~ 8

Mh -ILE CPYl. Caregi Mello University PITBRH ENYVNA123AS1718. Carnegi Melo Unovrsity reecs ~ 8 000 Mh -ILE CPYl Caregi Mello University PITBRH ENYVNA123AS1718 Carnegi Melo Unovrsity reecs PITTSBURGH, PENYLAI 15213 G 88 8 1 6~ 8 W.P. *87-88-40 Management Science Research Report No. MSRR 545 ON THE

More information

Lecture 2: Divide and conquer and Dynamic programming

Lecture 2: Divide and conquer and Dynamic programming Chapter 2 Lecture 2: Divide and conquer and Dynamic programming 2.1 Divide and Conquer Idea: - divide the problem into subproblems in linear time - solve subproblems recursively - combine the results in

More information

Topics in Graph Theory

Topics in Graph Theory Topics in Graph Theory September 4, 2018 1 Preliminaries A graph is a system G = (V, E) consisting of a set V of vertices and a set E (disjoint from V ) of edges, together with an incidence function End

More information

The Impossibility of Certain Types of Carmichael Numbers

The Impossibility of Certain Types of Carmichael Numbers The Impossibility of Certain Types of Carmichael Numbers Thomas Wright Abstract This paper proves that if a Carmichael number is composed of primes p i, then the LCM of the p i 1 s can never be of the

More information

Chapter 7 Network Flow Problems, I

Chapter 7 Network Flow Problems, I Chapter 7 Network Flow Problems, I Network flow problems are the most frequently solved linear programming problems. They include as special cases, the assignment, transportation, maximum flow, and shortest

More information

Integrity in Graphs: Bounds and Basics

Integrity in Graphs: Bounds and Basics Integrity in Graphs: Bounds and Basics Wayne Goddard 1 Department of Mathematics Massachusetts Institute of Technology Cambridge, MA 02139 USA and Henda C. Swart Department of Mathematics, University of

More information

OF NAVAL RESEARCH. Technical Report No. 87. Prepared for Publication. in the.. v.. il and/or -- c Spocial Journal of Elactroanalytical Chemistry it

OF NAVAL RESEARCH. Technical Report No. 87. Prepared for Publication. in the.. v.. il and/or -- c Spocial Journal of Elactroanalytical Chemistry it ,~OFFICE OF NAVAL RESEARCH Contract N00014-86-K-0556 Technical Report No. 87. Th., Combined Influence of Solution Resistance and Charge-Transfer Kinetics on Microelectrode Cyclic Voltammetry oo i Acee'ic

More information

Manual Railway Industry Substance List. Version: March 2011

Manual Railway Industry Substance List. Version: March 2011 Manual Railway Industry Substance List Version: March 2011 Content 1. Scope...3 2. Railway Industry Substance List...4 2.1. Substance List search function...4 2.1.1 Download Substance List...4 2.1.2 Manual...5

More information

("-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp.

(-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp. I l ("-1/'.. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS R. T. Rockafellar from the MICHIGAN MATHEMATICAL vol. 16 (1969) pp. 397-407 JOURNAL LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERATORS

More information

Sums of the Thue Morse sequence over arithmetic progressions

Sums of the Thue Morse sequence over arithmetic progressions Sums of the Thue Morse sequence over arithmetic progressions T.W. Cusick 1, P. Stănică 2 1 State University of New York, Department of Mathematics Buffalo, NY 14260; Email: cusick@buffalo.edu 2 Naval Postgraduate

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

More information

Introduction to Integer Programming

Introduction to Integer Programming Lecture 3/3/2006 p. /27 Introduction to Integer Programming Leo Liberti LIX, École Polytechnique liberti@lix.polytechnique.fr Lecture 3/3/2006 p. 2/27 Contents IP formulations and examples Total unimodularity

More information

(q 1)p q. = 1 (p 1)(q 1).

(q 1)p q. = 1 (p 1)(q 1). altic Way 001 Hamburg, November 4, 001 Problems 1. set of 8 problems was prepared for an examination. Each student was given 3 of them. No two students received more than one common problem. What is the

More information

Algorithms and Theory of Computation. Lecture 11: Network Flow

Algorithms and Theory of Computation. Lecture 11: Network Flow Algorithms and Theory of Computation Lecture 11: Network Flow Xiaohui Bei MAS 714 September 18, 2018 Nanyang Technological University MAS 714 September 18, 2018 1 / 26 Flow Network A flow network is a

More information

ELE539A: Optimization of Communication Systems Lecture 16: Pareto Optimization and Nonconvex Optimization

ELE539A: Optimization of Communication Systems Lecture 16: Pareto Optimization and Nonconvex Optimization ELE539A: Optimization of Communication Systems Lecture 16: Pareto Optimization and Nonconvex Optimization Professor M. Chiang Electrical Engineering Department, Princeton University March 16, 2007 Lecture

More information

ASYMPTOTIC EVALUATION OF THE PROBABILITIES OF MISCLASSIFICATION BY LINEAR DISCRIMINANT FUNCTIONS T. W. ANDERSON

ASYMPTOTIC EVALUATION OF THE PROBABILITIES OF MISCLASSIFICATION BY LINEAR DISCRIMINANT FUNCTIONS T. W. ANDERSON ASYMPTOTIC EVALUATION OF THE PROBABILITIES OF MISCLASSIFICATION BY LINEAR DISCRIMINANT FUNCTIONS BY T. W. ANDERSON TECHNICAL REPORT NO, 10 SEPTEMBER 28, 1972 PREPARED UNDER CONTRACT N00014-67-A-0112-0030

More information

UNCLASSIFIED Reptoduced. if ike ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA UNCLASSIFIED

UNCLASSIFIED Reptoduced. if ike ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA UNCLASSIFIED . UNCLASSIFIED. 273207 Reptoduced if ike ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA UNCLASSIFIED NOTICE: When government or other drawings, specifications

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

directed weighted graphs as flow networks the Ford-Fulkerson algorithm termination and running time

directed weighted graphs as flow networks the Ford-Fulkerson algorithm termination and running time Network Flow 1 The Maximum-Flow Problem directed weighted graphs as flow networks the Ford-Fulkerson algorithm termination and running time 2 Maximum Flows and Minimum Cuts flows and cuts max flow equals

More information

AD FIXED POINTS OF ANALYTIC FUNCTIONS Peter Henrici Stanford University Stanford, California July 1969

AD FIXED POINTS OF ANALYTIC FUNCTIONS Peter Henrici Stanford University Stanford, California July 1969 AD 698 801 FIXED POINTS OF ANALYTIC FUNCTIONS Peter Henrici Stanford University Stanford, California July 1969 OittribitM...'to foster, serve and promote the nation's economic development and technological

More information

HW 4 SOLUTIONS. , x + x x 1 ) 2

HW 4 SOLUTIONS. , x + x x 1 ) 2 HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A

More information

NEGLIGIBLE SETS FOR REAL

NEGLIGIBLE SETS FOR REAL NEGLIGIBLE SETS FOR REAL CONNECTIVITY FUNCTIONS jack b. brown Introduction. Only functions from the interval 1= [0, l] into I will be considered in this paper, and no distinction will be made between a

More information

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra 206/7 MA03 Introduction to Abstract Mathematics Second part, Analysis and Algebra Amol Sasane Revised by Jozef Skokan, Konrad Swanepoel, and Graham Brightwell Copyright c London School of Economics 206

More information

ON DIVISION ALGEBRAS*

ON DIVISION ALGEBRAS* ON DIVISION ALGEBRAS* BY J. H. M. WEDDERBURN 1. The object of this paper is to develop some of the simpler properties of division algebras, that is to say, linear associative algebras in which division

More information

Disjoint paths in tournaments

Disjoint paths in tournaments Disjoint paths in tournaments Maria Chudnovsky 1 Columbia University, New York, NY 10027, USA Alex Scott Mathematical Institute, University of Oxford, 24-29 St Giles, Oxford OX1 3LB, UK Paul Seymour 2

More information