论文部分内容阅读
有限集合拓扑构建的基本算法是验证一个可行集簇是否为拓扑.验证算法就是检验可行集簇里的两两子集的交运算和并运算是否都封闭.利用拓扑占可行集簇的比例非常小,即不是拓扑的概率非常大的现象,又根据局部性原理,可将验证算法优化以可以大幅度减少检查封闭的运算量.对阶为k的可行集簇,验证算法的时间复杂度从O(k2)几乎降至O(1).