主題
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 序列, 無和集, 三重倍數無關集

使用 探索

參考文獻

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年。

在 中被引用

倍數無關集

請按如下方式引用

Eric W. Weisstein. "倍數無關集。" 來自 --一個 資源。 https://mathworld.tw/Double-FreeSet.html

主題分類