Aaron Bloomfield CS 202 Rosen, section 7.4

Slides:



Advertisements
Similar presentations
Epp, section 10.? CS 202 Aaron Bloomfield
Advertisements

Binomial Coefficients
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.
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.
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?
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.
1 Set Operations CS/APMA 202, Spring 2005 Rosen, section 1.7 Aaron Bloomfield.
1 The Pigeonhole Principle CS/APMA 202 Rosen section 4.2 Aaron Bloomfield.
1 Integers and Division CS/APMA 202 Rosen section 2.4 Aaron Bloomfield.
1 Representing Relations Epp section ??? CS 202 Aaron Bloomfield.
Applied Discrete Mathematics Week 10: Equivalence Relations
Recursive Definitions and Structural Induction
1 Sequences and Summations CS/APMA 202 Rosen section 3.2 Aaron Bloomfield.
Chapter 9 – Graphs A graph G=(V,E) – vertices and edges
1 Partial Orderings Aaron Bloomfield CS 202 Rosen, section 7.6.
1 Permutations and Combinations CS/APMA 202 Rosen section 4.3 Aaron Bloomfield.
Chapter 2 Graph Algorithms.
1 Predicates and Quantifiers CS/APMA 202, Spring 2005 Rosen, section 1.3 Aaron Bloomfield.
1 Proof Strategies CS/APMA 202 Rosen section 3.1 Aaron Bloomfield.
DISCRETE COMPUTATIONAL STRUCTURES CS Fall 2005.
1 Relations and Their Properties Rosen, section 7.1 CS/APMA 202 Aaron Bloomfield.
1 Closures of Relations: Transitive Closure and Partitions Sections 8.4 and 8.5.
Discrete Mathematics and Its Applications Sixth Edition By Kenneth Rosen Chapter 8 Relations 歐亞書局.
Rosen, Section 8.5 Equivalence Relations
1 Algorithms CS/APMA 202 Rosen section 2.1 Aaron Bloomfield.
1 Representing Relations Rosen, section 7.3 CS/APMA 202 Aaron Bloomfield.
Representing Relations
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.
Lecture 10: Graph-Path-Circuit
1 Basics of Counting CS/APMA 202 Rosen section 4.1 Aaron Bloomfield.
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,
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.
Relations and Graphs Relations and Graphs Sanjay Jain, Lecturer, School of Computing.
Chapter8 Relations 8.1: Relations and their properties.
Representing Relations Using Digraphs
Representing Relations
Proof methods We will discuss ten proof methods: Direct proofs
Computing Connected Components on Parallel Computers
CSE115/ENGR160 Discrete Mathematics 04/28/11
Permutations and Combinations
Mathematical Structures for Computer Science Chapter 6
Discrete Math (2) Haiming Chen Associate Professor, PhD
Applied Discrete Mathematics Week 10: Equivalence Relations
Discrete Maths 9. Graphs Objective
CSE 421: Introduction to Algorithms
CSCE350 Algorithms and Data Structure
Closures of Relations: Transitive Closure and Partitions
Combining relations via relational composition
Discrete Mathematics for Computer Science
Some Graph Algorithms.
Closures of Relations Epp, section 10.1,10.2 CS 202.
Algorithms CSCI 235, Spring 2019 Lecture 32 Graphs I
Directed Graphs (Part II)
Representing Relations Using Matrices
Relations 12/7/2019.
Presentation transcript:

Aaron Bloomfield CS 202 Rosen, section 7.4 Closures of Relations Aaron Bloomfield CS 202 Rosen, section 7.4

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

Rosen, section 7.4, question 1(a) 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) | … }

Rosen, section 7.4, question 1(b) 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

Fan-supplied demotivators!

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

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

Rosen, section 7.4, example 7 Find the zero-one matrix of the transitive closure of the relation R given by: 1 2 3 1 2 3 

Rosen, section 7.4, example 7  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* } 

More transitive closure algorithms More efficient algorithms exist, such as Warshall’s algorithm We won’t be studying it in this class Thus, the material on pages 503-506 won’t be on the test

Motivational posters…

Quick survey I felt I understood the material in this slide set… Very well With some review, I’ll be good Not really Not at all

Quick survey The pace of the lecture for this slide set was… Fast About right A little slow Too slow

Quick survey How interesting was the material in this slide set? Be honest! Wow! That was SOOOOOO cool! Somewhat interesting Rather borting Zzzzzzzzzzz