A Bijective Approach to the Permutational Power of a Priority Queue

Size: px
Start display at page:

Download "A Bijective Approach to the Permutational Power of a Priority Queue"

Transcription

1 A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA Abstact A pioity queue tansfoms an input pemutation p1 of a totally odeed set of size n into an output pemutation p2. Atkinson and Thiyagaajah showed that the numbe of such pais (p1; p2 is (n + 1 n?1, which is well known to be the numbe of labeled tees on n + 1 vetices. We give a new poof of this esult by finding a bijection fom such pais of pemutations to labeled tees. 1 Intoduction A pioity queue tansfoms an input sequence of elements of a totally odeed set into an output sequence though two opeations: Inset and Delete-Minimum. An Inset opeation takes the next element of the input sequence and places it in the pioity queue. A Delete-Minimum opeation, which can be pefomed when the pioity queue is nonempty, emoves the least element in the pioity queue and places it at the end of the output sequence. Fo a full discussion of pioity queues, see Knuth [3]. Now let us suppose that the input sequence is a pemutation of a totally odeed set S of size n. Then the output sequence is also a pemutation of S. We call (p 1 ; p 2 an allowable pai if some sequence of Inset and Delete-Minimum opeations on the input sequence p 1 yields p 2 as the output sequence. Atkinson and Thiyagaajah [1] showed that the numbe of allowable pais fo S is (n + 1 n?1. It is well known that this is also the numbe of labeled tees on a set of n + 1 vetices. (See, fo example, Knuth [2, x ]. In this pape we pove Atkinson and Thiyagaajah s esult by constucting a bijection fom the set of allowable pais fo S to the set of labeled tees on the set S [ fg, whee is some nonelement of S. Now let S be a totallyodeed finite set, P(S the set of all allowable pais of pemutations of S, and T (S the set of all labeled tees on S [ fg. It is convenient to oot these tees at. We shall constuct two maps S : T (S! P(S and S : P(S! T (S and then pove that S S = id P(S and S S = id T (S, which implies that S and S ae bijections. The enumeation of allowable pais then follows immediately. If the undelying set S is clea fom the context, we omit it and simply wite P, T,,, and so on. 2 Constuction of Given a ooted labeled tee T on S [ fg ooted at, we constuct a sequence of Inset and Delete-Minimum opeations on a pioity queue Q to poduce an allowable pai (T = (p 1 ; p 2. Fist, pefom depth-fist 1

2 2 Pemutational Powe of a Pioity Queue pocedue (T ; comment constuct an allowable pai fom a ooted labeled tee T ; begin comment initialize; p 1 := p 2 := ; Q := ;; v := ; comment v epesents whee we ae cuently in T ; while jp 2 j 6= n do begin comment n = jsj; getinput(v; while Q 6= ; and (v := deletemin has no unmaked childen do add v to the end of p 2 ; comment deletemin is the pocedue which etuns the minimum of the pioity queue Q and deletes it; Figue 1: Algoithm fo the map. seach on T, but ignoe all nodes that ae smalle than thei paents (and the descendants of such nodes. If a node has moe than one unvisited child, visit the lagest one fist. Each time we visit a node, inset it into Q and add it to the end of the input sting p 1. Afte finishing the DFS, we delete the minimum v of Q, add it to the end of the output sting p 2, and check whethe it has any childen ignoed duing the above DFS. If it does, then we take the ignoed subtee ooted at v, pefom DFS on the subtee, and do the same things as above (ignoe the appopiate nodes, visit in the coect ode, add elements to the end of p 1, and so on. If it doesn t, then we delete the minimum of Q and epeat the pocedue. It is clea that afte we have visited all nodes of T, (p 1 ; p 2 is an allowable pai of pemutations of S. Figues 1 and 2 show the pseudo-code fo the above algoithm. Example. Let T be a tee on f1; 2; : : :; 10g [ fg, shown in Figue 3, with the usual ode on f1; 2; : : :; 10g. Duing the pocess of finding (T by the above algoithm, the vaiables p 1, p 2 and Q change in the way shown in Figue 4. Fom the last step we get (T = (( ; ( : It may be noted that in the case in which T is inceasing, so that only one DFS is pefomed, p 2 is the unique inceasing pemutation of S and educes to a well-known bijection fom inceasing ooted labeled tees to pemutations. (See, fo example, Stanley [5]. 3 Constuction of To descibe the invese map : P! T, we fist descibe a function that associates to an allowable pai (p 1 ; p 2 a sequence of Inset and Delete-Minimum opeations that tansfoms p 1 to p 2. We epesent the sequence of opeations as a sequence of I s and D s, which we call an I-D sequence. A sequence of n I s and n D s epesents a valid I-D sequence if and only if evey pefix has at least as many I s as D s. It

3 A Bijective Appoach 3 pocedue getinput(s; comment pefom DFS on the unvisited subtee ooted at s; begin w := s; comment w epesents whee we ae in the subtee; while w 6= the paent of s do begin comment this condition is only used to check if the DFS is finished; comment we can take any nonelement of S [ fg as the paent of fo the case s = ; if w 6= s and all the childen of w lage than w ae maked then w := the paent of w; else begin w := the lagest unmaked child of w; mak w add w to the end of p 1 ; inset w into Q; Figue 2: Algoithm fo the suboutine getinput. 7 9 Figue 3: An Example of a ooted labeled tee.

4 4 Pemutational Powe of a Pioity Queue Step p 1 p 2 Q 1 (6 f6g 2 (6 8 f6; 8g 3 (6 8 3 f3; 6; 8g 4 ( f3; 6; 8; 10g 5 ( f1; 3; 6; 8; 10g 6 ( (1 f3; 6; 8; 10g 7 ( (1 3 f6; 8; 10g 8 ( (1 3 f2; 6; 8; 10g 9 ( (1 3 f2; 5; 6; 8; 10g 10 ( (1 3 f2; 4; 5; 6; 8; 10g 11 ( (1 3 2 f4; 5; 6; 8; 10g 12 ( ( f5; 6; 8; 10g 13 ( ( f6; 8; 10g 14 ( ( f8; 10g 15 ( ( f10g 16 ( ( ( ( f9g 18 ( ( f7; 9g 19 ( ( f9g 20 ( ( Figue 4: Finding (T.

5 A Bijective Appoach 5 pocedue findid(p 1 ; p 2 ; begin i := 1; j := 1; sequence := ; while i n and j n do begin while j < n and j < j+1 do j := j + 1; while i j o i 2 1 j do begin add I to the end of sequence; i := i + 1; k := j; add D to the end of sequence; while k > 1 and k?1 < k do begin add D to the end of sequence; k := k + 1; j := j + 1; i := i + 1; Figue 5: Algoithm fo finding the coesponding I-D sequence. 1 is well known that the numbe of such sequences is the Catalan numbe n+1? 2n n. The I-D sequence fo tansfoming p 1 to p 2 that we constuct will have the popety that each element is deleted as late as possible. To constuct it, we scan p 2 = 1 n fom the beginning until we find a descent, i.e., some j such that j > j+1 o j = n, and we stop at j. Next we scan p 1 = 1 n fom the beginning and add an I to the end of the I-D sequence fo each symbol we scan, until the next symbol i (not yet scanned is smalle than j and does not appea in the pefix 1 j. Now add j D s to the end of the I-D sequence. Go on to scan p 2 fom j+1 to the next descent j 0 ( j 0 > j 0 +1 o j 0 = n, and epeat the above pocess, adding (j 0? j D s to the end of the I-D sequence. Continue until p 1 and p 2 ae exhausted. The pseudo-code fo the above algoithm can be found in Figue 5. Lemma 0 Let (p 1 ; p 2 be an allowable pai. Then: 1 If 1 occus befoe 2 in p 2 and 1 > 2, then 1 occus befoe 2 in p 1 ; 2 If 1 occus befoe 2 in p 2, which occus befoe 3 in p 2, and 2 > 3, then 1 occus befoe 3 in p 1. Poof. See Atkinson and Thiyagaajah [1, p. 4]. Lemma 1 The I-D sequence obtained in the above algoithm poduces the output sting p 2 fom the input sting p 1 though a pioity queue Q, and among all I-D sequences that tansfom p 1 to p 2, this one deletes each element as late as possible.

6 6 Pemutational Powe of a Pioity Queue Poof. Fist we note that, if we use the I-D sequence obtained in the above algoithm to poduce an output sequence p 0 2 fom p 1, it woks in the following way: fist we scan p 2 fo descents; once we find a descent j > j+1, we stat inseting symbols of p 1, one by one, into the pioity queue Q until we find a symbol i of p 1 which is smalle than j but doesn t appea in the pefix 1 j. Next we delete minimal elements (minimal at the time of deleting of Q, one by one, and add them to p 0 2, as many times as the numbe of symbols between this descent of p 2 and the pevious one. Now suppose the algoithm woks coectly though the kth descent j of p 2, i.e., the fist j symbols of p 2 and p 0 ae identical. We look fo the next descent 2 j 0 and inset elements of p 1 to Q until we find an i 0 2 p 1 with i 0 < j 0 but i j 0. We claim that at this time 1 j 0 2 Q; 2 all elements occuing between j and j 0 on p 2 ae in Q (note that all such elements ae less than j 0 since j and j 0 ae consecutive descents; 3 all elements in Q which ae less than j 0 fall between j and j 0 in p 2. Poof of the above assetions: 1 By 1 of Lemma 0, j 0 occus befoe i 0 in p 1 and j 0 has not yet been deleted by the hypothesis. 2 If l occus between j and j 0 in p 2, then by 2 of Lemma 0, l occus befoe i 0 in p 1 and again has not yet been deleted. So l 2 Q. 3 Let i, i 0 be symbols in p 1 as befoe. If l < j 0 and l occus afte j 0 in p 2, then l cannot lie between i and i 0 in p 1 and l 6= i if i 6= i 0, by ou algoithm. If j+1 = j 0, then j > j+1 = j 0 > l and l occus afte j in p 2, so eithe l = i (in this case l = i = i 0 o l lies afte i in p 1, and theefoe l 62 Q. If j+1 6= j 0 (and theefoe j+1 < j 0, by 2 of Lemma 0, j+1 occus befoe l in p 1. But by 2, j+1 2 Q and since j+1 < j and j was deleted fom Q afte all elements peceding i in p 1 had been inseted to Q, j+1 cannot pecede 1 in p 1 and hence l occus afte i in p 1. So l 62 Q. Now if l 0 2 Q and l 0 < j 0, then l 0 cannot occu afte j 0 in p 2, by the above agument, and l 0 can neithe be j no pecede it in p 2 by the hypothesis. So l 0 must lie between j and j 0 in p 2. Fom 1, 2, and 3 above, we conclude that the smallest (j 0? j elements in Q ae j+1 ; j+2 ; : : :; j 0. So the fist j 0 symbols of p 2 and p 0 ae also identical. By induction, 2 p 2 = p 0 2 and the I-D sequence obtained in the algoithm does poduce p 2 fom p 1 though a pioity queue. Now, wheneve a deletion is pefomed, the next symbol i in p 1 is smalle than some j 2 Q which must be output befoe i. So we can neve put off a deletion and eplace it by an insetion, i.e., with this I-D sequence, we delete each element fom Q as late as possible. With this I-D sequence, we can now constuct the ooted labeled tee (p 1 ; p 2. We stat with the oot node and a pointe pt to it, and two pointes pt1 and pt2 to scan p 1 and p 2, initially pointing to the position befoe the fist symbols of p 1 and p 2. Then we ead the I-D sequence, one lette at a time. When we ead an I, we take the next symbol i (if pt1 points to i?1 in p 1 and ty to add it to the tee in the following way: if the node to which pt points is the oot, o is the symbol in p 2 to which the pointe pt2 points, o is less than i, then make i a child of this node and let pt point to i ; othewise, let pt point to the paent of the node and ty again. When we ead a D, we move pt2 to the next symbol j and at the same

7 A Bijective Appoach 7 pocedue (p 1 ; p 2 ; comment constuct a ooted labeled tee fom an allowable pai (p 1 ; p 2 ; begin comment initialize; fom a node as the oot; v := ; comment v epesents pt; i := 0; comment i epesents pt1; j := 0; comment j epesents pt2; k := 1; comment k is the kth element of findid(p 1 ; p 2 ; while k 2n do begin if k = I then begin i := i + 1; while v 6= and v 6= j and i > v do v :=the paent of v; add a child i to the node v; v := i ; else begin comment k = D; j := j + 1; v := j ; k := k + 1; Figue 6: Algoithm fo the map. time let pt point to the node j in the tee. (It is clea that we have aleady constucted the node j by this time since p 2 can be poduced fom p 1 by this I-D sequence though a pioity queue. The pseudo-code fo the above algoithm can be found in Figue 6. Example. Let (p 1 ; p 2 = (( ; ( The I-D sequence is poduced by the above algoithm in the way shown in Figue 7 (the undelined symbols ae those which the pointes ae pointing to. Then (p 1 ; p 2 is constucted by the algoithm in the way shown in Figue 8 (the cicled node is the one to which the pointe pt2 points, o if pt2 is at the position befoe the fist symbol of p 2. Theefoe, (p 1 ; p 2 is the last tee in the figue. 4 The Poof Lemma 2 Let T be a ooted labeled tee on S [ fg ooted at and m be the lagest element in S. If L is the subtee of T ooted at m and F = T n L, then 1 (T =! 1 (L and 2 (T = 2 (F m 2 (L

8 8 Pemutational Powe of a Pioity Queue Step p 1 p 2 sequence 1 ( ( IIIIIDD 2 ( ( IIIIIDDIIIDDDDDD 3 ( ( IIIIIDDIIIDDDDDDIIDD Figue 7: Finding the coesponding I-D sequence. whee = ( 1 ; 2,! = 1 i m i+1 k, 1 (F = 1 k, and i is the paent of m in T. Poof. Fist we obseve that if v 6= is any node in T and w is the fist incease node on the path fom v to (i.e., if v? 1? 2?? i?w?? is the (unique path fom v to, then v > 1 > 2 > > i but i < w, then v is visited by the pocedue getinput (and hence appeas in p 1 and is inseted to Q afte w is deleted fom Q. If thee is no such w, then v is inseted to Q befoe any output symbol is poduced. Theefoe, since m is the lagest element in S, any node v is a descendant of m in T if and only if v is inseted into Q afte m is deleted fom Q (the only if pat is obvious; to see the if pat, we can use the above obsevation and induction on the numbe of ascents in the path fom v to, and hence any node v is a descendant of m in T if and only if v is deleted fom Q afte m is (the only if pat follows fom the fact that m is the lagest element in S. Since Q is empty ight afte m is deleted, we conclude that 1 (T = 1 (F 0 1 (L and 2 (T = 2 (F 0 2 (L whee F 0 = T n (L n fmg, and the last symbol in 2 (F 0 is m. Moeove, it is clea that 1 (F and 2 (F ae obtained fom 1 (F 0 and 2 (F 0, by simply emoving the symbol m. So 2 (F 0 = 2 (F m. If 1 (F = 1 k and i is the paent of m, then clealy m is visited ight afte i is, and hence 1 (F 0 = 1 i m i+1 k. This concludes the poof of the lemma. Lemma 3 Let (p 1 ; p 2 be an allowable pai of pemutations of S, and let m be the lagest element in S. If p 2 = 2 m 2, j 2 j = k, and p 1 = 1 i m i+1 k 1, 1 = 1 k, then (p 1 ; p 2 is the tee obtained by 1 eplacing the oot of ( 1 ; 2 by m; call the esulting tee ^T 2 connecting ^T to ( 1 ; 2 so that m becomes a child of i. Poof. We wite 0 1 = 1 i m i+1 k and 0 2 = 2m fo convenience. Let s be the I-D sequence findid(p 1 ; p 2. If we use s to poduce p 2 fom p 1 though a pioity queue Q, then when we ead the (k+1st D of s, we ae deleting m, which is the lagest element in S, fom Q, and hence Q is empty afte that deletion. Theefoe, the sting s 1 consisting of the fist (2k + 2 symbols of s contains (k + 1 I s and (k + 1 D s. Moeove, if we wite s = s 1 s 2, then s 1 (esp. s 2 is an I-D sequence which can be used to poduce 0 2 (esp. 2 fom 0 1 (esp. 1 though Q with deletions as late as possible. Now we etun to ou constuction of (p 1 ; p 2. When m is scanned in p 2, the tee we have constucted is ( 0 1 ; 0 2 and the nodes of the emaining pat of (p 1; p 2 to be constucted ae descendants of m since evey node in ( 0 1 ; 0 2 except has aleady been scanned in p 2. Theefoe, the subtee of (p 1 ; p 2 ooted at m is ( 1 ; 2 with eplaced by m, and, if we call this tee ^T, (p 1 ; p 2 n ( ^T n fmg = ( 0 1 ; 0 2. Next, we take a close look at ( 0 1 ; 0 2. If we emove fom s 1 the I and D coesponding to m, then we get an I-D sequence s 0 1 which can be used to poduced 2 fom 1 though Q with deletions as late as possible. So ( 1 ; 2 can be obtained by deleting the leaf m fom ( 0 1 ; 0 2. Moeove, since s 1 deletes

9 A Bijective Appoach Figue 8: Finding (p 1 ; p 2.

10 10 Pemutational Powe of a Pioity Queue elements fom Q as late as possible and m is deleted at the vey last step, no deletions occu between the insetions of i and m. Theefoe, m is a child of i in ( 0 1 ; 0 2 and hence (0 1 ; 0 2 can be obtained by adding a child m to the node i in ( 1 ; 2. We conclude that (p 1 ; p 2 is obtained by connecting ^T, which is ( 1 ; 2 with eplaced by m, to ( 1 ; 2 so that m becomes a child of i. This completes the poof. Theoem 1 = id P and = id T, and hence and ae bijections. Poof. We use induction on jsj. The theoem is clealy tue if jsj = 1. Lemma 2 implies that (T = (! 1 (L; 2 (F m 2 (L, whee m is the lagest element in S, L is the subtee of T ooted at m, F = T n L,! = 1 i m i+1 k, 1 (F = 1 k and i is the paent of m in T. By Lemma 3, (T is the tee obtained by connecting ^T, which is ( 1 (L; 2 (L with eplaced by m, to ( 1 (F ; 2 (F so that m becomes a child of i. But ( 1 (L; 2 (L = L and ( 1 (F ; 2 (F = F by induction hypothesis, so (T is the tee obtained by connecting ^T, which is L with eplaced by m, to F so that m becomes a child of i, i.e., (T = T. On the othe hand, by Lemma 3 (p 1 ; p 2 is the tee obtained by connecting ^T, which is ( 1 ; 2 with eplaced by m, to ( 1 ; 2 so that m becomes a child of i, whee m is the lagest element in S, p 2 = 2 m 2 (j 2 j = k, p 1 = 1 i m i+1 k 1 and 1 = 1 k. By Lemma 2, (p 1 ; p 2 = (! 1 (( 1 ; 2 ; 2 (( 1 ; 2 m 2 (( 1 ; 2 whee! = 1 j m j+1 k and 1 (( 1 ; 2 = 1 k, j = i. But 1 (( 1 ; 2 = 1, 2 (( 1 ; 2 = 2, 1 (( 1 ; 2 = 1, and 2 (( 1 ; 2 = 2, by the induction hypothesis, so (p 1 ; p 2 = ( 1 i m i+1 k 1 ; 2 m 2 = (p 1 ; p 2 : Coollay. The numbe of allowable pais of pemutations of an n-set is (n + 1 n?1. 5 Counting by Descents In the special case in which the output sequence is inceasing, the I-D sequence is I n D n, and the coesponding tee is also inceasing (i.e., each node is geate than its paent. It is easy to see that each descent of the output sequence coesponds in the I-D sequence to a symbol D that is followed by an I (hee we don t count the last symbol of a sequence as a descent and theefoe to a node of the coesponding tee that has smalle childen. Fom now on, we shall define such a node to be a descent of a tee. In this section it is convenient to take S to be the set f1; : : :; ng and the oot to be 0. We now count allowable pais accoding to the numbe of descents of the output sequence (which also counts tees ooted at 0 by descents. We fist assign the weight t d(p to an allowable pai p = (p 1 ; p 2, whee d(p is the numbe of descents of p 2. Let c n (t be the sum of the weights of all allowable pais p of pemutations of f1; : : :; ng, i.e., c n (t = t d(p : p

11 A Bijective Appoach 11 To find c n (t, we genealize the ecuence fomula of Atkinson and Thiyagaajah [1, p. 6]. Each allowable pai can be decomposed in the way descibed in Lemma 3: p 2 = 2 n 2 with j 2 j = k and p 1 = 1 i n i+1 k 1, 1 = 1 k. Moeve, thee ae k + 1 such pais p that can be obtained by combining two shote allowable pais = ( 1 ; 2, = ( 1 ; 2 with the geatest element n, which ae detemined by the choice of the position of n in p 1. To count the descents, we can easily see that d(p = ( d(; if 2 = 1 = ; d( + d( + 1; othewise since n is an additional descent in the latte case but not in the fome case. Hence we get c n (t = nc n?1 (t + n?2 k=0 (k n? k fo n 1, with c 0 (t = 1. Let F (x be the exponential geneating function fo c n (t, i.e., 1 Fom (1 we get n=0 c n+1 (t xn n! which is, in tems of F (x, o Integating both sides, we get o = (1? t Replacing txf (x by f (x, we get 1 n=0 F (x = 1 n=0 (n + 1c n (t xn c n (t xn n! :! n! + t 1 k=0 tc k (tc n?k?1 (t (1 (k + 1x k k! 1 F 0 (x = (1? t(f (x + xf 0 (x + tf (x(f (x + xf 0 (x F 0 (x tf (x + 1? t = F (x + xf 0 (x: 1 log(tf (x + 1? t = xf (x t tf (x + 1? t = e txf (x : j=0 c j (t xj f (x = x(e f (x + t? 1: (2 By the Lagange invesion fomula (see, fo example, Knuth [2, p. 392], we have [x n ]f = 1 n [xn?1 ](e x + t? 1 n ; fo n 1, whee [x n ] denotes the coefficient of x n. Thus fo n > 0, [x n ]f = 1 n n n k=0 = 1 n k=0 n k n k!! [x n?1 ](e x? 1 k t n?k k! n? 1 t n?k ; (n? 1! k j! ;

12 12 Pemutational Powe of a Pioity Queue whee n k is the Stiling numbe of the second kind (see Knuth [2, x1.2.6 and p. 90]. Theefoe, c n (t = n! [x n ]F n + 1 k! n k n! k k=0 n n! n t n?k (n + 1? k! k k=1 = n! t [xn+1 ]f = n! n+1 t 1 n + 1 =! t n+1?k since f n g n+1 = f n g 0 = 0. It also follows fom (2 and the popeties of exponential geneating functions that the coefficient of t k x n =n! in f (x is the numbe of ooted tees on f1; : : :; ng with k leaves, and fom this we may easily deive that fo n > 0, the coefficient of t k?1 x n =n! in F (x is the numbe of tees on f0; 1; : : :; ng ooted at 0 with k leaves. (This esult may also be deived fom Knuth [2, execise 19, p. 397; solution, p. 585] o fom Moon [4, Theoem 3.5, p. 20]. We may summaize ou esults as follows: Theoem 2 Let n?1 c n n! n (t = t k : (k + 1! n? k Then fo n > 0, (i (ii (iii k=0 c n (t = p t d(p ; whee the sum is ove all allowable pais p = (p 1 ; p 2 of pemutations of f1; : : :; ng and d(p is the numbe of descents of p 2 ; c n (t = T t d(t ; whee the sum is ove all labeled tees T on f0; : : :; ng ooted at 0 and d(t is the numbe of descents of T ; c n (t = T t l(t?1 ; whee the sum is ove all labeled tees T on f0; : : :; ng ooted at 0 and l(t is the numbe of leaves of T.

13 A Bijective Appoach 13 Refeences [1] M. D. Atkinson and M. Thiyagaajah. The pemutational powe of a pioity queue. BIT, 33:2 6, [2] D. E. Knuth. Fundamental Algoithms: The At of Compute Pogamming, volume 1. Addison-Wesley, Reading, Massachusetts, [3] D. E. Knuth. Soting and Seaching: The At of Compute Pogamming, volume 3. Addison-Wesley, Reading, Massachusetts, [4] J. W. Moon. Counting Labelled Tees. Canadian Mathematical Congess, Monteal, [5] R. P. Stanley. Enumeative Combinatoics, volume 1. Wadswoth & Books/Cole, Monteey, Califonia, 1986.

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies Supplementay infomation Efficient Enumeation of Monocyclic Chemical Gaphs with Given Path Fequencies Masaki Suzuki, Hioshi Nagamochi Gaduate School of Infomatics, Kyoto Univesity {m suzuki,nag}@amp.i.kyoto-u.ac.jp

More information

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let

More information

Method for Approximating Irrational Numbers

Method for Approximating Irrational Numbers Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations

More information

The Chromatic Villainy of Complete Multipartite Graphs

The Chromatic Villainy of Complete Multipartite Graphs Rocheste Institute of Technology RIT Schola Wos Theses Thesis/Dissetation Collections 8--08 The Chomatic Villainy of Complete Multipatite Gaphs Anna Raleigh an9@it.edu Follow this and additional wos at:

More information

New problems in universal algebraic geometry illustrated by boolean equations

New problems in universal algebraic geometry illustrated by boolean equations New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic

More information

The Substring Search Problem

The Substring Search Problem The Substing Seach Poblem One algoithm which is used in a vaiety of applications is the family of substing seach algoithms. These algoithms allow a use to detemine if, given two chaacte stings, one is

More information

Pushdown Automata (PDAs)

Pushdown Automata (PDAs) CHAPTER 2 Context-Fee Languages Contents Context-Fee Gammas definitions, examples, designing, ambiguity, Chomsky nomal fom Pushdown Automata definitions, examples, euivalence with context-fee gammas Non-Context-Fee

More information

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE THE p-adic VALUATION OF STIRLING NUMBERS ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE Abstact. Let p > 2 be a pime. The p-adic valuation of Stiling numbes of the

More information

A Short Combinatorial Proof of Derangement Identity arxiv: v1 [math.co] 13 Nov Introduction

A Short Combinatorial Proof of Derangement Identity arxiv: v1 [math.co] 13 Nov Introduction A Shot Combinatoial Poof of Deangement Identity axiv:1711.04537v1 [math.co] 13 Nov 2017 Ivica Matinjak Faculty of Science, Univesity of Zageb Bijenička cesta 32, HR-10000 Zageb, Coatia and Dajana Stanić

More information

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de

More information

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.

9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic. Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this

More information

Chapter 3: Theory of Modular Arithmetic 38

Chapter 3: Theory of Modular Arithmetic 38 Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences

More information

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0}, ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability

More information

On the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University

On the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University Zapiski Nauchn. Seminaov POMI, to appea On the Numbe of Rim Hook Tableaux Segey Fomin* Depatment of Mathematics, Massachusetts Institute of Technology Cambidge, MA 0239 Theoy of Algoithms Laboatoy SPIIRAN,

More information

arxiv: v1 [math.co] 4 May 2017

arxiv: v1 [math.co] 4 May 2017 On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has

More information

10/04/18. P [P(x)] 1 negl(n).

10/04/18. P [P(x)] 1 negl(n). Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the

More information

THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee

THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee Koean J. Math. 23 (2015), No. 3, pp. 427 438 http://dx.doi.og/10.11568/kjm.2015.23.3.427 THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX Jaejin Lee Abstact. The Schensted algoithm fist descibed by Robinson

More information

arxiv: v1 [math.nt] 12 May 2017

arxiv: v1 [math.nt] 12 May 2017 SEQUENCES OF CONSECUTIVE HAPPY NUMBERS IN NEGATIVE BASES HELEN G. GRUNDMAN AND PAMELA E. HARRIS axiv:1705.04648v1 [math.nt] 12 May 2017 ABSTRACT. Fo b 2 and e 2, let S e,b : Z Z 0 be the function taking

More information

Solution to HW 3, Ma 1a Fall 2016

Solution to HW 3, Ma 1a Fall 2016 Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.

More information

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN

THE NUMBER OF TWO CONSECUTIVE SUCCESSES IN A HOPPE-PÓLYA URN TH NUMBR OF TWO CONSCUTIV SUCCSSS IN A HOPP-PÓLYA URN LARS HOLST Depatment of Mathematics, Royal Institute of Technology S 100 44 Stocholm, Sweden -mail: lholst@math.th.se Novembe 27, 2007 Abstact In a

More information

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland) Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,

More information

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012 Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,

More information

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version The Binomial Theoem Factoials Auchmuty High School Mathematics Depatment The calculations,, 6 etc. often appea in mathematics. They ae called factoials and have been given the notation n!. e.g. 6! 6!!!!!

More information

1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems :

1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems : Additional Impotant Popeties of Sets De Mogan s Theoems : A A S S Φ, Φ S _ ( A ) A ) (A B) A B ( ) 2) A B A B Cadinality of A, A, is defined as the numbe of elements in the set A. {a,b,c} 3, { }, while

More information

When two numbers are written as the product of their prime factors, they are in factored form.

When two numbers are written as the product of their prime factors, they are in factored form. 10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The

More information

Splay Trees Handout. Last time we discussed amortized analysis of data structures

Splay Trees Handout. Last time we discussed amortized analysis of data structures Spla Tees Handout Amotied Analsis Last time we discussed amotied analsis of data stuctues A wa of epessing that even though the wost-case pefomance of an opeation can be bad, the total pefomance of a sequence

More information

Fractional Zero Forcing via Three-color Forcing Games

Fractional Zero Forcing via Three-color Forcing Games Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that

More information

Markscheme May 2017 Calculus Higher level Paper 3

Markscheme May 2017 Calculus Higher level Paper 3 M7/5/MATHL/HP3/ENG/TZ0/SE/M Makscheme May 07 Calculus Highe level Pape 3 pages M7/5/MATHL/HP3/ENG/TZ0/SE/M This makscheme is the popety of the Intenational Baccalaueate and must not be epoduced o distibuted

More information

ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi

ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated

More information

ITI Introduction to Computing II

ITI Introduction to Computing II ITI 1121. Intoduction to Computing II Macel Tucotte School of Electical Engineeing and Compute Science Abstact data type: Stack Stack-based algoithms Vesion of Febuay 2, 2013 Abstact These lectue notes

More information

Lecture 18: Graph Isomorphisms

Lecture 18: Graph Isomorphisms INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will

More information

Probablistically Checkable Proofs

Probablistically Checkable Proofs Lectue 12 Pobablistically Checkable Poofs May 13, 2004 Lectue: Paul Beame Notes: Chis Re 12.1 Pobablisitically Checkable Poofs Oveview We know that IP = PSPACE. This means thee is an inteactive potocol

More information

Permutations and Combinations

Permutations and Combinations Pemutations and Combinations Mach 11, 2005 1 Two Counting Pinciples Addition Pinciple Let S 1, S 2,, S m be subsets of a finite set S If S S 1 S 2 S m, then S S 1 + S 2 + + S m Multiplication Pinciple

More information

3.1 Random variables

3.1 Random variables 3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated

More information

OSCILLATIONS AND GRAVITATION

OSCILLATIONS AND GRAVITATION 1. SIMPLE HARMONIC MOTION Simple hamonic motion is any motion that is equivalent to a single component of unifom cicula motion. In this situation the velocity is always geatest in the middle of the motion,

More information

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes

More information

Merging to ordered sequences. Efficient (Parallel) Sorting. Merging (cont.)

Merging to ordered sequences. Efficient (Parallel) Sorting. Merging (cont.) Efficient (Paae) Soting One of the most fequent opeations pefomed by computes is oganising (soting) data The access to soted data is moe convenient/faste Thee is a constant need fo good soting agoithms

More information

Chapter 2: Introduction to Implicit Equations

Chapter 2: Introduction to Implicit Equations Habeman MTH 11 Section V: Paametic and Implicit Equations Chapte : Intoduction to Implicit Equations When we descibe cuves on the coodinate plane with algebaic equations, we can define the elationship

More information

A quadratic algorithm for road coloring

A quadratic algorithm for road coloring A quadatic algoithm fo oad coloing Maie-Piee Béal and Dominique Pein Octobe 6, 0 axiv:080.076v9 [cs.ds] 0 May 01 Abstact The Road Coloing Theoem states that evey apeiodic diected gaph with constant out-degee

More information

Surveillance Points in High Dimensional Spaces

Surveillance Points in High Dimensional Spaces Société de Calcul Mathématique SA Tools fo decision help since 995 Suveillance Points in High Dimensional Spaces by Benad Beauzamy Januay 06 Abstact Let us conside any compute softwae, elying upon a lage

More information

Matrix Colorings of P 4 -sparse Graphs

Matrix Colorings of P 4 -sparse Graphs Diplomabeit Matix Coloings of P 4 -spase Gaphs Chistoph Hannnebaue Januay 23, 2010 Beteue: Pof. D. Winfied Hochstättle FenUnivesität in Hagen Fakultät fü Mathematik und Infomatik Contents Intoduction iii

More information

A generalization of the Bernstein polynomials

A generalization of the Bernstein polynomials A genealization of the Benstein polynomials Halil Ouç and Geoge M Phillips Mathematical Institute, Univesity of St Andews, Noth Haugh, St Andews, Fife KY16 9SS, Scotland Dedicated to Philip J Davis This

More information

HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS?

HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? 6th INTERNATIONAL MULTIDISCIPLINARY CONFERENCE HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? Cecília Sitkuné Göömbei College of Nyíegyháza Hungay Abstact: The

More information

Multiple Criteria Secretary Problem: A New Approach

Multiple Criteria Secretary Problem: A New Approach J. Stat. Appl. Po. 3, o., 9-38 (04 9 Jounal of Statistics Applications & Pobability An Intenational Jounal http://dx.doi.og/0.785/jsap/0303 Multiple Citeia Secetay Poblem: A ew Appoach Alaka Padhye, and

More information

On a quantity that is analogous to potential and a theorem that relates to it

On a quantity that is analogous to potential and a theorem that relates to it Su une quantité analogue au potential et su un théoème y elatif C R Acad Sci 7 (87) 34-39 On a quantity that is analogous to potential and a theoem that elates to it By R CLAUSIUS Tanslated by D H Delphenich

More information

3.6 Applied Optimization

3.6 Applied Optimization .6 Applied Optimization Section.6 Notes Page In this section we will be looking at wod poblems whee it asks us to maimize o minimize something. Fo all the poblems in this section you will be taking the

More information

Graphs of Sine and Cosine Functions

Graphs of Sine and Cosine Functions Gaphs of Sine and Cosine Functions In pevious sections, we defined the tigonometic o cicula functions in tems of the movement of a point aound the cicumfeence of a unit cicle, o the angle fomed by the

More information

Reduced Implicant Tries

Reduced Implicant Tries Reduced Implicant Ties Technical Repot SUNYA-CS-07-01 Novembe, 2007 Neil V. Muay Depatment of Compute Science Univesity at Albany Albany, NY 12222 email: nvm@cs.albany.edu Eik Rosenthal Depatment of Mathematics

More information

On the ratio of maximum and minimum degree in maximal intersecting families

On the ratio of maximum and minimum degree in maximal intersecting families On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Mach 6, 013 Abstact To study how balanced o unbalanced a maximal intesecting

More information

arxiv: v1 [math.co] 6 Mar 2008

arxiv: v1 [math.co] 6 Mar 2008 An uppe bound fo the numbe of pefect matchings in gaphs Shmuel Fiedland axiv:0803.0864v [math.co] 6 Ma 2008 Depatment of Mathematics, Statistics, and Compute Science, Univesity of Illinois at Chicago Chicago,

More information

An upper bound on the number of high-dimensional permutations

An upper bound on the number of high-dimensional permutations An uppe bound on the numbe of high-dimensional pemutations Nathan Linial Zu Luia Abstact What is the highe-dimensional analog of a pemutation? If we think of a pemutation as given by a pemutation matix,

More information

MATH 415, WEEK 3: Parameter-Dependence and Bifurcations

MATH 415, WEEK 3: Parameter-Dependence and Bifurcations MATH 415, WEEK 3: Paamete-Dependence and Bifucations 1 A Note on Paamete Dependence We should pause to make a bief note about the ole played in the study of dynamical systems by the system s paametes.

More information

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in

More information

Compactly Supported Radial Basis Functions

Compactly Supported Radial Basis Functions Chapte 4 Compactly Suppoted Radial Basis Functions As we saw ealie, compactly suppoted functions Φ that ae tuly stictly conditionally positive definite of ode m > do not exist The compact suppot automatically

More information

Non-Linear Dynamics Homework Solutions Week 2

Non-Linear Dynamics Homework Solutions Week 2 Non-Linea Dynamics Homewok Solutions Week Chis Small Mach, 7 Please email me at smach9@evegeen.edu with any questions o concens eguading these solutions. Fo the ececises fom section., we sketch all qualitatively

More information

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics

More information

Analytical Solutions for Confined Aquifers with non constant Pumping using Computer Algebra

Analytical Solutions for Confined Aquifers with non constant Pumping using Computer Algebra Poceedings of the 006 IASME/SEAS Int. Conf. on ate Resouces, Hydaulics & Hydology, Chalkida, Geece, May -3, 006 (pp7-) Analytical Solutions fo Confined Aquifes with non constant Pumping using Compute Algeba

More information

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution

On the Quasi-inverse of a Non-square Matrix: An Infinite Solution Applied Mathematical Sciences, Vol 11, 2017, no 27, 1337-1351 HIKARI Ltd, wwwm-hikaicom https://doiog/1012988/ams20177273 On the Quasi-invese of a Non-squae Matix: An Infinite Solution Ruben D Codeo J

More information

ASTR415: Problem Set #6

ASTR415: Problem Set #6 ASTR45: Poblem Set #6 Cuan D. Muhlbege Univesity of Mayland (Dated: May 7, 27) Using existing implementations of the leapfog and Runge-Kutta methods fo solving coupled odinay diffeential equations, seveal

More information

arxiv: v1 [math.co] 1 Apr 2011

arxiv: v1 [math.co] 1 Apr 2011 Weight enumeation of codes fom finite spaces Relinde Juius Octobe 23, 2018 axiv:1104.0172v1 [math.co] 1 Ap 2011 Abstact We study the genealized and extended weight enumeato of the - ay Simplex code and

More information

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013 AQI: Advanced Quantum Infomation Lectue 2 (Module 4): Ode finding and factoing algoithms Febuay 20, 203 Lectue: D. Mak Tame (email: m.tame@impeial.ac.uk) Intoduction In the last lectue we looked at the

More information

Macro Theory B. The Permanent Income Hypothesis

Macro Theory B. The Permanent Income Hypothesis Maco Theoy B The Pemanent Income Hypothesis Ofe Setty The Eitan Beglas School of Economics - Tel Aviv Univesity May 15, 2015 1 1 Motivation 1.1 An econometic check We want to build an empiical model with

More information

Chapter Eight Notes N P U1C8S4-6

Chapter Eight Notes N P U1C8S4-6 Chapte Eight Notes N P UC8S-6 Name Peiod Section 8.: Tigonometic Identities An identit is, b definition, an equation that is alwas tue thoughout its domain. B tue thoughout its domain, that is to sa that

More information

On the ratio of maximum and minimum degree in maximal intersecting families

On the ratio of maximum and minimum degree in maximal intersecting families On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting

More information

Fall 2014 Randomized Algorithms Oct 8, Lecture 3

Fall 2014 Randomized Algorithms Oct 8, Lecture 3 Fall 204 Randomized Algoithms Oct 8, 204 Lectue 3 Pof. Fiedich Eisenband Scibes: Floian Tamè In this lectue we will be concened with linea pogamming, in paticula Clakson s Las Vegas algoithm []. The main

More information

Vanishing lines in generalized Adams spectral sequences are generic

Vanishing lines in generalized Adams spectral sequences are generic ISSN 364-0380 (on line) 465-3060 (pinted) 55 Geomety & Topology Volume 3 (999) 55 65 Published: 2 July 999 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Vanishing lines in genealized Adams spectal

More information

Internet Appendix for A Bayesian Approach to Real Options: The Case of Distinguishing Between Temporary and Permanent Shocks

Internet Appendix for A Bayesian Approach to Real Options: The Case of Distinguishing Between Temporary and Permanent Shocks Intenet Appendix fo A Bayesian Appoach to Real Options: The Case of Distinguishing Between Tempoay and Pemanent Shocks Steven R. Genadie Gaduate School of Business, Stanfod Univesity Andey Malenko Gaduate

More information

6 PROBABILITY GENERATING FUNCTIONS

6 PROBABILITY GENERATING FUNCTIONS 6 PROBABILITY GENERATING FUNCTIONS Cetain deivations pesented in this couse have been somewhat heavy on algeba. Fo example, detemining the expectation of the Binomial distibution (page 5.1 tuned out to

More information

ONE-POINT CODES USING PLACES OF HIGHER DEGREE

ONE-POINT CODES USING PLACES OF HIGHER DEGREE ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU

More information

16 Modeling a Language by a Markov Process

16 Modeling a Language by a Markov Process K. Pommeening, Language Statistics 80 16 Modeling a Language by a Makov Pocess Fo deiving theoetical esults a common model of language is the intepetation of texts as esults of Makov pocesses. This model

More information

Semicanonical basis generators of the cluster algebra of type A (1)

Semicanonical basis generators of the cluster algebra of type A (1) Semicanonical basis geneatos of the cluste algeba of type A (1 1 Andei Zelevinsky Depatment of Mathematics Notheasten Univesity, Boston, USA andei@neu.edu Submitted: Jul 7, 006; Accepted: Dec 3, 006; Published:

More information

ON SPARSELY SCHEMMEL TOTIENT NUMBERS. Colin Defant 1 Department of Mathematics, University of Florida, Gainesville, Florida

ON SPARSELY SCHEMMEL TOTIENT NUMBERS. Colin Defant 1 Department of Mathematics, University of Florida, Gainesville, Florida #A8 INTEGERS 5 (205) ON SPARSEL SCHEMMEL TOTIENT NUMBERS Colin Defant Depatment of Mathematics, Univesity of Floida, Gainesville, Floida cdefant@ufl.edu Received: 7/30/4, Revised: 2/23/4, Accepted: 4/26/5,

More information

Functions Defined on Fuzzy Real Numbers According to Zadeh s Extension

Functions Defined on Fuzzy Real Numbers According to Zadeh s Extension Intenational Mathematical Foum, 3, 2008, no. 16, 763-776 Functions Defined on Fuzzy Real Numbes Accoding to Zadeh s Extension Oma A. AbuAaqob, Nabil T. Shawagfeh and Oma A. AbuGhneim 1 Mathematics Depatment,

More information

Math Notes on Kepler s first law 1. r(t) kp(t)

Math Notes on Kepler s first law 1. r(t) kp(t) Math 7 - Notes on Keple s fist law Planetay motion and Keple s Laws We conside the motion of a single planet about the sun; fo simplicity, we assign coodinates in R 3 so that the position of the sun is

More information

SMT 2013 Team Test Solutions February 2, 2013

SMT 2013 Team Test Solutions February 2, 2013 1 Let f 1 (n) be the numbe of divisos that n has, and define f k (n) = f 1 (f k 1 (n)) Compute the smallest intege k such that f k (013 013 ) = Answe: 4 Solution: We know that 013 013 = 3 013 11 013 61

More information

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2.

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2. OLYMON Poduced by the Canadian Mathematical Society and the Depatment of Mathematics of the Univesity of Toonto Please send you solution to Pofesso EJ Babeau Depatment of Mathematics Univesity of Toonto

More information

Lab 10: Newton s Second Law in Rotation

Lab 10: Newton s Second Law in Rotation Lab 10: Newton s Second Law in Rotation We can descibe the motion of objects that otate (i.e. spin on an axis, like a popelle o a doo) using the same definitions, adapted fo otational motion, that we have

More information

Physics 2A Chapter 10 - Moment of Inertia Fall 2018

Physics 2A Chapter 10 - Moment of Inertia Fall 2018 Physics Chapte 0 - oment of netia Fall 08 The moment of inetia of a otating object is a measue of its otational inetia in the same way that the mass of an object is a measue of its inetia fo linea motion.

More information

What Form of Gravitation Ensures Weakened Kepler s Third Law?

What Form of Gravitation Ensures Weakened Kepler s Third Law? Bulletin of Aichi Univ. of Education, 6(Natual Sciences, pp. - 6, Mach, 03 What Fom of Gavitation Ensues Weakened Keple s Thid Law? Kenzi ODANI Depatment of Mathematics Education, Aichi Univesity of Education,

More information

Circular Orbits. and g =

Circular Orbits. and g = using analyse planetay and satellite motion modelled as unifom cicula motion in a univesal gavitation field, a = v = 4π and g = T GM1 GM and F = 1M SATELLITES IN OBIT A satellite is any object that is

More information

Enumerating permutation polynomials

Enumerating permutation polynomials Enumeating pemutation polynomials Theodoulos Gaefalakis a,1, Giogos Kapetanakis a,, a Depatment of Mathematics and Applied Mathematics, Univesity of Cete, 70013 Heaklion, Geece Abstact We conside thoblem

More information

On decompositions of complete multipartite graphs into the union of two even cycles

On decompositions of complete multipartite graphs into the union of two even cycles On decompositions of complete multipatite gaphs into the union of two even cycles A. Su, J. Buchanan, R. C. Bunge, S. I. El-Zanati, E. Pelttai, G. Rasmuson, E. Spaks, S. Tagais Depatment of Mathematics

More information

EM Boundary Value Problems

EM Boundary Value Problems EM Bounday Value Poblems 10/ 9 11/ By Ilekta chistidi & Lee, Seung-Hyun A. Geneal Desciption : Maxwell Equations & Loentz Foce We want to find the equations of motion of chaged paticles. The way to do

More information

SPECTRAL SEQUENCES. im(er

SPECTRAL SEQUENCES. im(er SPECTRAL SEQUENCES MATTHEW GREENBERG. Intoduction Definition. Let a. An a-th stage spectal (cohomological) sequence consists of the following data: bigaded objects E = p,q Z Ep,q, a diffeentials d : E

More information

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function Abstact and Applied Analysis Volume 011, Aticle ID 697547, 7 pages doi:10.1155/011/697547 Reseach Aticle On Alze and Qiu s Conjectue fo Complete Elliptic Integal and Invese Hypebolic Tangent Function Yu-Ming

More information

A proof of the binomial theorem

A proof of the binomial theorem A poof of the binomial theoem If n is a natual numbe, let n! denote the poduct of the numbes,2,3,,n. So! =, 2! = 2 = 2, 3! = 2 3 = 6, 4! = 2 3 4 = 24 and so on. We also let 0! =. If n is a non-negative

More information

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22 C/CS/Phys C9 Sho s ode (peiod) finding algoithm and factoing /2/4 Fall 204 Lectue 22 With a fast algoithm fo the uantum Fouie Tansfom in hand, it is clea that many useful applications should be possible.

More information

QIP Course 10: Quantum Factorization Algorithm (Part 3)

QIP Course 10: Quantum Factorization Algorithm (Part 3) QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Ryutaoh Matsumoto Nagoya Univesity, Japan Send you comments to yutaoh.matsumoto@nagoya-u.jp Septembe 2018 @ Tokyo Tech. Matsumoto (Nagoya U. QIP Couse

More information

Physics 211: Newton s Second Law

Physics 211: Newton s Second Law Physics 211: Newton s Second Law Reading Assignment: Chapte 5, Sections 5-9 Chapte 6, Section 2-3 Si Isaac Newton Bon: Januay 4, 1643 Died: Mach 31, 1727 Intoduction: Kinematics is the study of how objects

More information

Goodness-of-fit for composite hypotheses.

Goodness-of-fit for composite hypotheses. Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test

More information

Physics 161 Fall 2011 Extra Credit 2 Investigating Black Holes - Solutions The Following is Worth 50 Points!!!

Physics 161 Fall 2011 Extra Credit 2 Investigating Black Holes - Solutions The Following is Worth 50 Points!!! Physics 161 Fall 011 Exta Cedit Investigating Black Holes - olutions The Following is Woth 50 Points!!! This exta cedit assignment will investigate vaious popeties of black holes that we didn t have time

More information

Absorption Rate into a Small Sphere for a Diffusing Particle Confined in a Large Sphere

Absorption Rate into a Small Sphere for a Diffusing Particle Confined in a Large Sphere Applied Mathematics, 06, 7, 709-70 Published Online Apil 06 in SciRes. http://www.scip.og/jounal/am http://dx.doi.og/0.46/am.06.77065 Absoption Rate into a Small Sphee fo a Diffusing Paticle Confined in

More information

The Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr

The Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr The Congestion of n-cube Layout on a Rectangula Gid S.L. Bezukov J.D. Chavez y L.H. Hape z M. Rottge U.-P. Schoede Abstact We conside the poblem of embedding the n-dimensional cube into a ectangula gid

More information

Upper Bounds for Tura n Numbers. Alexander Sidorenko

Upper Bounds for Tura n Numbers. Alexander Sidorenko jounal of combinatoial theoy, Seies A 77, 134147 (1997) aticle no. TA962739 Uppe Bounds fo Tua n Numbes Alexande Sidoenko Couant Institute of Mathematical Sciences, New Yok Univesity, 251 Mece Steet, New

More information

Constraint Satisfaction Problems

Constraint Satisfaction Problems Constaint Satisfaction Polems Seach and Look-ahead Alet-Ludwigs-Univesität Feiug Stefan Wölfl, Chistian Becke-Asano, and Benhad Neel Noveme 17, 2014 Seach and Look-ahead Enfocing consistency is one way

More information

On the integration of the equations of hydrodynamics

On the integration of the equations of hydrodynamics Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious

More information

Suggested Solutions to Homework #4 Econ 511b (Part I), Spring 2004

Suggested Solutions to Homework #4 Econ 511b (Part I), Spring 2004 Suggested Solutions to Homewok #4 Econ 5b (Pat I), Sping 2004. Conside a neoclassical gowth model with valued leisue. The (epesentative) consume values steams of consumption and leisue accoding to P t=0

More information

The Tutte polynomial of a graph, depth-rst. search, and simplicial complex partitions

The Tutte polynomial of a graph, depth-rst. search, and simplicial complex partitions The Tutte polynomial of a gaph, depth-st seach, and simplicial complex patitions Dedicated to Dominique Foata on the occasion of his 60th bithday Ia M. Gessel Depatment of Mathematics Bandeis Univesity

More information

A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES

A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES AGU Intenational Jounal of Science and Technology A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES Ritu Ahuja Depatment of Mathematics Khalsa College fo Women, Civil Lines, Ludhiana-141001, Punjab, (India)

More information

NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS: The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or

NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS: The copyright law of the United States (title 17, U.S. Code) governs the making of photocopies or NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS: The copyight law of the United States (title 17, U.S. Code) govens the making of photocopies o othe epoductions of copyighted mateial. Any copying of this

More information