Honours Graph Theory


 Merilyn Jackson
 1 years ago
 Views:
Transcription
1 University of Zimbabwe HMTH215 Graph Theory Honours Graph Theory Author: P. Mafuta Department: Mathematics April 6, 2016
2 Chapter 1 Introduction: Basic Graph Theory This course serves to answer many questions arise in ordinary life and science in general. Just to mention but a few, it is used to select the best chemical in chemistry, designing networks, minimize cost, manage corruption and solve data communication problems. Definition A graph G = (V, E) consists of a finite nonempty set V (G) of elements called vertices and a (possibly empty) set E(G) of elements called edges. V (G) is called the vertex set of G and E(G) is called an edge set of G. NB A graph is not drawn uniquely, what matters is that the same vertices are joined together by the same edges. Definition If two vertices of a graph are joined by two or more edges, then this graph has multiple edges. An edge joining a vertex to itself is called a loop. Definition A graph with one vertex is called a trivial graph, otherwise the graph is nontrivial. Definition A simple graph is a graph that has no loops or multiple edges. Definition Two vertices of the same edge are said to be incident with the edge and two edges sharing a common vertex are said to be incident with the vertex. Two vertices incident with an edge are said to be adjacent Adjacent and Incident matrices of a graph Definition Let G = (V, E) be a graph such that V (G) = {v 1, v 2, v 3,..., v n } and E(G) = {e 1, e 2, e 3,..., e m }. We define the adjacent matrix, say A, of G to be the n n matrix where the ij th entry is the number of edges joining v i to v j. We define the incident matrix, say M, of G to be the n m matrix where the ij th entry is 1 if vertex v i is incident to the edge e j and 0 otherwise. 1
3 Definition Let G be a graph. Then a graph H = (V (H), E(H)) is a subgraph of G if V (H) V (G) and E(H) E(G). Thus a graph is a subgraph of itself. Definition Let G = (V, E) be a graph. The degree or valency of a vertex v V (G) is the number of edges incident with v, where a loop contributes two units to the degree. We denote the degree of a vertex v by deg G (v). A vertex of degree zero is called an isolated vertex. Definition Let G be a graph. The number of vertices in V (G) is called the order of graph G and we denote it by n. The number of edges in E(G) is called the size of G and we denote it by m. Lemma Handshaking lemma: In any graph, the sum of all vertex degree is equal to twice the number of edges, i.e., deg G (v) = 2m v V Proof. We ignore vertices of degree zero since they contribute nothing to the sum. We notice that each edge has exactly two vertices, i.e., a vertex at each end. So each edge contributes 2 units to the sum of the degrees. Hence the result follows. Corollary In any graph G (i) The sum of all vertex degrees is an even number. (ii) The number of vertices of odd degree is even Proof. Item (i) follows directly from the lemma above. To prove item (ii), suppose contrary to the claim that the number of vertices of odd degree is odd. Then the sum of all vertex degrees of vertices of odd degree is odd. Further, we note that the sum of all vertex degrees of all vertices of even degree is even. This implies that the sum of all vertex degree is odd, a contradiction to the handshaking lemma. Hence our supposition is false and the result follows. Definition A sequence of degrees of vertices in a graph given in descending order is called the degree sequence. A sequence of nonnegative integers is called graphic if the exists a graph whose degree sequence is precisely that sequence. NB From the lemma above it is clear that if the sum of the terms of a sequence is odd then the sequence is not graphic. However, its not always true to say that if the sum of the terms of a sequence is even then the sequence is graphic. This calls for the follow algorithm to determine whether or not a given sequence is graphic. Theorem Havel Hakimi: Consider the following two sequences and assume (i) is in descending order. (i) s, t 1, t 2,..., t s, d 1, d 2,..., d n 2
4 (ii) t 1 1, t 2 1,..., t s 1, d 1,..., d n. Then (i) is graphic iff (ii) is graphic. Proof. Ex For instance, the sequence 6, 6, 6, 6, 4, 3, 3, 0 can be reduced using the above theorem to 3, 1, 0, 0, 0 which is not graphic, since there is no graph with one vertex of degree 3, one vertex of degree 1 and three vertices of degree 0. Hence the original sequence also is not graphic. 1.1 Types of Graphs Definition Let G = (V (G), E(G)) and H = (V (H), E(H)) be graphs. Then (a) G and H are identical iff V (G) = V (H) and E(G) = E(H). (b) G and H of order n are said to be isomorphic if the vertices of G and H can be labelled with numbers 1 to n such that whenever vertex i is adjacent to vertex j in G, then i is adjacent to vertex j in H and conversely. Such a labeling is the same as one to one correspondence between V (G) and V (H) that preserves adjacency. Thus G and H are isomorphic if there is a bijection θ : V (G) V (H) such that uv E(G) iff θ(u)θ(v) E(H). Remark: Saying G and H are isomorphic amounts to saying that G can be relabelled to get another graph, say G, identical to H. In general, for large graphs it is difficult to tell whether or not two graphs are isomorphic. However, if two graphs are isomorphic, then their degree sequence must be the same. Thus if we are asked to tell whether given graphs are isomorphic, the first thing we have to do is to check whether they have the same degree sequence. Then if the degree sequence is the same, we have to do some more checking, since other graphs have the same degree sequence but are not isomorphic. Definition A graph G is called a regular graph if all the vertices are of the same degree, i.e., deg G (v) = k, v V (G) for some k. We then call G a k regular graph. A 3 regular graph is called a cubic graph, for instance the famous Petersen graph on the cover page, which we shall discuss later. Definition A complete graph, which we denote by K n, is a simple graph of order n such every vertex is adjacent to every other vertex, i.e., u, v V (K n ), u and v are adjacent. For n(n 1) instance, a trivial graph is a complete K 1 graph. In general, K n has edges. In addition, 2 K n has n subgraphs isomorphic to K n 1. Definition A graph G such that E(G) = is called a null graph. Thus in a null graph, every vertex is an isolated vertex. 3
5 Definition A graph G such that V (G) can be split into two disjoint sets V 1 and V 2 in such that every edge of G vertex of V 1 to a vertex of V 2 is called a bipartite graph. If G is a simple graph then G is called a complete bipartite graph. We denote a complete bipartite graph by K m,n where in this case V 1 = m and V 2 = n. A K 1,n is called a star graph. A star K 1,3 is called a claw. Definition Let G = (V, E) be any graph, and let S V be any subset of vertices of G. Then the induced subgraph, say G[S] is the graph whose vertex set is S and whose edge set consists of all of the edges in E that have both endpoints in S. A clawfree graph is a graph that does not have a claw as an induced subgraph. 4
6 Chapter 2 Connectedness in graphs Definition A walk, W say, in a graph G is an alternating sequence: v 0, e 1, v 1, e 2, v 2, e 3,..., v r 1, e r, v r of vertices and edges such that e i = v i 1 v i for i = 1, 2, 3,..., r and r is called the length of the walk. That is, the number of edges involved is its length. Remark. (a) In any walk, the last vertex on an edge is the first vertex of the next edge. (b) A vertex maybe repeating in a walk, i.e., one can have a walk of the form u, uv.v, vw, w, wx, x, xv, v, vz, z etc. (c) An edge may be repeated in a walk. Definition If all the edges of a walk are different, then the walk is called a trail. If all the vertices of a walk are different, then it is called a path. We denote by P uv a path from a vertex u to v, also known as a u v path. Definition Definition In a walk W, if the initial vertex v 0 and the final vertex v r are the same, i.e., v 0 = v r, then the walk is called a closed walk. Further, if W is a closed walk with all vertices different except v 0 and r 3, then W is called a cycle of length r or simply an r cycle. We denote by C n a cycle with n vertices. Definition Let G 1 = (V (G 1 ), E(G 1 )) and G 2 = (V (G 2 ), E(G 2 )) be any two graphs. Then the union G 1 G 2 of G 1 and G 2 is the graph with vertex set V (G 1 ) V (G 2 ) and edge set E(G 1 ) E(G 2 ). NB We can remove an edge in a graph and/or any vertex (and the edge incident to it) to obtain another graph. If we remove the vertex v from G, we denote the resulting graph by G v. If we 5
7 delete a set of vertices V, we denote the resulting graph by G V (G e or G E for edges). We call G V and G E vertex deleted subgraph and edge deleted subgraph, respectively. Also, we can remove the edge e = vw and identify v and w so that the resulting vertex v = w is incident to all edges that were originally incident with v or w. We denote the resulting graph by G \ {e} and call the deletion of e from G to obtain G \ {e} an edge contraction. A contraction of G is the graph obtained from G after a succession of edge contractions. Definition A graph G is connected if the exists a u v path for all u, v V (G), otherwise it is disconnected. The maximal connected subgraphs that make up a disconnected graph are called components of G. A connected regular graph where each vertex is of degree two is called a circuit or cycle C n graph denoted C n. Theorem Let G be a connected graph of order n and size m. Then n m + 1. Proof. We prove by induction on the number of edges m. If m = 1 or m = 2 then the theorem holds. So assume that the theorem holds for each graph with fewer than k edges, i.e., for m < k. Let G be a graph with k edges and n vertices. We consider two cases. Case Assume first that G contains a cycle. Then by removing one edge from the cycle, we obtain the graph H say, still connected and has k 1 edges. The number of vertices of H is still n and by inductive hypothesis n (k 1) + 1. So n k and certainly n k + 1. Hence we are done by principle of mathematical induction. Case Now assume that G has no cycle. Let P ab be a longest path in G. Then deg G (a) = deg G (b) = 1, since a and b are end vertices of the path. Remove the vertex a and the edge incident to it. This yeilds a graph, say H, which is connected and has n 1 vertices and k 1 edges. So by inductive hypothesis n 1 (k 1) + 1, i.e., n k + 1. Thus we are done by principle of mathematical induction. Definition Two path in a graph are called edge disjoint if they have no edge in common. Similarly, they are called vertex disjoint if they have no vertex in common. Hence vertex disjoint path are edge disjoint but the converse is not necessarily true. Some important definitions Definition A cycle of length 3 is called a triangle. The graph that has no subgraph isomorphic to a triangle is called a triangle free graph. A cycle of length 4 is denoted by C 4. A graph is called C 4 free if does not contain a cycle of length 4. The length of a shortest cycle in a graph is called girth and is denoted by g(g). In contrast, the length a longest cycle in G is called the circumference, denoted c(g). 6
8 Definition The distance, d(u, v), between any two vertices u and v in G is the length of a shortest path joining u and v. The eccentricity, ecc(v) of a vertex v V (G) is the distance from v to a vertex furthest from it in G. The maximum eccentricity is called the diameter and the minimum eccentricity is called the radius. We denote the diameter and the radius respectively by diam(g) and rad(g). Definition A leaf or end vertex is a vertex v of graph G such that deg G (v) = 1. A vertex of degree at least two is called an internal or interior vertex. Definition A subgraph H of G is called a spanning subgraph if V (H) = V (G). Thus a spanning cycle of G is a cycle that contains all vertices of G. Similarly, a spanning path is a path that contains all vertices of G. Definition The smallest of all the degrees of vertices in a graph G is called the minimum degree and the largest of all the degrees is called the maximum degree. We denote by δ(g) and bigtriangleup(g) the minimum degree and maximum degree, respectively. Definition The length of a walk, W, is called even(odd) if there are even(odd) number of edges in the walk. Lemma Let G be a bipartite graph. Then every cycle in G is of even length. Let V 1 (G) and V 2 (G) be two disjoint sets that forms V (G). Let v 1, v 2, v 3,..., v k, v 1 be a cycle in G. Then it suffices to show that k is even. Assume without loss of generality that v 1 V 1. Since G is a bipartite graph, v 2 V 2, v 3 V 1, v 4 V 2, v 5 V 1 and so on. Thus v k must lie in V 2, since v 1 V 1 and v k is adjacent to v 1. Hence k must be even and the result follows. Theorem Let G be a simple graph of order n. If G has k components, then its size m satisfies n k m 1 (n k)(n k + 1). 2 Proof. Ex. Connected and disconnected graphs Definition A disconnecting set of a connected graph is a set of edges of G whose removal disconnects G. A cutset is any disconnecting set of G no proper subset of which is a disconnecting set. A bridge is any cutset that contains one edge, i.e., it is an edge whose removal disconnects G. Definition Let G be a graph. The edgeconnectivity, λ(g), of G is the size of the smallest cutset in G, i.e., the minimum number of edges whose removal disconnects G. If λ(g) k, then we say G is k edge connected. A separating set of a connected graph G, is a set of vertices of G which when deleted disconnects G. A separating set with only one vertex is called a cutvertex or an articulationvertex, i.e., a cutvertex is a vertex whose removal disconnects G. The minimum number of vertices whose deletion disconnects G is called the vertexconnectivity, denoted by κ(g). That is, κ(g) is the size of the smallest separating set. G is k connected if κ(g) k. A vertexcutset of a graph G is a separating set, S say, such that no proper subset of it disconnects G. 7
9 Theorem Let G be a connected graph. Then κ(g) λ(g) δ(g). Proof. Since δ(g) is the minimum degree, there exist at least one vertex of degree δ. Let v V (G) be a vertex of degree δ and u 1, u 2, u 3,..., u δ N(v). Then by deleting the edges vu i, i = 1, 2, 3,..., δ, we disconnect the graph. Thus the minimum number of edges required to disconnect the graph can not exceed δ. That is λ(g) δ(g). Further, since λ(g) is the minimum number of edges whose removal disconnects G, there is a set of λ(g) edges whose removal disconnects the graph into at least two components. It follows that, we can also disconnect G by removing one suitably chosen vertex from each of these λ(g) edges. Hence the minimum number of vertices whose deletion disconnects G cannot exceeds the edge connectivity λ(g). So κ(g) λ(g) and the result follows. Definition A connected graph with no cut vertices is called a block. NB Every graph is a union of blocks. Futher a block with at least 3 vertices is 2 connected. Definition A family of paths in a graph G is said to be internally disjoint if no vertex of G is an internal vertex of more than one path of the family. Theorem Let G be a graph of order n 3. Then G is 2 connected iff any two vertices of G are connected by at least two internally disjoint paths. Proof. Ex. Corollary If G is 2 connected, then any two vertices of G lie on a common cycle. Definition An edge of a graph G is said to be subdivided when it is deleted and replaced by a path of length two connecting its ends. The internal vertex of this path is thus a new vertex. Corollary Let G be a block with order n 3. Then any two vertices lie on a common cycle. Theorem Menger s Theorem: Edge form. Let G be a connected graph, and u, v V (G) be any two vertices in G. Then the maximum number of edge disjoint paths from u to v is equal to the minimum number of edges separating u from v. Proof. Ex. Corollary A connected graph is k connected if and only if any two vertices of G are connected by at least k edge disjoint paths. Theorem Menger s Theorem: Vertex form. Let G be a connected graph, and u, v V (G) be any two nonadjacent vertices in G. Then the maximum number of vertexdisjoint paths from u to v is equal to the minimum number of vertices separating u from v. 8
10 2.1 Trees and forest Definition A tree is a connected graph without cycles. A collection of trees is called a forest. A tree T is called a spanning tree of a graph G if it is a spanning subgraph of G. A graph with no cycles is called an acyclic graph. Definition The leaf number, denoted by L(G), of a graph G is the maximum number of leaf vertices contained in a spanning tree of G. Its applications are legion in network designs and in solving data communication problems. Theorem Every tree has at least two end vertices. Proof. Ex. Theorem Every connected graph G contains a spanning tree. Theorem Let T be a graph with order n and size m. Then the following statements are equivalent: 1. T is a tree. 2. T is acyclic and n = m T is connected and n = m T is connected and T e is disconnected e E(T ). That is, every edge is a bridge. 5. x, y V (T ),! P (x, y), an x y path in T. 6. T has no cycles but the addition of one new edge creates exactly one cycle. Proof. (a) = (b). Assume that (a) holds. Then T is a tree and by definition it is a connected graph without cycles. Hence T is acyclic. So it is enough to show that n = m + 1. We prove this by induction on the number of edges m. If T = K 1 then n = 1 and m = 0 and the result holds. So we assume that E(T ) and that the result is true for every graph with m 1 edges. Since T is a tree, it has at least two end vertices. Let x be a leaf vertex of T. Then deg T (x) = 1. Let T x = T x be a graph obtained from T by deleting the vertex x. Then T x has order n 1 and size m 1. So by inductive assumption, V (T x ) = E(T x ) +1. Thus n 1 = (m 1)+1 and so n = m+1 as desired. (b) = (c). Assume that (b) is true. Then T is acyclic and n = m + 1. It suffices to show that T is connected. Assume contrary to the claim that T is disconnected into k components. Then k 2, otherwise T is connected. Let T 1, T 2, T 3,..., T k be the components of T where each T i has order n i. Now for each i, T i has no cycles and has n i 1 edges. This implies that T (n 1 1) + (n 2 1) n k 1 edges, i.e., T has n k edges, where k 2. This contradicts the fact that T has n 1 edges. Therefore T must be connected. (c) = (d). Assume that (c) holds. Then T is connected and n = m + 1. It is adequate to 9
11 show that every edge of T is a bridge. Assume that T has an edge which is not a bridge. Then the removal of that edge yields a connected graph with n 2 edges and n vertices, a contradiction. Hence T e is disconnected e E(T ). (d) = (e). Assume that (d) is true and suppose contrary to the claim that for some x, y V (T ) that there exists at least two paths from x to y. Then T has at least one cycle and the deletion of one edge on such a cycle does not disconnect the graph. This is a contradiction to the fact that every edge of T is a bridge. Hence (e) holds also. (e) = (f). If (e) holds then clearly, T has no cycles otherwise there exists at least two paths from x to y for some x, y V (T ), which is not allowed. Further, from (e), we conclude that T is connected, hence the addition of a new edge creates a cycle in T. To show uniqueness, we suppose on contrary that the addition of one creates at least two cycles. Then it implies that some vertices of T are connected by more than one path, contradicting (e). Hence (e) implies (f). (f) = (a). Following (f), we notice that T has no cycles. So it is enough to show that T is connected for it to be a tree. Suppose on contrary that T is disconnected. Then by adding an edge from one component of T to the other, we see that no cycle is created. This contradicts (f). Hence T must be connected. This completes the proof. 2.2 Eulerian and Hamiltonian graphs Definition A graph G is Eulerian if contains a closed trail that includes every edge of edge. G is called semieulerian if it contains a trail that includes edge. Thus every Eulerian graph is semieulerian. Definition A graph G is said to be Hamiltonian if it contains a spanning cycle. G is said to be traceable if it contains a spanning path. Definition Definition Everybody is a genius. But if you judge a fish by its ability to climb a tree, it will live its whole life believing that it is stupid. Albert Einstein 10
Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs
MCS236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set
More informationDiscrete Mathematics & Mathematical Reasoning Chapter 10: Graphs
Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph
More informationGRAPH THEORY LECTURE 4: TREES
GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection
More information3. Eulerian and Hamiltonian Graphs
3. Eulerian and Hamiltonian Graphs There are many games and puzzles which can be analysed by graph theoretic concepts. In fact, the two early discoveries which led to the existence of graphs arose from
More informationGraph Theory Problems and Solutions
raph Theory Problems and Solutions Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles November, 005 Problems. Prove that the sum of the degrees of the vertices of any finite graph is
More informationIntroduction to Graph Theory
Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate
More informationSocial Media Mining. Graph Essentials
Graph Essentials Graph Basics Measures Graph and Essentials Metrics 2 2 Nodes and Edges A network is a graph nodes, actors, or vertices (plural of vertex) Connections, edges or ties Edge Node Measures
More informationConnectivity and cuts
Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every
More information136 CHAPTER 4. INDUCTION, GRAPHS AND TREES
136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics
More informationComputer Science Department. Technion  IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2connected graph G and any vertex s G there
 1  THREE TREEPATHS Avram Zehavi Alon Itai Computer Science Department Technion  IIT, Haifa, Israel Abstract Itai and Rodeh [IR] have proved that for any 2connected graph G and any vertex s G there
More information8. Matchings and Factors
8. Matchings and Factors Consider the formation of an executive council by the parliament committee. Each committee needs to designate one of its members as an official representative to sit on the council,
More informationEuler Paths and Euler Circuits
Euler Paths and Euler Circuits An Euler path is a path that uses every edge of a graph exactly once. An Euler circuit is a circuit that uses every edge of a graph exactly once. An Euler path starts and
More informationMath 179: Graph Theory
Math 179: Graph Theory Evan Chen May 17, 2015 Notes for the course M179: Introduction to Graph Theory, instructed by Wasin So. 1 1 January 23, 2013 1.1 Logistics Website: www.math.sjsu.edu/~so contains
More informationA 2factor in which each cycle has long length in clawfree graphs
A factor in which each cycle has long length in clawfree graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science
More informationCOMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the HigmanSims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationLabeling outerplanar graphs with maximum degree three
Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationLarge induced subgraphs with all degrees odd
Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order
More informationOutline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1
GRAPH THEORY LECTURE STRUCTURE AND REPRESENTATION PART A Abstract. Chapter focuses on the question of when two graphs are to be regarded as the same, on symmetries, and on subgraphs.. discusses the concept
More informationCycles in a Graph Whose Lengths Differ by One or Two
Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDEBERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS
More informationA Turán Type Problem Concerning the Powers of the Degrees of a Graph
A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of HaifaORANIM, Tivon 36006, Israel. AMS Subject Classification:
More informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph HongJian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
More information6.3 Conditional Probability and Independence
222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted
More informationOn Integer Additive SetIndexers of Graphs
On Integer Additive SetIndexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A setindexer of a graph G is an injective setvalued function f : V (G) 2 X such that
More informationOn end degrees and infinite cycles in locally finite graphs
On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel
More informationDegree Hypergroupoids Associated with Hypergraphs
Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated
More informationApproximation Algorithms
Approximation Algorithms or: How I Learned to Stop Worrying and Deal with NPCompleteness Ong Jit Sheng, Jonathan (A0073924B) March, 2012 Overview Key Results (I) General techniques: Greedy algorithms
More informationCycles and cliqueminors in expanders
Cycles and cliqueminors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor
More informationGraphs without proper subgraphs of minimum degree 3 and short cycles
Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract
More informationLecture Notes on GRAPH THEORY Tero Harju
Lecture Notes on GRAPH THEORY Tero Harju Department of Mathematics University of Turku FIN20014 Turku, Finland email: harju@utu.fi 1994 2011 Contents 1 Introduction..........................................................
More informationSimple Graphs Degrees, Isomorphism, Paths
Mathematics for Computer Science MIT 6.042J/18.062J Simple Graphs Degrees, Isomorphism, Types of Graphs Simple Graph this week MultiGraph Directed Graph next week Albert R Meyer, March 10, 2010 lec 6W.1
More informationIE 680 Special Topics in Production Systems: Networks, Routing and Logistics*
IE 680 Special Topics in Production Systems: Networks, Routing and Logistics* Rakesh Nagi Department of Industrial Engineering University at Buffalo (SUNY) *Lecture notes from Network Flows by Ahuja, Magnanti
More informationDiscrete Mathematics Problems
Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 Email: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................
More informationOn Some Vertex Degree Based Graph Invariants
MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 65 (20) 723730 ISSN 03406253 On Some Vertex Degree Based Graph Invariants Batmend Horoldagva a and Ivan
More informationBOUNDARY EDGE DOMINATION IN GRAPHS
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 04874, ISSN (o) 04955 www.imvibl.org /JOURNALS / BULLETIN Vol. 5(015), 19704 Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA
More information2partitiontransitive tournaments
partitiontransitive tournaments Barry Guiduli András Gyárfás Stéphan Thomassé Peter Weidl Abstract Given a tournament score sequence s 1 s s n, we prove that there exists a tournament T on vertex set
More informationGeneralized Induced Factor Problems
Egerváry Research Group on Combinatorial Optimization Technical reports TR200207. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationMean RamseyTurán numbers
Mean RamseyTurán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρmean coloring of a graph is a coloring of the edges such that the average
More informationClass One: Degree Sequences
Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of
More informationV. Adamchik 1. Graph Theory. Victor Adamchik. Fall of 2005
V. Adamchik 1 Graph Theory Victor Adamchik Fall of 2005 Plan 1. Basic Vocabulary 2. Regular graph 3. Connectivity 4. Representing Graphs Introduction A.Aho and J.Ulman acknowledge that Fundamentally, computer
More information1. Determine all real numbers a, b, c, d that satisfy the following system of equations.
altic Way 1999 Reykjavík, November 6, 1999 Problems 1. etermine all real numbers a, b, c, d that satisfy the following system of equations. abc + ab + bc + ca + a + b + c = 1 bcd + bc + cd + db + b + c
More informationON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction
ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove
More informationA Study of Sufficient Conditions for Hamiltonian Cycles
DeLeon 1 A Study of Sufficient Conditions for Hamiltonian Cycles Melissa DeLeon Department of Mathematics and Computer Science Seton Hall University South Orange, New Jersey 07079, U.S.A. ABSTRACT A graph
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationThe positive minimum degree game on sparse graphs
The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University
More informationFinding and counting given length cycles
Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected
More informationCS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010
CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison GomoryHu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected
More informationEvery tree contains a large induced subgraph with all degrees odd
Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University
More informationAnalysis of Algorithms, I
Analysis of Algorithms, I CSOR W4231.002 Eleni Drinea Computer Science Department Columbia University Thursday, February 26, 2015 Outline 1 Recap 2 Representing graphs 3 Breadthfirst search (BFS) 4 Applications
More informationTHE DIMENSION OF A VECTOR SPACE
THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field
More informationAn inequality for the group chromatic number of a graph
Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph HongJian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,
More informationSpecial Classes of Divisor Cordial Graphs
International Mathematical Forum, Vol. 7,, no. 35, 737749 Special Classes of Divisor Cordial Graphs R. Varatharajan Department of Mathematics, Sri S.R.N.M. College Sattur  66 3, Tamil Nadu, India varatharajansrnm@gmail.com
More informationCycle transversals in bounded degree graphs
Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.
More information1 Definitions. Supplementary Material for: Digraphs. Concept graphs
Supplementary Material for: van Rooij, I., Evans, P., Müller, M., Gedge, J. & Wareham, T. (2008). Identifying Sources of Intractability in Cognitive Models: An Illustration using Analogical Structure Mapping.
More informationDegreeassociated reconstruction parameters of complete multipartite graphs and their complements
Degreeassociated reconstruction parameters of complete multipartite graphs and their complements Meijie Ma, Huangping Shi, Hannah Spinoza, Douglas B. West January 23, 2014 Abstract Avertexdeleted subgraphofagraphgisacard.
More informationNonSeparable Detachments of Graphs
Egerváry Research Group on Combinatorial Optimization Technical reports TR200112. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationR u t c o r Research R e p o r t. Boolean functions with a simple certificate for CNF complexity. Ondřej Čepeka Petr Kučera b Petr Savický c
R u t c o r Research R e p o r t Boolean functions with a simple certificate for CNF complexity Ondřej Čepeka Petr Kučera b Petr Savický c RRR 22010, January 24, 2010 RUTCOR Rutgers Center for Operations
More informationIMO Training 2010 Russianstyle Problems Alexander Remorov
Solutions: Combinatorial Geometry 1. No. Call a lattice point even if the sum of its coordinates is even, and call it odd otherwise. Call one of the legs first, and other one second. Then every time a
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationAll trees contain a large induced subgraph having all degrees 1 (mod k)
All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New
More informationOn the independence number of graphs with maximum degree 3
On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs
More informationGraph Theory and Complex Networks: An Introduction. Chapter 06: Network analysis
Graph Theory and Complex Networks: An Introduction Maarten van Steen VU Amsterdam, Dept. Computer Science Room R4.0, steen@cs.vu.nl Chapter 06: Network analysis Version: April 8, 04 / 3 Contents Chapter
More informationZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS
ZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We
More informationTriangle deletion. Ernie Croot. February 3, 2010
Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,
More informationGraphical degree sequences and realizations
swap Graphical and realizations Péter L. Erdös Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences MAPCON 12 MPIPKS  Dresden, May 15, 2012 swap Graphical and realizations Péter L. Erdös
More informationGraph Theory and Complex Networks: An Introduction. Chapter 06: Network analysis. Contents. Introduction. Maarten van Steen. Version: April 28, 2014
Graph Theory and Complex Networks: An Introduction Maarten van Steen VU Amsterdam, Dept. Computer Science Room R.0, steen@cs.vu.nl Chapter 0: Version: April 8, 0 / Contents Chapter Description 0: Introduction
More informationPROBLEM SET 7: PIGEON HOLE PRINCIPLE
PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.
More informationExtremal Wiener Index of Trees with All Degrees Odd
MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 70 (2013) 287292 ISSN 03406253 Extremal Wiener Index of Trees with All Degrees Odd Hong Lin School of
More informationUPPER BOUNDS ON THE L(2, 1)LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE
UPPER BOUNDS ON THE L(2, 1)LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE ANDREW LUM ADVISOR: DAVID GUICHARD ABSTRACT. L(2,1)labeling was first defined by Jerrold Griggs [Gr, 1992] as a way to use graphs
More informationThe chromatic spectrum of mixed hypergraphs
The chromatic spectrum of mixed hypergraphs Tao Jiang, Dhruv Mubayi, Zsolt Tuza, Vitaly Voloshin, Douglas B. West March 30, 2003 Abstract A mixed hypergraph is a triple H = (X, C, D), where X is the vertex
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationLecture 1: Course overview, circuits, and formulas
Lecture 1: Course overview, circuits, and formulas Topics in Complexity Theory and Pseudorandomness (Spring 2013) Rutgers University Swastik Kopparty Scribes: John Kim, Ben Lund 1 Course Information Swastik
More informationOdd induced subgraphs in graphs of maximum degree three
Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A longstanding
More informationSHORT CYCLE COVERS OF GRAPHS WITH MINIMUM DEGREE THREE
SHOT YLE OVES OF PHS WITH MINIMUM DEEE THEE TOMÁŠ KISE, DNIEL KÁL, END LIDIKÝ, PVEL NEJEDLÝ OET ŠÁML, ND bstract. The Shortest ycle over onjecture of lon and Tarsi asserts that the edges of every bridgeless
More informationSection Summary. Introduction to Graphs Graph Taxonomy Graph Models
Chapter 10 Chapter Summary Graphs and Graph Models Graph Terminology and Special Types of Graphs Representing Graphs and Graph Isomorphism Connectivity Euler and Hamiltonian Graphs ShortestPath Problems
More informationZachary Monaco Georgia College Olympic Coloring: Go For The Gold
Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationMidterm Practice Problems
6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More information3. Equivalence Relations. Discussion
3. EQUIVALENCE RELATIONS 33 3. Equivalence Relations 3.1. Definition of an Equivalence Relations. Definition 3.1.1. A relation R on a set A is an equivalence relation if and only if R is reflexive, symmetric,
More informationNOTES ON LINEAR TRANSFORMATIONS
NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all
More informationInstitut für Informatik Lehrstuhl Theoretische Informatik I / Komplexitätstheorie. An Iterative Compression Algorithm for Vertex Cover
FriedrichSchillerUniversität Jena Institut für Informatik Lehrstuhl Theoretische Informatik I / Komplexitätstheorie Studienarbeit An Iterative Compression Algorithm for Vertex Cover von Thomas Peiselt
More informationMinimum degree condition forcing complete graph immersion
Minimum degree condition forcing complete graph immersion Matt DeVos Department of Mathematics Simon Fraser University Burnaby, B.C. V5A 1S6 Jacob Fox Department of Mathematics MIT Cambridge, MA 02139
More informationMathematical Induction. Mary Barnes Sue Gordon
Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationChapter 6: Graph Theory
Chapter 6: Graph Theory Graph theory deals with routing and network problems and if it is possible to find a best route, whether that means the least expensive, least amount of time or the least distance.
More informationSCORE SETS IN ORIENTED GRAPHS
Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in
More informationSingle machine parallel batch scheduling with unbounded capacity
Workshop on Combinatorics and Graph Theory 21th, April, 2006 Nankai University Single machine parallel batch scheduling with unbounded capacity Yuan Jinjiang Department of mathematics, Zhengzhou University
More informationFoundations of Geometry 1: Points, Lines, Segments, Angles
Chapter 3 Foundations of Geometry 1: Points, Lines, Segments, Angles 3.1 An Introduction to Proof Syllogism: The abstract form is: 1. All A is B. 2. X is A 3. X is B Example: Let s think about an example.
More informationSEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov
Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices
More informationBest Monotone Degree Bounds for Various Graph Parameters
Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer
More informationLecture 3: Linear Programming Relaxations and Rounding
Lecture 3: Linear Programming Relaxations and Rounding 1 Approximation Algorithms and Linear Relaxations For the time being, suppose we have a minimization problem. Many times, the problem at hand can
More informationSolutions for Practice problems on proofs
Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some
More informationCombinatorial 5/6approximation of Max Cut in graphs of maximum degree 3
Combinatorial 5/6approximation of Max Cut in graphs of maximum degree 3 Cristina Bazgan a and Zsolt Tuza b,c,d a LAMSADE, Université ParisDauphine, Place du Marechal de Lattre de Tassigny, F75775 Paris
More informationDETERMINANTS IN THE KRONECKER PRODUCT OF MATRICES: THE INCIDENCE MATRIX OF A COMPLETE GRAPH
DETERMINANTS IN THE KRONECKER PRODUCT OF MATRICES: THE INCIDENCE MATRIX OF A COMPLETE GRAPH CHRISTOPHER RH HANUSA AND THOMAS ZASLAVSKY Abstract We investigate the least common multiple of all subdeterminants,
More information! Solve problem to optimality. ! Solve problem in polytime. ! Solve arbitrary instances of the problem. !approximation algorithm.
Approximation Algorithms Chapter Approximation Algorithms Q Suppose I need to solve an NPhard problem What should I do? A Theory says you're unlikely to find a polytime algorithm Must sacrifice one of
More informationDivideandConquer. Three main steps : 1. divide; 2. conquer; 3. merge.
DivideandConquer Three main steps : 1. divide; 2. conquer; 3. merge. 1 Let I denote the (sub)problem instance and S be its solution. The divideandconquer strategy can be described as follows. Procedure
More informationprinceton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora
princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora Scribe: One of the running themes in this course is the notion of
More information