拟阵：\((E,L)\)，\(E\) 是集合，\(L\) 是包含若干 \(E\) 的子集的集合。
称 \(L\) 中的集合是独立集，其要满足：
- 空集是独立集。
- 遗传性：独立集的子集是独立集。
- 扩张性：如果独立集 \(A,B\) 其中 \(|A|<|B|\)，那么 \(B\) 一定存在 \(x\in B-A\) 使得 \(A\cup \{x\}\in L\)．
不包括扩张性的话，是叫子集系统。
拟阵
发布时间 2023-06-09 16:57:43作者: do_while_true
拟阵：\((E,L)\)，\(E\) 是集合，\(L\) 是包含若干 \(E\) 的子集的集合。
称 \(L\) 中的集合是独立集，其要满足：
不包括扩张性的话，是叫子集系统。