$ mathrm {DTISP}(n ^ a、n ^ b) subseteq mathrm {DSPACE}(n ^ {b/2})$ですか?

タイトルの質問は、MathOverflowに関する質問について議論する過程で発生しました。明らかに、空間階層定理から、$
mathrm {DSPACE}(n ^ b) subseteq mathrm {DSPACE}(n ^
{b/2})$が偽であるだけでなく、 他の方向に含めるしかし、一度左辺の時間予算を$ n ^ a
$に制限すると、私たちは何が言えるのかもはや分かりません。

質問に無条件に答えることができない場合は、いくつかの標準仮説やいくつかのオラクルに関連して条件付きで答えることができますか?

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です