n個の頂点とm本の辺をもつ無向グラフに対して,n+o(n)ビットの記憶領域だけを用いて深さ優先探索が可能であり,有向非巡回グラフの場合は,n/[exp(Omega(root(log n)))]ビットの記憶容量だけを用いて深さ優先探索が可能であることがわかった.深さ優先探索以外の複数の問題についても同様の結果を得た.指数時間予想と「この問題をnの3乗より早くは解けない」といった予想の関連性が最近明らかになりつつあるが,我々の結果は,「記憶領域量がnの(1-epsilon)乗しかない場合は計算は不可能」といった予想と他の問題の領域計算量との関係解明の重要性を示唆している点が特に興味深い.
|