The edge slide graph of the n-dimensional cube

Size: px
Start display at page:

Download "The edge slide graph of the n-dimensional cube"

Transcription

1 The edge slide graph of the n-dimensional cube Howida AL Fran Institute of Fundamental Sciences Massey University, Manawatu 8th Australia New Zealand Mathematics Convention December 2014 Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

2 Outline 1 Introduction Cubes and spanning trees Edge moves Edge slides 2 Signatures of spanning trees of Q n 3 Main research goal Local moves Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

3 The n-dimensional cube Definition The n-dimensional cube is the graph Q n with vertices the subsets of the set {1, 2,..., n}, an edge between two vertices if they differ by adding or deleting exactly one element. Definition Let e be an edge in Q n and let u and v be the endpoints of e. Then u and v differ by one element i. The direction of e is i. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

4 Spanning trees Definition A spanning tree of a connected graph G is a minimal subset of the edges that connects all the vertices. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

5 Edge moves Definition (Goddard & Swart-1996) For any spanning tree T of a graph G an edge move is defined as adding one edge e G to T and deleting one edge e from T so that T + e e is a spanning tree of G. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

6 Tree graph Definition The tree graph of a connected graph G is the graph with vertices the spanning trees of G, an edge between two trees if they differ by one edge move. Theorem The tree graph of a connected graph G is connected. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

7 Example Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

8 Edge slides Definition (Tuffley-2012) An edge of a spanning tree is slidable if it can be slid across a 2-dimensional face of the cube to give a second spanning tree. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

9 Edge slides Definition (Tuffley-2012) An edge of a spanning tree is slidable if it can be slid across a 2-dimensional face of the cube to give a second spanning tree. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

10 Edge slides Definition (Tuffley-2012) An edge of a spanning tree is slidable if it can be slid across a 2-dimensional face of the cube to give a second spanning tree. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

11 The edge slide graph of Q n Definition (Tuffley-2012) The edge slide graph of Q n is the graph with vertices the spanning trees of Q n, an edge between two trees if they are related by an edge slide. The edge slide graph is a subgraph of the tree graph. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

12 Upright spanning trees Root each spanning tree T at. Orient each edge of T towards. An edge is upward or downward depending on whether it increases or decreases cardinality. Definition (Tuffley-2012) A spanning tree is upright if it has only downward edges. Theorem (Tuffley-2012) Every spanning tree of Q n is connected to at least one upright tree by a sequence of edge slides. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

13 Upright spanning trees Root each spanning tree T at. Orient each edge of T towards. An edge is upward or downward depending on whether it increases or decreases cardinality. Definition (Tuffley-2012) A spanning tree is upright if it has only downward edges. Theorem (Tuffley-2012) Every spanning tree of Q n is connected to at least one upright tree by a sequence of edge slides. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

14 Upright spanning trees Root each spanning tree T at. Orient each edge of T towards. An edge is upward or downward depending on whether it increases or decreases cardinality. Definition (Tuffley-2012) A spanning tree is upright if it has only downward edges. Theorem (Tuffley-2012) Every spanning tree of Q n is connected to at least one upright tree by a sequence of edge slides. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

15 Upright spanning trees Root each spanning tree T at. Orient each edge of T towards. An edge is upward or downward depending on whether it increases or decreases cardinality. Definition (Tuffley-2012) A spanning tree is upright if it has only downward edges. Theorem (Tuffley-2012) Every spanning tree of Q n is connected to at least one upright tree by a sequence of edge slides. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

16 Upright spanning trees Root each spanning tree T at. Orient each edge of T towards. An edge is upward or downward depending on whether it increases or decreases cardinality. Definition (Tuffley-2012) A spanning tree is upright if it has only downward edges. Theorem (Tuffley-2012) Every spanning tree of Q n is connected to at least one upright tree by a sequence of edge slides. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

17 Upright spanning trees Root each spanning tree T at. Orient each edge of T towards. An edge is upward or downward depending on whether it increases or decreases cardinality. Definition (Tuffley-2012) A spanning tree is upright if it has only downward edges. Theorem (Tuffley-2012) Every spanning tree of Q n is connected to at least one upright tree by a sequence of edge slides. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

18 Upright spanning trees An upright tree of Q n corresponds to choosing an element at each nonempty vertex. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

19 Upright spanning trees An upright tree of Q n corresponds to choosing an element at each nonempty vertex. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

20 Upright spanning trees An upright tree of Q n corresponds to choosing an element at each nonempty vertex. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

21 Upright spanning trees An upright tree of Q n corresponds to choosing an element at each nonempty vertex. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

22 Upright spanning trees An upright tree of Q n corresponds to choosing an element at each nonempty vertex. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

23 Upright spanning trees An upright tree of Q n corresponds to choosing an element at each nonempty vertex. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

24 Signatures of spanning trees of Q n Definition A signature of a spanning tree of Q n is defined to be (a 1, a 2,..., a n ), where a i is the number of edges in direction i. The signature of a spanning tree of Q n satisfies n i=1 a i = 2 n 1 1 a i 2 n 1 A spanning tree of Q 3 with signature (2, 3, 2). Edge slides do not change the signature of a spanning tree. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

25 Characterisation of signatures of spanning trees of Q n Theorem (Al Fran-2014) Suppose S = (a 1, a 2,..., a n ), where a 1 a 2 a n. Then S is a signature if and only if k j=1 a j 2 n k (2 k 1), for all k. Proof Using Hall s Marriage Theorem, it suffices to consider upright trees. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

26 Characterisation of signatures of spanning trees of Q n Theorem (Al Fran-2014) Suppose S = (a 1, a 2,..., a n ), where a 1 a 2 a n. Then S is a signature if and only if k j=1 a j 2 n k (2 k 1), for all k. Proof Using Hall s Marriage Theorem, it suffices to consider upright trees. For the case S = (3, 2, 2) Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

27 Characterisation of signatures of spanning trees of Q n Theorem (Al Fran-2014) Suppose S = (a 1, a 2,..., a n ), where a 1 a 2 a n. Then S is a signature if and only if k j=1 a j 2 n k (2 k 1), for all k. Proof Using Hall s Marriage Theorem, it suffices to consider upright trees. For the case S = (3, 2, 2) Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

28 Characterisation of signatures of spanning trees of Q n Theorem (Al Fran-2014) Suppose S = (a 1, a 2,..., a n ), where a 1 a 2 a n. Then S is a signature if and only if k j=1 a j 2 n k (2 k 1), for all k. Proof Using Hall s Marriage Theorem, it suffices to consider upright trees. For the case S = (3, 2, 2) Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

29 Characterisation of signatures of spanning trees of Q n Theorem (Al Fran-2014) Suppose S = (a 1, a 2,..., a n ), where a 1 a 2 a n. Then S is a signature if and only if k j=1 a j 2 n k (2 k 1), for all k. Proof Using Hall s Marriage Theorem, it suffices to consider upright trees. For the case S = (3, 2, 2) Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

30 Signatures of spanning trees of Q 4 There are 18 signatures of spanning trees of Q 4 up to permutation: (8, 4, 2, 1) (8, 3, 3, 1) (8, 3, 2, 2) (7, 5, 2, 1) (7, 4, 3, 1) (7, 4, 2, 2) (7, 3, 3, 2) (6, 6, 2, 1) (6, 5, 3, 1) (6, 5, 2, 2) (6, 4, 4, 1) (6, 4, 3, 2) (6, 3, 3, 3) (5, 5, 4, 1) (5, 5, 3, 2) (5, 4, 4, 2) (5, 4, 3, 3) (4, 4, 4, 3) Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

31 The edge slide graph of (a 1, a 2,..., a n ) Definition Let (a 1, a 2,..., a n ) be a signature of a spanning tree of Q n. Then the edge slide graph of (a 1, a 2,..., a n ) is the subgraph of the edge slide graph of Q n produced by trees with signature (a 1, a 2,..., a n ). Edge slides do not change the signature of a spanning tree, so spanning trees with different signatures will belong to different components. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

32 Main research goal Conjecture If a i 2 for all i, then the edge slide graph of (a 1, a 2,..., a n ) is connected. This conjecture would essentially determine the connected components. Mathematical approach: use local moves on the upright trees of Q n to determine which upright trees are connected. Theorem Conjecture true for Q 3 (Henden- 2011). Conjecture true for Q 4 (Al Fran- 2014). Definition (Al Fran-2014) A local move is a sequence of edge slides that can be applied locally to transform one upright tree of Q n into another. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

33 Main research goal Conjecture If a i 2 for all i, then the edge slide graph of (a 1, a 2,..., a n ) is connected. This conjecture would essentially determine the connected components. Mathematical approach: use local moves on the upright trees of Q n to determine which upright trees are connected. Theorem Conjecture true for Q 3 (Henden- 2011). Conjecture true for Q 4 (Al Fran- 2014). Definition (Al Fran-2014) A local move is a sequence of edge slides that can be applied locally to transform one upright tree of Q n into another. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

34 Main research goal Conjecture If a i 2 for all i, then the edge slide graph of (a 1, a 2,..., a n ) is connected. This conjecture would essentially determine the connected components. Mathematical approach: use local moves on the upright trees of Q n to determine which upright trees are connected. Theorem Conjecture true for Q 3 (Henden- 2011). Conjecture true for Q 4 (Al Fran- 2014). Definition (Al Fran-2014) A local move is a sequence of edge slides that can be applied locally to transform one upright tree of Q n into another. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

35 The V -move Theorem (Al Fran-2014) Suppose there is a face F of Q n which is labelled by T as shown in the picture. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

36 The V -move Theorem (Al Fran-2014) Suppose there is a face F of Q n which is labelled by T as shown in the picture. Then there exists a sequence of four edge slides that transforms T into the upright spanning tree T, with F labelled as shown in the picture. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

37 The V -move Theorem (Al Fran-2014) Suppose there is a face F of Q n which is labelled by T as shown in the picture. Then there exists a sequence of four edge slides that transforms T into the upright spanning tree T, with F labelled as shown in the picture. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

38 The path move Theorem (Al Fran-2014) Suppose there is a face F of Q n which is labelled by T as shown in the picture. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

39 The path move Theorem (Al Fran-2014) Suppose there is a face F of Q n which is labelled by T as shown in the picture. Then there exists a sequence of four edge slides that transforms T into the upright spanning tree T, with F labelled as shown in the picture. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

40 The path move Theorem (Al Fran-2014) Suppose there is a face F of Q n which is labelled by T as shown in the picture. Then there exists a sequence of four edge slides that transforms T into the upright spanning tree T, with F labelled as shown in the picture. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

41 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

42 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Assume that the path from {1, 2,..., n} to the root is in descending order. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

43 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Assume that the path from {1, 2,..., n} to the root is in descending order. Blocking a local move forces the direction in all vertices of cardinality 2 containing one. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

44 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Assume that the path from {1, 2,..., n} to the root is in descending order. Blocking a local move forces the direction in all vertices of cardinality 2 containing one. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

45 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Assume that the path from {1, 2,..., n} to the root is in descending order. Blocking a local move forces the direction in all vertices of cardinality 2 containing one. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

46 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Assume that the path from {1, 2,..., n} to the root is in descending order. Blocking a local move forces the direction in all vertices of cardinality 2 containing one. a 1 2, so there must be at least one other edge in direction one in the tree. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

47 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Assume that the path from {1, 2,..., n} to the root is in descending order. Blocking a local move forces the direction in all vertices of cardinality 2 containing one. a 1 2, so there must be at least one other edge in direction one in the tree. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

48 The existence of local moves Theorem (Al Fran-2014) For all upright trees of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i, there is at least one local move. Assume that the path from {1, 2,..., n} to the root is in descending order. Blocking a local move forces the direction in all vertices of cardinality 2 containing one. a 1 2, so there must be at least one other edge in direction one in the tree. The local move involving the lowest such one cannot be blocked. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

49 The local move graph of Q n Definition (Al Fran-2014) The local move graph of Q n is the graph with vertices the upright trees of Q n, an edge between two trees if they are connected by either the V -move or the path move. The local move graph of (a 1, a 2,..., a n ), where a i 2 for all i, is connected the edge slide graph of (a 1, a 2,..., a n ) is connected. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

50 The local move of upright trees of signature (2, 2, 3) Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

51 The local move graph of upright trees of signature (2, 2, 4, 7) T5 T6 T4 T3 T2 T1 T13 T12 T7 T10 T19 T20 T11 T8 T21 T22 T14 T9 T24 T23 T18 T17 T16 T15 Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

52 Summary We characterised the class of n-tuples that are signatures of a spanning tree. We determined the connected components of the edge slide graph of Q 4. We proved the existence of a local moves at each upright tree of Q n with signature (a 1, a 2,..., a n ) such that a i 2, for all i. For future research, we will extend one of the methods that I used for Q 4 to determine the connected components of the edge slide graph of Q n. Howida AL Fran (Massey University) The edge slide graph of Qn ANZMC / 23

Chapter 4. Trees. 4.1 Basics

Chapter 4. Trees. 4.1 Basics Chapter 4 Trees 4.1 Basics A tree is a connected graph with no cycles. A forest is a collection of trees. A vertex of degree one, particularly in a tree, is called a leaf. Trees arise in a variety of applications.

More information

Solutions to Exercises 8

Solutions to Exercises 8 Discrete Mathematics Lent 2009 MA210 Solutions to Exercises 8 (1) Suppose that G is a graph in which every vertex has degree at least k, where k 1, and in which every cycle contains at least 4 vertices.

More information

Every tree contains a large induced subgraph with all degrees odd

Every 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 information

Connectivity and cuts

Connectivity 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 information

Chapter 4: Trees. 2. Theorem: Let T be a graph with n vertices. Then the following statements are equivalent:

Chapter 4: Trees. 2. Theorem: Let T be a graph with n vertices. Then the following statements are equivalent: 9 Properties of Trees. Definitions: Chapter 4: Trees forest - a graph that contains no cycles tree - a connected forest. Theorem: Let T be a graph with n vertices. Then the following statements are equivalent:

More information

Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs MCS-236: 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 information

COLORED GRAPHS AND THEIR PROPERTIES

COLORED GRAPHS AND THEIR PROPERTIES COLORED GRAPHS AND THEIR PROPERTIES BEN STEVENS 1. Introduction This paper is concerned with the upper bound on the chromatic number for graphs of maximum vertex degree under three different sets of coloring

More information

The Congestion of n-cube Layout on a Rectangular Grid

The Congestion of n-cube Layout on a Rectangular Grid The Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez L.H. Harper M. Röttger U.-P. Schroeder Abstract We consider the problem of embedding the n-dimensional cube into a rectangular

More information

V. Adamchik 1. Graph Theory. Victor Adamchik. Fall of 2005

V. 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 information

Partitioning edge-coloured complete graphs into monochromatic cycles and paths

Partitioning edge-coloured complete graphs into monochromatic cycles and paths arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edge-coloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political

More information

Graph Theory Problems and Solutions

Graph 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 information

Planar Graph and Trees

Planar Graph and Trees Dr. Nahid Sultana December 16, 2012 Tree Spanning Trees Minimum Spanning Trees Maps and Regions Eulers Formula Nonplanar graph Dual Maps and the Four Color Theorem Tree Spanning Trees Minimum Spanning

More information

Divisor graphs have arbitrary order and size

Divisor graphs have arbitrary order and size Divisor graphs have arbitrary order and size arxiv:math/0606483v1 [math.co] 20 Jun 2006 Le Anh Vinh School of Mathematics University of New South Wales Sydney 2052 Australia Abstract A divisor graph G

More information

CMSC 451: Graph Properties, DFS, BFS, etc.

CMSC 451: Graph Properties, DFS, BFS, etc. CMSC 451: Graph Properties, DFS, BFS, etc. Slides By: Carl Kingsford Department of Computer Science University of Maryland, College Park Based on Chapter 3 of Algorithm Design by Kleinberg & Tardos. Graphs

More information

Sample Problems in Discrete Mathematics

Sample Problems in Discrete Mathematics Sample Problems in Discrete Mathematics This handout lists some sample problems that you should be able to solve as a pre-requisite to Computer Algorithms Try to solve all of them You should also read

More information

THE 0/1-BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER

THE 0/1-BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER THE 0/1-BORSUK CONJECTURE IS GENERICALLY TRUE FOR EACH FIXED DIAMETER JONATHAN P. MCCAMMOND AND GÜNTER ZIEGLER Abstract. In 1933 Karol Borsuk asked whether every compact subset of R d can be decomposed

More information

Basic Notions on Graphs. Planar Graphs and Vertex Colourings. Joe Ryan. Presented by

Basic Notions on Graphs. Planar Graphs and Vertex Colourings. Joe Ryan. Presented by Basic Notions on Graphs Planar Graphs and Vertex Colourings Presented by Joe Ryan School of Electrical Engineering and Computer Science University of Newcastle, Australia Planar graphs Graphs may be drawn

More information

More Mathematical Induction. October 27, 2016

More Mathematical Induction. October 27, 2016 More Mathematical Induction October 7, 016 In these slides... Review of ordinary induction. Remark about exponential and polynomial growth. Example a second proof that P(A) = A. Strong induction. Least

More information

Full and Complete Binary Trees

Full 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 information

Discrete Mathematics, Chapter 5: Induction and Recursion

Discrete Mathematics, Chapter 5: Induction and Recursion Discrete Mathematics, Chapter 5: Induction and Recursion Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 5 1 / 20 Outline 1 Well-founded

More information

Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS

Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS 1.1.25 Prove that the Petersen graph has no cycle of length 7. Solution: There are 10 vertices in the Petersen graph G. Assume there is a cycle C

More information

Minimum Spanning Trees

Minimum Spanning Trees Minimum Spanning Trees Algorithms and 18.304 Presentation Outline 1 Graph Terminology Minimum Spanning Trees 2 3 Outline Graph Terminology Minimum Spanning Trees 1 Graph Terminology Minimum Spanning Trees

More information

Math 443/543 Graph Theory Notes 4: Connector Problems

Math 443/543 Graph Theory Notes 4: Connector Problems Math 443/543 Graph Theory Notes 4: Connector Problems David Glickenstein September 19, 2012 1 Trees and the Minimal Connector Problem Here is the problem: Suppose we have a collection of cities which we

More information

Graph Theory. Introduction. Distance in Graphs. Trees. Isabela Drămnesc UVT. Computer Science Department, West University of Timişoara, Romania

Graph Theory. Introduction. Distance in Graphs. Trees. Isabela Drămnesc UVT. Computer Science Department, West University of Timişoara, Romania Graph Theory Introduction. Distance in Graphs. Trees Isabela Drămnesc UVT Computer Science Department, West University of Timişoara, Romania November 2016 Isabela Drămnesc UVT Graph Theory and Combinatorics

More information

1. Nondeterministically guess a solution (called a certificate) 2. Check whether the solution solves the problem (called verification)

1. Nondeterministically guess a solution (called a certificate) 2. Check whether the solution solves the problem (called verification) Some N P problems Computer scientists have studied many N P problems, that is, problems that can be solved nondeterministically in polynomial time. Traditionally complexity question are studied as languages:

More information

Mathematical Induction

Mathematical Induction MCS-236: Graph Theory Handout #A5 San Skulrattanakulchai Gustavus Adolphus College Sep 15, 2010 Mathematical Induction The following three principles governing N are equivalent. Ordinary Induction Principle.

More information

GRAPH THEORY and APPLICATIONS. Trees

GRAPH THEORY and APPLICATIONS. Trees GRAPH THEORY and APPLICATIONS Trees Properties Tree: a connected graph with no cycle (acyclic) Forest: a graph with no cycle Paths are trees. Star: A tree consisting of one vertex adjacent to all the others.

More information

Theorem A graph T is a tree if, and only if, every two distinct vertices of T are joined by a unique path.

Theorem A graph T is a tree if, and only if, every two distinct vertices of T are joined by a unique path. Chapter 3 Trees Section 3. Fundamental Properties of Trees Suppose your city is planning to construct a rapid rail system. They want to construct the most economical system possible that will meet the

More information

136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

136 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 information

Trees. Definition: A tree is a connected undirected graph with no simple circuits. Example: Which of these graphs are trees?

Trees. Definition: A tree is a connected undirected graph with no simple circuits. Example: Which of these graphs are trees? Section 11.1 Trees Definition: A tree is a connected undirected graph with no simple circuits. Example: Which of these graphs are trees? Solution: G 1 and G 2 are trees both are connected and have no simple

More information

Notes on Matrix Multiplication and the Transitive Closure

Notes on Matrix Multiplication and the Transitive Closure ICS 6D Due: Wednesday, February 25, 2015 Instructor: Sandy Irani Notes on Matrix Multiplication and the Transitive Closure An n m matrix over a set S is an array of elements from S with n rows and m columns.

More information

4 Basics of Trees. Petr Hliněný, FI MU Brno 1 FI: MA010: Trees and Forests

4 Basics of Trees. Petr Hliněný, FI MU Brno 1 FI: MA010: Trees and Forests 4 Basics of Trees Trees, actually acyclic connected simple graphs, are among the simplest graph classes. Despite their simplicity, they still have rich structure and many useful application, such as in

More information

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE Professor Kindred Math 04 Graph Theory Homework 7 Solutions April 3, 03 Introduction to Graph Theory, West Section 5. 0, variation of 5, 39 Section 5. 9 Section 5.3 3, 8, 3 Section 7. Problems you should

More information

Counting Spanning Trees

Counting Spanning Trees Counting Spanning Trees Bang Ye Wu Kun-Mao Chao Counting Spanning Trees This book provides a comprehensive introduction to the modern study of spanning trees. A spanning tree for a graph G is a subgraph

More information

Homework 15 Solutions

Homework 15 Solutions PROBLEM ONE (Trees) Homework 15 Solutions 1. Recall the definition of a tree: a tree is a connected, undirected graph which has no cycles. Which of the following definitions are equivalent to this definition

More information

MGF 1107 CH 15 LECTURE NOTES Denson. Section 15.1

MGF 1107 CH 15 LECTURE NOTES Denson. Section 15.1 1 Section 15.1 Consider the house plan below. This graph represents the house. Consider the mail route below. This graph represents the mail route. 2 Definitions 1. Graph a structure that describes relationships.

More information

Examination paper for MA0301 Elementær diskret matematikk

Examination paper for MA0301 Elementær diskret matematikk Department of Mathematical Sciences Examination paper for MA0301 Elementær diskret matematikk Academic contact during examination: Iris Marjan Smit a, Sverre Olaf Smalø b Phone: a 9285 0781, b 7359 1750

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

10. Graph Matrices Incidence Matrix

10. Graph Matrices Incidence Matrix 10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a

More information

2.3 Scheduling jobs on identical parallel machines

2.3 Scheduling jobs on identical parallel machines 2.3 Scheduling jobs on identical parallel machines There are jobs to be processed, and there are identical machines (running in parallel) to which each job may be assigned Each job = 1,,, must be processed

More information

Characterizations of Arboricity of Graphs

Characterizations of Arboricity of Graphs Characterizations of Arboricity of Graphs Ruth Haas Smith College Northampton, MA USA Abstract The aim of this paper is to give several characterizations for the following two classes of graphs: (i) graphs

More information

Computer Science Department. Technion - IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there

Computer Science Department. Technion - IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there - 1 - THREE TREE-PATHS Avram Zehavi Alon Itai Computer Science Department Technion - IIT, Haifa, Israel Abstract Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there

More information

Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency.

Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency. Mária Markošová Graph definition Degree, in, out degree, oriented graph. Complete, regular, bipartite graph. Graph representation, connectivity, adjacency. Isomorphism of graphs. Paths, cycles, trials.

More information

Planarity Planarity

Planarity Planarity Planarity 8.1 71 Planarity Up until now, graphs have been completely abstract. In Topological Graph Theory, it matters how the graphs are drawn. Do the edges cross? Are there knots in the graph structure?

More information

Planar Tree Transformation: Results and Counterexample

Planar Tree Transformation: Results and Counterexample Planar Tree Transformation: Results and Counterexample Selim G Akl, Kamrul Islam, and Henk Meijer School of Computing, Queen s University Kingston, Ontario, Canada K7L 3N6 Abstract We consider the problem

More information

. 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9

. 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9 Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a

More information

Essential Question: What is the relationship among the focus, directrix, and vertex of a parabola?

Essential Question: What is the relationship among the focus, directrix, and vertex of a parabola? Name Period Date: Topic: 9-3 Parabolas Essential Question: What is the relationship among the focus, directrix, and vertex of a parabola? Standard: G-GPE.2 Objective: Derive the equation of a parabola

More information

Two General Methods to Reduce Delay and Change of Enumeration Algorithms

Two General Methods to Reduce Delay and Change of Enumeration Algorithms ISSN 1346-5597 NII Technical Report Two General Methods to Reduce Delay and Change of Enumeration Algorithms Takeaki Uno NII-2003-004E Apr.2003 Two General Methods to Reduce Delay and Change of Enumeration

More information

Forests and Trees: A forest is a graph with no cycles, a tree is a connected forest.

Forests and Trees: A forest is a graph with no cycles, a tree is a connected forest. 2 Trees What is a tree? Forests and Trees: A forest is a graph with no cycles, a tree is a connected forest. Theorem 2.1 If G is a forest, then comp(g) = V (G) E(G). Proof: We proceed by induction on E(G).

More information

All 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) 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 information

(Vertex) Colorings. We can properly color W 6 with. colors and no fewer. Of interest: What is the fewest colors necessary to properly color G?

(Vertex) Colorings. We can properly color W 6 with. colors and no fewer. Of interest: What is the fewest colors necessary to properly color G? Vertex Coloring 2.1 33 (Vertex) Colorings Definition: A coloring of a graph G is a labeling of the vertices of G with colors. [Technically, it is a function f : V (G) {1, 2,...,l}.] Definition: A proper

More information

Mean Ramsey-Turán numbers

Mean Ramsey-Turán numbers Mean Ramsey-Turá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 information

(a) (b) (c) Figure 1 : Graphs, multigraphs and digraphs. If the vertices of the leftmost figure are labelled {1, 2, 3, 4} in clockwise order from

(a) (b) (c) Figure 1 : Graphs, multigraphs and digraphs. If the vertices of the leftmost figure are labelled {1, 2, 3, 4} in clockwise order from 4 Graph Theory Throughout these notes, a graph G is a pair (V, E) where V is a set and E is a set of unordered pairs of elements of V. The elements of V are called vertices and the elements of E are called

More information

Exponential time algorithms for graph coloring

Exponential time algorithms for graph coloring Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].

More information

GRAPH THEORY LECTURE 4: TREES

GRAPH 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 information

arxiv: v2 [math.co] 30 Nov 2015

arxiv: v2 [math.co] 30 Nov 2015 PLANAR GRAPH IS ON FIRE PRZEMYSŁAW GORDINOWICZ arxiv:1311.1158v [math.co] 30 Nov 015 Abstract. Let G be any connected graph on n vertices, n. Let k be any positive integer. Suppose that a fire breaks out

More information

A simple existence criterion for normal spanning trees in infinite graphs

A simple existence criterion for normal spanning trees in infinite graphs 1 A simple existence criterion for normal spanning trees in infinite graphs Reinhard Diestel Halin proved in 1978 that there exists a normal spanning tree in every connected graph G that satisfies the

More information

Graphs and Network Flows IE411 Lecture 1

Graphs and Network Flows IE411 Lecture 1 Graphs and Network Flows IE411 Lecture 1 Dr. Ted Ralphs IE411 Lecture 1 1 References for Today s Lecture Required reading Sections 17.1, 19.1 References AMO Chapter 1 and Section 2.1 and 2.2 IE411 Lecture

More information

Graph Theory Notes. Vadim Lozin. Institute of Mathematics University of Warwick

Graph Theory Notes. Vadim Lozin. Institute of Mathematics University of Warwick Graph Theory Notes Vadim Lozin Institute of Mathematics University of Warwick 1 Introduction A graph G = (V, E) consists of two sets V and E. The elements of V are called the vertices and the elements

More information

WOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology

WOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Final Examination Spring Session 2008 WUCT121

More information

A tree can be defined in a variety of ways as is shown in the following theorem: 2. There exists a unique path between every two vertices of G.

A tree can be defined in a variety of ways as is shown in the following theorem: 2. There exists a unique path between every two vertices of G. 7 Basic Properties 24 TREES 7 Basic Properties Definition 7.1: A connected graph G is called a tree if the removal of any of its edges makes G disconnected. A tree can be defined in a variety of ways as

More information

Graphing Quadratic Functions: Parabolas

Graphing Quadratic Functions: Parabolas Graphing Quadratic Functions: Parabolas MATH 101 College Algebra J. Robert Buchanan Department of Mathematics Summer 2012 Objectives In this lesson we will learn to: graph a parabola (a quadratic function)

More information

Midterm Practice Problems

Midterm 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 information

1 Basic Definitions and Concepts in Graph Theory

1 Basic Definitions and Concepts in Graph Theory CME 305: Discrete Mathematics and Algorithms 1 Basic Definitions and Concepts in Graph Theory A graph G(V, E) is a set V of vertices and a set E of edges. In an undirected graph, an edge is an unordered

More information

1 Definitions. Supplementary Material for: Digraphs. Concept graphs

1 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 information

The relationship of a trees to a graph is very important in solving many problems in Maths and Computer Science

The relationship of a trees to a graph is very important in solving many problems in Maths and Computer Science Trees Mathematically speaking trees are a special class of a graph. The relationship of a trees to a graph is very important in solving many problems in Maths and Computer Science However, in computer

More information

Outline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1

Outline 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 information

Euler Paths and Euler Circuits

Euler 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 information

On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

More information

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

SHARP 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 information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

CS311H. Prof: Peter Stone. Department of Computer Science The University of Texas at Austin

CS311H. Prof: Peter Stone. Department of Computer Science The University of Texas at Austin CS311H Prof: Department of Computer Science The University of Texas at Austin Good Morning, Colleagues Good Morning, Colleagues Are there any questions? Logistics Class survey Logistics Class survey Homework

More information

Mathematical Foundations of Computer Science Lecture Outline

Mathematical Foundations of Computer Science Lecture Outline Mathematical Foundations of Computer Science Lecture Outline September 21, 2016 Example. How many 8-letter strings can be constructed by using the 26 letters of the alphabet if each string contains 3,4,

More information

IE 680 Special Topics in Production Systems: Networks, Routing and Logistics*

IE 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 information

Principle of (Weak) Mathematical Induction. P(1) ( n 1)(P(n) P(n + 1)) ( n 1)(P(n))

Principle of (Weak) Mathematical Induction. P(1) ( n 1)(P(n) P(n + 1)) ( n 1)(P(n)) Outline We will cover (over the next few weeks) Mathematical Induction (or Weak Induction) Strong (Mathematical) Induction Constructive Induction Structural Induction Principle of (Weak) Mathematical Induction

More information

6. GRAPH AND MAP COLOURING

6. GRAPH AND MAP COLOURING 6. GRPH ND MP COLOURING 6.1. Graph Colouring Imagine the task of designing a school timetable. If we ignore the complications of having to find rooms and teachers for the classes we could propose the following

More information

Classification/Decision Trees (II)

Classification/Decision Trees (II) Classification/Decision Trees (II) Department of Statistics The Pennsylvania State University Email: jiali@stat.psu.edu Right Sized Trees Let the expected misclassification rate of a tree T be R (T ).

More information

CSL851: Algorithmic Graph Theory Semester I Lecture 1: July 24

CSL851: Algorithmic Graph Theory Semester I Lecture 1: July 24 CSL851: Algorithmic Graph Theory Semester I 2013-2014 Lecture 1: July 24 Lecturer: Naveen Garg Scribes: Suyash Roongta Note: LaTeX template courtesy of UC Berkeley EECS dept. Disclaimer: These notes have

More information

On Total Domination in Graphs

On Total Domination in Graphs University of Houston - Downtown Senior Project - Fall 2012 On Total Domination in Graphs Author: David Amos Advisor: Dr. Ermelinda DeLaViña Senior Project Committee: Dr. Sergiy Koshkin Dr. Ryan Pepper

More information

A graph is called a tree, if it is connected and has no cycles. A star is a tree with one vertex adjacent to all other vertices.

A graph is called a tree, if it is connected and has no cycles. A star is a tree with one vertex adjacent to all other vertices. 1 Trees A graph is called a tree, if it is connected and has no cycles. A star is a tree with one vertex adjacent to all other vertices. Theorem 1 For every simple graph G with n 1 vertices, the following

More information

6.3 Conditional Probability and Independence

6.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 information

Lecture Notes on Spanning Trees

Lecture Notes on Spanning Trees Lecture Notes on Spanning Trees 15-122: Principles of Imperative Computation Frank Pfenning Lecture 26 April 26, 2011 1 Introduction In this lecture we introduce graphs. Graphs provide a uniform model

More information

Rational exponents in extremal graph theory

Rational exponents in extremal graph theory Rational exponents in extremal graph theory Boris Bukh David Conlon Abstract Given a family of graphs H, the extremal number ex(n, H) is the largest m for which there exists a graph with n vertices and

More information

TREES IN SET THEORY SPENCER UNGER

TREES IN SET THEORY SPENCER UNGER TREES IN SET THEORY SPENCER UNGER 1. Introduction Although I was unaware of it while writing the first two talks, my talks in the graduate student seminar have formed a coherent series. This talk can be

More information

A 2-factor in which each cycle has long length in claw-free graphs

A 2-factor in which each cycle has long length in claw-free graphs A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

More information

Definition. A graph is a collection of vertices, and edges between them. They are often represented by a drawing:

Definition. A graph is a collection of vertices, and edges between them. They are often represented by a drawing: 1. GRAPHS AND COLORINGS Definition. A graph is a collection of vertices, and edges between them. They are often represented by a drawing: 3 vertices 3 edges 4 vertices 4 edges 4 vertices 6 edges A graph

More information

Trees and Fundamental Circuits

Trees and Fundamental Circuits Trees and Fundamental Circuits Tree A connected graph without any circuits. o must have at least one vertex. o definition implies that it must be a simple graph. o only finite trees are being considered

More information

Max Flow, Min Cut, and Matchings (Solution)

Max Flow, Min Cut, and Matchings (Solution) Max Flow, Min Cut, and Matchings (Solution) 1. The figure below shows a flow network on which an s-t flow is shown. The capacity of each edge appears as a label next to the edge, and the numbers in boxes

More information

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

Zachary 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 information

Sets and Cardinality Notes for C. F. Miller

Sets and Cardinality Notes for C. F. Miller Sets and Cardinality Notes for 620-111 C. F. Miller Semester 1, 2000 Abstract These lecture notes were compiled in the Department of Mathematics and Statistics in the University of Melbourne for the use

More information

Odd induced subgraphs in graphs of maximum degree three

Odd 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 long-standing

More information

14. Trees and Their Properties

14. Trees and Their Properties 14. Trees and Their Properties This is the first of a few articles in which we shall study a special and important family of graphs, called trees, discuss their properties and introduce some of their applications.

More information

1 Introduction to Counting

1 Introduction to Counting 1 Introduction to Counting 1.1 Introduction In this chapter you will learn the fundamentals of enumerative combinatorics, the branch of mathematics concerned with counting. While enumeration problems can

More information

Group Theory in Rubik's Cube. Pritish Kamath special thanks to Nishant Totla

Group Theory in Rubik's Cube. Pritish Kamath special thanks to Nishant Totla Group Theory in Rubik's Cube Pritish Kamath special thanks to Nishant Totla Overview Notations Counting Rubik's cube configurations... Quick review of Group Theory. The Rubik's Cube Group. More Group Theory

More information

Divide-and-Conquer. Three main steps : 1. divide; 2. conquer; 3. merge.

Divide-and-Conquer. Three main steps : 1. divide; 2. conquer; 3. merge. Divide-and-Conquer Three main steps : 1. divide; 2. conquer; 3. merge. 1 Let I denote the (sub)problem instance and S be its solution. The divide-and-conquer strategy can be described as follows. Procedure

More information

Why is the number of 123- and 132-avoiding permutations equal to the number of binary trees?

Why is the number of 123- and 132-avoiding permutations equal to the number of binary trees? Why is the number of - and -avoiding permutations equal to the number of binary trees? What are restricted permutations? We shall deal with permutations avoiding some specific patterns. For us, a permutation

More information

Every tree is 3-equitable

Every tree is 3-equitable Discrete Mathematics 220 (2000) 283 289 www.elsevier.com/locate/disc Note Every tree is 3-equitable David E. Speyer a, Zsuzsanna Szaniszlo b; a Harvard University, USA b Department of Mathematical Sciences,

More information

On the k-path cover problem for cacti

On the k-path cover problem for cacti On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we

More information

2. (a) Explain the strassen s matrix multiplication. (b) Write deletion algorithm, of Binary search tree. [8+8]

2. (a) Explain the strassen s matrix multiplication. (b) Write deletion algorithm, of Binary search tree. [8+8] Code No: R05220502 Set No. 1 1. (a) Describe the performance analysis in detail. (b) Show that f 1 (n)+f 2 (n) = 0(max(g 1 (n), g 2 (n)) where f 1 (n) = 0(g 1 (n)) and f 2 (n) = 0(g 2 (n)). [8+8] 2. (a)

More information

Computer Algorithms. NP-Complete Problems. CISC 4080 Yanjun Li

Computer Algorithms. NP-Complete Problems. CISC 4080 Yanjun Li Computer Algorithms NP-Complete Problems NP-completeness The quest for efficient algorithms is about finding clever ways to bypass the process of exhaustive search, using clues from the input in order

More information