De Bruijn sequences Rotating drum problem:

Slides:



Advertisements
Similar presentations
CS 336 March 19, 2012 Tandy Warnow.
Advertisements

Great Theoretical Ideas in Computer Science for Some.
 Theorem 5.9: Let G be a simple graph with n vertices, where n>2. G has a Hamilton circuit if for any two vertices u and v of G that are not adjacent,
Chapter 8 Topics in Graph Theory
1 Matching Polytope x1 x2 x3 Lecture 12: Feb 22 x1 x2 x3.
Lecture 5 Graph Theory. Graphs Graphs are the most useful model with computer science such as logical design, formal languages, communication network,
MCA 202: Discrete Mathematics under construction Instructor Neelima Gupta
8.3 Representing Relations Connection Matrices Let R be a relation from A = {a 1, a 2,..., a m } to B = {b 1, b 2,..., b n }. Definition: A n m  n connection.
Walks, Paths and Circuits Walks, Paths and Circuits Sanjay Jain, Lecturer, School of Computing.
Graph-02.
 期中测验时间:本周五上午 9 : 40  教师 TA 答疑时间 : 周三晚上 6 : 00—8 : 30  地点:软件楼 315 房间,  教师 TA :李弋老师  开卷考试.
9.7 Planar Graphs. Intro problem- 3 houses and 3 utilities K 3,3 problem: Can 3 houses be connected to 3 utilities so that no 2 lines cross? Similarly,
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Representing Relations Using Matrices
8.4 Closures of Relations. Intro Consider the following example (telephone line, bus route,…) abc d Is R, defined above on the set A={a, b, c, d}, transitive?
Section 2.1 Euler Cycles Vocabulary CYCLE – a sequence of consecutively linked edges (x 1,x2),(x2,x3),…,(x n-1,x n ) whose starting vertex is the ending.
R. Bar-Yehuda © 1 קומבינטוריקה למדעי - המחשב – הרצאה #17 Chapter 2: TREES מבוסס על הספר : S. Even, "Graph Algorithms",
What is the first line of the proof? a). Assume G has an Eulerian circuit. b). Assume every vertex has even degree. c). Let v be any vertex in G. d). Let.
What is the next line of the proof? a). Let G be a graph with k vertices. b). Assume the theorem holds for all graphs with k+1 vertices. c). Let G be a.
Discrete Structures Chapter 7B Graphs Nurul Amelina Nasharuddin Multimedia Department.
Definition Hamiltonian graph: A graph with a spanning cycle (also called a Hamiltonian cycle). Hamiltonian graph Hamiltonian cycle.
Vertex Cut Vertex Cut: A separating set or vertex cut of a graph G is a set SV(G) such that S has more than one component. Connectivity of G ((G)): The.
Math Foundations Week 12 Graphs (2). Agenda Paths Connectivity Euler paths Hamilton paths 2.
Is the following graph Hamiltonian- connected from vertex v? a). Yes b). No c). I have absolutely no idea v.
How many non-isomorphic tournaments with 10 vertices are there? a). 5 b). 10 c). 362,880 d). Over nine million.
MCA 520: Graph Theory Instructor Neelima Gupta
What is the next line of the proof? a). Assume the theorem holds for all graphs with k edges. b). Let G be a graph with k edges. c). Assume the theorem.
Applied Discrete Mathematics Week 10: Equivalence Relations
1/22/03Tucker, Applied Combinatorics, Section EDGE COUNTING TUCKER, APPLIED COMBINATORICS, SECTION 1.3, GROUP B Michael Duquette & Amanda Dargie.
Turan’s theorem and extremal graphs Question: How many edges a simple graph must have to guarantee that the graph contains a triangle? Since K m,m and.
7.1 Introduction to Graph Theory
Trees and Distance. 2.1 Basic properties Acyclic : a graph with no cycle Forest : acyclic graph Tree : connected acyclic graph Leaf : a vertex of degree.
Chapter 1 Fundamental Concepts II Pao-Lien Lai 1.
Discrete Structures Lecture 12: Trees Ji Yanyan United International College Thanks to Professor Michael Hvidsten.
5.2 Trees  A tree is a connected graph without any cycles.
Graphs.  Definition A simple graph G= (V, E) consists of vertices, V, a nonempty set of vertices, and E, a set of unordered pairs of distinct elements.
Planar Graphs Graph Coloring
Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,
Unit – V Graph theory. Representation of Graphs Graph G (V, E,  ) V Set of vertices ESet of edges  Function that assigns vertices {v, w} to each edge.
Chapter Relations and Their Properties
Graph theory and networks. Basic definitions  A graph consists of points called vertices (or nodes) and lines called edges (or arcs). Each edge joins.
Eulerian Paths and Cycles. What is a Eulerian Path Given an graph. Find a path which uses every edge exactly once. This path is called an Eulerian Path.
 Quotient graph  Definition 13: Suppose G(V,E) is a graph and R is a equivalence relation on the set V. We construct the quotient graph G R in the follow.
Trees Thm 2.1. (Cayley 1889) There are nn-2 different labeled trees
8.4 Closures of Relations Definition: The closure of a relation R with respect to property P is the relation obtained by adding the minimum number of.
2/25/2016Tucker, Sec Applied Combinatorics, 4 th Ed. Alan Tucker Section 2.2 Hamilton Circuits Prepared by: Nathan Rounds and David Miller.
Great Theoretical Ideas in Computer Science for Some.
Graphs Definition: a graph is an abstract representation of a set of objects where some pairs of the objects are connected by links. The interconnected.
COMPSCI 102 Introduction to Discrete Mathematics.
Chapter 7 Planar Graphs 大葉大學 資訊工程系 黃鈴玲  7.2 Planar Embeddings  7.3 Euler’s Formula and Consequences  7.4 Characterization of Planar Graphs.
1 GRAPH Learning Outcomes Students should be able to: Explain basic terminology of a graph Identify Euler and Hamiltonian cycle Represent graphs using.
1 Lecture 5 (part 2) Graphs II (a) Circuits; (b) Representation Reading: Epp Chp 11.2, 11.3
MCA 520: Graph Theory Instructor Neelima Gupta
رياضيات متقطعة لعلوم الحاسب MATH 226. Chapter 10.
Trees.
Graphs. Representations of graphs : undirected graph An undirected graph G have five vertices and seven edges An adjacency-list representation of G The.
De Bruijn sequences 陳柏澍 Novembers Each of the segments is one of two types, denoted by 0 and 1. Any four consecutive segments uniquely determine.
Representing Relations Using Digraphs
Outline 1 Properties of Planar Graphs 5/4/2018.
Applied Combinatorics, 4th Ed. Alan Tucker
Enumerating Distances Using Spanners of Bounded Degree
Systems of distinct representations
Graphs G = (V, E) V are the vertices; E are the edges.
GRAPHS G=<V,E> Adjacent vertices Undirected graph
Gaph Theory Planar Graphs
Discrete Mathematics for Computer Science
Applied Combinatorics, 4th Ed. Alan Tucker
GRAPH THEORY Properties of Planar Graphs Ch9-1.
GRAPH THEORY Properties of Planar Graphs Ch9-1.
Presentation transcript:

De Bruijn sequences Rotating drum problem: 1 1 1 1 1 1 Rotating drum problem: We require that any four consecutive segments uniquely determine the position of the drum. This means that the 16 possible quadruples of consecutive 0’s and 1’s on the drum should be the binary representation the integers 0 to 15. Can this be done and , if yes, in how many ways? 1 1

Consider a digraph (G4) by taking all 3-tuples of 0’s and 1’s as vertices and joining the vertex x1x2x3 by a directed edge to x2x30 and x2x31. The arc (x1x2x3 , x2x3x4 ) is numbered ej, where x1x2x3x4 is the binary representation of j. The graph has a loop at 000 and 111. The graph has an Eulerian circuit because every vertex has in-degree 2 and out-degree 2. Such a closed path produces the required 16-bit sequence of the drum. Such a sequence is called a De Bruijn sequence. 0000111100101101. Define Gn to be the directed graph on (n-1)-tuples of 0’s and 1’s in a similar way. How many edges?

For a 2-in 2-out graph G, we define the “doubled” graph G* as follows: (1) to each edge of G there corresponds a vertex of G*; (2) if a and b are vertices of G*, then there is an edge from a to b iff the edge of G corresponding to a has as terminal end (head) the initial end (tail) of the edge of G corresponding to b. Clearly, Gn*=Gn+1. a2 b2 b1 A2 B2 a3 B1 a1 A1 A3 B3 b3

De Bruijn graph: 0000 000 0001 1000 1001 001 100 ? ? 010 0011 1100 ? 101 ? 110 011 0110 1110 0111 111 1111

Thm. 8.1. Let G be a 2-in 2-out graph on m vertices with M complete cycles. Then G* has 2m-1 M complete cycles. Pf: Prove by induction on m. (1) If m=1 then G has one vertex p and two loops from p to p. Then G2=G* which has one cycle. (2) Suppose G is connected. If every vertex in G has a loop at it, then, with these loops, G has a circuit p1 p2 ...  pm  p1 . Let Ai be the loop pi pi and Bi be the arc pi pi+1. Denote the corresponding vertices in G* by lower cases.

(3) Assume G has a vertex x that does not have a loop on it. Ai bi ai+1 Bi ai bi+1 A cycle in G* has two ways of going from bi to bi+1. So G* has 2m-1 complete cycles, whereas G has only one. Why? (3) Assume G has a vertex x that does not have a loop on it. G: G*: a b p q P R Q S x r s d c

From g we form a new 2-in 2-out graph with one vertex less by deleting the vertex x. This can be done in two ways: G1 is obtained by merging P=R, Q=S, and G2 by P=S, Q=R. By induction hypothesis, the theorem applies to G1 and G2. There are three types of complete cycles in G*, depending whether the two paths leaving r and returning to p, respectively q, both go to p, both to q, or one to p and one to q. We show one case. The other two cases are similar.

These yield 4 complete cycles in G*: 1, pr,4,qs,3,ps,2,qr Path 1 goes from r to p, path 2 from s to q, path 3 from s to p, and path 4 from r to q. These yield 4 complete cycles in G*: 1, pr,4,qs,3,ps,2,qr 1, ps,2,qr,4,qs,3,pr 1, ps,3,pr,4,qs,2,qr 1, ps,2,qs,3,pr,4,qr

In G1* and G2* the situation reduces to: p q In G1* and G2* the situation reduces to: In each of G1* and G2* one complete cycle using the paths 1,2,3,4 is possible. 3 4 1 2 r s 4 G1* 2 G2* 1 p=r q=s 2 3 p=s q=r 4 3 1

Therefore, # complete cycles in G* In the remaining two cases, we also find two complete cycles in G1* and G2* corresponding to 4 complete cycles in G*. Therefore, # complete cycles in G* = 2*(# complete cycles in G1* + # complete cycles in G2*) On the other hand, # complete cycles in G = # complete cycles in G1 + # complete cycles in G2. The theorem follows by induction hypothesis. 

Thm 8.2. Gn has exactly complete cycles. Pf: It is true for n=1. Since Gn*= Gn+1, the result follows by ind from Thm 8.1. □