すべての人に一次情報を
ランダムオラクルモデル(Romantica)において、PPADクラスの問題は平均的に難解であることが示された。PPADはナッシュ均衡を求める問題に還元可能な全探索問題の総称である。
対照的に、UEoPL(EoPLの一部子クラス)は、計算上無限に時間をかけてでも多項式数のオラクルクエリで解決できることが判明した。アルゴリズムは行列上のノード(i,j)に「後続者」ポインタを張り、活性化されたノードから順に後続者をたどることで、最終的に「シンク」または最下行に到達する。
この結果は、RomanticaにおけるEoPL(PPAD∩PLS)は平均ケースで難解である一方、UEoPLは多項式オラクルクエリで効率的に解けるという明確な区別を示した。これは全探索問題の難易度分布を理解する上で重要な進展である。
ただし、UEoPLの可解性はランダムオラクルモデルにのみ依存しており、追加の計算上の仮定(例:#SAT の平均ケース難解性)が無ければランダムオラクルモデル内での難易度確定は保証されない。この点は結果の適用範囲に留意が必要である。