Figure 1: A cycle's covering. Figure : Two dierent coverings for the same graph. A lot of properties can be easily proved on coverings. Co

Size: px
Start display at page:

Download "Figure 1: A cycle's covering. Figure : Two dierent coverings for the same graph. A lot of properties can be easily proved on coverings. Co"

Transcription

1 Covering and spanning tree of graphs Anne Bottreau LaBRI-Universit Bordeaux I 351 cours de la Lib ration Talence cedex FRANCE tel: (+33) , fax:(+33) Abstract: In this note we recall some well-known results about covering and k-covering of graphs. Then, we introduce a new notion of spanning tree which we call the p-spanning tree. This notion allows us to reduce the upper bound for the minimum integer k for which a connected graph G has no nontrivial k-covering. Key-words: Graphs, covering of graph, k-covering of graph, permutations, cycles, spanning tree. This note deals with the notion of covering of graphs and more precisely with the notion of k-covering of graphs. In the rst part, we introduce the notion of covering and recall the Reidemeister theorem. In the second part, we focus on the notion of k-covering of graphs. We introduce then the p-spanning tree. 1 Covering of graph 1.1 Denition and properties The notion of graph covering is based on the notion of bijection between neighbourhoods. If we are able to nd a surjective homomorphism between two graphs G and H which maps the vertices of H onto the vertices of G with respect of adjacency, then H is a covering of G. Denition 1 Let G be a connected graph and H be a graph, H is a covering of G if there exists a surjective homomorphism from V (H) onto V (G) such that for any v in V (H), the restriction of to N H (v) is a bijection between N H (v) and N G ((v)). Our examples use dierent geometric shapes for the vertices in order to code the homomorphism : any vertex of the covering has the same shape as its image by the homomorphism. Example 1 The cycle with six vertices is a covering of the cycle with three vertices (cf. Figure 1). In Figure we give a graph with six vertices having at least two dierent coverings with twelve vertices. 1

2 Figure 1: A cycle's covering. Figure : Two dierent coverings for the same graph. A lot of properties can be easily proved on coverings. Consider G a connected graph and H a covering of G via the homomorphism. There exists an integer q such that V (H) = qv (G). This integer is called the number of tiles. This statement can be proved thanks to the following sequence of lemmas. Two vertices of H having the same image in G have disjoint neighbourhoods (Lemme 1). Any edge of G has a set of disjoint edges for inverse image (Lemme ). Any simple path in G has a set of disjoint simples paths in H for inverse image. Thus, we deduce that there exists an integer q such that V (H) = q V (G) (Lemme 4). Lemma 1 Let v 1 and v be two dierent vertices of H. If (v 1 ) = (v ), then N H (v 1 ) \ N H (v ) = ;. Lemma Let e be an edge of G. The inverse image of e via is a set of disjoint edges of H. Let us now dene a simple path p by a sequence of vertices and edges (v 0 ; e 1 ; v 1 ; ; e n ; v n ) with 8i; e i = fv i?1 ; v i g and 8i 6= i 0 ; v i 6= v 0 i. Lemma 3 Let p be a simple path of length n in G. The inverse image of p by is a set of disjoint simple paths isomorphic to p. Lemma 4 There exists an integer q such that 8u V (G) card(?1 (u)) = q.

3 Let H be a graph consisted of q disjoint connected components isomorphic to G. From the denition of a covering, it follows that H is a covering of G with q tiles. Moreover this covering is called trivial. Thanks to the previous lemma concerning the inverse image of an edge, it is rather easy to demonstrate that trees only have trivial coverings (the proof can be done by induction on the number of vertices of the tree). Lemma 5 Let A be a tree, every connected covering of A is a tree isomorphic to A. Thus, Corollary 1 Any covering of a tree is a trivial covering. Moreover, Corollary Let A be a spanning tree of G. The inverse image of A by is a set of disjoint trees isomorphic to A. 1. Reidemeister theorem K. Reidemeister introduced in [Rei3] a method for the construction of all the coverings of a given graph. He proved that any covering of a graph G can be obtained thanks to a set of copies of a spanning tree A of G and some permutations associated to the edges of E(G)nE(A) Covering with q tiles Let G be a connected graph, A a spanning tree of G and q an integer. We denote by F the set of edges of G which are not in A and we associate to each edge of F a permutation of f1; ; qg. Consider now the graph obtained by q copies of A connected to each other by the q copies of each edge of F obtained by the exchange of end-points (depending on the associated permutation). This graph is a covering of G with q tiles. Example We give here the construction of a covering with 3 tiles. Graph G A a spanning tree of G. F = ffa; bg; fc; dgg a b c d 3

4 Consider three copies of the spanning tree : q = 3. For the edge fa; bg, we choose fa;bg = (1; ; 3), we add three edges. a 1 b 1 a b a 3 b 3 c 1 c c 3 d 1 d d 3 For the edge fc; dg, we choose fc;dg = (1; 3)(). a1 b1 a b a3 b3 c c1 c3 d1 d d3 The choice for the permutations of S 3 is arbitrary. We obtain a covering with 3 tiles of G. Let S q be the group of permutations on f1; ; qg. For i f1; ; qg, the i th copy of A, denoted A i, is dened by : V (A i ) = f (x; i) = x V (A)g; E(A i ) = f f(x; i); (y; i)g = fx; yg E(A)g: To each edge fx; yg of F we associate a permutation of S q, denoted xy, and a set of q edges F xy : = f f(x; i); (y; xy (i))g = i f1; ; qgg: F xy Let us denote the set of these permutations : = f xy = fx; yg F g: We dene the graph R q; thanks to the q copies of A and the sets of edges given by and F : the q copies of A are connected by the q copies of each edge of F. V (R q; ) = S q i=1 V (A i); E(R q; ) = S fx;ygf F xy S ( S q i=1 E(A i)) : Lemma 6 The graph R q; obtained as it is explained previously with and q copies of A is a covering of G with q tiles. 4

5 Proof: The graph R q; is dened by the following sets of edges and vertices : V (R q; ) = f (x; i) = x V (A) and i f1; ; qgg; E(R q; ) = f f(x; i); (y; i)g = i f1; ; qg; fx; yg E(A)g S f f(x; i); (y; xy (i))g = i f1; ; qg; fx; yg F and xy g: Let us dene the application by : : R q;! G (x; i) 7! x Let f(x; i); (y; j)g be an edge of R q;. By the denition of E(R q; ), fx; yg is an edge of E(G). Moreover we have : ((x; i)) = x and ((y; j)) = y. Thus, is a surjective homomorphism. Consider a vertex (x; i) of R q;. We denote N ((x; i)) the neighbourhood of (x; i) in R q;. We have : N ((x; i)) = f (y; j) =f(x; i); (y; j)g E(R q; )g: N ((x; i)) = f (y; i) = fx; yg E(A)g [ f (y; xy (i)) = fx; yg F g: Therefore, jn ((x; i))j = jn G (x)j: Regarding the denition of, the restriction of to N ((x; i)) is a bijection between N ((x; i)) and N G (x). Thus the graph R q; is a covering of G with q tiles. 1.. Reidemeister Theorem Theorem 1 (Reidemeister, 193) Let G be a connected graph, A be a spanning tree of G. We denote F the set of edges of G which are not in A. For any graph H, H is a covering of G if and only if there are an integer q and a set of permutations of S q associated to each edge of F such that H is isomorphic to the graph R q;. Proof: that : Consider that H is a covering of G via. By the lemma 4: there is an integer q such 8 x V (G); q = card(?1 (x)): Let A be a spanning tree of G, by the corollary, the inverse image of A by is a set of q disjoint trees, A i, isomorphic to A:?1 (A) = A 1 [ A [ [ A q : Let now fu; vg be an edge of G which is not in A : fu; vg F: By the lemma, the inverse image by of fu; vg is a set of disjoint edges of H. The vertices u and v have q inverse image by, one in each tree A i :?1 (u) = fu 1 ; u ; ; u q g; where u i A i : 5

6 As H is a covering of G by, each of the inverse image of u is connected to a unique inverse image of v in H. Therefore, we can dene the set?1 (fu; vg) :?1 (fu; vg) = f fu 1 ; v l1 g; fu q ; v lq g g; with i; l i f1; ; qg: These edges are disjoint i.e. 8r 6= s; l r 6= l s. If we consider that 8i, l i = (i), then is a permutation of S q. Thus, for any edge of F, we dene a permutation of S q. Let us denote the set of these permutations. The graph H is isomorphic to R q;. Conversely, let q be an integer and a set of permutations of S q associated to each edge of F. Suppose that R q; is isomorphic to H. The lemma 6 states that this graph is a covering of G. Therefore, H is isomorphic to a covering of G, i.e. H is a covering of G. k-covering of graph If in the denition of graph covering we remove the notion of bijection between neighbourhoods by the notion of isomorphism between centered balls of radius k, then we obtain the notion of k-covering. This notion was introduced in [LMZ95]..1 Denition and rst properties We denote by B H (v; k) (the ball of center v and of radius k) the subgraph of H induced by the set of vertices having their distance to v at most k. Denition Let G be a connected graph and k be a positive integer. A graph H is a k- covering of G via the homomorphism if is an homomorphism from H onto G and if for any vertex v of H, the restriction of to the ball B H (v; k) is an isomorphism between B H (v; k) and B G ((v); k). From this denition it easily follows that given a graph G and an integer k : Lemma 7 Any k-covering of G is a covering of G. Lemma 8 Any k-covering of G is a h-covering of G for any h k. Moreover, a trivial covering of G is a k-covering of G, for any integer k. Thus, a k-covering of G is called trivial if it is isomorphic to a trivial covering of G. Example 3 Previously we give a covering with tiles for the cycle C 3 (cf. gure 1). This covering is not a 1-covering of C 3. There are bijections between neighbourhoods of vertices, but there aren't isomorphisms between balls of radius 1. N() N() 6

7 B(,1) B(,1) If we consider now the graph with six vertices of the gure, then we are able to nd a 1-covering with tiles (cf. 3). Figure 3: A 1-covering. Our interest is now to adapt Reidemeister theorem to the notion of k-covering. Reidemeister gave the description of coverings thanks to permutations. In order to have a description concerning k-coverings, we prove that the permutations must be the solutions of a set of equations related to the cycles of length at most k + 1. For the sake of clarity, we denote a cycle by the sequence of its vertices (without edges) : C = (x 1 ; x ; ; x m ) is equivalent to C = (x 1 ; e 1 ; ; x m ; e m+1 ) with e i = fx i ; x i+1 g; 8i < m and e m+1 = fx m ; x 1 g. It will be the same for simple paths issued from a cycle. We denote Id q the identity permutation of the integer set f1; ; qg. We will now drop the parentheses and the comma when denoting a vertex of R q;. Thus, (u; i) and u i will have the same meaning (we believe that this convention improves the clarity of exposition). Let G be a connected graph, k an integer and A a spanning tree of G. Let R q; be a covering of G with q tiles. Proposition 1 If R q; is a k-covering of G with q tiles, then for any cycle C = (x 1 ; x ; ; x m ) in G of length m k + 1, we have xmx 1 xm?1 x m x x 3 x1 x = Id q ; with xi x i+1 = Id q si fx i ; x i+1 g E(A) and xi x i+1 =?1 x i+1 x i. Proof: Consider a cycle C in G of length m, m < k + 1. This cycle has at least one edge fu 1 ; u g which is not an edge of A. Let C = (u 1 ; u ; ; u m ). There exists a vertex u l on the cycle C such that the paths P 1 = (u 1 ; u ; ; u l ) and P = (u 1 ; u m ; ; u l ) have a length at most k. 7

8 These paths have for inverse image in R q; a set of q disjoint paths obtained by the permutations of : 8j; P 1 (j) = (u j 1 ; uu 1 u (j) ; ; u u l?1 u l u 1 u (j) P (j) = (u j 1 ; uu 1 m um (j) l ) um (j) um (j) ; u umu m?1 u 1 m?1 ; ; u u l+1 u l u 1 l ): Both paths P 1 (j) and P (j) have a length at most k. Thus, the ball of center u j and 1 of radius k in R q; contains these two paths. As R q; is a k-covering of G, B Rq; (u j 1 ; k) is isomorphic to B G (u 1 ; k) i.e. it contains only one vertex having u l for image in G. Therefore, 8j; ul?1 u l u1 u (j) = ul+1 u l u1 u m (j). I.e. umu1 um?1 u m u u 3 u1 u = Id q. Let us now consider the case of a cycle of length exactly k + 1 (it contains at least one edge which is not in A) : C = (u 1 ; u ; ; u k ; ; u k+1 ). Both paths P 1 = (u 1 ; u ; ; u k ) and P = (u 1 ; u k+1 ; u k ; ; u k+1 ) have a length equal to k. The inverse image of these paths are the following disjoint paths : 8j; P 1 (j) = (u j 1 ; uu 1 u (j) ; ; u u k?1 u k u 1 u (j) k ) P (j) = (u j 1 ; uu 1 u k+1 (j) ; u u k+1 u k u 1 u k+1 (j) ; ; u u k+ u k+1 u 1 u k+1 (j) ): k+1 k+1 The balls B Rq; (u j 1 ; k) and B G(u 1 ; k) are isomorphic. between u u k?1 u k u 1 u (j) k Thus, k and u u k+ u k+1 u 1 u k+1 (j) k+1. Therefore, there exists an edge 8j; uk u k+1 uk?1 u k u1 u (j) = uk+ u k+1 u1 u k+1 (j) I:e: uk+1 u 1 uk u k+1 u1 u = Id q : Proposition If R q; is such that for any cycle C = (x 1 ; x ; ; x m ) of G having a length m k + 1, we have xmx 1 xm?1 x m x x 3 x1 x = Id q, with xi x i+1 = Id q if fx i ; x i+1 g E(A) and xi x i+1 =?1 x i+1 x i, then R q; is a k-covering of G with q tiles. Proof: Given R q; a covering of G having this property related to cycles, we now prove that for any vertex u of G, B G (u; k) is isomorphic to B Rq; (u j ; k) for any j f1; ; qg. Let u V (G). Let v V (B G (u; k)), there exists at least one vertex v h in B Rq; (u j ; k). There exists indeed in B G (u; k) a path from u to v: P = (u; u 1 ; u ; ; u s ; v). Consider that h = usv us?1 u s uu1 (j). We suppose that there exists h 0 such that v h0 is in the ball of radius k centered on u j. It means that there exists in G another path coming from u to v, denoted P 0 = (u; u 0 1 ; u0 ; ; u0 s ; v) with h0 = u 0 s v u 0 s?1 u 0 s uu 0 (j). 1 If P and P 0 form a cycle (i.e. the intersection of P and P 0 is restricted to their end-points), then this cycle is (u; u 1 ; ; u s ; v; u 0 s ; ; u0 1 ) of length at most k + 1. By using our property on this cycle, we obtain that h = h 0. If the intersection of both paths contains more than the vertices u and v, then there are cycles of length less than k + 1 in P [ P 0. In this way we can prove (using the same means) that h = h 0. Thus for any v B G (u; k), there is only one vertex v h B Rq; (u j ; k). 8

9 Consider now fv 1 ; v g an edge of B G (u; k). There is in G a path from u to v 1 which is denoted P 1 = (u; u 1 ; u ; ; u s ; v 1 ), and a path from u to v denoted P = (u; u 0 1 ; u0 ; ; u0 t ; v ). We suppose that fv 1 ; v g create a cycle i.e. P 1 and P have an intersection restricted to u (we might have the same demonstration in the case where both paths weren't disjoint). Let us consider h 1 = usv 1 u1 u uu1 (j) and h = u 0 t v u 0 1 u 0 uu 0 1 (j). As fv 1; v g is an edge of G, in R q; we have the edges fv h 1 1 ; vv 1 v (h 1) g and fv h ; vv v 1 (h ) 1 g. Therefore, v1 v (h 1 ) = v1 v usv 1 u1 u uu1 (j): Using the hypothesis on the cycles of length at most k + 1: v1 v (h 1 ) = u 0 t v u 0 1 u 0 uu 0 1 (j): It means : v1 v (h 1 ) = h and v v 1 (h ) = h 1. There is only one edge in B Rq; (u j ; k) having fv 1 ; v g for image. These two propositions lead us to an extension of the Reidemeister Theorem related to the k-coverings with q tiles of a connected graph G [Bot97]. Theorem Let G be a connected graph and H be a graph. The graph H is a k-covering with q tiles of G if and only if H is isomorphic to a graph R q; such that for any cycle C = (x 1 ; x ; ; x m ) of G having a length m, m k + 1, we have : xmx 1 xm?1 x m x x 3 x1 x = Id q, with xi x i+1 = Id q if fx i ; x i+1 g E(A) and xi x i+1 =?1 x i+1 x i, Consider now a graph which doesn't contain any cycle of length at most k + 1. Regarding Theorem and Lemma 7, this graph has a k-covering. Lemma 9 Let k be a positive integer. Let G be a graph which doesn't contain any cycle of length at most k + 1. Any covering of G is indeed a k-covering of G. It directly comes that : Corollary 3 Any covering of a bipartite graph is a 1-covering.. On the k-covering problem What we call the k-covering problem can be stated in the following way : For a given integer k, can we decide whether or not a connected graph G has a nontrivial k-covering? As this question is hard, we deal with the minimal integer k such that a graph G has no k-covering dierent from the trivial one : rev(g) = minfk=g has a no nontrivial k? coveringg We denote D(G) the diameter of G and g(g) the girth of G (the minimum length of a cycle in G). As we are interested in nontrivial k-coverings, we have trivial lower and upper bounds for rev(g). 9

10 Lemma 10 Let G be a connected graph with a girth g(g) and a diameter D(G). We have g(g)? 1 rev(g) D(G) Proof: From Lemma 9, we get the lower bound. From Theorem, we get the upper bound. We introduce a new notion of spanning trees of graphs which allows us to reduce the upper bound of rev(g)...1 Some useful tools We dene here a notion of binary relation useful in the denition of our special spanning trees. Denition 3 Let n be a positive integer, n > 1. We dene the binary relation?! by : two n connected graphs G and H are in relation by?! (which is denoted G?! H) i V (H) = n n V (G), E(H) = E(G) [ feg and e belongs to a cycle of length at most n + 1 in H. We denote by?! n the reexive and transitive closure of?! n. Denition 4 Let G be a connected graph and A be a spanning tree of G. The spanning tree A is a p-spanning tree of G if A?! G, for p > 1. p The circumference of a graph G, denoted c(g), is the maximal length of a cycle of G (cf. [Bol78]). Proposition 3 Let G be a connected graph. If the circumference of G is at most p + 1, then each spanning tree of G is a p-spanning tree. Proof: Consider A a spanning tree of G. We denote by C e the cycle obtained by adding e to A with e E(G) n E(A). As c(g) p + 1, for any edge e E(G) n E(A) the length of C e is at most p + 1. Thus, A?! A + e for any e E(G) n E(A). Therefore, A?! G. p p Let us now consider the number T (G) as the minimum integer p such that G has a p- spanning tree : T (G) = minfp = G has a p?spanning tree:g It obviously comes that : Lemma 11 For any connected graph G with at least one cycle, g(g)? 1 T (G) c(g)? 1: 10

11 .. k-covering and k-spanning tree Let us rst study the case of the connected graphs having no nontrivial k-covering. This property is strongly linked to the existence of cycles. In a connected graph G, a cut-edge is an edge such that if we delete it in the graph then connected components appear. Proposition 4 Let G be a connected graph. If G has no nontrivial k-covering, then every edge of G is in a cycle of length at most k + 1 or is a cut-edge. Proof: Suppose that G has no nontrivial k-covering and that there exists an edge e in G which is not a cut-edge and which is not an edge of a cycle of length at most k + 1. Then, it means that there is a cycle of length l > k + 1 which contains e. As e is in a cycle, there exists a spanning tree of G which doesn't contain e. By Theorem, we can give any permutation for the edge e. We could take e 6= I q. This leads to a contradiction with the fact that G has no nontrivial k-covering. Proposition 5 Let G be a connected graph. If G has no nontrivial k-covering then the number of cycles of length at most k + 1 in G is greater than je(g)j? jv (G)j + 1. Proof: We denote by #C the number of cycles of length at most k + 1 in G. In order to construct a k-covering of G, we need a spanning tree A of G, and we need permutations associated to each edge of E(G) n E(A). These permutations must be solutions of a set of equations. We have je(g)j? jv (G)j + 1 permutations for #C equations. The graph G has no nontrivial k-covering. It means that the set of equations has a unique solution (identity permutations). If #C < je(g)j? jv (G)j + 1, then we obtain an innite set of solutions. Therefore, #C je(g)j? jv (G)j + 1: The main result is the fact that the existence of a k-spanning tree forbids the existence of nontrivial k-covering as we prove it now : Proposition 6 Let G be a connected graph. If there exists a k-spanning tree for G, then G has no nontrivial k-covering. Proof: Consider a connected graph G and a k-spanning tree of G, denoted A. We denote fe 1 ; e ; ; e n g the set E(G) n E(A). Assume that there is a nontrivial k-covering of G, denoted H. It follows from Theorem that : 1. H is isomorphic to a graph R q; issued from A.. The equations of permutations given by the cycles of length at most k + 1 are satised by. All the permutations associated to the edges of A are equal to the identity of S q (by denition). As A is a k-spanning tree, we have : A?! A + e 1?! A + e 1 + e?!?! A + e 1 + e + + e n k k k k 11

12 It means that there is a cycle of length at most k + 1 containing e 1 and edges of A. Thus, the equation for this cycle leads us to the fact that the permutation of e 1 is the identity. And so on for all the edges of E(G) n E(A). Therefore, it means that R q; consists of q connected components isomorphic to G i.e. H is a trivial k-covering which is a contradiction. From the denition of rev(g) and T (G) and from the proposition 6, we get : Lemma 1 Let G be a connected graph with at least one cycle. We have : g(g)? 1..3 Some families of graphs rev(g) T (G) : For some families of graphs it is rather easy to compute T (G). Thus, we obtain exact results for rev(g) (thanks to the trivial lower bound). complete graphs K n : T (K n ) = thus rev(k n ) = 1. bipartite complete graphs K p;q : T (K p;q ) = 3 thus rev(k p;q ) =. hypercubs Q n : T (Q n ) = 3, thus rev(q n ) =. rings C n : T (C n ) = n? 1 thus rev(c n ) = n?1. maximal outerplanar graphs : T (G) = and rev(g) = 1. References [Bol78] B. Bollob s. Extremal graph theory. Academic Press, [Bot97] A. Bottreau. R critures de graphe et calculs distribu s. PhD thesis, Universit Bordeaux I, LaBRI, juin [LMZ95] I. Litovsky, Y. M tivier, and W. Zielonka. On the recognition of families of graphs with local computations. Information and computation, 115(1):1119, [Rei3] K. Reidemeister. Einf hrung in die Kombinatorische Topologie. Vieweg, Brunswick,

{ 1} Definitions. 10. Extremal graph theory. Problem definition Paths and cycles Complete subgraphs

{ 1} Definitions. 10. Extremal graph theory. Problem definition Paths and cycles Complete subgraphs Problem definition Paths and cycles Complete subgraphs 10. Extremal graph theory 10.1. Definitions Let us examine the following forbidden subgraph problems: At most how many edges are in a graph of order

More information

Strong edge coloring of subcubic graphs

Strong edge coloring of subcubic graphs Strong edge coloring of subcubic graphs Hervé Hocquard a, Petru Valicov a a LaBRI (Université Bordeaux 1), 351 cours de la Libération, 33405 Talence Cedex, France Abstract A strong edge colouring of a

More information

THE FREUDENTHAL-HOPF THEOREM

THE FREUDENTHAL-HOPF THEOREM THE FREUDENTHAL-HOPF THEOREM SOFI GJING JOVANOVSKA Abstract. In this paper, we will examine a geometric property of groups: the number of ends of a group. Intuitively, the number of ends of a group is

More information

6 Planar Graphs. 6.1 Euler's Formula

6 Planar Graphs. 6.1 Euler's Formula 6 Planar Graphs Roughly speaking, a graph is planar if and only if it can be drawn in the plane without any two of its edges crossing. More formally, an embedding of a graph G = (V; E) is a function f

More information

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2 Graph Theory S I I S S I I S Graphs Definition A graph G is a pair consisting of a vertex set V (G), and an edge set E(G) ( ) V (G). x and y are the endpoints of edge e = {x, y}. They are called adjacent

More information

Math 778S Spectral Graph Theory Handout #2: Basic graph theory

Math 778S Spectral Graph Theory Handout #2: Basic graph theory Math 778S Spectral Graph Theory Handout #: Basic graph theory Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved the Königsberg Bridge problem: Is it possible

More information

Math 776 Graph Theory Lecture Note 1 Basic concepts

Math 776 Graph Theory Lecture Note 1 Basic concepts Math 776 Graph Theory Lecture Note 1 Basic concepts Lectured by Lincoln Lu Transcribed by Lincoln Lu Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved

More information

Localization in Graphs. Richardson, TX Azriel Rosenfeld. Center for Automation Research. College Park, MD

Localization in Graphs. Richardson, TX Azriel Rosenfeld. Center for Automation Research. College Park, MD CAR-TR-728 CS-TR-3326 UMIACS-TR-94-92 Samir Khuller Department of Computer Science Institute for Advanced Computer Studies University of Maryland College Park, MD 20742-3255 Localization in Graphs Azriel

More information

K 4 C 5. Figure 4.5: Some well known family of graphs

K 4 C 5. Figure 4.5: Some well known family of graphs 08 CHAPTER. TOPICS IN CLASSICAL GRAPH THEORY K, K K K, K K, K K, K C C C C 6 6 P P P P P. Graph Operations Figure.: Some well known family of graphs A graph Y = (V,E ) is said to be a subgraph of a graph

More information

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions. THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of

More information

Introduction to Graph Theory

Introduction to Graph Theory Introduction to Graph Theory DRAFT COPY J. A. Verstraete jverstra@math.uwaterloo.ca 1 Introduction Throughout these notes, a graph G is a pair (V; E) where V is a set and E is a set of unordered pairs

More information

On subgraphs of Cartesian product graphs

On subgraphs of Cartesian product graphs On subgraphs of Cartesian product graphs Sandi Klavžar 1 Department of Mathematics, PEF, University of Maribor, Koroška cesta 160, 2000 Maribor, Slovenia sandi.klavzar@uni-lj.si Alenka Lipovec Department

More information

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial. 2301-670 Graph theory 1.1 What is a graph? 1 st semester 2550 1 1.1. What is a graph? 1.1.2. Definition. A graph G is a triple (V(G), E(G), ψ G ) consisting of V(G) of vertices, a set E(G), disjoint from

More information

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4)

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4) S-72.2420/T-79.5203 Basic Concepts 1 S-72.2420/T-79.5203 Basic Concepts 3 Characterizing Graphs (1) Characterizing Graphs (3) Characterizing a class G by a condition P means proving the equivalence G G

More information

Chapter 4. square sum graphs. 4.1 Introduction

Chapter 4. square sum graphs. 4.1 Introduction Chapter 4 square sum graphs In this Chapter we introduce a new type of labeling of graphs which is closely related to the Diophantine Equation x 2 + y 2 = n and report results of our preliminary investigations

More information

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G. MAD 3105 Spring 2006 Solutions for Review for Test 2 1. Define a graph G with V (G) = {a, b, c, d, e}, E(G) = {r, s, t, u, v, w, x, y, z} and γ, the function defining the edges, is given by the table ɛ

More information

Math 443/543 Graph Theory Notes

Math 443/543 Graph Theory Notes Math 443/543 Graph Theory Notes David Glickenstein September 3, 2008 1 Introduction We will begin by considering several problems which may be solved using graphs, directed graphs (digraphs), and networks.

More information

talk in Boca Raton in Part of the reason for not publishing the result for such a long time was his hope for an improvement in terms of the size

talk in Boca Raton in Part of the reason for not publishing the result for such a long time was his hope for an improvement in terms of the size Embedding arbitrary nite simple graphs into small strongly regular graphs. Robert Jajcay Indiana State University Department of Mathematics and Computer Science Terre Haute, IN 47809 jajcay@laurel.indstate.edu

More information

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem David Glickenstein November 26, 2008 1 Graph minors Let s revisit some de nitions. Let G = (V; E) be a graph. De nition 1 Removing

More information

G G[S] G[D]

G G[S] G[D] Edge colouring reduced indierence graphs Celina M. H. de Figueiredo y Celia Picinin de Mello z Jo~ao Meidanis z Carmen Ortiz x Abstract The chromatic index problem { nding the minimum number of colours

More information

Module 11. Directed Graphs. Contents

Module 11. Directed Graphs. Contents Module 11 Directed Graphs Contents 11.1 Basic concepts......................... 256 Underlying graph of a digraph................ 257 Out-degrees and in-degrees.................. 258 Isomorphism..........................

More information

Math 443/543 Graph Theory Notes

Math 443/543 Graph Theory Notes Math 443/543 Graph Theory Notes David Glickenstein September 8, 2014 1 Introduction We will begin by considering several problems which may be solved using graphs, directed graphs (digraphs), and networks.

More information

Recognizing Interval Bigraphs by Forbidden Patterns

Recognizing Interval Bigraphs by Forbidden Patterns Recognizing Interval Bigraphs by Forbidden Patterns Arash Rafiey Simon Fraser University, Vancouver, Canada, and Indiana State University, IN, USA arashr@sfu.ca, arash.rafiey@indstate.edu Abstract Let

More information

Weak Dynamic Coloring of Planar Graphs

Weak Dynamic Coloring of Planar Graphs Weak Dynamic Coloring of Planar Graphs Caroline Accurso 1,5, Vitaliy Chernyshov 2,5, Leaha Hand 3,5, Sogol Jahanbekam 2,4,5, and Paul Wenger 2 Abstract The k-weak-dynamic number of a graph G is the smallest

More information

Discrete mathematics , Fall Instructor: prof. János Pach

Discrete mathematics , Fall Instructor: prof. János Pach Discrete mathematics 2016-2017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.2. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations,

More information

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge. 1 Graph Basics What is a graph? Graph: a graph G consists of a set of vertices, denoted V (G), a set of edges, denoted E(G), and a relation called incidence so that each edge is incident with either one

More information

v 2 v 3 v 1 v 0 K 3 K 1

v 2 v 3 v 1 v 0 K 3 K 1 It is Hard to Know when Greedy is Good for Finding Independent Sets Hans L. Bodlaender, Dimitrios M. Thilikos, Koichi Yamazaki Department of Computer Science, Utrecht University, P.O. Box 80.089, 3508

More information

A Nim game played on graphs II

A Nim game played on graphs II Theoretical Computer Science 304 (2003) 401 419 www.elsevier.com/locate/tcs A Nim game played on graphs II Masahiko Fukuyama Graduate School of Mathematical Sciences, University of Tokyo, 3-8-1 Komaba,

More information

4. Simplicial Complexes and Simplicial Homology

4. Simplicial Complexes and Simplicial Homology MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n

More information

Graph theory - solutions to problem set 1

Graph theory - solutions to problem set 1 Graph theory - solutions to problem set 1 1. (a) Is C n a subgraph of K n? Exercises (b) For what values of n and m is K n,n a subgraph of K m? (c) For what n is C n a subgraph of K n,n? (a) Yes! (you

More information

.Math 0450 Honors intro to analysis Spring, 2009 Notes #4 corrected (as of Monday evening, 1/12) some changes on page 6, as in .

.Math 0450 Honors intro to analysis Spring, 2009 Notes #4 corrected (as of Monday evening, 1/12) some changes on page 6, as in  . 0.1 More on innity.math 0450 Honors intro to analysis Spring, 2009 Notes #4 corrected (as of Monday evening, 1/12) some changes on page 6, as in email. 0.1.1 If you haven't read 1.3, do so now! In notes#1

More information

Face covers and the genus of apex graphs Bojan Mohar Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia

Face covers and the genus of apex graphs Bojan Mohar Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia Face covers and the genus of apex graphs Bojan Mohar Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia bojan.mohar@uni-lj.si Abstract A graph G is an apex graph if it contains

More information

if for every induced subgraph H of G the chromatic number of H is equal to the largest size of a clique in H. The triangulated graphs constitute a wid

if for every induced subgraph H of G the chromatic number of H is equal to the largest size of a clique in H. The triangulated graphs constitute a wid Slightly Triangulated Graphs Are Perfect Frederic Maire e-mail : frm@ccr.jussieu.fr Case 189 Equipe Combinatoire Universite Paris 6, France December 21, 1995 Abstract A graph is triangulated if it has

More information

Chapter 8. Voronoi Diagrams. 8.1 Post Oce Problem

Chapter 8. Voronoi Diagrams. 8.1 Post Oce Problem Chapter 8 Voronoi Diagrams 8.1 Post Oce Problem Suppose there are n post oces p 1,... p n in a city. Someone who is located at a position q within the city would like to know which post oce is closest

More information

arxiv: v4 [math.gr] 16 Apr 2015

arxiv: v4 [math.gr] 16 Apr 2015 On Jones subgroup of R. Thompson group F arxiv:1501.0074v4 [math.gr] 16 Apr 015 Gili Golan, Mark Sapir April 17, 015 Abstract Recently Vaughan Jones showed that the R. Thompson group F encodes in a natural

More information

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE Professor Kindred Math 104, Graph Theory Homework 2 Solutions February 7, 2013 Introduction to Graph Theory, West Section 1.2: 26, 38, 42 Section 1.3: 14, 18 Section 2.1: 26, 29, 30 DO NOT RE-DISTRIBUTE

More information

(a) (b) Figure 1: Bipartite digraph (a) and solution to its edge-connectivity incrementation problem (b). A directed line represents an edge that has

(a) (b) Figure 1: Bipartite digraph (a) and solution to its edge-connectivity incrementation problem (b). A directed line represents an edge that has Incrementing Bipartite Digraph Edge-connectivity Harold N. Gabow Tibor Jordan y Abstract This paper solves the problem of increasing the edge-connectivity of a bipartite digraph by adding the smallest

More information

Two Characterizations of Hypercubes

Two Characterizations of Hypercubes Two Characterizations of Hypercubes Juhani Nieminen, Matti Peltola and Pasi Ruotsalainen Department of Mathematics, University of Oulu University of Oulu, Faculty of Technology, Mathematics Division, P.O.

More information

Trees with many leaves

Trees with many leaves Trees with many leaves N. V. Gravin Abstract In this note we consider the problem of nding a spanning tree with large number of leaves. We overview some known facts about this question. In details We consider

More information

On the packing chromatic number of some lattices

On the packing chromatic number of some lattices On the packing chromatic number of some lattices Arthur S. Finbow Department of Mathematics and Computing Science Saint Mary s University Halifax, Canada BH C art.finbow@stmarys.ca Douglas F. Rall Department

More information

Math 170- Graph Theory Notes

Math 170- Graph Theory Notes 1 Math 170- Graph Theory Notes Michael Levet December 3, 2018 Notation: Let n be a positive integer. Denote [n] to be the set {1, 2,..., n}. So for example, [3] = {1, 2, 3}. To quote Bud Brown, Graph theory

More information

Nesting points in the sphere. Dan Archdeacon. University of Vermont. Feliu Sagols.

Nesting points in the sphere. Dan Archdeacon. University of Vermont.   Feliu Sagols. Nesting points in the sphere Dan Archdeacon Dept. of Computer Science University of Vermont Burlington, VT, USA 05405 e-mail: dan.archdeacon@uvm.edu Feliu Sagols Dept. of Computer Science University of

More information

Assignment 4 Solutions of graph problems

Assignment 4 Solutions of graph problems Assignment 4 Solutions of graph problems 1. Let us assume that G is not a cycle. Consider the maximal path in the graph. Let the end points of the path be denoted as v 1, v k respectively. If either of

More information

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed

More information

T. Background material: Topology

T. Background material: Topology MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material

More information

NEW ALGORITHMIC AND HARDNESS RESULTS ON GRAPH PARTITIONING PROBLEMS

NEW ALGORITHMIC AND HARDNESS RESULTS ON GRAPH PARTITIONING PROBLEMS NEW ALGORITHMIC AND HARDNESS RESULTS ON GRAPH PARTITIONING PROBLEMS BY MARCIN JAKUB KAMI SKI A dissertation submitted to the Graduate SchoolNew Brunswick Rutgers, The State University of New Jersey in

More information

Math 443/543 Graph Theory Notes 5: Planar graphs and coloring

Math 443/543 Graph Theory Notes 5: Planar graphs and coloring Math 443/543 Graph Theory Notes 5: Planar graphs and coloring David Glickenstein October 10, 2014 1 Planar graphs The Three Houses and Three Utilities Problem: Given three houses and three utilities, can

More information

Number Theory and Graph Theory

Number Theory and Graph Theory 1 Number Theory and Graph Theory Chapter 6 Basic concepts and definitions of graph theory By A. Satyanarayana Reddy Department of Mathematics Shiv Nadar University Uttar Pradesh, India E-mail: satya8118@gmail.com

More information

Eulerian subgraphs containing given edges

Eulerian subgraphs containing given edges Discrete Mathematics 230 (2001) 63 69 www.elsevier.com/locate/disc Eulerian subgraphs containing given edges Hong-Jian Lai Department of Mathematics, West Virginia University, P.O. Box. 6310, Morgantown,

More information

Ma/CS 6b Class 26: Art Galleries and Politicians

Ma/CS 6b Class 26: Art Galleries and Politicians Ma/CS 6b Class 26: Art Galleries and Politicians By Adam Sheffer The Art Gallery Problem Problem. We wish to place security cameras at a gallery, such that they cover it completely. Every camera can cover

More information

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees.

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees. Tree 1. Trees and their Properties. Spanning trees 3. Minimum Spanning Trees 4. Applications of Minimum Spanning Trees 5. Minimum Spanning Tree Algorithms 1.1 Properties of Trees: Definition: A graph G

More information

Parallel Rewriting of Graphs through the. Pullback Approach. Michel Bauderon 1. Laboratoire Bordelais de Recherche en Informatique

Parallel Rewriting of Graphs through the. Pullback Approach. Michel Bauderon 1. Laboratoire Bordelais de Recherche en Informatique URL: http://www.elsevier.nl/locate/entcs/volume.html 8 pages Parallel Rewriting of Graphs through the Pullback Approach Michel Bauderon Laboratoire Bordelais de Recherche en Informatique Universite Bordeaux

More information

Independence and Cycles in Super Line Graphs

Independence and Cycles in Super Line Graphs Independence and Cycles in Super Line Graphs Jay S. Bagga Department of Computer Science Ball State University, Muncie, IN 47306 USA Lowell W. Beineke Department of Mathematical Sciences Indiana University

More information

Ray shooting from convex ranges

Ray shooting from convex ranges Discrete Applied Mathematics 108 (2001) 259 267 Ray shooting from convex ranges Evangelos Kranakis a, Danny Krizanc b, Anil Maheshwari a;, Jorg-Rudiger Sack a, Jorge Urrutia c a School of Computer Science,

More information

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,

More information

CONNECTIVITY AND NETWORKS

CONNECTIVITY AND NETWORKS CONNECTIVITY AND NETWORKS We begin with the definition of a few symbols, two of which can cause great confusion, especially when hand-written. Consider a graph G. (G) the degree of the vertex with smallest

More information

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead

More information

GEODETIC DOMINATION IN GRAPHS

GEODETIC DOMINATION IN GRAPHS GEODETIC DOMINATION IN GRAPHS H. Escuadro 1, R. Gera 2, A. Hansberg, N. Jafari Rad 4, and L. Volkmann 1 Department of Mathematics, Juniata College Huntingdon, PA 16652; escuadro@juniata.edu 2 Department

More information

The strong chromatic number of a graph

The strong chromatic number of a graph The strong chromatic number of a graph Noga Alon Abstract It is shown that there is an absolute constant c with the following property: For any two graphs G 1 = (V, E 1 ) and G 2 = (V, E 2 ) on the same

More information

Let v be a vertex primed by v i (s). Then the number f(v) of neighbours of v which have

Let v be a vertex primed by v i (s). Then the number f(v) of neighbours of v which have Let v be a vertex primed by v i (s). Then the number f(v) of neighbours of v which have been red in the sequence up to and including v i (s) is deg(v)? s(v), and by the induction hypothesis this sequence

More information

THE INSULATION SEQUENCE OF A GRAPH

THE INSULATION SEQUENCE OF A GRAPH THE INSULATION SEQUENCE OF A GRAPH ELENA GRIGORESCU Abstract. In a graph G, a k-insulated set S is a subset of the vertices of G such that every vertex in S is adjacent to at most k vertices in S, and

More information

Tree Spanners of Simple Graphs

Tree Spanners of Simple Graphs Tree Spanners of Simple Graphs by Ioannis E. Papoutsakis A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Computer Science University

More information

GRAPH DECOMPOSITION BASED ON DEGREE CONSTRAINTS. March 3, 2016

GRAPH DECOMPOSITION BASED ON DEGREE CONSTRAINTS. March 3, 2016 GRAPH DECOMPOSITION BASED ON DEGREE CONSTRAINTS ZOÉ HAMEL March 3, 2016 1. Introduction Let G = (V (G), E(G)) be a graph G (loops and multiple edges not allowed) on the set of vertices V (G) and the set

More information

Characterizations of Trees

Characterizations of Trees Characterizations of Trees Lemma Every tree with at least two vertices has at least two leaves. Proof. 1. A connected graph with at least two vertices has an edge. 2. In an acyclic graph, an end point

More information

Fundamental Properties of Graphs

Fundamental Properties of Graphs Chapter three In many real-life situations we need to know how robust a graph that represents a certain network is, how edges or vertices can be removed without completely destroying the overall connectivity,

More information

On Sequential Topogenic Graphs

On Sequential Topogenic Graphs Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 36, 1799-1805 On Sequential Topogenic Graphs Bindhu K. Thomas, K. A. Germina and Jisha Elizabath Joy Research Center & PG Department of Mathematics Mary

More information

Chapter 2. Splitting Operation and n-connected Matroids. 2.1 Introduction

Chapter 2. Splitting Operation and n-connected Matroids. 2.1 Introduction Chapter 2 Splitting Operation and n-connected Matroids The splitting operation on an n-connected binary matroid may not yield an n-connected binary matroid. In this chapter, we provide a necessary and

More information

AMS /672: Graph Theory Homework Problems - Week V. Problems to be handed in on Wednesday, March 2: 6, 8, 9, 11, 12.

AMS /672: Graph Theory Homework Problems - Week V. Problems to be handed in on Wednesday, March 2: 6, 8, 9, 11, 12. AMS 550.47/67: Graph Theory Homework Problems - Week V Problems to be handed in on Wednesday, March : 6, 8, 9,,.. Assignment Problem. Suppose we have a set {J, J,..., J r } of r jobs to be filled by a

More information

EDGE MAXIMAL GRAPHS CONTAINING NO SPECIFIC WHEELS. Jordan Journal of Mathematics and Statistics (JJMS) 8(2), 2015, pp I.

EDGE MAXIMAL GRAPHS CONTAINING NO SPECIFIC WHEELS. Jordan Journal of Mathematics and Statistics (JJMS) 8(2), 2015, pp I. EDGE MAXIMAL GRAPHS CONTAINING NO SPECIFIC WHEELS M.S.A. BATAINEH (1), M.M.M. JARADAT (2) AND A.M.M. JARADAT (3) A. Let k 4 be a positive integer. Let G(n; W k ) denote the class of graphs on n vertices

More information

CMSC Honors Discrete Mathematics

CMSC Honors Discrete Mathematics CMSC 27130 Honors Discrete Mathematics Lectures by Alexander Razborov Notes by Justin Lubin The University of Chicago, Autumn 2017 1 Contents I Number Theory 4 1 The Euclidean Algorithm 4 2 Mathematical

More information

Extremal Graph Theory: Turán s Theorem

Extremal Graph Theory: Turán s Theorem Bridgewater State University Virtual Commons - Bridgewater State University Honors Program Theses and Projects Undergraduate Honors Program 5-9-07 Extremal Graph Theory: Turán s Theorem Vincent Vascimini

More information

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example). 98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating

More information

Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1

Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1 CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanford.edu) January 11, 2018 Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1 In this lecture

More information

Discrete Mathematics I So Practice Sheet Solutions 1

Discrete Mathematics I So Practice Sheet Solutions 1 Discrete Mathematics I So 2016 Tibor Szabó Shagnik Das Practice Sheet Solutions 1 Provided below are possible solutions to the questions from the practice sheet issued towards the end of the course. Exercise

More information

Rainbow game domination subdivision number of a graph

Rainbow game domination subdivision number of a graph Rainbow game domination subdivision number of a graph J. Amjadi Department of Mathematics Azarbaijan Shahid Madani University Tabriz, I.R. Iran j-amjadi@azaruniv.edu Abstract The rainbow game domination

More information

Component Connectivity of Generalized Petersen Graphs

Component Connectivity of Generalized Petersen Graphs March 11, 01 International Journal of Computer Mathematics FeHa0 11 01 To appear in the International Journal of Computer Mathematics Vol. 00, No. 00, Month 01X, 1 1 Component Connectivity of Generalized

More information

On some problems in graph theory: from colourings to vertex identication

On some problems in graph theory: from colourings to vertex identication On some problems in graph theory: from colourings to vertex identication F. Foucaud 1 Joint works with: E. Guerrini 1,2, R. Klasing 1, A. Kosowski 1,3, M. Kov²e 1,2, R. Naserasr 1, A. Parreau 2, A. Raspaud

More information

Local Computations in Graphs: The Case of Cellular Edge Local Computations

Local Computations in Graphs: The Case of Cellular Edge Local Computations Fundamenta Informaticae 74 (2006) 85 114 85 IOS Press Local Computations in Graphs: The Case of Cellular Edge Local Computations Jérémie Chalopin, Yves Métivier LaBRI ENSEIRB, Université Bordeaux 1 351

More information

Vertex Colorings without Rainbow or Monochromatic Subgraphs. 1 Introduction

Vertex Colorings without Rainbow or Monochromatic Subgraphs. 1 Introduction Vertex Colorings without Rainbow or Monochromatic Subgraphs Wayne Goddard and Honghai Xu Dept of Mathematical Sciences, Clemson University Clemson SC 29634 {goddard,honghax}@clemson.edu Abstract. This

More information

Revisiting the bijection between planar maps and well labeled trees

Revisiting the bijection between planar maps and well labeled trees Revisiting the bijection between planar maps and well labeled trees Daniel Cosmin Porumbel September 1, 2014 Abstract The bijection between planar graphs and well labeled trees was published by Cori and

More information

1 Digraphs. Definition 1

1 Digraphs. Definition 1 1 Digraphs Definition 1 Adigraphordirected graphgisatriplecomprisedofavertex set V(G), edge set E(G), and a function assigning each edge an ordered pair of vertices (tail, head); these vertices together

More information

9 About Intersection Graphs

9 About Intersection Graphs 9 About Intersection Graphs Since this lecture we focus on selected detailed topics in Graph theory that are close to your teacher s heart... The first selected topic is that of intersection graphs, i.e.

More information

The self-minor conjecture for infinite trees

The self-minor conjecture for infinite trees The self-minor conjecture for infinite trees Julian Pott Abstract We prove Seymour s self-minor conjecture for infinite trees. 1. Introduction P. D. Seymour conjectured that every infinite graph is a proper

More information

THE LINEAR CHROMATIC NUMBER OF A GRAPH

THE LINEAR CHROMATIC NUMBER OF A GRAPH THE LINEAR CHROMATIC NUMBER OF A GRAPH DANIEL CAPRONI, JOSHUA EDGERTON, MARGARET RAHMOELLER, MYCHAEL SANCHEZ, ANNA TRACY Abstract. We study linear colorings and the linear chromatic number of graphs and

More information

Minimal Classes of Bipartite Graphs of Unbounded Clique-width

Minimal Classes of Bipartite Graphs of Unbounded Clique-width Minimal Classes of Bipartite Graphs of Unbounded Clique-width A. Atminas, R. Brignall, N. Korpelainen, V. Lozin, J. Stacho Abstract The celebrated result of Robertson and Seymour states that in the family

More information

Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected

Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected graph G with at least 2 vertices contains at least 2

More information

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following

More information

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path.

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path. 3 Matchings Hall s Theorem Matching: A matching in G is a subset M E(G) so that no edge in M is a loop, and no two edges in M are incident with a common vertex. A matching M is maximal if there is no matching

More information

arxiv: v5 [cs.dm] 9 May 2016

arxiv: v5 [cs.dm] 9 May 2016 Tree spanners of bounded degree graphs Ioannis Papoutsakis Kastelli Pediados, Heraklion, Crete, reece, 700 06 October 21, 2018 arxiv:1503.06822v5 [cs.dm] 9 May 2016 Abstract A tree t-spanner of a graph

More information

On Soft Topological Linear Spaces

On Soft Topological Linear Spaces Republic of Iraq Ministry of Higher Education and Scientific Research University of AL-Qadisiyah College of Computer Science and Formation Technology Department of Mathematics On Soft Topological Linear

More information

CONNECTIVE SPACES JOSEPH MUSCAT AND DAVID BUHAGIAR. Communicated by Takuo Miwa (Received: November 7, 2005)

CONNECTIVE SPACES JOSEPH MUSCAT AND DAVID BUHAGIAR. Communicated by Takuo Miwa (Received: November 7, 2005) Mem. Fac. Sci. Eng. Shimane Univ. Series B: Mathematical Science 39 (2006), pp. 1 13 CONNECTIVE SPACES JOSEPH MUSCAT AND DAVID BUHAGIAR Communicated by Takuo Miwa (Received: November 7, 2005) Abstract.

More information

CHARACTERIZING SYMMETRIC DIAMETRICAL GRAPHS OF ORDER 12 AND DIAMETER 4

CHARACTERIZING SYMMETRIC DIAMETRICAL GRAPHS OF ORDER 12 AND DIAMETER 4 IJMMS 30:3 (2002) 145 149 PII. S0161171202012474 http://ijmms.hindawi.com Hindawi Publishing Corp. CHARACTERIZING SYMMETRIC DIAMETRICAL GRAPHS OF ORDER 12 AND DIAMETER 4 S. AL-ADDASI and H. Al-EZEH Received

More information

Extremal results for Berge-hypergraphs

Extremal results for Berge-hypergraphs Extremal results for Berge-hypergraphs Dániel Gerbner Cory Palmer Abstract Let G be a graph and H be a hypergraph both on the same vertex set. We say that a hypergraph H is a Berge-G if there is a bijection

More information

or else take their intersection. Now define

or else take their intersection. Now define Samuel Lee Algebraic Topology Homework #5 May 10, 2016 Problem 1: ( 1.3: #3). Let p : X X be a covering space with p 1 (x) finite and nonempty for all x X. Show that X is compact Hausdorff if and only

More information

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department CS473-Algorithms I Lecture 3-A Graphs Graphs A directed graph (or digraph) G is a pair (V, E), where V is a finite set, and E is a binary relation on V The set V: Vertex set of G The set E: Edge set of

More information

On Universal Cycles of Labeled Graphs

On Universal Cycles of Labeled Graphs On Universal Cycles of Labeled Graphs Greg Brockman Harvard University Cambridge, MA 02138 United States brockman@hcs.harvard.edu Bill Kay University of South Carolina Columbia, SC 29208 United States

More information

r=1 The Binomial Theorem. 4 MA095/98G Revision

r=1 The Binomial Theorem. 4 MA095/98G Revision Revision Read through the whole course once Make summary sheets of important definitions and results, you can use the following pages as a start and fill in more yourself Do all assignments again Do the

More information

Lecture Notes on Graph Theory

Lecture Notes on Graph Theory Lecture Notes on Graph Theory Vadim Lozin 1 Introductory concepts A graph G = (V, E) consists of two finite sets V and E. The elements of V are called the vertices and the elements of E the edges of G.

More information

Answers to specimen paper questions. Most of the answers below go into rather more detail than is really needed. Please let me know of any mistakes.

Answers to specimen paper questions. Most of the answers below go into rather more detail than is really needed. Please let me know of any mistakes. Answers to specimen paper questions Most of the answers below go into rather more detail than is really needed. Please let me know of any mistakes. Question 1. (a) The degree of a vertex x is the number

More information

Discrete Mathematics (2009 Spring) Graphs (Chapter 9, 5 hours)

Discrete Mathematics (2009 Spring) Graphs (Chapter 9, 5 hours) Discrete Mathematics (2009 Spring) Graphs (Chapter 9, 5 hours) Chih-Wei Yi Dept. of Computer Science National Chiao Tung University June 1, 2009 9.1 Graphs and Graph Models What are Graphs? General meaning

More information