順列および順列パターンの数学的研究において、スーパーパターンまたは普遍順列とは、与えられた長さのパターンをすべて含む順列のことである。より具体的には、kスーパーパターンは長さkのすべての可能なパターンを含む。[ 1 ]
π が長さnの順列で、 1 からnまでの数字をある順序で並べたシーケンスとして表現され、s = s 1、s 2、...、s k が長さkの π の部分シーケンスである場合、s は、要素がsと同じ順序である長さkの順列である一意のパターンに対応します。つまり、インデックスの各ペアiとjについて、 sのパターンのi番目の要素がj番目の要素より小さい場合のみ、sのi番目の要素はj番目の要素より小さくなります。同様に、パターンは部分シーケンスと順序同型です。たとえば、 π が順列 25314 である場合、長さ 3 の部分シーケンスが 10 個あり、次のパターンを形成します。
| 部分列 | パターン |
|---|---|
| 253 | 132 |
| 251 | 231 |
| 254 | 132 |
| 231 | 231 |
| 234 | 123 |
| 214 | 213 |
| 531 | 321 |
| 534 | 312 |
| 514 | 312 |
| 314 | 213 |
順列πは、長さkのパターンが長さkの順列のすべてを含む場合、 k-スーパーパターンと呼ばれます。例えば、長さ3のパターン25314は、長さ3の順列の6つすべてを含むため、25314は3-スーパーパターンです。パターン123と321を形成する任意の2つの部分列は、1つの位置でしか交差しないため、3-スーパーパターンはこれより短くなることはなく、この2つのパターンをカバーするだけでも5つの記号が必要です。
Arratia ( 1999 ) は、可能な限り短いkスーパーパターンの長さを決定する問題を紹介しました。[ 2 ]彼は、長さk 2のスーパーパターン(正方格子内の点の座標ベクトルの辞書式順序で与えられる) が存在することを観察し、長さnのスーパーパターンでは、パターンの数と同じ数以上のサブシーケンスがなければならないことも観察しました。つまり、が真でなければならないので、スターリングの近似によりn ≥ k 2 / e 2が成り立ちます。ここで、e ≈ 2.71828 はオイラー数です。この下限値は後にクロマン、クワン、シンガル( 2021 )によってわずかに改善され、1.000076 k 2 / e 2に増加しました。[ 3 ] k 2 / e 2の下限値は厳密であるというアラティアの予想を反証しました。[ 2 ]
Arratiaによって証明されたスーパーパターンの長さのk 2の上限は厳密ではない。中間的な改良を経て、[ 4 ] Miller ( 2009 )は、任意のkに対して長さが最大でk ( k + 1)/2のkスーパーパターンが存在することを証明した。[ 5 ] この上限は後にEngenとVatter ( 2021 )によって改良され、⌈( k 2 + 1)/2⌉まで引き下げられた 。[ 6 ]
エリクソンらは、最短のk超パターンの真の長さはk2 / 2に漸近すると予想した。[ 4 ]しかし、これは後述するランダム超パターンに関する アロン の予想と矛盾している。
研究者たちは、ランダムプロセスによって生成されたシーケンスがスーパーパターンになるために必要な長さも研究してきました。[ 7 ] Arratia (1999)は、ランダム順列の最長増加サブシーケンスの長さは (高い確率で) 約2√nであるため、ランダム順列がkスーパーパターンになる確率が高くなるためには、ランダム順列の長さは少なくともk 2 /4 でなければならないと指摘しています。これより短い順列には、アイデンティティパターンが含まれない可能性があります。[ 2 ]彼は、任意のε > 0に対して、高い確率で長さk 2 /(4 − ε)のランダム順列がkスーパーパターンになるという予想をAlonに帰しています。