当前位置:首页 > 考试信息 > 正文

离散数学等价关系

等价关系是设R是非空 *** A上的二元关系,若R是自反的、对称的、传递的,则称R是A上的等价关系。shu给定非空 *** A,若有 *** S={S ,S ,…,S },其中S A,S(i=1,2,…,m)且S S = (i j)同时有 S =A,称S是A的划分。

离散数学等价关系

研究等价关系的目的在于将 *** 中的元素进行分类,选取每类的代表元素来降低问题的复杂度,如软件测试时,可利用等价类来选择测试用例。

定义:

若关系R在 *** A中是自反、对称和传递的,则称R为A上的等价关系。所谓关系R 就是笛卡尔积 A×A 中的一个子集。

A中的两个元素x,y有关系R,如果(x,y)∈R。我们常简记为 xRy。

自反: 任意x属于A,则x与自己具有关系R,即xRx;

对称: 任意x,y属于A,如果x与y具有关系R,即xRy,则y与x也具有关系R,即yRx;

传递: 任意x,y,z属于A,如果xRy且yRz,则xRz

x,y具有等价关系R,则称x,y R等价,有时亦简称等价。