beginend

原创 拟阵学习小记

拟阵简介拟阵理论可用于判断一个问题能否通过贪心策略求解，或者说用于证明一个贪心策略是否正确。其能够涵盖许多用贪心法求解的问题，但不是所有的贪心算法都符合拟阵理论。拟阵的定义称一个有序对 M=(S,L)M=(S,L)M=(S,L) 为拟阵，如果它满足以下条件：有穷：SSS 是一个有穷集合。遗传性：LLL 为 SSS 的一个非空子集组成的集合，满足如果 B∈LB\in LB∈L 且 A⊆BA\subseteq BA⊆B，那么 A∈LA\in LA∈L。称 LLL 的元素为独立子集。显然空集 ∅∈L\