跳至內容

達文波特-欣策爾序列

維基百科,自由的百科全書

組合數學中,達文波特–欣策爾序列是指對任意兩個符號交替出現的次數作出限制的序列。達文波特–欣策爾序列其最大長度的界等於序列中不同符號的數目乘以一個漸近意義上很小但並非常數的因子,該因子取決於前述的交替次數上限。達文波特–欣策爾序列最早是由哈羅德·達文波特英語Harold Davenport安傑伊·欣策爾英語Andrzej Schinzel於 1965 年為研究線性微分方程而定義的。該序列及其長度的漸近界繼 Atallah (1985) 一文之後成為了離散幾何幾何算法分析領域的標準工具。[1]

定義

[編輯]

有限序列 U = u1, u2, u3, ... 滿足下列條件時被稱作是 s 階 達文波特–欣策爾序列:

  1. 任意兩個相鄰的元素不相等。
  2. xy 是序列中不同的兩個元素,那麼該序列中不包含 xy 交替出現,共有 s + 2 個數值的子序列 ... x, ... y, ..., x, ..., y, ...。

例如,序列

1, 2, 1, 3, 1, 3, 2, 4, 5, 4, 5, 2, 3

是一個 3 階 達文波特-欣策爾序列:它包含了長度為 4 的交替序列,如 ...1, ... 2, ... 1, ... 2, ... (作為子序列在整個序列中出現了 4 次),但它並不包含任何長度為 5 的交替序列。

如果一個 s 階 達文波特-欣策爾序列包含了 n 個不同的值,就稱其為 (n,s) 達文波特-欣策爾序列,或稱 DS(n,s) 序列。[2]

長度的界

[編輯]

相關文獻已經研究了 DS(n,s) 序列在漸近意義上的複雜度:對於 n 趨於無窮,假設 s 是固定的常數,已經得出了對於所有 s 的近乎緊確的界。令 λs(n) 表示最長的 DS(n,s) 序列的長度。目前已知的 λs 的最佳的界可用反阿克曼函數

α(n) = min { m | A(m,m) ≥ n }

來描述。其中 A 是阿克曼函數。由於阿克曼函數增長得很快,其反函數的增長就非常慢,以至於在所有的實際規模的問題中,該函數的值都不會超過常數 4。[3]

大O符號大Θ符號可以表述下面這些已知的漸近界:

  • λ1(n) = n.[4]
  • λ2(n) = 2n − 1.[4]
  • .[5] 這個界可以在常數因子的誤差範圍內達到:對於平面上的 n 條線段,存在一種擺放它們的方式,使得它們的下包絡線(英語:lower envelope)的線段條數的複雜度達到 Ω(n α(n))。[6]
  • 對於 s ≥ 4 且 s 為偶數,[7]
, 其中 t = (s − 2)/2.
  • 對於 s ≥ 5 且 s 為奇數,目前已知的最佳的界是 [7]
, 其中 t = (s − 3)/2.

然而這個界並未被確認是緊確的。[7]

s 是變量而 n 是一個很小的常數時,λs(n) 的值目前也已知道:[8]

在下包絡線中的應用

[編輯]
由一組線段的下包絡線形成的一個 3 階 達文波特-欣策爾序列

以實數 x 為變量的函數族 ƒi(x) 的下包絡線(英語:lower envelope)可用這族函數逐點取的最小值

ƒ(x) = miniƒi(x)

來描述。 我們假定這族函數都非常理想化:它們都是連續的,而且它們之中任意兩個函數都只能在最多 s 個自變量取值處相等。有了這些假設,我們就可以把實數軸劃分為有限個區間,使得在每一個這樣的區間當中,都存在一個函數,其值比其他任何函數的值都要小。用某個區間上值最小的函數為該區間標上號,這些區間所形成的序列就是一個 s 階 達文波特-欣策爾序列。因此,s 階 達文波特-欣策爾序列長度的上界也就是下包絡線在這種表示方法中區間數目的上界。

達文波特英語Harold Davenport欣策爾英語Andrzej Schinzel最初提出的應用當中,上述函數族就是某個 s 階齊次線性微分方程的不同的解之集合。任意兩個不同的解最多只能有 s 個相同的值,所以 n 個兩兩不同的解的下包絡線就可形成一個 DS(n,s) 序列。

下包絡線的概念也可以應用於分段連續或僅在實數軸的某些區間上才有定義的函數族;但在這些情況下,計算達文波特-欣策爾序列的階時,不僅要算不同的函數其圖像最多能在幾個點處相交,函數中不連續點的個數和函數定義區間的端點個數也要算。例如,平面上一條非豎直的線段可看作是把某個區間上的 x 值映射到相應的 y 值的函數圖形,而一族這樣的線段的下包絡線形成的是3 階的達文波特-欣策爾序列,因為任何兩條線段可以形成長度最大為 4 的交替子序列。

另見

[編輯]

註釋

[編輯]
  1. ^ Sharir & Agarwal (1995),第 x 至第 2 頁。
  2. ^ 關於這些記號,參見 Sharir & Agarwal (1995) 的第 1 頁。
  3. ^ Sharir & Agarwal (1995),第 14 頁。
  4. ^ 4.0 4.1 Sharir & Agarwal (1995),第 6 頁。
  5. ^ Sharir & Agarwal (1995),第 2 章,第 12 至第 42 頁;Hart & Sharir (1986)Wiernik & Sharir (1988)Komjáth (1988)Klazar (1999)Nivasch (2009)
  6. ^ Sharir & Agarwal (1995),第 4 章,第 86 至第 114 頁;Wiernik & Sharir (1988)
  7. ^ 7.0 7.1 7.2 Sharir & Agarwal (1995),第 3 章,第 43 至第 85 頁;Agarwal & Sharir (1989)Nivasch (1999)
  8. ^ Roselle, Stanton & 1970/71.

參考文獻

[編輯]

外部連結

[編輯]