×

非等效MAC

swMATH ID: 45136
软件作者: 伊格纳托夫,D.I。
描述: 关于布尔格中最大反链的个数,最多为7。我们考虑了两种计算元素上布尔格中最大反链数的方法。第一种是基于完全直接枚举的,而第二种是基于概念格或Galois格(在格理论的应用分支形式概念分析中进行了研究)和部分阶的Dedekind-McNeil完备。最后一种技术还产生了所谓的(概念)格的标准上下文,它给出了最大反链格的另一种表示,即满足和联合可约元素上的二元关系。实现的算法是并行的,并且可以在作者的GitHub页面上公开获得https://github.com/dimachine/NonEquivMAC。作者获得的所有计算结果都列在他们在整数序列在线百科全书中的记录中:https://oeis.org/A326359,https://oeis.org/A326360、和https://oeis.org/A348260这些序列有其著名的对应物,称为Dedekind数,代表布尔晶格的反链数{B} _n(n)\)变量上的单调布尔函数。
主页: https://link.springer.com/article/10.1134/S1995080223010158
源代码:  https://github.com/dimachine/NonEquivMAC
关键词: 最大反链;形式概念分析;Dedekind McNeil完成;Dedekind数字;闭项集挖掘
相关软件: 间隙;组织环境信息系统
引用于: 1文件

按年份列出的引文