算法|数学 {对称性, 非对称性, 反对称性}

算法|数学 {对称性, 非对称性, 反对称性}

对称性 Symmetric

定义

设R是定义在X上的齐次二元关系, $(\forall x_1,x_2\in X,(R(x_1,x_2)⟹R(x_2,x_1)))⟹(R具有对称性)$;

性质

比如定义上$N$自然数上的$=$齐次二元关系, 满足$(x_1=x_2)⟹(x_2=x_1),\forall x_1,x_2\in N$, 因此 该关系具有对称性;

非对称性 Asymmetric

定义

对任意的a,b(可以相等), R(a,b) && R(b,a) == 0;

性质

非对称性 一定满足 非自反性, 即R(x,x) == 0;

@DELI;

比如定义上$N$自然数上的$<$齐次二元关系, 满足$(x_1<x_2)⟹\neg (x_2<x_1),\forall x_1,x_2\in N$, 因此 该关系具有非对称性;

反对称性 Antisymmetric

定义

对任意的a != b, R(a,b) && R(b,a) == 0;

性质

@DELI;

比如定义上$N$自然数上的$\le 或<$齐次二元关系,均具有 反对称性;

算法

非二分图求最小点覆盖集, 通过拆点 将其转换为二分图

@LINK: https://editor.csdn.net/md/?articleId=139158366;