多項式多項対1回の減少は特定の問題例に行うことができますか?
-
28-09-2020 - |
質問
問題を減らすと、 $ a \ in l $ への$ a \ $ b \ in $ 、関数 $ f:\ sigma ^ {*} \ rightarrow \ gamma ^ {*} $ $ w \ leftrightarrow f(w)\ in k $ 。 $ a $ を解決したい場合は、 $ b $ 、iのためにいくつかの多項式時間アルゴリズムを指定します。 $ A $ を $ b $ に$ b $ を $ B $ 。だからそれは次のように考えられます:
$ a $ の任意のインスタンスから $ b $
私の質問は、 $ b $ または ewans インスタンスの arbitrary インスタンスを減らす必要がありますか。 SPAN CLASS="Math-Container"> $ B $ ?即ちTQBNFから一般化された地理への削減は、いくつかの有効なグラフインスタンスに対して行われますが、一般化された地理学の多くの有効なインスタンスがあります。
解決
マッピングは標識(上)でも注意性(1対1)である必要はありません。実際、多項式の時間で解決できる問題は、少なくとも1つの受け入れインスタンスと少なくとも1つの拒否インスタンスを持つ問題に短縮される多項式の時間であり得る。オリジナルの問題が承認インスタンスである場合、または元の問題が拒否されたインスタンスの場合は拒否インスタンスが発生した場合。
は、 berman-hartmanis推測 NP - 完全問題は、多項式タイムイソモルフィックであり、これは多項式 - 時間を有する多項式多項式の多項式の減少があることを意味する。逆。これは現在未製品的な推測であり、NP完全な問題を指します。