算法{子集,子集包含(二元关系)}

算法{子集,子集包含(二元关系)}

子集

错误

&a = b的子集, 这说明b是个集合(即他形如{...}), 说明a也是个集合(即他也形如{...});
. 比如b = {X,Y}, 则a可以等于{X,Y} 或 {X} 或 {Y} 或 {}; (注意a != X, 你可以说$X\in b$ 但不可以说$X\subset b$)

子集包含(二元关系)

定义

用<来表示, 满足{同一性+传递性};

比如对于一个集合S={a,b} 他本身就存在一个内置的二元关系, 即{}<{a}<{a,b}; {}<{b}<{a,b};
再比如 一维网格空间的前缀和: [0] < [1] < [2] < [3] 这也是个子集包含的关系, 即Sum[x]他表示的A[?]之和 其中{?} = x的子集;

@DELI;

&S: 所有元素; &R: 定义在&S上的$\subset$(集合包含)的全序关系;; 自己肯定是自己的子集(满足同一性); 一定构成一个单根的树;
他并不是和二进制等价的, 比如a<b, c<b, 则如果你用111表示b, a=100, c=001, 那么101 = {a,c}他是非法的; 树节点不是2^N所以不能用二进制;

错误

@DELI;

这个子集包含的二元关系, 他不一定和真正的集合/子集有关联;
比如a < b < c, 如果你认为a = {1}, 那么b = {1,2}, c={1,2,3}, 可以 对于{2} < {1,2}这个关系 并没有体现在a<b<c里面;