90 likes | 276 Views
이산수학 (Discrete Mathematics) 관계의 표현 (Representing Relations). 2014 년 봄학기 강원대학교 컴퓨터과학전공 문양세. Representing Relations. Representing Relations. Some ways to represent n -ary relations: With an explicit list or table of its tuples.
E N D
이산수학(Discrete Mathematics) 관계의 표현 (Representing Relations) 2014년 봄학기 강원대학교 컴퓨터과학전공 문양세
Representing Relations Representing Relations • Some ways to represent n-ary relations: • With an explicit list or table of its tuples. • With a function,or with an algorithm for computing this function. • Some special ways to represent binary relations: • With a zero-one matrix. • With a directed graph.
Using Zero-One Matrices Representing Relations To represent a relation R by a matrix MR = [mij], let mij = 1 if (ai,bj)R, else 0. E.g., Joe likes Susan and Mary, Fred likes Mary, and Mark likes Sally. The 0-1 matrix representationof that “Likes”relation:
Zero-One Reflexive, Symmetric (1/2) Representing Relations • Terms: Reflexive, irreflexive, symmetric, and antisymmetric. • These relation characteristics are very easy to recognize by inspection of the zero-one matrix. any-thing any-thing any-thing any-thing Irreflexive:all 0’s on diagonal Reflexive:all 1’s on diagonal
Zero-One Reflexive, Symmetric (2/2) Representing Relations anything anything Symmetric:all identicalacross diagonal Antisymmetric:all 1’s are acrossfrom 0’s
Using Directed Graphs (1/2) Representing Relations A directed graph or digraphG=(VG,EG) is a set VGof vertices (nodes) with a set EGVG×VG of edges (arcs,links).(관계는 노드(꼭지점)의 집합 V와 에지(링크)의 집합 E로 표현되는 방향성 그래프로 나타낼 수 있다.) Visually represented using dots for nodes, and arrows for edges. Notice that a relation R:A↔B can be represented as a graph GR=(VG=AB, EG=R).(일반적으로, 노드는 점으로, 에지는 화살표로 표현한다.)
Using Directed Graphs (2/2) Representing Relations Edge set EG(blue arrows) GR MR Joe Susan Fred Mary Mark Sally Node set VG(black dots)
Digraph Reflexive, Symmetric Representing Relations It is extremely easy to recognize the reflexive/irreflexive/ symmetric/antisymmetric properties by graph inspection. Reflexive:Every nodehas a self-loop Irreflexive:No nodelinks to itself Symmetric:Every link isbidirectional Antisymmetric:No link isbidirectional Asymmetric, non-antisymmetric Non-reflexive, non-irreflexive
Homework #7 Representing Relations