[論文レビュー] Long Alternating Paths Exist

Wolfgang Mulzer, Pável Valtr|arXiv (Cornell University)|Jan 1, 2020

Computational Geometry and Mesh Generation参考文献 8被引用数 2

ひとこと要約

本稿は、n 個の赤点とn 個の青点を持つ凸位置にある2n 個の点の集合が、ある絶対定数 ε > 0 に対して常に長さが (1 + ε)n 以上の交差しない交互パスを含むことを証明している。この結果は、(1/2 + ε)n 梱の分離された二色マッチングの存在を示すことによって達成され、これは自明なn に対する線形加法的改善の初めての例である。主な技術的手法は、点集合の構造的分割におけるランダムマッチングの確率的解析を含むチャンク分解である。

ABSTRACT

Let $P$ be a set of $2n$ points in convex position, such that $n$ points are colored red and $n$ points are colored blue. A non-crossing alternating path on $P$ of length $\ell$ is a sequence $p_1, \dots, p_\ell$ of $\ell$ points from $P$ so that (i) all points are pairwise distinct; (ii) any two consecutive points $p_i$, $p_{i+1}$ have different colors; and (iii) any two segments $p_i p_{i+1}$ and $p_j p_{j+1}$ have disjoint relative interiors, for $i eq j$. We show that there is an absolute constant $\varepsilon > 0$, independent of $n$ and of the coloring, such that $P$ always admits a non-crossing alternating path of length at least $(1 + \varepsilon)n$. The result is obtained through a slightly stronger statement: there always exists a non-crossing bichromatic separated matching on at least $(1 + \varepsilon)n$ points of $P$. This is a properly colored matching whose segments are pairwise disjoint and intersected by common line. For both versions, this is the first improvement of the easily obtained lower bound of $n$ by an additive term linear in $n$. The best known published upper bounds are asymptotically of order $4n/3+o(n)$.

研究の動機と目的

• 非交差交互パスの下界を、自明なn を超えて線形的に改善するという長年の未解決問題に取り組む。
• 非交差交互パスおよび二色凸配置における分離マッチングの両方において、n に対する最初の非線形加法的改善を確立する。
• 凸点集合における分離された二色マッチングおよび単色マッチングに対して、構成的下界を提示し、少なくとも (1/2 + ε)n 梱のエッジを持つマッチングの存在を示す。
• 赤点と青点の数が不等である一般の場合にまで結果を拡張し、単色分離マッチングに対して類似の下界を証明する。
• 離散幾何学と文字列理論を結ぶことで、幾何的パス問題と円形二値語における反回文部分列問題を関連付ける。

提案手法

• 2n 個の点を、n に応じて関数として選ばれるk チャンクに分割する。この分割により、局所的および大域的構造のバランスを取る。
• これらのk チャンク上にランダムチャンクマッチングプロセスを定義し、マッチングされたチャンクは一様にランダムに選ばれる。
• マッチングされたチャンク間のエッジを組み合わせることで、各チャンク内の色優位性に基づいて分離された二色マッチングを構築する：各チャンクの多数色を用いて互いに素なエッジを形成する。
• 確率的解析を用いて、得られるマッチングにおけるエッジ数の期待値を計算し、n/2 を超えるΩ(n) の項を示す。
• 不均衡なチャンク構成に対処するための複数の補題を適用し、非対称な状況下でも大きな分離マッチングを抽出可能であることを保証する。
• チャンクマッチングフレームワークを単色ケースに適応させ、赤点と青点の数が不等であっても、大きな分離単色マッチングが存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 n 個の赤点とn 個の青点を持つ二色凸点集合における非交差交互パスの長さの最良の下界は何か？
• RQ2 非交差交互パスおよび分離マッチングの自明な下界n を、n に比例する加法的項で改善できるか？
• RQ3 任意の二色凸点集合が、少なくとも (1/2 + ε)n 梱のエッジを持つ分離された二色マッチングを含むような定数 ε > 0 が存在するか？
• RQ4 このようなマッチングの存在が、非交差交互パス長の向上にどのように関連するか？
• RQ5 赤点と青点の数が不等である場合にも、類似の下界を分離された単色マッチングに対して確立できるか？

主な発見

• 本稿は、任意のn 個の赤点とn 個の青点を持つ二色凸点集合が、ある定数 ε > 0 に対して長さが (1 + ε)n 以上の非交差交互パスを含むことを確立している。
• 任意のこのような構成において、少なくとも (1/2 + ε)n 梱のエッジを持つ分離された二色マッチングが存在し、これはLemma 1.1を介して改善されたパス長を直接示唆する。
• これは、自明な下界n をn に比例する加法的項で改善した最初の結果であり、以前のn + Ω(√n) の壁を打ち破った。
• 単色ケースでは、十分に大きなn に対して、2n 個の点（n 個の赤点、n 個の青点）を持つ任意の凸点集合において、少なくとも (1/2 + ε)n 頂点の分離された単色マッチングが存在する。
• 最大分離マッチング（二色または単色）のサイズに対する上界は (2 − √2)n ≈ 0.5858n であることが知られており、現在の下界が最適値の定数倍の範囲内にあることを示唆している。
• チャンク分解と確率的解析に基づく証明手法は一般性を持ち、二色および単色の両設定に適用可能である。単色ケースでは、色数の不均衡に対処するための別個の処理が必要である。