【摘要】 本文给出了对自由分配格进行等价分类的一种机械算法,并且得到了计算自由分配格D_n的等价类数目的公式。利用这个公式,我们算得D₆的等价类数目是16353。更多还原

【Abstract】 In this paper a mechanical algorithm of equivalent classification for free distributive lattices is given and a formula for the number of equivalent classes for the free distributive lattice Dn is obtained. By using this formula, we have obtained the number of equivalent classes of de,which is 16353.更多还原