Closures of Relations Epp, section 10.1,10.2 CS 202.

Slides:



Advertisements
Similar presentations
Graphs - II Algorithms G. Miller V. Adamchik CS Spring 2014 Carnegie Mellon University.
Advertisements

Epp, section 10.? CS 202 Aaron Bloomfield
Some Graph Algorithms.
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.
Introduction to Graph “theory”
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Lecture 17 Path Algebra Matrix multiplication of adjacency matrices of directed graphs give important information about the graphs. Manipulating these.
Midwestern State University Department of Computer Science Dr. Ranette Halverson CMPS 2433 CHAPTER 4 - PART 2 GRAPHS 1.
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?
Applied Discrete Mathematics Week 12: Trees
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.
3/29/05Tucker, Sec Applied Combinatorics, 4th Ed. Alan Tucker Section 4.2 Minimal Spanning Trees Prepared by Amanda Dargie and Michele Fretta.
Discrete Math for CS Chapter 8: Directed Graphs. Discrete Math for CS digraph: A digraph is a graph G = (V,E) where V is a finite set of vertices and.
CISC220 Fall 2009 James Atlas Nov 13: Graphs, Line Intersections.
1 Representing Relations Epp section ??? CS 202 Aaron Bloomfield.
Applied Discrete Mathematics Week 10: Equivalence Relations
Data Structures and Algorithms Graphs Minimum Spanning Tree PLSD210.
 Jim has six children.  Chris fights with Bob,Faye, and Eve all the time; Eve fights (besides with Chris) with Al and Di all the time; and Al and Bob.
Chapter 9 – Graphs A graph G=(V,E) – vertices and edges
Exam 2 Review 8.2, 8.5, 8.6, Thm. 1 for 2 roots, Thm. 2 for 1 root Theorem 1: Let c 1, c 2 be elements of the real numbers. Suppose r 2 -c 1.
Chapter 2 Graph Algorithms.
Properties of Relations In many applications to computer science and applied mathematics, we deal with relations on a set A rather than relations from.
Chapter 4 Relations and Digraphs
Based on slides by Y. Peng University of Maryland
1 Closures of Relations: Transitive Closure and Partitions Sections 8.4 and 8.5.
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.
Discrete Mathematics and Its Applications Sixth Edition By Kenneth Rosen Chapter 8 Relations 歐亞書局.
Fundamental Data Structures and Algorithms (Spring ’05) Recitation Notes: Graphs Slides prepared by Uri Dekel, Based on recitation.
Relations and their Properties
Chapter 10 Graph Theory Eulerian Cycle and the property of graph theory 10.3 The important property of graph theory and its representation 10.4.
CSNB143 – Discrete Structure Topic 7 – Relations Part II.
Relation. Combining Relations Because relations from A to B are subsets of A x B, two relations from A to B can be combined in any way two sets can be.
Problem Statement How do we represent relationship between two related elements ?
Representing Relations Using Matrices A relation between finite sets can be represented using a zero-one matrix Suppose R is a relation from A = {a 1,
 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.
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.
Great Theoretical Ideas in Computer Science for Some.
COMPSCI 102 Introduction to Discrete Mathematics.
1 Closures of Relations Based on Aaron Bloomfield Modified by Longin Jan Latecki Rosen, Section 8.4.
Graph Theory Def: A graph is a set of vertices and edges G={V,E} Ex. V = {a,b,c,d,e} E = {ab,bd,ad,ed,ce,cd} Note: above is a purely mathematical definition.
Section 9.3. Section Summary Representing Relations using Matrices Representing Relations using Digraphs.
CS 361 – Chapter 13 Graph Review Purpose Representation Traversal Comparison with tree.
Relations and Graphs Relations and Graphs Sanjay Jain, Lecturer, School of Computing.
Chapter8 Relations 8.1: Relations and their properties.
Equivalence Relations and Classes
Representing Relations Using Digraphs
Relations Binary relations represent relationships between the elements of two sets. A binary relation R from set A to set B is defined by: R  A 
Aaron Bloomfield CS 202 Rosen, section 7.4
Relations and Digraphs
Representing Relations
Computing Connected Components on Parallel Computers
CSE115/ENGR160 Discrete Mathematics 04/28/11
Hamiltonian cycle part
Mathematical Structures for Computer Science Chapter 6
Great Theoretical Ideas in Computer Science
Discrete Math (2) Haiming Chen Associate Professor, PhD
Applied Discrete Mathematics Week 10: Equivalence Relations
CSE 421: Introduction to Algorithms
Can you draw this picture without lifting up your pen/pencil?
Graph Theory.
Closures of Relations: Transitive Closure and Partitions
Combining relations via relational composition
Discrete Mathematics for Computer Science
Some Graph Algorithms.
Directed Graphs (Part II)
Representing Relations Using Matrices
Relations 12/7/2019.
Presentation transcript:

Closures of Relations Epp, section 10.1,10.2 CS 202

Relational closures Three types we will study Reflexive Symmetric Easy Symmetric Transitive Hard

Reflexive closure Consider a relation R: From our MapQuest example in the last slide set Note that it is not reflexive We want to add edges to make the relation reflexive By adding those edges, we have made a non- reflexive relation R into a reflexive relation This new relation is called the reflexive closure of R

Reflexive closure In order to find the reflexive closure of a relation R, we add a loop at each node that does not have one The reflexive closure of R is R U Where  = { (a,a) | a  R } Called the “diagonal relation” With matrices, we set the diagonal to all 1’s

Reflexive closure example Let R be a relation on the set { 0, 1, 2, 3 } containing the ordered pairs (0,1), (1,1), (1,2), (2,0), (2,2), and (3,0) What is the reflexive closure of R? We add all pairs of edges (a,a) that do not already exist 1 3 2 We add edges: (0,0), (3,3)

Symmetric closure Consider a relation R: From our MapQuest example in the last slide set Note that it is not symmetric We want to add edges to make the relation symmetric By adding those edges, we have made a non- symmetric relation R into a symmetric relation This new relation is called the symmetric closure of R

Symmetric closure In order to find the symmetric closure of a relation R, we add an edge from a to b, where there is already an edge from b to a The symmetric closure of R is R U R-1 If R = { (a,b) | … } Then R-1 = { (b,a) | … }

Symmetric closure example Let R be a relation on the set { 0, 1, 2, 3 } containing the ordered pairs (0,1), (1,1), (1,2), (2,0), (2,2), and (3,0) What is the symmetric closure of R? We add all pairs of edges (a,b) where (b,a) exists We make all “single” edges into anti-parallel pairs 1 3 2 We add edges: (0,2), (0,3) (1,0), (2,1)

Paths in directed graphs A path is a sequences of connected edges from vertex a to vertex b No path exists from the noted start location A path that starts and ends at the same vertex is called a circuit or cycle Must have length ≥1 Start (a) Start (a) End (b) Start (a) End (b)

More on paths… The length of a path is the number of edges in the path, not the number of nodes

Shortest paths What is really needed in most applications is finding the shortest path between two vertices

Transitive closure The transitive closure would contain edges between all nodes reachable by a path of any length

Transitive closure Informal definition: If there is a path from a to b, then there should be an edge from a to b in the transitive closure First take of a definition: In order to find the transitive closure of a relation R, we add an edge from a to c, when there are edges from a to b and b to c But there is a path from 1 to 4 with no edge! (1,2) & (2,3) (1,3) (2,3) & (3,4) (2,4) R = { (1,2), (2,3), (3,4) } 1 2 3 4 1 2 3 4

Transitive closure Informal definition: If there is a path from a to b, then there should be an edge from a to b in the transitive closure Second take of a definition: In order to find the transitive closure of a relation R, we add an edge from a to c, when there are edges from a to b and b to c Repeat this step until no new edges are added to the relation We will study different algorithms for determining the transitive closure red means added on the first repeat teal means added on the second repeat 1 2 3 4

6 degrees of separation The idea that everybody in the world is connected by six degrees of separation Where 1 degree of separation means you know (or have met) somebody else Let R be a relation on the set of all people in the world (a,b)  R if person a has met person b So six degrees of separation for any two people a and g means: (a,b), (b,c), (c,d), (d,e), (e,f), (f,g) are all in R Or, (a,g)  R6

Connectivity relation R contains edges between all the nodes reachable via 1 edge R◦R = R2 contains edges between nodes that are reachable via 2 edges in R R2◦R = R3 contains edges between nodes that are reachable via 3 edges in R Rn = contains edges between nodes that are reachable via n edges in R R* contains edges between nodes that are reachable via any number of edges (i.e. via any path) in R Rephrased: R* contains all the edges between nodes a and b when is a path of length at least 1 between a and b in R R* is the transitive closure of R The definition of a transitive closure is that there are edges between any nodes (a,b) that contain a path between them

Notes HW 11.12 due Friday, April 18th One more HW after that Final exam is May 1st at 0900 Left for us to cover: Equivalence relations, recursive sequences, algorithmic complexity, binomial coefficients

How long are the paths in a transitive closure? Let R be a relation on set A, and let A be a set with n elements Rephrased: consider a graph G with n nodes and some number of edges Lemma 1: If there is a path (of length at least 1) from a to b in R, then there is a path between a and b of length not exceeding n Proof preparation: Suppose there is a path from a to b in R Let the length of that path be m Let the path be edges (x0, x1), (x1, x2), …, (xm-1, xm) That’s nodes x0, x1, x2, …, xm-1, xm If a node exists twice in our path, then it’s not a shortest path As we made no progress in our path between the two occurrences of the repeated node Thus, each node may exist at most once in the path

How long are the paths in a transitive closure? Proof by contradiction: Assume there are more than n nodes in the path Thus, m > n Let m = n+1 By the pigeonhole principle, there are n+1 nodes in the path (pigeons) and they have to fit into the n nodes in the graph (pigeonholes) Thus, there must be at least one pigeonhole that has at least two pigeons Rephrased: there must be at least one node in the graph that has two occurrences in the nodes of the path Not possible, as the path would not be the shortest path Thus, it cannot be the case that m > n If there exists a path from a to b, then there is a path from a to b of at most length n

Finding the transitive closure Let MR be the zero-one matrix of the relation R on a set with n elements. Then the zero-one matrix of the transitive closure R* is: Nodes reachable with one application of the relation Nodes reachable with two applications of the relation Nodes reachable with n applications of the relation

Sample questions Find the zero-one matrix of the transitive closure of the relation R given by: 1 2 3 1 2 3 

Sample questions  1 2 3

Transitive closure algorithm What we did (or rather, could have done): Compute the next matrix , where 1 ≤ i ≤ n Do a Boolean join with the previously computed matrix For our example: Compute Join that with to yield Join that with from above

Transitive closure algorithm procedure transitive_closure (MR: zero-one nn matrix) A := MR B := A for i := 2 to n begin A := A MR B := B  A end { B is the zero-one matrix for R* } 