贪心算法及其理论依据——拟阵