基数型拟阵交算法的一种推广形式

设M_1,M_2为拟阵,E是它们的基本集,(?)_1和(?)_2分别为它们的独立集族,设E_1,E_2,…,E_n为E中一组给定的非空子集(E_n=E_1),本文给出一种基数型算法,所定算法进行独立性检验的次数不大于O(|E|ρ~2),p=max(ρ_1,ρ_2),ρ_1是M_(?)(i=1,2)的秩,算法中重新进行标号的次数不超过O_((m ρ))。