The digraph drop polynomial

Size: px
Start display at page:

Download "The digraph drop polynomial"

Transcription

1 The digraph drop polyomial Fa Chug Ro Graham Abstract For a weighted directed graph (or digraph, for short), deoted by D = (V, E, w), we defie a two-variable polyomial B D (x, y), called the drop polyomial of D, which depeds itimately o the cycle structure of the permutatios o vertices of D. This polyomial geeralizes several other digraph polyomials which have bee studied i the literature previously, such as the biomial drop polyomial for posets [2], the biomial drop polyomial for digraphs [7], the path/cycle cover polyomial for digraphs [5] ad the matrix cover polyomial [6]. We show that B D (x, y) satisfies a reductio/cotractio recurrece as well as the (somewhat mysterious) reciprocity relatio B D(x, y) = ( 1) B D ( x y, y), where D has vertices ad D = (V, E, w) is the digraph formed from D by defiig w(e) = 1 w(e) for each edge e E. 1 Itroductio Suppose P = (V, ) is a partially-ordered set o a set V of cardiality. I [2], a polyomial B P (x) called the biomial drop polyomial for P was itroduced which was defied as follows. If π : V V is a permutatio o V, we say that π has a drop at u if π(u) = v ad v u. Let drop(π) deote the umber of drops that π has. The defie B P (x) = ( ) x + drop(π), π where π rus over all! permutatios o V. The polyomial B P (x) turs out to have may coectios to a variety of subjects i combiatorics. For 1

2 example, suppose we defie the icomparability graph Ic(P ) of P to be the graph o V where {u, v} is a edge of Ic(p) if ad oly if u ad v are icomparable i P. Let χ Ic(P ) (x) deote the chromatic polyomial of Ic(P ) (e.g., see [12]). The for ay positive iteger b, B P (b) = χ Ic(P ) (b). Further, B P ( 1) is equal to the umber of permutatios π o V which have o drops. This is also equal to the umber of acyclic orietatios of Ic(P ) by a classic theorem of Staley [12]. I the case that P is a chai, i.e., a liearly-ordered set, the Ic(P ) has o edges ad we have B P (x) = x = ( ) x + k k k where k deotes the usual Euleria umber. This is usually kow as Worpitzky s idetity (see [9]). There is a atural digraph D = (V, E) associated to a poset P = (V, ). Namely, the vertex set for D is V. For u, v V we have a directed edge (u, v) E if ad oly v u i P. (1) Thus, oe might ask if (1) could be exteded to more geeral digraphs. I fact, this ca be doe as follows for ay give digraph D. Suppose π : V V is a permutatio o V. Let us say that π has a drop at u if (u, π(u)) E. Deote by drop(π) to the the umber of drops that π has. The followig polyomial B D (x), called the biomial drop polyomial for D, which geeralizes (1), was studied i [7]: B D (x) = ( ) x + drop(π) π where V = ad π rus over all! permutatios o V. This polyomial ca be applied to a more geeral class of digraphs, called weighted digraphs. A weighted digraph D = (V, E, w) is a digraph o the vertex set V with a edge set E V V i which each edge e E is assiged a real-valued weight w(e) (possibly 0). I this case, if π is a permutatio o V, we geeralize the (2) 2

3 defiitio of a drop(π) by defiig drop(π) = u V e=(u,π(u)) w(e). (3) We ca the exted the defiitio of B D (x) to weighted digraphs as follows: B D (x) = ( ) x + drop(π) (4) π where, as before, the vertex set V of D has size. Here, we iterpret the biomial coefficiet i the sum as ( ) x + α =!(x + α) =!(x + α)(x + α 1)... (x + α + 1) where we use the fallig factorial otatio z = z(z 1)(z 2)... (z +1). It was show i [7] that B D (x) has a umber of iterestig properties, such as a deletio/cotractio recurrece similar i form to the well-kow deletio/cotractio recurrece for the Tutte polyomial (see [14]). The polyomial we will cosider i this paper is a geeralizatio of B D (x) to a 2-variable polyomial B D (x, y), called the drop polyomial for D. However, before defiig B D (x, y), we first metio a related digraph polyomial. This is the so-called (path/cycle) cover polyomial C D (x, y) for D (cf. [5]). For a simple digraph D = (V, E), that is, oe i which all edge weights are 1, we ormally thik of a edge e = (u, v) E as represeted by a directed arc goig from u to v. A path/cycle cover C of E is a collectio of vertex-disjoit paths ad cycles which cover all the vertices i V, where we cosider a sigle vertex to be a path of legth zero, ad a loop (u, u) to be a cycle of legth oe. Let c D (i, j) deote the umber of path/cycle covers of E cosistig of i paths ad j cycles. The (path/cycle) cover polyomial for D is defied by C D (x, y) = i,j c D (i, j)x i y j. (5) 3

4 The cover polyomial C D (x, y) was geeralized i [6] to weighted digraphs D = (V, E, w) as follows. For a path/cycle cover C of D, let p(c) deote the umber of paths i C, ad let cyc(c) deote the umber of cycles i C. By the weight w(c) of C we mea the product of all the weights of the edges i C. The the geeralizatio of C D (x, y) to weighted digraphs is: C D (x, y) = C path/cycle cover x p(c) y cyc(c) w(c). (6) It was show i [6] that i additio to a deletio/cotractio recurrece, C D (x, y) satisfies a umber of other iterestig properties such as: (i) If D 1 = (V 1, E 1, w 1 ) ad D 2 = (V 2, E 2, w 2 ) are vertex disjoit digraphs ad the digraph D is formed from D 1 ad D 2 by joiig every v 1 V 1 to every v 2 V 2 by a edge (v 1, v 2 ) of weight 1, the C D (x, y) = C D1 (x, y)c D2 (x, y); (ii) If D = (V, E, w) deotes the weighted digraph formed from D = (V, E, w) by subtractig the weight of each edge e E from 1, i.e., w(e) = 1 w(e), ad V =, the we have the surprisig reciprocity formula: C D(x, y) = ( 1) C D ( x y, y). (7) This paper is orgaized as follows: I Sectio 2, we will give the defiitio of drop polyomial B D (x, y) for a weighted digraph D = (V, E, w) i which each edge e E is assiged some weight w(e). We will ordiarily assume that w(e) is a real umber (possibly 0) although all of our results are valid if w(e) just lies i some commutative rig with idetity. Basically, B D (x, y) is a sum over all permutatios π o V where each term of the sum depeds o drop(π) ad the cycle structure of π restricted to D. I Sectio 3, we discuss a umber of useful facts about B D (x, y). A alterative defiitio of B D (x, y) is give i Sectio 4. The drop polyomials B D (x, y) are similar to but differet from the path-cycle polyomials C D (x, y). We will show i Sectio 6 that they coicide if D is a simple digraph. However, for geeral digraphs, they satisfy 4

5 differet deletio/cotractio rules as see i Sectio 5. Nevertheless, for both polyomials the same reciprocity theorems hold as show i Sectio 7. The drop polyomials have direct coectios with permutatios o the vertex set ad i tur lead to itriguig questios cocerig eumeratio problems for permutatios ad partial permutatios, some of which will be metioed i Sectio 8. 2 The drop polyomial B D (x, y) As usual, we start with a weighted digraph D = (V, E, w) o a set V of size (possibly havig some edges of weight 0.) For a permutatio π : V V we defie E(π) to be the set of edges e = (u, v) such that π(u) = v. Thus, E(π) cosists of paths ad cycles. I this case, loops, i.e., edges of the form (u, u), are still cosidered to be cycles (of legth 1). Let P (π) deoted the set of edges i paths i E(π) ad let Cyc(π) deote the set of cycles i E(π). Also, let cyc(π) deote Cyc(π). More geerally, for ay subset S E, we ca defie cyc(s) i the obvious way, i.e., as the umber of cycles formed by the edges i S. Further, we defie the weight w(s) by: w(s) = w(e). (8) e S We fially come to the defiitio of the drop polyomial B D (x, y): B D (x, y) = ( ) x + w(s) ( 1) E(π)\S (y 1) cyc(π) cyc(s) y cyc(s) π P (π) S E(π) (9) where π rages over all permutatio of the vertex set V of D ad V =. For example, suppose that D = I(), the digraph o vertices with o edges. The it is easy to see that i this case, B I() (x, y) = x, where we recall the fallig factorial otatio z = z(z 1)(z 2)... (z + 1). Note that if we substitute y = 1 i (9), the B D (x, y) reduces to the biomial drop polyomial B D (x) i (4). For i this case, the oly term i 5

6 the ier sum i (9) which does t vaish is for the choice S = E(π), ad i this case, ( ) x + w(s) B D (x, 1) = π ( ) x + drop(π) = π = B D (x) which is (4), as desired. 3 Addig weight 0 edges. For the geeral weighted digraphs D = (V, E, w) we have bee cosiderig up to ow, E is some subset of V V with various weights assiged to the edges i E. However, there will be some advatages i beig able to assume that E is all of V V, where pairs (u, v) which were ot origially i E are replaced by edges e = (u, v) with weight w(e) = 0. Of course, the dowside of doig this is that ow the sums ivolved i evaluatig (9) may have may more terms tha before. Oe upside is that equivalet forms of (9) become simpler (cf. Sectio 4). We ext show that this modificatio of D (replacig o-edges by edges of weight 0) does ot chage the value of B D (x, y). We first show that B D (x, y) is uchaged if a sigle pair (u, v) / E is replaced by a edge e = (u, v) with w(e) = 0. Equivaletly, we show that removig a edge of weight 0 does ot chage B D (x, y). Theorem 1. Suppose D = (V, E, w) is a weighted digraph, ad e 0 E with w(e 0 ) = 0. Form the digraph D = (V, E, w) by deletig the edge e 0, i.e., E = E \ e 0. The B D (x, y) = B D (x, y). 6

7 Proof. Whe referrig to D, we will use E (π), cyc (π), etc., to deote the correspodig parameters for D. Thus, E = E 1. From the defiitio i (9), we have B D (x, y) = π P (π) S E (π) ( ) ( 1) E (π)\s x + w(s ) (y 1) cyc (π) cyc (S ) y cyc (S ) The overall pla is to show that B D (x, y) reduces to B D (x, y) whe w(e 0 ) = 0. To do this, we are goig to expad the terms of B D (x, y) for each π ad show how i each case they either cacel each other out, or correspod to uique terms i B D (x, y). So cosider some fixed permutatio π o V. Case (i). e 0 / E(π). I this case, for each choice of S i the sum for B D we ca choose S = S i the correspodig term i the sum for B D. Sice i this case, E (π) = E(π), c (π) = c(π), c (S ) = c(s), etc., the correspodig terms i B D ad B D are equal. Case (ii). e 0 P (π). I this case, we will always have e 0 S, sice P (π) S. Hece, we ca write S = S e 0 for some S with P (π) S E (π). Now we have E (π) = E(π) 1, S = S 1, E (π)\s = E(π)\S, cyc (π) = cyc(π) ad cyc (S ) = cyc(s). Sice w(s) = w(s ) + w(e 0 ), the whe w(e 0 ) is 0, the correspodig terms i B D ad B D are equal i this case as well. Case (iii). e 0 C(π). Thus, e 0 belogs to some cycle C = {e 0, e 1, e 2,..., e r } i D (where r = 0 is allowed). Let C deote the set C \ {e 0 }. There are ow two possibilities for S: (a) C S. I this case, we will fid a uique mate S for S as follows. If e 0 / S the set S = S e 0 ; if e 0 S the set S = S \ e 0. We will examie the sum of the two terms ( ) x + w(s) ( 1) E(π)\S (y 1) cyc(π) cyc(s) y cyc(s) (10) P (π) S E(π) 7

8 ad E(π) S E(π) ( 1) E(π)\S ( ) x + w(s ) (y 1) cyc(π) cyc(s ) y cyc(s ) (11) i B D. Suppose S = S \ e 0 (the other case is symmetric). The S = S + 1, cyc(s ) = cyc(s) ad w(s) = w(s ) + w(e 0 ) = w(s ). Thus, ( 1) E(π)\S = ( 1) E(π)\S so that the sum of the two terms (10) ad (11) is zero. (b) C S. I this case we ca write S = C T where T E(π) \ C. We have P (π) = P (π) C ad we set S = C T. Now we have cyc(s) = cyc(s ) + 1. Thus, sice S = S + 1 the addig (10) ad (11), we get ( ) x + w(s) ( 1) E(π)\S (y 1) cyc(π) cyc(s) y cyc(s) P (π) S E(π)) ( ) + ( 1) E(π)\S x + w(s ) (y 1) cyc(π) cyc(s ) y cyc(s ) P (π) S E(π) ( ) = ( 1) E(π)\S x + w(s ) + w(e 0 ) (y 1) cyc(π) cyc(s ) 1 y cyc(s )+1 P (π) S E(π) ( ) + ( 1) E(π)\S x + w(s ) (y 1) cyc(π) cyc(s ) y cyc(s ) P (π) S E(π) ( ) = ( 1) E(π)\S x + w(s ) (y 1) cyc(π) cyc(s ) 1 y cyc(s ) ((y 1) y) P (π) S E(π) ( ) = ( 1) E(π)\S x + w(s ) (y 1) cyc(π) cyc(s ) 1 y cyc(s ). P (π) S E(π) Now, takig S = S i B D ad otig that cyc (π) = cyc(π) + 1 ad E(π) = E (π) + 1, we see that the term i this last sum becomes ( ) ( 1) E (π)\s x + w(s ) (y 1) cyc (π) c (S) y cyc (S) (12) 8

9 This is exactly the term correspodig to the choice of S, with P (π) S E (π), i B D. The precedig argumets show there is a bijectio betwee the terms of B D ad the (o-cacelig) terms of B D. Thus, we have proved B D (x, y) = B D (x, y). Corollary 1. Suppose D = (V, E, w) is a weighted digraph, ad D = (V, E, w) is formed by addig a edge e = (u, v) to E with w(e) = 0 for every pair (u, v) / E. The B D (x, y) = B D (x, y). Proof. Just apply Theorem 1 recursively. 4 A alterative form for B D (x, y). Suppose D = (V, E, w) is a weighted digraph where E = V V (so that there may be may weight 0 edges). A partial permutatio σ o V is a ijective mappig σ : U V for some subset U V. There are several ways to represet σ. Oe is by the familiar two-lie otatio: σ = u 1 u 2... u k σ(u 1 ) σ(u 2 )... σ(u k ) where u i s deote distict vertices of D. Here, we assume that U = k ad we will say that σ has size σ = k. Aother way to represet σ is to idetify it with the correspodig etries i a associated matrix M = M(D) idexed by elemets of V. Here, the etry M(u i, σ(u i )) of M is just the weight w(e i ) of the edge e i = (u i, σ(u i )). If S(σ) deotes the set of edges formed by σ, the it is clear that S(σ) cosists of vertex disjoit paths ad cycles. Sice we assume E = V V, we ca abuse otatio slightly by just sayig that S = S(σ) is a partial permutatio, sice 9

10 specifyig the etries i the matrix M automatically determies the actual partial permutatio σ. Deote by w(s) deote the sum of the weights of the edges i S ad let cyc(s) the umber of cycles i D formed by the edges i S. Also, let P P (V ) deote the set of all partial permutatios o V. We the have the followig alterative expressio for B D (x, y). Theorem 2. For ay weighted digraph D, we have B D (x, y) = ( ) x + w(s) (1 y) S y cyc(s). (13) S P P (V ) Proof. From Theorem 1, we may assume E = V V by addig edges of weight 0 while the drop polyomial B D (x, y) remais uchaged. Cosequetly, for ay permutatio π : V V, we have P (π) =. Hece, we ca iterchage the order of summatio i (9) to obtai: B D (x, y) = ( ) x + w(s) ( 1) E(π)\S (y 1) cyc(π) cyc(s) y cyc(s) π S E(π) = ( ) x + w(s) ( 1) E(π)\S (y 1) cyc(π) cyc(s) y cyc(s) S P P (V ) π where π rages over all permutatios of V for which S E(π) so that S rages over all partial permutatios. The umber of π with k cycles is give by [ k ], a Stirlig umber of the first kid (see [9]). More geerally, if S = s, the π has s free blocks from which to form k cyc(s) cycles. Thus, there are just [ S k cyc(s)] such π with S E(π). A basic idetity for Stirlig umbers of the first kid is the followig (see [9]): k [ m k ] z k = z m (14) where z m deotes the risig factorial z m = z(z + 1)... (z + m 1). Hece 10

11 our expressio for B D (x, y) becomes B D (x, y) = ( ) x + w(s) [ ] S ( 1) S (y 1) k cyc(s) y cyc(s) k cyc(s) S P P (V ) k = ( ) x + w(s) ( 1) S (y 1) S y cyc(s) S P P (V ) = ( ) x + w(s) (1 y) S y cyc(s) S P P (V ) which is (13). This completes the proof of Theorem 2. As a example, cosider the digraph D = (V, E, w) where V = [], E = [] [] ad w(e) = 0 for all e E. Sice i this case the reduced digraph is just I(), a digraph with o edges, ad we have see that B I() (x, y) = x. Thus, by (13), we get the iterestig idetity: Corollary 2. S P P (V ) (1 y) S y cyc(s) =!. It does t appear obvious (to us) how to prove this directly. 5 A reductio/cotractio rule for B D (x, y) I order to maipulate B D (x, y), we will first eed to defie the operatios of reductio ad cotractio i a digraph D = (V, E, w) (see Figures 1 ad 2). First, suppose e = (u, v) is a o-loop edge of D (so u v). The e-reduced digraph D = (V, E, w ) has the same set of vertices ad edges as D, with the oly chage beig the weight of e is reduced by 1, i.e., w (e) = w(e) 1. The e-cotracted digraph D is slightly more complicated. For the vertex set of D we replace the two vertices u ad v by a sigle vertex uv. Ay edge 11

12 a b a b w(e) c u v d w(e)-1 c u v d a uv c b d D D D Figure 1: Reductio ad cotractio of a o-loop edge e i a weighted digraph i D of the form (x, u) becomes a edge (x, uv) i D. Also, ay edge i D of the form (v, y) becomes a edge (uv, y) i D. All other edges icidet to either u or v (icludig loops) are deleted. If (v, u) happes to be a edge i D, it becomes a loop at uv i D. All other edges (ot icidet to u or v) i D are retaied i D. No edge weights of survivig edges are chaged by the cotractio operatio. Next, suppose e = (u, u) is a loop at u i D. The we do the followig. As before, i the e-reduced digraph D, the weight of e is reduced by 1. To form the e-cotracted digraph D, we simply delete the vertex u ad all edges icidet to u. Usig the represetatio of B D (x, y) i (13), we will ow show that drop polyomials obey a reductio/cotractio rule. Theorem 3. Let D be a weighted digraph ad let e be a edge of D. Deote the e-reduced ad e-cotracted digraphs by D ad D, respectively. (i) If e is a o-loop edge the B D (x, y) = B D (x, y) + B D (x + w(e) 1, y); (15) 12

13 a b a b a b u w(e) u w(e)-1 c d c d c d D D D Figure 2: Reductio ad cotractio of a loop edge e i a weighted digraph (ii) If e is a loop the B D (x, y) = B D (x, y) + yb D (x + w(e) 1, y). (16) Proof. Let w, w, w deote the edge weights i D, D, D, respectively. We first cosider the case that e = (u, v) is a o-loop edge. From the defiitio (13), we have 13

14 B D (x, y) = ( ) x + w(s) (1 y) S y c(s) ( ) x + w(s) (1 y) S y c(s) + e S ) (1 y) S y c(s) + e S S P P (V ) = e S ( ( x + w(s) = e S ( x + w (S) e S = B D (x, y) ( x + w (S) e S + ( x + w(s) e S ) (1 y) S y c(s) + e S ) (1 y) S y c(s) ( ) x + w(s) (1 y) S y c(s) ( ) x + w (S) )(1 y) S y c(s) ( x + w(s) ) (1 y) S y c(s) ) (1 y) S y c(s) sice for e S, we have w(s) = w (S) for ay partial permutatio S. We ow use the fact that if e S, we have w (S) = w(s) 1. Hece B D (x, y) = B D (x, y) ( ) x + w(s) 1 (1 y) S y c(s) e S + ( ) x + w(s) (1 y) S y c(s) e S = B D (x, y) + ( ) x + w(s) 1 (1 y) S y c(s) 1 e S = B D (x, y) + ( ) x + w(s ) + w(e) 1 (1 y) 1 S y c(s ) 1 S as desired. = B D (x, y) + B D (x + w(e) 1, y) Next, we cosider the case that e = (u, u) is a loop. The first part of the derivatio is very similar to the precedig case ad we wo t repeat it. For 14

15 the secod part, we have B D (x, y) = ( ) x + w(s) (1 y) S y c(s) + ( x + w(s) e S e S = B D (x, y) ( ) x + w (S) (1 y) S y c(s) e S + ( ) x + w(s) (1 y) S y c(s) S = B D (x, y) ( x + w (S) + w(e) 1 S S=e S ( ) x + w(s ) + w(e) (1 y) 1 S y c(s )+1 + S S=e S = B D (x, y) + y S ( x + w(s ) + w(e) 1 1 = B D (x, y) + yb D (x + w(e) 1, y). This completes the proof of Theorem 3. ) (1 y) S y c(s) ) (1 y) 1 S y c(s )+1 ) (1 y) 1 S y c(s ) 6 Relatig the drop polyomial to the cover polyomial As metioed i the itroductio, the cover polyomial C D (x, y) for a weighted digraph D = (V, E, w) is defied by (6). I the case that D is simple, that is, w(e) = 1 for every e E, the (6) reduces to (5): C D (x, y) = i,j c D (i, j)x i y j, where we recall that c D (i, j) couts the umber of path/cycle covers of D cosistig of i paths ad j cycles. It was show i [5] that for e E, if D \ e deotes the digraph obtaied from the simple digraph D by deletig the edge e, ad D/e deotes the 15

16 correspodig e-cotracted digraph the we have the deletio/cotractio recurreces: (i) If e is a o-loop edge the C D (x, y) = C D\e (x, y) + C D/e (x, y); (ii) If e is a loop the C D (x, y) = C D\e (x, y) + yc D/e (x, y). Also, it is easy to see that C I() = x where I() deotes the -vertex digraph havig o edges. However, these are the same recurreces that B D (x, y) satisfies for simple digraphs D, sice every edge e E has w(e) = 1, so that whe we reduce its weight by 1, it becomes a weight 0 edge, which we kow by Theorem 1 we ca remove. Thus, we have Theorem 4. For simple digraphs D = (V, E), we have B D (x, y) = C D (x, y). Proof. The proof precedes by iductio o the umber of edges usig the reductio/cotractio rule i Theorem 3. We have see that for the base case D = I() with o edges: B I() (x, y) = x = C I() (x, y). Sice B D (x, y) ad C D (x, y) satisfy the same recurreces for reductio ad cotractio, the they are equal for all simple digraphs D. For digraphs with arbitrary edge weights, the deletio/cotractio rules for C D are the followig, where D \ e ad D/e are defied above (see [6]): (i) If e is a o-loop edge the C D (x, y) = C D\e (x, y) + w(e)c D/e (x, y); 16

17 (ii) If e is a loop the C D (x, y) = C D\e (x, y) + y w(e)c D/e (x, y). Thus, the deletio/cotractio recurreces for C D (x, y) ad the reductio/cotractio recurreces for B D (x, y) are quite differet for geeral weighted digraphs. However we have see i Theorem 4 that B D (x, y) ad C D (x, y) are equal whe D is a simple digraph. However, this is ot the oly time they ca be equal. We show a example i Figure 1 for a geeral weighted digraph D havig 2 vertices. A little computatio shows: B D (x, y) = x 2 + ((α + β)y + γ + δ 1)x + αβy 2 + ((1/2)α 2 + (1/2)β 2 + γδ (1/2)α (1/2)β)y + (1/2)γ 2 + (1/2)δ 2 (1/2)γ (1/2)δ, C D (x, y) = x 2 + ((α + β)y + γ + δ 1)x + αβy 2 + γδy. Takig the differece we fid B D (x, y) C D (x, y) = (1/2)((α(α 1) + β(β 1))y + γ(γ 1) + δ(δ 1)). Certaily this differece is 0 if each of α, β, γ ad δ is either 0 or 1. However, it is also 0 whe α = 2/5, β = 6/5, γ = 1/5, δ = 3/5, for example. α γ δ β α δ γ β D M Figure 3: A small geeral weighted digraph D ad its associated matrix M. 7 A reciprocity theorem The goal here is to prove a reciprocity theorem for weighted digraphs. Let J() deote the -by- matrix of all 1 s. 17

18 Theorem 5. For a weighted digraph D o vertices, we have B J() D (x, y) = ( 1) B D ( x y, y). (17) Proof. It follows from the alterative defiitio of B D (x, y) i Theorem 2 that it is a polyomial i x, y ad the weights w(e), e E. Thus, to prove the reciprocity theorem i (17) for geeral digraphs, it suffices to prove it for digraphs havig o-egative iteger weights. This will the imply that (17) holds for arbitrary weights. We will proceed by iductio o the umber of edges i D. The base case for I() holds sice the reciprocity theorem holds for the cover polyomial C D (x, y) for simple digraphs (see [6] for a detailed proof) ad C D (x, y) = B D (x, y) for simple digraphs D as show i Theorem 4. Suppose e = (u, v) is a edge i D. We first cosider the case that e is a o-loop edge. We apply the reductio/cotractio rule with D ad D as give i Theorem 3. B D (x, y) = B D (x, y) + B D (x + w(e) 1, y) = ( 1) B J() D ( x y, y) + ( 1) 1 B J( 1) D ( x y + w(e) 1, y). We ow apply the reductio/cotractio rule (15) for J() D usig the edge e. Note that the e-reductio of J() D is just J() D. Furthermore, the e-cotractio of J() D is J( 1) D. Therefore, B D (x, y) = ( 1) B J() D ( x y, y) + ( 1) 1 B J( 1) D ( x y + w(e) 1, y) ) = ( 1) (B J() D ( x y, y) + B J( 1) D ( x y + w(e) 1, y) + ( 1) 1 B J( 1) D ( x y + w(e) 1, y) = ( 1) B J() D ( x y, y) as desired. For the case that e is a loop, the proof is quite similar ad is omitted. A immediate cosequece of (17) is the followig iterestig idetity: 18

19 Corollary 3. B J() (x, y) = S P P (v) 8 Cocludig remarks ( ) x + S (1 y) S y cyc(s) = (x + y), There are may questios that are suggested by the precedig results. For example, although B D (x, y) ad C D (x, y) are quite differet whe evaluated o geeral weighted digraphs, they agree whe D is simple. Ca those D for which B D (x, y) = C D (x, y) be characterized? The fact that B D (x, y) ad C D (x, y) both satisfy the same reciprocity formula for geeral D (see (7)) suggests that somethig more fudametal is resposible for this behavior. It would be of iterest to uderstad the computatioal complexity of evaluatig B D (x, y). For example, for simple D, the coefficiet of x 0 y 1 term is just the umber of Hamiltoia cycles i D, somethig which is kow to be #P-hard to compute. (This follows from the fact that B D (x, y) = C D (x, y) for simple digraphs D.) How hard is it to evaluate B D (x, y) at specific poits i the (x, y) plae? For example,i the case that D is simple, B D (0, 0) = 0. However, for geeral weighted D, eve the value of B D (0, 0) does ot seem to be easy to compute. For the case of the Tutte polyomial, we metio the followig result of Jaeger, Vertiga ad Welsh [10]: Theorem 6. The problem of evaluatig the Tutte polyomial T G (x, y) of a geeral graph G at a poit (a, b) is #P -hard except whe (a, b) is o the special hyperbola (x 1)(y 1) = 1 or whe (a, b) is oe of the eight special poits (1, 1), ( 1, 1), (0, 1), ( 1, 0), (i, i), ( i, i), (j, j 2 ) ad (j 2, j), where j = e 2πi 3. I each of these exceptioal cases, the evaluatio ca be doe i polyomial time. I the case of the cover polyomial C D (x, y) (see [5]), the situatio is eve worse! I this case, Bläser ad H. Dell [1] have show that it is #P-hard 19

20 to evaluate C D (x, y) for geeral digraphs (with multiple edges ad loops) at a poit (a, b) uless (a, b) is oe of the three special poits (0, 0), (0, 1) ad (1, 1) (ad for these three poits, the computatio ca be doe i polyomial time). Presumably, the same result also may hold whe restricted to simple digraphs D. We poit that the results for weighted digraphs preseted i this paper ca be restated etirely i terms of matrices with etries i some commutative rig R with idetity. For if D = (V, E, w) is our digraph o vertices, the as we have metioed earlier we ca defie a matrix M = M(D) which is idexed by the elemets of V. For u, v V, the (u, v) etry of M is M(u, v) = w(e) if e = (u, v) E, ad is 0 if (u, v) / E. I terms of matrix operatios o the matrix M = M(D), we ca defie the reductio ad cotractio rules i the same way as those for weighted digraphs. The the same reciprocity theorems for digraphs (i.e., (3) ad (17)) apply to the correspodig matrix drop polyomial B M (x, y) as well. I aother directio, it would be quite iterestig to exted may of the kow results for permutatio statistics (e.g., see [13] or [11]) to the case of partial permutatios. Some results i this directio have recetly appeared i [4], for example. However, eve the most basic questios cocerig partial permutatios remai uaswered at preset. For example, suppose we let N (s, c) deote the umber of partial permutatios o [] which have size s ad cotai c cycles. That is, N (s, c) = {S [] : S is a partial permutatio, S = s, cyc(s) = c}. Whe s = the N (, c) is just equal to the familiar (usiged) Stirlig umber [ c] (see [9]). For example, [ 1] = ( 1)! ad [ 2] = ( 1)!( ). However, for 0 < s <, it is ot hard to show that N 1 (s, 0) = ( s) ( 1) s ad N (s, 1) = ( ) s ( 1) s ( ). It is possible s s+1 1 to derive explicit expressios for N (s, 2) ad N (s, 3) but the formulas seem to be gettig icreasigly upleasat! Is there ice way of expressig N (s, k) i geeral? 20

21 Of course, sice there are just ( s) s possible partial permutatios o [] of size s, the 0 c N (s, c) = ( ) s. s However, the followig idetity (equivalet to Corollary 2) seems less obvious. N (s, c)(1 y) s y c =!. s,c If the vertex set V of D is totally ordered, say V = [], we ca defie exc(s), the umber of exceedeces of a partial permutatio S as follows. Namely, defie exc(s) to be the umber of idices i such that σ(i) > i for the associated mappig σ : [] []. From the matrix perspective, this is the umber of etries of S which lie above the diagoal of M. How may partial permutatios S of size k have exc(s) = d? For the usual case of permutatios of [], these umbers are the usual Euleria umbers (see [9]). Of course, the same questios ca be asked whe V is just partially ordered, or more geerally, whe D is a arbitrary simple digraph. There is clearly much more to do. Refereces [1] M. Bläser ad H. Dell, Complexity of the Cover Polyomial, Automata, Laguages ad Programmig, Lecture Notes i Computer Sciece 4596, (2007), [2] J. P. Buhler ad R. L. Graham, A ote o the drop polyomial of a poset, Jour. Combiatorial Th. (A) 66 (1994), [3] J. P. Buhler ad R. L. Graham, Jugglig patters, passig ad posets, Mathematical Advetures for Studets ad Amateurs, MAA (2004),

22 [4] A. Claesso, V. Jelíek, E. Jelíková ad S. Kitaev, Patter avoidace i partial partitios, Electroic Jour. of Combiatorics, 18, o. 2, (2011), #P5. [5] F. R. K. Chug ad R. L. Graham, O the Cover Polyomial of a Digraph, Jour. Combiatorial Th. (B) 65 (1995), [6] F. R. K. Chug ad R. L. Graham, The matrix cover polyomial, Joural of Combiatorics 7 (2016), [7] F. R. K. Chug ad R. L. Graham, The biomial drop polyomial of a digraph, (preprit), fa/wp/diw 2.pdf. [8] O. M. D Atoa ad E. Muarii, The cycle-path idicator polyomial of a digraph, Advaces i Applied Math. 25 (2000), [9] R. L. Graham, D. E. Kuth ad O. Patashik, Cocrete Mathematics, A Foudatio for Computer Sciece, Addiso-Wesley, Bosto, 1994, xiii+657 pp. [10] F. Jaeger, D. L. Vertiga ad D. J. A. Welsh, O the computatioal complexity of the Joes ad Tutte polyomials, Math. Proc. Cambridge Philos. Soc. 108, (1990), [11] A. Medes ad J. Remmel, Coutig with Symmetric Fuctios, Spriger, Heidelberg, 2015, x+292 pp. [12] R. P. Staley, Acyclic orietatios of graphs, Discrete Math. 5 (1973), [13] R. P. Staley, Eumerative Combiatorics. Vol 1, secod editio, Cambridge Studies i Advaced Mathematics, 62 Cambridge Uiv. Press, Cambridge, 2012, xiv+626 pp. 22

23 [14] D. J. A. Welsh, The Tutte polyomial, Radom Structures ad Algorithms, 15, (1999),

n n B. How many subsets of C are there of cardinality n. We are selecting elements for such a

n n B. How many subsets of C are there of cardinality n. We are selecting elements for such a 4. [10] Usig a combiatorial argumet, prove that for 1: = 0 = Let A ad B be disjoit sets of cardiality each ad C = A B. How may subsets of C are there of cardiality. We are selectig elemets for such a subset

More information

1.2 Binomial Coefficients and Subsets

1.2 Binomial Coefficients and Subsets 1.2. BINOMIAL COEFFICIENTS AND SUBSETS 13 1.2 Biomial Coefficiets ad Subsets 1.2-1 The loop below is part of a program to determie the umber of triagles formed by poits i the plae. for i =1 to for j =

More information

On Infinite Groups that are Isomorphic to its Proper Infinite Subgroup. Jaymar Talledo Balihon. Abstract

On Infinite Groups that are Isomorphic to its Proper Infinite Subgroup. Jaymar Talledo Balihon. Abstract O Ifiite Groups that are Isomorphic to its Proper Ifiite Subgroup Jaymar Talledo Baliho Abstract Two groups are isomorphic if there exists a isomorphism betwee them Lagrage Theorem states that the order

More information

Lecture 2: Spectra of Graphs

Lecture 2: Spectra of Graphs Spectral Graph Theory ad Applicatios WS 20/202 Lecture 2: Spectra of Graphs Lecturer: Thomas Sauerwald & He Su Our goal is to use the properties of the adjacecy/laplacia matrix of graphs to first uderstad

More information

Improved Random Graph Isomorphism

Improved Random Graph Isomorphism Improved Radom Graph Isomorphism Tomek Czajka Gopal Paduraga Abstract Caoical labelig of a graph cosists of assigig a uique label to each vertex such that the labels are ivariat uder isomorphism. Such

More information

3. b. Present a combinatorial argument that for all positive integers n : : 2 n

3. b. Present a combinatorial argument that for all positive integers n : : 2 n . b. Preset a combiatorial argumet that for all positive itegers : : Cosider two distict sets A ad B each of size. Sice they are distict, the cardiality of A B is. The umber of ways of choosig a pair of

More information

Big-O Analysis. Asymptotics

Big-O Analysis. Asymptotics Big-O Aalysis 1 Defiitio: Suppose that f() ad g() are oegative fuctios of. The we say that f() is O(g()) provided that there are costats C > 0 ad N > 0 such that for all > N, f() Cg(). Big-O expresses

More information

New Results on Energy of Graphs of Small Order

New Results on Energy of Graphs of Small Order Global Joural of Pure ad Applied Mathematics. ISSN 0973-1768 Volume 13, Number 7 (2017), pp. 2837-2848 Research Idia Publicatios http://www.ripublicatio.com New Results o Eergy of Graphs of Small Order

More information

Combination Labelings Of Graphs

Combination Labelings Of Graphs Applied Mathematics E-Notes, (0), - c ISSN 0-0 Available free at mirror sites of http://wwwmaththuedutw/ame/ Combiatio Labeligs Of Graphs Pak Chig Li y Received February 0 Abstract Suppose G = (V; E) is

More information

Protected points in ordered trees

Protected points in ordered trees Applied Mathematics Letters 008 56 50 www.elsevier.com/locate/aml Protected poits i ordered trees Gi-Sag Cheo a, Louis W. Shapiro b, a Departmet of Mathematics, Sugkyukwa Uiversity, Suwo 440-746, Republic

More information

1 Graph Sparsfication

1 Graph Sparsfication CME 305: Discrete Mathematics ad Algorithms 1 Graph Sparsficatio I this sectio we discuss the approximatio of a graph G(V, E) by a sparse graph H(V, F ) o the same vertex set. I particular, we cosider

More information

Lecture 1: Introduction and Strassen s Algorithm

Lecture 1: Introduction and Strassen s Algorithm 5-750: Graduate Algorithms Jauary 7, 08 Lecture : Itroductio ad Strasse s Algorithm Lecturer: Gary Miller Scribe: Robert Parker Itroductio Machie models I this class, we will primarily use the Radom Access

More information

CHAPTER IV: GRAPH THEORY. Section 1: Introduction to Graphs

CHAPTER IV: GRAPH THEORY. Section 1: Introduction to Graphs CHAPTER IV: GRAPH THEORY Sectio : Itroductio to Graphs Sice this class is called Number-Theoretic ad Discrete Structures, it would be a crime to oly focus o umber theory regardless how woderful those topics

More information

Some cycle and path related strongly -graphs

Some cycle and path related strongly -graphs Some cycle ad path related strogly -graphs I. I. Jadav, G. V. Ghodasara Research Scholar, R. K. Uiversity, Rajkot, Idia. H. & H. B. Kotak Istitute of Sciece,Rajkot, Idia. jadaviram@gmail.com gaurag ejoy@yahoo.co.i

More information

CIS 121 Data Structures and Algorithms with Java Fall Big-Oh Notation Tuesday, September 5 (Make-up Friday, September 8)

CIS 121 Data Structures and Algorithms with Java Fall Big-Oh Notation Tuesday, September 5 (Make-up Friday, September 8) CIS 11 Data Structures ad Algorithms with Java Fall 017 Big-Oh Notatio Tuesday, September 5 (Make-up Friday, September 8) Learig Goals Review Big-Oh ad lear big/small omega/theta otatios Practice solvig

More information

On (K t e)-saturated Graphs

On (K t e)-saturated Graphs Noame mauscript No. (will be iserted by the editor O (K t e-saturated Graphs Jessica Fuller Roald J. Gould the date of receipt ad acceptace should be iserted later Abstract Give a graph H, we say a graph

More information

Counting the Number of Minimum Roman Dominating Functions of a Graph

Counting the Number of Minimum Roman Dominating Functions of a Graph Coutig the Number of Miimum Roma Domiatig Fuctios of a Graph SHI ZHENG ad KOH KHEE MENG, Natioal Uiversity of Sigapore We provide two algorithms coutig the umber of miimum Roma domiatig fuctios of a graph

More information

Chapter 9. Pointers and Dynamic Arrays. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Chapter 9. Pointers and Dynamic Arrays. Copyright 2015 Pearson Education, Ltd.. All rights reserved. Chapter 9 Poiters ad Dyamic Arrays Copyright 2015 Pearso Educatio, Ltd.. All rights reserved. Overview 9.1 Poiters 9.2 Dyamic Arrays Copyright 2015 Pearso Educatio, Ltd.. All rights reserved. Slide 9-3

More information

Big-O Analysis. Asymptotics

Big-O Analysis. Asymptotics Big-O Aalysis 1 Defiitio: Suppose that f() ad g() are oegative fuctios of. The we say that f() is O(g()) provided that there are costats C > 0 ad N > 0 such that for all > N, f() Cg(). Big-O expresses

More information

Counting Regions in the Plane and More 1

Counting Regions in the Plane and More 1 Coutig Regios i the Plae ad More 1 by Zvezdelia Stakova Berkeley Math Circle Itermediate I Group September 016 1. Overarchig Problem Problem 1 Regios i a Circle. The vertices of a polygos are arraged o

More information

Ones Assignment Method for Solving Traveling Salesman Problem

Ones Assignment Method for Solving Traveling Salesman Problem Joural of mathematics ad computer sciece 0 (0), 58-65 Oes Assigmet Method for Solvig Travelig Salesma Problem Hadi Basirzadeh Departmet of Mathematics, Shahid Chamra Uiversity, Ahvaz, Ira Article history:

More information

Chapter 3 Classification of FFT Processor Algorithms

Chapter 3 Classification of FFT Processor Algorithms Chapter Classificatio of FFT Processor Algorithms The computatioal complexity of the Discrete Fourier trasform (DFT) is very high. It requires () 2 complex multiplicatios ad () complex additios [5]. As

More information

Module 8-7: Pascal s Triangle and the Binomial Theorem

Module 8-7: Pascal s Triangle and the Binomial Theorem Module 8-7: Pascal s Triagle ad the Biomial Theorem Gregory V. Bard April 5, 017 A Note about Notatio Just to recall, all of the followig mea the same thig: ( 7 7C 4 C4 7 7C4 5 4 ad they are (all proouced

More information

UNIT 1 RECURRENCE RELATIONS

UNIT 1 RECURRENCE RELATIONS UNIT RECURRENCE RELATIONS Structure Page No.. Itroductio 7. Objectives 7. Three Recurret Problems 8.3 More Recurreces.4 Defiitios 4.5 Divide ad Coquer 7.6 Summary 9.7 Solutios/Aswers. INTRODUCTION I the

More information

Python Programming: An Introduction to Computer Science

Python Programming: An Introduction to Computer Science Pytho Programmig: A Itroductio to Computer Sciece Chapter 6 Defiig Fuctios Pytho Programmig, 2/e 1 Objectives To uderstad why programmers divide programs up ito sets of cooperatig fuctios. To be able to

More information

CSC165H1 Worksheet: Tutorial 8 Algorithm analysis (SOLUTIONS)

CSC165H1 Worksheet: Tutorial 8 Algorithm analysis (SOLUTIONS) CSC165H1, Witer 018 Learig Objectives By the ed of this worksheet, you will: Aalyse the ruig time of fuctios cotaiig ested loops. 1. Nested loop variatios. Each of the followig fuctios takes as iput a

More information

INTERSECTION CORDIAL LABELING OF GRAPHS

INTERSECTION CORDIAL LABELING OF GRAPHS INTERSECTION CORDIAL LABELING OF GRAPHS G Meea, K Nagaraja Departmet of Mathematics, PSR Egieerig College, Sivakasi- 66 4, Virudhuagar(Dist) Tamil Nadu, INDIA meeag9@yahoocoi Departmet of Mathematics,

More information

The isoperimetric problem on the hypercube

The isoperimetric problem on the hypercube The isoperimetric problem o the hypercube Prepared by: Steve Butler November 2, 2005 1 The isoperimetric problem We will cosider the -dimesioal hypercube Q Recall that the hypercube Q is a graph whose

More information

Name of the Student: Unit I (Logic and Proofs) 1) Truth Table: Conjunction Disjunction Conditional Biconditional

Name of the Student: Unit I (Logic and Proofs) 1) Truth Table: Conjunction Disjunction Conditional Biconditional SUBJECT NAME : Discrete Mathematics SUBJECT CODE : MA 2265 MATERIAL NAME : Formula Material MATERIAL CODE : JM08ADM009 (Sca the above QR code for the direct dowload of this material) Name of the Studet:

More information

9.1. Sequences and Series. Sequences. What you should learn. Why you should learn it. Definition of Sequence

9.1. Sequences and Series. Sequences. What you should learn. Why you should learn it. Definition of Sequence _9.qxd // : AM Page Chapter 9 Sequeces, Series, ad Probability 9. Sequeces ad Series What you should lear Use sequece otatio to write the terms of sequeces. Use factorial otatio. Use summatio otatio to

More information

The Closest Line to a Data Set in the Plane. David Gurney Southeastern Louisiana University Hammond, Louisiana

The Closest Line to a Data Set in the Plane. David Gurney Southeastern Louisiana University Hammond, Louisiana The Closest Lie to a Data Set i the Plae David Gurey Southeaster Louisiaa Uiversity Hammod, Louisiaa ABSTRACT This paper looks at three differet measures of distace betwee a lie ad a data set i the plae:

More information

How do we evaluate algorithms?

How do we evaluate algorithms? F2 Readig referece: chapter 2 + slides Algorithm complexity Big O ad big Ω To calculate ruig time Aalysis of recursive Algorithms Next time: Litterature: slides mostly The first Algorithm desig methods:

More information

Assignment 5; Due Friday, February 10

Assignment 5; Due Friday, February 10 Assigmet 5; Due Friday, February 10 17.9b The set X is just two circles joied at a poit, ad the set X is a grid i the plae, without the iteriors of the small squares. The picture below shows that the iteriors

More information

Matrix Partitions of Split Graphs

Matrix Partitions of Split Graphs Matrix Partitios of Split Graphs Tomás Feder, Pavol Hell, Ore Shklarsky Abstract arxiv:1306.1967v2 [cs.dm] 20 Ju 2013 Matrix partitio problems geeralize a umber of atural graph partitio problems, ad have

More information

5.3 Recursive definitions and structural induction

5.3 Recursive definitions and structural induction /8/05 5.3 Recursive defiitios ad structural iductio CSE03 Discrete Computatioal Structures Lecture 6 A recursively defied picture Recursive defiitios e sequece of powers of is give by a = for =0,,, Ca

More information

Lecture 6. Lecturer: Ronitt Rubinfeld Scribes: Chen Ziv, Eliav Buchnik, Ophir Arie, Jonathan Gradstein

Lecture 6. Lecturer: Ronitt Rubinfeld Scribes: Chen Ziv, Eliav Buchnik, Ophir Arie, Jonathan Gradstein 068.670 Subliear Time Algorithms November, 0 Lecture 6 Lecturer: Roitt Rubifeld Scribes: Che Ziv, Eliav Buchik, Ophir Arie, Joatha Gradstei Lesso overview. Usig the oracle reductio framework for approximatig

More information

The Adjacency Matrix and The nth Eigenvalue

The Adjacency Matrix and The nth Eigenvalue Spectral Graph Theory Lecture 3 The Adjacecy Matrix ad The th Eigevalue Daiel A. Spielma September 5, 2012 3.1 About these otes These otes are ot ecessarily a accurate represetatio of what happeed i class.

More information

The Magma Database file formats

The Magma Database file formats The Magma Database file formats Adrew Gaylard, Bret Pikey, ad Mart-Mari Breedt Johaesburg, South Africa 15th May 2006 1 Summary Magma is a ope-source object database created by Chris Muller, of Kasas City,

More information

Evaluation scheme for Tracking in AMI

Evaluation scheme for Tracking in AMI A M I C o m m u i c a t i o A U G M E N T E D M U L T I - P A R T Y I N T E R A C T I O N http://www.amiproject.org/ Evaluatio scheme for Trackig i AMI S. Schreiber a D. Gatica-Perez b AMI WP4 Trackig:

More information

Visualization of Gauss-Bonnet Theorem

Visualization of Gauss-Bonnet Theorem Visualizatio of Gauss-Boet Theorem Yoichi Maeda maeda@keyaki.cc.u-tokai.ac.jp Departmet of Mathematics Tokai Uiversity Japa Abstract: The sum of exteral agles of a polygo is always costat, π. There are

More information

Lecture 5. Counting Sort / Radix Sort

Lecture 5. Counting Sort / Radix Sort Lecture 5. Coutig Sort / Radix Sort T. H. Corme, C. E. Leiserso ad R. L. Rivest Itroductio to Algorithms, 3rd Editio, MIT Press, 2009 Sugkyukwa Uiversity Hyuseug Choo choo@skku.edu Copyright 2000-2018

More information

Appendix D. Controller Implementation

Appendix D. Controller Implementation COMPUTER ORGANIZATION AND DESIGN The Hardware/Software Iterface 5 th Editio Appedix D Cotroller Implemetatio Cotroller Implemetatios Combiatioal logic (sigle-cycle); Fiite state machie (multi-cycle, pipelied);

More information

The Platonic solids The five regular polyhedra

The Platonic solids The five regular polyhedra The Platoic solids The five regular polyhedra Ole Witt-Hase jauary 7 www.olewitthase.dk Cotets. Polygos.... Topologically cosideratios.... Euler s polyhedro theorem.... Regular ets o a sphere.... The dihedral

More information

Analysis Metrics. Intro to Algorithm Analysis. Slides. 12. Alg Analysis. 12. Alg Analysis

Analysis Metrics. Intro to Algorithm Analysis. Slides. 12. Alg Analysis. 12. Alg Analysis Itro to Algorithm Aalysis Aalysis Metrics Slides. Table of Cotets. Aalysis Metrics 3. Exact Aalysis Rules 4. Simple Summatio 5. Summatio Formulas 6. Order of Magitude 7. Big-O otatio 8. Big-O Theorems

More information

MAXIMUM MATCHINGS IN COMPLETE MULTIPARTITE GRAPHS

MAXIMUM MATCHINGS IN COMPLETE MULTIPARTITE GRAPHS Fura Uiversity Electroic Joural of Udergraduate Matheatics Volue 00, 1996 6-16 MAXIMUM MATCHINGS IN COMPLETE MULTIPARTITE GRAPHS DAVID SITTON Abstract. How ay edges ca there be i a axiu atchig i a coplete

More information

Elementary Educational Computer

Elementary Educational Computer Chapter 5 Elemetary Educatioal Computer. Geeral structure of the Elemetary Educatioal Computer (EEC) The EEC coforms to the 5 uits structure defied by vo Neuma's model (.) All uits are preseted i a simplified

More information

Sorting in Linear Time. Data Structures and Algorithms Andrei Bulatov

Sorting in Linear Time. Data Structures and Algorithms Andrei Bulatov Sortig i Liear Time Data Structures ad Algorithms Adrei Bulatov Algorithms Sortig i Liear Time 7-2 Compariso Sorts The oly test that all the algorithms we have cosidered so far is compariso The oly iformatio

More information

PLEASURE TEST SERIES (XI) - 04 By O.P. Gupta (For stuffs on Math, click at theopgupta.com)

PLEASURE TEST SERIES (XI) - 04 By O.P. Gupta (For stuffs on Math, click at theopgupta.com) wwwtheopguptacom wwwimathematiciacom For all the Math-Gya Buy books by OP Gupta A Compilatio By : OP Gupta (WhatsApp @ +9-9650 350 0) For more stuffs o Maths, please visit : wwwtheopguptacom Time Allowed

More information

Polynomial Functions and Models. Learning Objectives. Polynomials. P (x) = a n x n + a n 1 x n a 1 x + a 0, a n 0

Polynomial Functions and Models. Learning Objectives. Polynomials. P (x) = a n x n + a n 1 x n a 1 x + a 0, a n 0 Polyomial Fuctios ad Models 1 Learig Objectives 1. Idetify polyomial fuctios ad their degree 2. Graph polyomial fuctios usig trasformatios 3. Idetify the real zeros of a polyomial fuctio ad their multiplicity

More information

A New Morphological 3D Shape Decomposition: Grayscale Interframe Interpolation Method

A New Morphological 3D Shape Decomposition: Grayscale Interframe Interpolation Method A ew Morphological 3D Shape Decompositio: Grayscale Iterframe Iterpolatio Method D.. Vizireau Politehica Uiversity Bucharest, Romaia ae@comm.pub.ro R. M. Udrea Politehica Uiversity Bucharest, Romaia mihea@comm.pub.ro

More information

6.854J / J Advanced Algorithms Fall 2008

6.854J / J Advanced Algorithms Fall 2008 MIT OpeCourseWare http://ocw.mit.edu 6.854J / 18.415J Advaced Algorithms Fall 2008 For iformatio about citig these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.415/6.854 Advaced Algorithms

More information

EE123 Digital Signal Processing

EE123 Digital Signal Processing Last Time EE Digital Sigal Processig Lecture 7 Block Covolutio, Overlap ad Add, FFT Discrete Fourier Trasform Properties of the Liear covolutio through circular Today Liear covolutio with Overlap ad add

More information

Xiaozhou (Steve) Li, Atri Rudra, Ram Swaminathan. HP Laboratories HPL Keyword(s): graph coloring; hardness of approximation

Xiaozhou (Steve) Li, Atri Rudra, Ram Swaminathan. HP Laboratories HPL Keyword(s): graph coloring; hardness of approximation Flexible Colorig Xiaozhou (Steve) Li, Atri Rudra, Ram Swamiatha HP Laboratories HPL-2010-177 Keyword(s): graph colorig; hardess of approximatio Abstract: Motivated b y reliability cosideratios i data deduplicatio

More information

Alpha Individual Solutions MAΘ National Convention 2013

Alpha Individual Solutions MAΘ National Convention 2013 Alpha Idividual Solutios MAΘ Natioal Covetio 0 Aswers:. D. A. C 4. D 5. C 6. B 7. A 8. C 9. D 0. B. B. A. D 4. C 5. A 6. C 7. B 8. A 9. A 0. C. E. B. D 4. C 5. A 6. D 7. B 8. C 9. D 0. B TB. 570 TB. 5

More information

Octahedral Graph Scaling

Octahedral Graph Scaling Octahedral Graph Scalig Peter Russell Jauary 1, 2015 Abstract There is presetly o strog iterpretatio for the otio of -vertex graph scalig. This paper presets a ew defiitio for the term i the cotext of

More information

condition w i B i S maximum u i

condition w i B i S maximum u i ecture 10 Dyamic Programmig 10.1 Kapsack Problem November 1, 2004 ecturer: Kamal Jai Notes: Tobias Holgers We are give a set of items U = {a 1, a 2,..., a }. Each item has a weight w i Z + ad a utility

More information

Mathematical Stat I: solutions of homework 1

Mathematical Stat I: solutions of homework 1 Mathematical Stat I: solutios of homework Name: Studet Id N:. Suppose we tur over cards simultaeously from two well shuffled decks of ordiary playig cards. We say we obtai a exact match o a particular

More information

University of Waterloo Department of Electrical and Computer Engineering ECE 250 Algorithms and Data Structures

University of Waterloo Department of Electrical and Computer Engineering ECE 250 Algorithms and Data Structures Uiversity of Waterloo Departmet of Electrical ad Computer Egieerig ECE 250 Algorithms ad Data Structures Midterm Examiatio ( pages) Istructor: Douglas Harder February 7, 2004 7:30-9:00 Name (last, first)

More information

Some New Results on Prime Graphs

Some New Results on Prime Graphs Ope Joural of Discrete Mathematics, 202, 2, 99-04 http://dxdoiorg/0426/ojdm202209 Published Olie July 202 (http://wwwscirporg/joural/ojdm) Some New Results o Prime Graphs Samir Vaidya, Udaya M Prajapati

More information

Sum-connectivity indices of trees and unicyclic graphs of fixed maximum degree

Sum-connectivity indices of trees and unicyclic graphs of fixed maximum degree 1 Sum-coectivity idices of trees ad uicyclic graphs of fixed maximum degree Zhibi Du a, Bo Zhou a *, Nead Triajstić b a Departmet of Mathematics, South Chia Normal Uiversity, uagzhou 510631, Chia email:

More information

Chapter 11. Friends, Overloaded Operators, and Arrays in Classes. Copyright 2014 Pearson Addison-Wesley. All rights reserved.

Chapter 11. Friends, Overloaded Operators, and Arrays in Classes. Copyright 2014 Pearson Addison-Wesley. All rights reserved. Chapter 11 Frieds, Overloaded Operators, ad Arrays i Classes Copyright 2014 Pearso Addiso-Wesley. All rights reserved. Overview 11.1 Fried Fuctios 11.2 Overloadig Operators 11.3 Arrays ad Classes 11.4

More information

c-dominating Sets for Families of Graphs

c-dominating Sets for Families of Graphs c-domiatig Sets for Families of Graphs Kelsie Syder Mathematics Uiversity of Mary Washigto April 6, 011 1 Abstract The topic of domiatio i graphs has a rich history, begiig with chess ethusiasts i the

More information

Perhaps the method will give that for every e > U f() > p - 3/+e There is o o-trivial upper boud for f() ad ot eve f() < Z - e. seems to be kow, where

Perhaps the method will give that for every e > U f() > p - 3/+e There is o o-trivial upper boud for f() ad ot eve f() < Z - e. seems to be kow, where ON MAXIMUM CHORDAL SUBGRAPH * Paul Erdos Mathematical Istitute of the Hugaria Academy of Scieces ad Reu Laskar Clemso Uiversity 1. Let G() deote a udirected graph, with vertices ad V(G) deote the vertex

More information

BOOLEAN MATHEMATICS: GENERAL THEORY

BOOLEAN MATHEMATICS: GENERAL THEORY CHAPTER 3 BOOLEAN MATHEMATICS: GENERAL THEORY 3.1 ISOMORPHIC PROPERTIES The ame Boolea Arithmetic was chose because it was discovered that literal Boolea Algebra could have a isomorphic umerical aspect.

More information

Chapter 10. Defining Classes. Copyright 2015 Pearson Education, Ltd.. All rights reserved.

Chapter 10. Defining Classes. Copyright 2015 Pearson Education, Ltd.. All rights reserved. Chapter 10 Defiig Classes Copyright 2015 Pearso Educatio, Ltd.. All rights reserved. Overview 10.1 Structures 10.2 Classes 10.3 Abstract Data Types 10.4 Itroductio to Iheritace Copyright 2015 Pearso Educatio,

More information

On Spectral Theory Of K-n- Arithmetic Mean Idempotent Matrices On Posets

On Spectral Theory Of K-n- Arithmetic Mean Idempotent Matrices On Posets Iteratioal Joural of Sciece, Egieerig ad echology Research (IJSER), Volume 5, Issue, February 016 O Spectral heory Of -- Arithmetic Mea Idempotet Matrices O Posets 1 Dr N Elumalai, ProfRMaikada, 3 Sythiya

More information

A Note on Chromatic Transversal Weak Domination in Graphs

A Note on Chromatic Transversal Weak Domination in Graphs Iteratioal Joural of Mathematics Treds ad Techology Volume 17 Number 2 Ja 2015 A Note o Chromatic Trasversal Weak Domiatio i Graphs S Balamuruga 1, P Selvalakshmi 2 ad A Arivalaga 1 Assistat Professor,

More information

A study on Interior Domination in Graphs

A study on Interior Domination in Graphs IOSR Joural of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 219-765X. Volume 12, Issue 2 Ver. VI (Mar. - Apr. 2016), PP 55-59 www.iosrjourals.org A study o Iterior Domiatio i Graphs A. Ato Kisley 1,

More information

. Written in factored form it is easy to see that the roots are 2, 2, i,

. Written in factored form it is easy to see that the roots are 2, 2, i, CMPS A Itroductio to Programmig Programmig Assigmet 4 I this assigmet you will write a java program that determies the real roots of a polyomial that lie withi a specified rage. Recall that the roots (or

More information

Lecturers: Sanjam Garg and Prasad Raghavendra Feb 21, Midterm 1 Solutions

Lecturers: Sanjam Garg and Prasad Raghavendra Feb 21, Midterm 1 Solutions U.C. Berkeley CS170 : Algorithms Midterm 1 Solutios Lecturers: Sajam Garg ad Prasad Raghavedra Feb 1, 017 Midterm 1 Solutios 1. (4 poits) For the directed graph below, fid all the strogly coected compoets

More information

Characterizing graphs of maximum principal ratio

Characterizing graphs of maximum principal ratio Characterizig graphs of maximum pricipal ratio Michael Tait ad Josh Tobi November 9, 05 Abstract The pricipal ratio of a coected graph, deoted γg, is the ratio of the maximum ad miimum etries of its first

More information

Super Vertex Magic and E-Super Vertex Magic. Total Labelling

Super Vertex Magic and E-Super Vertex Magic. Total Labelling Proceedigs of the Iteratioal Coferece o Applied Mathematics ad Theoretical Computer Sciece - 03 6 Super Vertex Magic ad E-Super Vertex Magic Total Labellig C.J. Deei ad D. Atoy Xavier Abstract--- For a

More information

Matrix representation of a solution of a combinatorial problem of the group theory

Matrix representation of a solution of a combinatorial problem of the group theory Matrix represetatio of a solutio of a combiatorial problem of the group theory Krasimir Yordzhev, Lilyaa Totia Faculty of Mathematics ad Natural Scieces South-West Uiversity 66 Iva Mihailov Str, 2700 Blagoevgrad,

More information

Bezier curves. Figure 2 shows cubic Bezier curves for various control points. In a Bezier curve, only

Bezier curves. Figure 2 shows cubic Bezier curves for various control points. In a Bezier curve, only Edited: Yeh-Liag Hsu (998--; recommeded: Yeh-Liag Hsu (--9; last updated: Yeh-Liag Hsu (9--7. Note: This is the course material for ME55 Geometric modelig ad computer graphics, Yua Ze Uiversity. art of

More information

Symmetric Class 0 subgraphs of complete graphs

Symmetric Class 0 subgraphs of complete graphs DIMACS Techical Report 0-0 November 0 Symmetric Class 0 subgraphs of complete graphs Vi de Silva Departmet of Mathematics Pomoa College Claremot, CA, USA Chaig Verbec, Jr. Becer Friedma Istitute Booth

More information

Numerical Methods Lecture 6 - Curve Fitting Techniques

Numerical Methods Lecture 6 - Curve Fitting Techniques Numerical Methods Lecture 6 - Curve Fittig Techiques Topics motivatio iterpolatio liear regressio higher order polyomial form expoetial form Curve fittig - motivatio For root fidig, we used a give fuctio

More information

A Comparative Study of Positive and Negative Factorials

A Comparative Study of Positive and Negative Factorials A Comparative Study of Positive ad Negative Factorials A. M. Ibrahim, A. E. Ezugwu, M. Isa Departmet of Mathematics, Ahmadu Bello Uiversity, Zaria Abstract. This paper preset a comparative study of the

More information

Strong Complementary Acyclic Domination of a Graph

Strong Complementary Acyclic Domination of a Graph Aals of Pure ad Applied Mathematics Vol 8, No, 04, 83-89 ISSN: 79-087X (P), 79-0888(olie) Published o 7 December 04 wwwresearchmathsciorg Aals of Strog Complemetary Acyclic Domiatio of a Graph NSaradha

More information

Relationship between augmented eccentric connectivity index and some other graph invariants

Relationship between augmented eccentric connectivity index and some other graph invariants Iteratioal Joural of Advaced Mathematical Scieces, () (03) 6-3 Sciece Publishig Corporatio wwwsciecepubcocom/idexphp/ijams Relatioship betwee augmeted eccetric coectivity idex ad some other graph ivariats

More information

Lower Bounds for Sorting

Lower Bounds for Sorting Liear Sortig Topics Covered: Lower Bouds for Sortig Coutig Sort Radix Sort Bucket Sort Lower Bouds for Sortig Compariso vs. o-compariso sortig Decisio tree model Worst case lower boud Compariso Sortig

More information

BASED ON ITERATIVE ERROR-CORRECTION

BASED ON ITERATIVE ERROR-CORRECTION A COHPARISO OF CRYPTAALYTIC PRICIPLES BASED O ITERATIVE ERROR-CORRECTIO Miodrag J. MihaljeviC ad Jova Dj. GoliC Istitute of Applied Mathematics ad Electroics. Belgrade School of Electrical Egieerig. Uiversity

More information

THE COMPETITION NUMBERS OF JOHNSON GRAPHS

THE COMPETITION NUMBERS OF JOHNSON GRAPHS Discussioes Mathematicae Graph Theory 30 (2010 ) 449 459 THE COMPETITION NUMBERS OF JOHNSON GRAPHS Suh-Ryug Kim, Boram Park Departmet of Mathematics Educatio Seoul Natioal Uiversity, Seoul 151 742, Korea

More information

Python Programming: An Introduction to Computer Science

Python Programming: An Introduction to Computer Science Pytho Programmig: A Itroductio to Computer Sciece Chapter 1 Computers ad Programs 1 Objectives To uderstad the respective roles of hardware ad software i a computig system. To lear what computer scietists

More information

Some non-existence results on Leech trees

Some non-existence results on Leech trees Some o-existece results o Leech trees László A.Székely Hua Wag Yog Zhag Uiversity of South Carolia This paper is dedicated to the memory of Domiique de Cae, who itroduced LAS to Leech trees.. Abstract

More information

Compactness of Fuzzy Sets

Compactness of Fuzzy Sets Compactess of uzzy Sets Amai E. Kadhm Departmet of Egieerig Programs, Uiversity College of Madeat Al-Elem, Baghdad, Iraq. Abstract The objective of this paper is to study the compactess of fuzzy sets i

More information

Pattern Recognition Systems Lab 1 Least Mean Squares

Pattern Recognition Systems Lab 1 Least Mean Squares Patter Recogitio Systems Lab 1 Least Mea Squares 1. Objectives This laboratory work itroduces the OpeCV-based framework used throughout the course. I this assigmet a lie is fitted to a set of poits usig

More information

RTG Mini-Course Perspectives in Geometry Series

RTG Mini-Course Perspectives in Geometry Series RTG Mii-Course Perspectives i Geometry Series Jacob Lurie Lecture III: The Cobordism Hypothesis (1/27/2009) A quick review of ideas from previous lectures: The origial defiitio of a -dimesioal tqft provided

More information

CS200: Hash Tables. Prichard Ch CS200 - Hash Tables 1

CS200: Hash Tables. Prichard Ch CS200 - Hash Tables 1 CS200: Hash Tables Prichard Ch. 13.2 CS200 - Hash Tables 1 Table Implemetatios: average cases Search Add Remove Sorted array-based Usorted array-based Balaced Search Trees O(log ) O() O() O() O(1) O()

More information

Random Graphs and Complex Networks T

Random Graphs and Complex Networks T Radom Graphs ad Complex Networks T-79.7003 Charalampos E. Tsourakakis Aalto Uiversity Lecture 3 7 September 013 Aoucemet Homework 1 is out, due i two weeks from ow. Exercises: Probabilistic iequalities

More information

Theory of Fuzzy Soft Matrix and its Multi Criteria in Decision Making Based on Three Basic t-norm Operators

Theory of Fuzzy Soft Matrix and its Multi Criteria in Decision Making Based on Three Basic t-norm Operators Theory of Fuzzy Soft Matrix ad its Multi Criteria i Decisio Makig Based o Three Basic t-norm Operators Md. Jalilul Islam Modal 1, Dr. Tapa Kumar Roy 2 Research Scholar, Dept. of Mathematics, BESUS, Howrah-711103,

More information

ON A GENERALIZED EULERIAN DISTRIBUTION

ON A GENERALIZED EULERIAN DISTRIBUTION A. Ist. Statist. Math. Vol. 43, No. 1, 197-206 (1991) ON A GENERALIZED EULERIAN DISTRIBUTION CH. A. CHARALAMBIDES Statistical Uit, Uiversity of Athes, Paepisteraiopolis, Athes 157 84, Greece (Received

More information

Improving Information Retrieval System Security via an Optimal Maximal Coding Scheme

Improving Information Retrieval System Security via an Optimal Maximal Coding Scheme Improvig Iformatio Retrieval System Security via a Optimal Maximal Codig Scheme Dogyag Log Departmet of Computer Sciece, City Uiversity of Hog Kog, 8 Tat Chee Aveue Kowloo, Hog Kog SAR, PRC dylog@cs.cityu.edu.hk

More information

A New Bit Wise Technique for 3-Partitioning Algorithm

A New Bit Wise Technique for 3-Partitioning Algorithm Special Issue of Iteratioal Joural of Computer Applicatios (0975 8887) o Optimizatio ad O-chip Commuicatio, No.1. Feb.2012, ww.ijcaolie.org A New Bit Wise Techique for 3-Partitioig Algorithm Rajumar Jai

More information

South Slave Divisional Education Council. Math 10C

South Slave Divisional Education Council. Math 10C South Slave Divisioal Educatio Coucil Math 10C Curriculum Package February 2012 12 Strad: Measuremet Geeral Outcome: Develop spatial sese ad proportioal reasoig It is expected that studets will: 1. Solve

More information

MATHEMATICAL METHODS OF ANALYSIS AND EXPERIMENTAL DATA PROCESSING (Or Methods of Curve Fitting)

MATHEMATICAL METHODS OF ANALYSIS AND EXPERIMENTAL DATA PROCESSING (Or Methods of Curve Fitting) MATHEMATICAL METHODS OF ANALYSIS AND EXPERIMENTAL DATA PROCESSING (Or Methods of Curve Fittig) I this chapter, we will eamie some methods of aalysis ad data processig; data obtaied as a result of a give

More information

ABOUT A CONSTRUCTION PROBLEM

ABOUT A CONSTRUCTION PROBLEM INTERNATIONAL JOURNAL OF GEOMETRY Vol 3 (014), No, 14 19 ABOUT A CONSTRUCTION PROBLEM OVIDIU T POP ad SÁNDOR N KISS Abstract I this paper, we study the costructio of a polygo if we kow the midpoits of

More information

Math 10C Long Range Plans

Math 10C Long Range Plans Math 10C Log Rage Plas Uits: Evaluatio: Homework, projects ad assigmets 10% Uit Tests. 70% Fial Examiatio.. 20% Ay Uit Test may be rewritte for a higher mark. If the retest mark is higher, that mark will

More information

Pseudocode ( 1.1) Analysis of Algorithms. Primitive Operations. Pseudocode Details. Running Time ( 1.1) Estimating performance

Pseudocode ( 1.1) Analysis of Algorithms. Primitive Operations. Pseudocode Details. Running Time ( 1.1) Estimating performance Aalysis of Algorithms Iput Algorithm Output A algorithm is a step-by-step procedure for solvig a problem i a fiite amout of time. Pseudocode ( 1.1) High-level descriptio of a algorithm More structured

More information

Mean cordiality of some snake graphs

Mean cordiality of some snake graphs Palestie Joural of Mathematics Vol. 4() (015), 49 445 Palestie Polytechic Uiversity-PPU 015 Mea cordiality of some sake graphs R. Poraj ad S. Sathish Narayaa Commuicated by Ayma Badawi MSC 010 Classificatios:

More information

On Alliance Partitions and Bisection Width for Planar Graphs

On Alliance Partitions and Bisection Width for Planar Graphs Joural of Graph Algorithms ad Applicatios http://jgaa.ifo/ vol. 17, o. 6, pp. 599 614 (013) DOI: 10.7155/jgaa.00307 O Alliace Partitios ad Bisectio Width for Plaar Graphs Marti Olse 1 Morte Revsbæk 1 AU

More information