达文波特-欣策尔序列

✍ dations ◷ 2025-04-02 12:28:33 #组合数学

在组合数学中,达文波特–欣策尔序列是指对任意两个符号交替出现的次数作出限制的序列。达文波特–欣策尔序列其最大长度的界等于序列中不同符号的数目乘以一个渐近意义上很小但并非常数的因子,该因子取决于前述的交替次数上限。达文波特–欣策尔序列最早是由哈罗德·达文波特(英语:Harold Davenport)和安杰伊·欣策尔(英语:Andrzej Schinzel)于 1965 年为研究线性微分方程而定义的。该序列及其长度的渐近界继 Atallah (1985) 一文之后成为了离散几何与几何算法分析领域的标准工具。

有限序列 = 1, 2, 3, ... 满足下列条件时被称作是  阶 达文波特–欣策尔序列:

例如,序列

是一个 3 阶 达文波特-欣策尔序列:它包含了长度为 4 的交替序列,如 ...1, ... 2, ... 1, ... 2, ... (作为子序列在整个序列中出现了 4 次),但它并不包含任何长度为 5 的交替序列。

如果一个  阶 达文波特-欣策尔序列包含了  个不同的值,就称其为 (,) 达文波特-欣策尔序列,或称 (,) 序列。

相关文献已经研究了 (,) 序列在渐近意义上的复杂度:对于 趋于无穷,假设 是固定的常数,已经得出了对于所有 的近乎紧确的界。令 λ() 表示最长的 (,) 序列的长度。目前已知的 λ 的最佳的界可用反阿克曼函数

来描述。其中 是阿克曼函数。由于阿克曼函数增长得很快,其反函数的增长就非常慢,以至于在所有的实际规模的问题中,该函数的值都不会超过常数 4。

用大O符号和大Θ符号可以表述下面这些已知的渐近界:

然而这个界并未被确认是紧确的。

当 是变量而 是一个很小的常数时,λ() 的值目前也已知道:

以实数 为变量的函数族 ƒ() 的下包络线(英语:lower envelope)可用这族函数逐点取的最小值

来描述。我们假定这族函数都非常理想化:它们都是连续的,而且它们之中任意两个函数都只能在最多 个自变量取值处相等。有了这些假设,我们就可以把实数轴划分为有限个区间,使得在每一个这样的区间当中,都存在一个函数,其值比其他任何函数的值都要小。用某个区间上值最小的函数为该区间标上号,这些区间所形成的序列就是一个  阶 达文波特-欣策尔序列。因此, 阶 达文波特-欣策尔序列长度的上界也就是下包络线在这种表示方法中区间数目的上界。

在达文波特(英语:Harold Davenport)和欣策尔(英语:Andrzej Schinzel)最初提出的应用当中,上述函数族就是某个  阶齐次线性微分方程的不同的解之集合。任意两个不同的解最多只能有 个相同的值,所以 个两两不同的解的下包络线就可形成一个 (,) 序列。

下包络线的概念也可以应用于分段连续或仅在实数轴的某些区间上才有定义的函数族;但在这些情况下,计算达文波特-欣策尔序列的阶时,不仅要算不同的函数其图像最多能在几个点处相交,函数中不连续点的个数和函数定义区间的端点个数也要算。例如,平面上一条非竖直的线段可看作是把某个区间上的 值映射到相应的 值的函数图形,而一族这样的线段的下包络线形成的是3 阶的达文波特-欣策尔序列,因为任何两条线段可以形成长度最大为 4 的交替子序列。

相关

  • 老年医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学老年医学(英语:Geriatrics)是医学的一个
  • 羧酸.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
  • 抠鼻子抠鼻子是习惯做在正常情况下,何时人的鼻子会分泌鼻涕以防止外界灰尘等异物入侵肺部。初始分泌的鼻涕呈无色无味状,但当鼻涕捕捉灰尘以后,鼻涕开始变得粘稠,颜色开始加深,并在灰尘
  • ZZ, z是拉丁字母中的第26个字母,也是最后一个字母。这个字母的英语念法有2种:英国等大部分英语口音会念作.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Lin
  • 帕克莱恩 (爱达荷州)帕克莱恩(英语:Parkline)是位于美国爱达荷州本瓦县的一个人口普查指定地区。帕克莱恩的座标为47°20′16″N 116°41′11″W / 47.33778°N 116.68639°W / 47.33778; -116.686
  • 禁忌搜索禁忌搜索(Tabu Search,TS,又称禁忌搜寻法)是一种现代启发式算法,由美国科罗拉多大学教授Fred Glover在1986年左右提出的,是一个用来跳脱局部最优解的搜索方法。其先创立一个初始化
  • 让·马里·安托万·德·拉尼桑让·马里·安托万·路易·德·拉尼桑(法语:Jean Marie Antoine Louis de Lanessan,1843年7月13日-1919年11月7日),是一位法国政治家和博物学家。德·拉尼桑出生于法国吉伦特省的圣
  • 配国王配国王(King consort)是女王的王夫之一种称号。相较于较低阶的配亲王,其礼制上的地位与女王平等,待遇形同国王。欧洲历史上首位封配国王的王夫是苏格兰女王玛丽一世的丈夫、达恩
  • 格里沙·菲利波夫格奥尔基(格里沙)·斯坦契夫·菲利波夫(Georgi (Grisha) Stanchev Filipov) (保加利亚语:Георги (Гриша) Станчев Филипов) (1919年7月13日-1994年11
  • 四维速度四维速度(英语:Four-velocity)是指物理学中,特别是狭义相对论和广义相对论中,一个物体的四维速度是取代经典意义上的速度(三维矢量)的四维矢量(四维时空中的矢量)。选取四维速度的原