达文波特-欣策尔序列

✍ dations ◷ 2025-09-14 03:48:12 #组合数学

在组合数学中,达文波特–欣策尔序列是指对任意两个符号交替出现的次数作出限制的序列。达文波特–欣策尔序列其最大长度的界等于序列中不同符号的数目乘以一个渐近意义上很小但并非常数的因子,该因子取决于前述的交替次数上限。达文波特–欣策尔序列最早是由哈罗德·达文波特(英语: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 的交替子序列。

相关

  • 羟嗪羟嗪(汉语拼音:qiǎngqín (ㄑㄧㄤˇ ㄑㄧㄣˊ),英语:hydroxyzine,药品名:安泰乐、维泰宁(Vistaril, hydroxyzine pamoate, capsule 25mg F631-15)、Atarax)是属于二苯甲烷和哌嗪
  • 体细胞体细胞(英文:somatic cell)是相对于生殖细胞的概念。这类细胞的遗传信息不会像生殖细胞那样遗传给下一代。高等生物的细胞大部分都是体细胞,除了精子和卵细胞以及它们的母细胞之
  • armoured甲胄鱼(学名:Ostracoderms),又名介皮类,是已灭绝的一类没有下颚的原始鱼类,其身上有骨质的甲板覆盖。它们的化石在奥陶纪至泥盆纪地层都有发现。它们是栖于水底的动物。甲胄鱼是最
  • 北非豹北非豹是非洲豹(Panthera pardus pardus)在北非的种群,极可能已绝迹,主居于北非的阿特拉斯山脉。北非豹于北非是极罕有的,只有少数北非豹居于摩洛哥和阿尔及利亚和在埃及。北非豹
  • 中国科学院外籍院士列表中国科学院外籍院士自1994年起评选,至今已遴选十三批共100余位院士。以下为中国科学院外籍院士名录,按姓名拉丁字母排序。
  • 佃贤典佃贤典(1977年6月28日-),前日本足球运动员。
  • 阮福绵阮福绵�(越南语:Nguyễn Phúc Miên Lịch/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS
  • 冯子才冯子才(1818年-1903年),或名冯子材,字南干,号萃亭,清军将领,因累官至太子少保,又称冯宫保,谥勇毅。生于广东钦州(今属广西),自幼父母双亡,流落街头,跑过牛帮,早年参加过广东天地会,1851年为江
  • 伊比辛伊比辛(约公元前2028年—约公元前2004年在位)(英语:Ibbi-Sin)乌尔第三王朝末位国王。他竭力维护国土,却最终被埃兰人击败,他也被敌人俘获,死于流放中。
  • 东盛街道 (高碑店市)东盛街道,是中华人民共和国河北省保定市高碑店市下辖的一个乡镇级行政单位。东盛街道下辖以下地区:张八屯村、艾各庄村、冯漫撒村、杜家营村、党家营村、钱家营村、马庄村、龙