質問
私はPrime(与えられた数字は素数ですか?)は良い例であると思います。したがって、私が削減を説明しようとしているとき、私はプライムに関連する問題の例を与えたいです。
プライムに縮小することができる決定問題は何ですか、そしてこれらの削減はどのように見えるか?
Primeが減らすことができる決定問題は何ですか、そしてこれらの減少はどのように見えますか?
解決
多項式 - 時間の削減について話していると仮定して、Primeは $ P $ にあるため、些細な決定問題に縮小することができます(答えはい、少なくとも1つのインスタンスと回答なしのインスタンスが少なくとも1つあります。さらに、 $ p $ の問題はすべて首相に減らすことができます。
インスタンス $ i $ のインスタンスへの $ i_q $ を減らす問題 $ Q $ 、 $ y_q $ と $ n_q $ は、それぞれ $ q $ には、yesとnoインスタンスです。縮小は次のとおりです。 $ i $ PrimeのNofollow NoreFerrer ">多項式-Timeアルゴリズムその後、
$$ i_q=begin {scess} y_q&\ mbox {if $ i $はyesインスタンス}、\\ n_q&\ mbox {$ i $がインスタンスなし} \ end {ケース} $$
インスタンス $ i_q $ を減らす $ q $ x $ x \ in p $ $ i $ のPrime、span class="math-container"> $ I_Q $ $ Q $ とdefine
$$ i=begin {ケース} 2&\ mbox {if $ i_q $はyesインスタンス}、\\ 1&\ mbox {$ I_Q $がaの場合インスタンスなし。} \ end {ケース} $$