The digraph drop polynomial
|
|
- Gabriel Cunningham
- 5 years ago
- Views:
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
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 information1.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 informationOn 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 informationLecture 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 informationImproved 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 information3. 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 informationBig-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 informationNew 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 informationCombination 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 informationProtected 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 information1 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 informationLecture 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 informationCHAPTER 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 informationSome 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 informationCIS 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 informationOn (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 informationCounting 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 informationChapter 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 informationBig-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 informationCounting 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 informationOnes 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 informationChapter 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 informationModule 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 informationUNIT 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 informationPython 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 informationCSC165H1 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 informationINTERSECTION 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 informationThe 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 informationName 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 information9.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 informationThe 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 informationHow 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 informationAssignment 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 informationMatrix 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 information5.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 informationLecture 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 informationThe 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 informationThe 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 informationEvaluation 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 informationVisualization 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 informationLecture 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 informationAppendix 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 informationThe 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 informationAnalysis 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 informationMAXIMUM 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 informationElementary 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 informationSorting 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 informationPLEASURE 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 informationPolynomial 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 informationA 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 information6.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 informationEE123 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 informationXiaozhou (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 informationAlpha 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 informationOctahedral 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 informationcondition 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 informationMathematical 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 informationUniversity 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 informationSome 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 informationSum-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 informationChapter 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 informationc-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 informationPerhaps 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 informationBOOLEAN 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 informationChapter 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 informationOn 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 informationA 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 informationA 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,
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 informationLecturers: 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 informationCharacterizing 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 informationSuper 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 informationMatrix 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 informationBezier 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 informationSymmetric 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 informationNumerical 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 informationA 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 informationStrong 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 informationRelationship 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 informationLower 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 informationBASED 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 informationTHE 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 informationPython 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 informationSome 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 informationCompactness 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 informationPattern 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 informationRTG 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 informationCS200: 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 informationRandom 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 informationTheory 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 informationON 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 informationImproving 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 informationA 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 informationSouth 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 informationMATHEMATICAL 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 informationABOUT 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 informationMath 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 informationPseudocode ( 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 informationMean 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 informationOn 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