$ NEXP ^ {NP} $は$ NP/poly $に含まれないと分かっていますか?

私の知る限りでは、$ NEXP ^ {NP} nsubseteq P/poly $が知られていますが、$ NEXP
nsubseteq P/poly $の場合はまだ分かりません。

For more info, see “Superpolynomial circuits, almost sparse
oracles and the exponential hierarchy”
by Buhrman and Homer.
Also, for more info on $P/poly$, see https://en.wikipedia.org/wiki/P/poly

I recently started thinking about $NP/poly$. I can’t seem to
find much info on this class other than the listing here: NP/poly @ Complexity Zoo

@EmilJeřábekは、以下のコメントで、$ MA ^ – $ EXP ^ {NP} cap ^ {NP} $(さらに$
NEXP ^ { Sigma_2 ^ P} $)が含まれていない$ P/poly $の議論を相対化することによって、$
NP/poly $で表される。

質問

     

$ NEXP ^ {NP} $は$ NP/poly $に含まれていないことがわかりますか?

注:以下の@EmilJeřábekのコメントを反映するように質問が更新されました。

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

返信を残す

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