arXiv論文メモ
新着一覧
cs.DS · 査読状況未確認

事前サンプルを使うオンライン算法の限界と頑健性

Online Algorithms with a Sample: Tight Bounds and Adversarial Robustness

Anish Hebbar, Ravi Kumar, Roie Levin, Joseph (Seffi) Naor, Debmalya Panigrahi

この論文をやさしく読む

ひとことで言うと

入力を順番に受け取って判断する算法が、事前に見た一部のサンプルをどれだけ活用できるか、さらにその一部が改ざんされてもどの程度の性能を保てるかを調べています。

何に役立つ?

集合被覆や施設配置などで、少量の事前情報を利用する算法の理論的な設計基準になります。サンプルの誤りや敵対的な変更に対する性能保証も扱います。

この研究の面白いところ

サンプル割合pへの依存を1/pからlog(1/p)へ改善する結果を示しています。改ざん数kを含む形でもタイトな競合比を導き、事前情報の有用性と頑健性を同じ枠組みで扱います。

どこまで分かった?

競合比は最適解との比較による理論的な保証で、実行時間の高速化率ではありません。要旨はp、kなどを使う漸近式を示していますが、適用範囲の詳細や定数は記載していません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

オンラインアルゴリズムに、入力の偏りのないpサンプルがオフラインの助言として与えられるとする。アルゴリズムはこのサンプルを利用して、最悪時を超える性能を達成できるだろうか。私たちは、このサンプル付きオンラインアルゴリズム(OAS)モデルを研究する。集合被覆について、タイトな競合比O(log(1/p)·log m+log n)を持つアルゴリズムを示す。これはGuptaら(SODA 2024)のO((1/p)·log(mn))という保証を指数関数的に改善し、同論文の未解決問題に答える。手法は被覆整数計画と非距離的施設配置にも拡張でき、これらにもタイトな上界を与える。さらに、距離的施設配置に対して競合比O(log(1/p)/log log(1/p))のアルゴリズムを与え、Argueら(NeurIPS 2022)の未解決問題に答える。 次に、敵対者がpサンプルのk個の要素を任意に変更できる、OASモデルの頑健な変種を導入して研究する。集合被覆、被覆整数計画、非距離的施設配置について、タイトな競合比O(log(k/p)·log m+log n)を得る。距離的施設配置とSteiner木については、それぞれO(log(k/p)/log log(k/p))とO(log(k/p))というタイトな競合比を得る。私たちの知る限り、これらはOAS設定における頑健なアルゴリズムについての初めての結果である。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-18(UTC)
最新改訂
2026-09-18 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Suppose an online algorithm is given an unbiased $p$-sample of its input as offline advice; can the algorithm exploit the sample to achieve beyond-worst-case performance? We study this online algorithms with a sample (OAS) model. We show a tight $O\left(\log (1/p) \cdot \log m + \log n\right)$-competitive algorithm for set cover, exponentially improving upon the $O\left(1/p \cdot \log (mn)\right)$ guarantee of Gupta et al. (SODA'24) and answering an open question therein. Our techniques extend to covering integer programs and non-metric facility location, also yielding tight bounds for these problems. Further, we give an $O(\log (1/p)/ \log \log (1/p))$-competitive algorithm for metric facility location, answering an open question of Argue et al. (NeurIPS'22). We then introduce and study the robust variant of the OAS model, in which an adversary is allowed to arbitrarily modify $k$ elements of the $p$-sample. For set cover, covering integer programs, and non-metric facility location, we obtain a tight competitive ratio of $O\left(\log (k/p) \cdot \log m + \log n\right)$. For metric facility location and Steiner tree, we obtain tight competitive ratios of $O\left(\log (k/p) / \log \log (k/p) \right)$ and $O\left(\log (k/p)\right)$ respectively. To the best of our knowledge, these are the first results for robust algorithms in the OAS setting.

arXiv ID: 2609.21889 / 要約の誤りについて