複数の組合せ制約を満たす逐次選択の性能を改善する
Prophet Inequalities and Online Contention Resolution for Matchoids
この論文をやさしく読む
ひとことで言うと
候補が順番に現れる中で、複数の組合せ条件を守りながら良い部分集合を選ぶときの、理論上の性能保証を改善します。
何に役立つ?
先の候補を見られない逐次選択アルゴリズムの限界と保証を理解する基礎結果です。実行可能性の条件が重なる問題を広く扱います。
この研究の面白いところ
候補の到着順が敵対的かランダムかを分け、それぞれ明示的な競合比を示しています。複数のマトロイドの分割を協調させる構成が鍵です。
どこまで分かった?
確率変数の分布が既知という設定での数学的保証です。比較基準は事前的な分数緩和であり、実データでの平均性能や計算速度を報告した要旨ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
古典的な預言者不等式では、アルゴリズムは分布が既知の確率変数の列を逐次観測し、選択値の期待値を最大化するために、その中から一つを選ばなければならない。その性能は、選択前にすべての確率変数を観測できる「全知の預言者」と比較される。アルゴリズムが、実行可能な集合族に属するという制約の下で、確率変数の部分集合を選べる組合せ的な拡張も広く研究されてきた。 本研究では、k個のマトロイドの交差制約と、各辺の頂点数がk以下のハイパーグラフのマッチング制約を共通に一般化したk-matchoid制約について、二つの一般的なオンライン到着モデルで預言者不等式を調べる。全知の預言者の事前的な分数緩和を基準に保証を与え、敵対的順序の場合に1/(k+1)、ランダム順序の場合に(1−e⁻ᵏ)/kという事前競合比を得る。LeeとSinglaの双対性の枠組みを用いると、これらの設定におけるオンライン競合解消方式も得られる。 敵対的順序の預言者不等式は、KalantarzadehとPashkovichによる2026年の、競合比1/2のマトロイド預言者不等式を一般化したものと見なせる。この一般化では、複数のマトロイドにまたがって協調させた重み付き主分割という新しい枠組みを導入する。ランダム順序の預言者不等式は、LeeとSinglaによる2018年のk=1のマトロイドの場合を一般化する。二つの結果は、k個のマトロイドの交差に対して既知だった、それぞれ1/((e+o(1))k)と1/(k+1)という競合比を改善する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17(UTC)
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In the classical prophet inequality, an algorithm observes a sequence of random variables with known distributions in an online fashion, and it must select one of the random variables with the goal of maximizing the expected value of its selection. The performance of the algorithm is compared to an \textit{omniscient prophet} who observes all of the random variables before having to make its selection. Combinatorial extensions of the classical prophet inequality in which the algorithm gets to pick a subset of the random variables (constrained to belong to some family of feasible sets) have been studied extensively. We study prophet inequalities with a $k$-matchoid constraint (a common generalization of a $k$-matroid intersection constraint and a $k$-bounded hypergraph matching constraint) in two common online arrival models. We give guarantees with respect to the \textit{ex-ante} fractional relaxation of the omniscient prophet, obtaining an ex-ante competitive ratio of $\frac{1}{k+1}$ in the adversarial order case, and $\frac{1-e^{-k}}{k}$ in the random order case. Using the duality framework of Lee and Singla \cite{Lee2018}, this also yields online contention resolution schemes in these settings. Our adversarial-order prophet inequality can be viewed as a generalization of a recent $\frac12$-competitive matroid prophet inequality by Kalantarzadeh and Pashkovich, 2026. This generalization introduces a new framework: coordinated weighted principal partitions across multiple matroids. Our random-order prophet inequality is a generalization of the $k=1$ matroid case of Lee and Singla, 2018. The two results improve previously known competitive ratios for $k$-matroid intersection, which were $\frac{1}{(e+o(1))k}$ and $\frac{1}{k+1}$, respectively.
arXiv ID: 2609.20939 / 要約の誤りについて