コルモゴロフジェネリックオラクル

上の関数が可逆である場合、多項式階層が折り畳まれますか?著者はKolmogorovの一般的なオラクルという名前の新しいタイプの一般的なoraclesを定義しました。

彼らは、$ G oplus H $に対して$ G $がKolmogorov genericで$ H $が$ PSPACE $
-completeであるとの結果を以下のように証明しました。

  1. $ TFNP = FP $、
  2. $ PH $は崩壊しません。
  3. $ P not = UP $。

以下の質問は、Kolmogorovの一般的なoracle $ G $とその定義についての質問です。

Q1. The consistency of two conditions $p$ and $q$ means
$p|_{D(p)cap D(q)}= q|_{D(p)cap D(q)}$ where $D(alpha)$ means
domain of $alpha$. My question is about the meaning of consistency
in the definition of an interval $U_p$. What is the meaning of the
consistency of a condition $p$ with some subset of $U$ like
$A$?

Q2. Theorem 5 says that relative to a Kolmogorov-generic oracle
$G$, $Pnot = UP$. In the proof of this theorem the language
$L={left:exists z(|z|=n landleftin G}$ is defined and
it says that $Lnotin P^G$ without proof. What is the argument to
prove $Lnotin P^G$?

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

返信を残す

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