主题
Search

倍数无关集


一个 集合正整数 是倍数无关的,如果对于任何整数 x, 该集合 {x,2x} !subset= S (或者等价地,x in S 意味着 2x not in S)。 例如,在 {1,2,3} 的子集中,集合 emptyset, {1}, {2}, {2,3}, {1,3}, 和 {3} 是倍数无关的,而 {1,2}{1,2,3} 不是。

集合 {1,2,...,n} 的倍数无关子集数量 a(n) 可以使用 a(1)=2 和以下 递推关系 计算

 a(n)=a(n-1)(F_(b(n)+3))/(F_(b(n)+2)),
(1)

其中 F_n斐波那契数, 1, 1, 2, 3, 5, 8, ... (OEIS A000045), 并且 b(n)二进制进位序列,表示 n二进制 表示中末尾 0 的数量。 对于 n=1, 2, ..., b(n) 由 0, 1, 0, 2, 0, 1, 3, 0, 1, ... (OEIS A007814) 给出,而相应的 a(n) 是 2, 3, 6, 10, 20, 30, 60, 96, 192, ... (OEIS A050291)。

定义

 r(n)=max{|S|:S subset {1,2,...,n} is double-free},
(2)

其中 |S|S基数 (成员数量)。 那么对于 n=1, 2, ..., r(n) 由 1, 1, 2, 3, 4, 4, 5, 5, 6, 6, 7, 8, 9, 9, 10, ... (OEIS A050292) 给出。 r(n) 的显式公式由下式给出

 r(n)=sum_(i=1)^np(i),
(3)

其中

 p(i)={1   if b(i) is even; 0   if b(i) is odd,
(4)

如果 b(n)特征函数 (如上定义),并且 p(i) 的前几个值是 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, ... (OEIS A035263)。 r(n) 的一个简单 递推关系 由下式给出

 f(n)=[1/2n]+f(|_1/4n_|)
(5)

其中 f(0)=0 (Wang 1989),其中 |_x_|向下取整函数[x]向上取整函数r(n) 的一个渐近公式由下式给出

 r(n)∼2/3n+O(log_4n)
(6)

(Wang 1989)。


另请参阅

A-序列, 二进制, Klarner-Rado 序列, 无和集, 三重倍数无关集

使用 Wolfram|Alpha 探索

参考文献

Finch, S. R. "三重倍数无关集常数。" §2.26 in 数学常数。 英国剑桥: 剑桥大学出版社, pp. 183-185, 2003年。Sloane, N. J. A. 整数序列 A000045/M0692, A007814, A035263, A050291A050292,收录于 "整数序列在线百科全书"。Wang, E. T. H. "关于整数的倍数无关集。" 组合数学。 28, 97-100, 1989年。

在 Wolfram|Alpha 中被引用

倍数无关集

请按如下方式引用

Eric W. Weisstein. "倍数无关集。" 来自 MathWorld--一个 Wolfram Web 资源。 https://mathworld.net.cn/Double-FreeSet.html

主题分类