Question: 問題のどのタイプNP-ハード?

それを解決するためのアルゴリズムは、任意のNP-問題(非決定性多項式時間)の問題を解決するための1に変換することができる場合は、

このリストを。?

包括的では決してない(以上3000知らNP完全問題があります)。 NP完全性の理論にAガイド、およびここに同じ順序や組織に提示されているPにおける

はNP困難な問題:このリスト内の問題のほとんどはGareyとジョンソンの精液ブックコンピュータおよび難治から取得されます。 ?

NP困難問題は、少なくともNP問題としてハードとしてのものです。すなわち、すべてのNPの問題は、彼らに(多項式時間で)を低減することができます。 ...任意のNP完全問題はPである場合、それはそのP = NPをたどります。しかし、多くの重要な問題はNP完全であることが示されている、およびそれらのいずれかのための高速なアルゴリズムが知られていない。

どのようにあなたはNP困難な問題を証明していますか?

はその問題を証明するために、Aは、NP困難ですあなたの問題が困難であることを証明するために、つまり、Aに知られているNP困難な問題を減らす、あなたが既に知っているあなたの問題のための架空のecientアルゴリズムを使用して、ハードであるdierentの問題を、解決するためにecientアルゴリズムを記述する必要があります。?

私たちは多項式時間でYを解決することができるNPの問題を証明します:Xにそれを減らします?

。したがって、NP内のすべての問題はpolytimeアルゴリズム及びP = NPを有します。その後、Xは、NP完全です。言い換えれば、私たちは、新しい問題はそれにいくつかの他のNP完全問題を減らすことにより、NP完全であることを証明することができます。あなたはNP完全であるためにあなたの問題を証明する場合は、

なぜ我々はNP完全?

を証明する必要があります、あなたは他の問題、様々なコミュニティへの大きな関心の各数百人の硬度にその硬さを結び付けています。このように、道徳的に言えば、あなたはあなたの問題は確かに困難であることを保証することができます。

どのようにPメンバーシップを証明するのですか?

それは認識言語は特定の言語に等しく、非決定性多項式時間でアルゴリズムを実行することをことを証明します。または:言語を決定するために検証で使用できる証明書を指定します。用途は証明書が与えられた言語のメンバーシップを検証するということを検証を与える

どのようにあなたはNPの問題点を証明していますか?

は、いくつかの問題を証明する最も簡単な方法はですNPは、NPのdefiniitonは他の回答に記載された証明書を使用しています。 NPの非決定的な定義は、通常は問題を示すために非常に有用ではありませんNPに属する

Tell us about you

Find us at the office

Leichsenring- Stoklasa street no. 11, 45055 Bratislava, Slovakia

Give us a ring

Kirbie Kopac
+97 435 527 786
Mon - Fri, 7:00-18:00

Join us