補完下で閉じられていない言語の非統一クラス

ほとんどの「通常の」非一様な回路クラスは、補数のもとで閉じられます。回路の出力に否定ゲートを追加し、必要に応じてDe-Morganの法則を適用するだけです。

今では補間の下ではまだ閉じられているが、はるかにあまり明らかではない校正の下で、ポリロッグの深さのスキュー回路など、いくつかの自然な非一様なクラスの回路が存在する。

  1. 補完の下で断固として閉鎖されていない、自然で非均一な回路クラスがありますか?
  2. 上記の質問があまりにも難しい場合は、P/poly内に自然な回路クラスがあります。これは補数下で閉じられると予期せぬことを暗示していますか?

私は$ C_1 subseteq X subseteq C_2 $が複雑さのクラスであり、$ X $が補完的に$ C_1
neq C_2
$で閉じられないので、上記を満たすクラスが奇妙なものになると思います。そのような分離が欠けているので、「自然」という言葉は、以前に研究されたクラスであり、この質問に答えるためだけに作られたクラスではありません。一方、私は、補完的に閉じられていない複雑なクラスを工夫する方法を持つことは面白いと思う。

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

返信を残す

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