A computation of the ninth Dedekind number

Journal of Computational Algebra Pub Date : 2023-09-01 DOI:10.1016/j.jaca.2023.100006

Christian Jäkel

引用次数: 4

Abstract

We present an algorithm to compute the 9th Dedekind number: 286386577668298411128469151667598498812366. The key aspects are the use of matrix multiplication and symmetries in the free distributive lattice, that are determined with techniques from Formal Concept Analysis.

查看原文本刊更多论文

第九个Dedekind数的计算

我们提出了一个计算第九个Dedekind数的算法：2863865776682984111284691516598498812366。关键方面是在自由分配格中使用矩阵乘法和对称性，这是用形式概念分析的技术确定的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Computational Algebra

自引率

0.00%

发文量