NPの2つの問題を1つに組み合わせる

Question

言うと、 $ np $ の両方にOracle AccessがOracle Accessで、決定問題点を解決する決定論的チューリングマシンがあります。 $ np $ で 1 問題のみへのOracle Accessで解決できますか？

それは、 $ np $ の1つの問題にまとめることができます。$ p ^ {np} $ ）？

Answer 1

それをする方法は少なくとも2つあります。1つ目は、 $ b $ と $ c $ の互いに和られます。たとえば多くの方法です $$ \ {0x：x \ \ \} \ cup \ {1y：y \ in c \}。 $$ 2つ目は、NP-Complete Language $ L $ をOracleとして使用することです。多項式時刻の $ l $ に該当するため、 $ b $ をシミュレートすることができます。 $ l $ -ORACLEを使用してOracle。