2つのブール満足度の問題の抑制性

Question

この問題を求めていくつかの助けを頼みます。

2つのブール充足可能性の問題があります。

問題 $ a $ ：size $ n $ の任意の式を判断する $ SEMSINGIBER $ 。
問題 $ b $ ：size $ n-1 $ の任意の式を決定する $ n $ が正の整数 $ \ ge 2である "math-container"> $ stusportiable>です。 $

$ A $ を解決できることを証明する

私は解決策が $ a $ が $ b $ に抑制されていることを示すと思います。 。これは、 $ b $ のOracleアルゴリズムを表示する必要があることを意味します $ a $ のOracle Algorithmを派生させます。

表示時の $ b $ の任意の式は、 $ n-1 $ ですが、 $ A $ は $ n $ です。 $ b $ のOracleからOracle Algorithm="math-container"> $ A $ についてOracle Algorithmをターンすることを想定できます。 $ b $ のそれより1小さいサイズの式を決定していますか？

Answer 1

問題Aは、以下の方法で問題Bに還元可能である：

• 問題に変数を選択して、 0
• 今、BサイズN-1の式があります。
• それ以外の場合は、再び問題を選択し、変数を1
に設定してください。
• 今、サイズn-1の式をもう一度持っています。

その他の単語：任意の変数を使用して問題Aを2つの問題に分割します。もしBが0と1の両方に満足不能に言うならば、それは満足できない。2つのうちの少なくとも1つに満足できると言った場合、それは満足のいくものです。