arXiv News

すべての人に一次情報を

サイト

Aboutプライバシーポリシー利用規約

© 2026 arXiv News

arXiv News

英語日本語

言語を切り替え

英語日本語
アカウントを読み込み中…

すべての人に一次情報を

トップページに戻る
計算複雑性日本語公開済み

ランダムオラクルモデルでPPADは平均ケース難解、UEoPLは多項式オラクルクエリで解決可

2026年11月5日arXiv: 2611.05308v1

ランダムオラクルモデル(Romantica)において、PPADクラスの問題は平均的に難解であることが示された。PPADはナッシュ均衡を求める問題に還元可能な全探索問題の総称である。

対照的に、UEoPL(EoPLの一部子クラス)は、計算上無限に時間をかけてでも多項式数のオラクルクエリで解決できることが判明した。アルゴリズムは行列上のノード(i,j)に「後続者」ポインタを張り、活性化されたノードから順に後続者をたどることで、最終的に「シンク」または最下行に到達する。

この結果は、RomanticaにおけるEoPL(PPAD∩PLS)は平均ケースで難解である一方、UEoPLは多項式オラクルクエリで効率的に解けるという明確な区別を示した。これは全探索問題の難易度分布を理解する上で重要な進展である。

ただし、UEoPLの可解性はランダムオラクルモデルにのみ依存しており、追加の計算上の仮定(例:#SAT の平均ケース難解性)が無ければランダムオラクルモデル内での難易度確定は保証されない。この点は結果の適用範囲に留意が必要である。

元論文

TFNP in the Random Oracle Model

計算複雑性
arXiv で見る
ランダムオラクルモデルでPPADは平均ケース難解、UEoPLは多項式オラクルクエリで解決可 | arXiv News