算法{子集,子集包含(二元关系)}
子集
错误
&a = b的子集
, 这说明b是个集合(即他形如{...}
), 说明a也是个集合(即他也形如{...}
);
.
比如b = {X,Y}
, 则a
可以等于{X,Y} 或 {X} 或 {Y} 或 {}
; (注意a != X
, 你可以说
X
∈
b
X \in b
X∈b 但不可以说
X
⊂
b
X \subset b
X⊂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
里面;