[論文レビュー] On the Largest Convexity Number of Co-Finite Sets in the Plane

Chaya Keller, Micha A. Perles|arXiv (Cornell University)|Jan 1, 2026

Computational Geometry and Mesh Generation被引用数 0

ひとこと要約

論文は平面から n 点を除く集合の凸性数 gamma の鋭い境界とほぼ鋭い境界を決定し、凸配置での厳密値を詳述し、一般位置に対する上界を提供する。分離カバー variants を含む。

ABSTRACT

The convexity number of a set $X \subset \mathbb{R}^2$ is the minimum number of convex subsets required to cover it. We study the following question: what is the largest possible convexity number $f(n)$ of $\mathbb{R}^2 \setminus S$, where $S$ is a set of $n$ points in general position in the plane? We prove that for all $n \geq 4$, $\lfloor\frac{n+5}{2} floor \leq f(n) \leq \frac{7n+44}{11}$. We also show that for every $n \geq 4$, if the points of $S$ are in convex position then the convexity number of $\mathbb{R}^2 \setminus S$ is $\lfloor\frac{n+5}{2} floor$. This solves a problem of Lawrence and Morris [Finite sets as complements of finite unions of convex sets, Disc. Comput. Geom. 42 (2009), 206-218].

研究の動機と目的

• 平面から有限点集合を覆うまたは包摂するのに必要な凸集合の数を動機づけられ、定量化する。
• X = R^2 \\ P（P のサイズ n）に対して凸配置と一般配置の両方、分離カバー variants を含む gamma(X) を特徴づける。
• 平面上の共有限集合と凸カバーに関する Lawrence と Morris が提起した問題を解決する。
• P のサイズとカバー/包摂回数の間の正確な境界を提供し、凸配置と一般配置の状況を分析する。

提案手法

• R^2 \\ P に対する複数の Variants（カバー、交差なしでのカバー、包摂、分離された包摂）についてのカバーと包摂パラメータを定義する。
• 幾何的議論とケース分析を用いて凸配置における包摂の下界を導出（n=4 の基底と帰納的ステップを含む）。
• 半平面と交差を用いた構成的カバーによる上界を証明し、一般の P に対して帰納的分解による上界を示す。

実験結果

リサーチクエスチョン

• RQ1 一般位置で |P|=n のとき最大の凸性数 f(n) = max_P:|P|=n gamma(R^2 \\ P) は何か。
• RQ2 凸配置のとき enc(P) と cov(P) の正確な値は何か、分離バリアント enc_c および cov_c との関係はどうなるか。
• RQ3 凸包の分離カバーまたは包摂を考慮したとき凸性の境界はどう変わるか。
• RQ4 凸配置の結果は Lawrence と Morris が convex および分離設定に対して提示した問題を解決するか。
• RQ5 平面での結果を他の組合せ的あるいは不可視性グラフの色数パラメータと関連づけて拡張できるか。

主な発見

• 凸配置の n 点について、enc(P)=cov(P)= floor((n+5)/2) - delta(n)、ここで delta(n)=1 for n ∈ {0,1,3} かつそれ以外は 0。
• 一般位置では enc(P) と cov(P) が上界 7n/11 + 4 に抑えられる。
• 分離設定（enc_c, cov_c）において、enc_c(n)=cov_c(n)= floor((2n+5)/3)。
• この結果は一般位置における分離および凸の設定を完全に解決し、Lawrence と Morris の前の問題を平行・補完する。
• enc(n) と cov(n) は未解決で、証明された下界と上界の間に大きなギャップがあり、今後の重要な研究方向となる。
• 凸配置の正確な結果は凸変種の問題を支持・確定し、包摂とカバーの両方の厳密な表現を提供する。