一种用于向下集计数的灵活方法及其在Dedekind数上的应用

我们介绍了一种用于有限偏序集向下集计数的灵活方法，并通过计算Dedekind数 $b(5) = 7581$ 与 $b(6) = 7828354$ 对其进行了检验。对于 $b(5)$ 的计算，我们发展了两种方法：第一种（无预计算）只需对80个偏序集进行简单求值，第二种（有预计算）需对34个偏序集求值。$b(6)$ 的计算（有预计算）通过对245个偏序集求值完成。