2010-12-08 14 views
2

私には2つの問題があります。NP硬度境界

  1. グラフのサイズkのクリークはありますか? NPハード

  2. グラフにサイズ50のクリークはありますか? - 多項式時間はO(n^50)

がなぜ第二の問題はないNPハード最初のものがあるされているように を見つけることができますか?

EDIT:!Pを仮定= n^50が多項式であるのに対し、NP

+1

NPハード(P = NPならば)でもよい。 – Henrik

+0

cstheory質問ですか?そして、見積もりにはコードブロックを使用しないでください。読みにくくなります。限り、質問そのものが行く限り、私はそれは50は定数であると思う。ここでkはそれほど境界を下げることはできない。 – Robert

答えて

3

第1の問題は、任意のNP完全問題(例えば、3-SAT)を多項式時間で減らすことができるため、NP困難である。 (NP硬度の定義による)

第2の問題は、任意のNP完全問題をそれに還元することができないので(例えば、3つのSAT、> 50節)、NPハードではない。 O(n^50)はPに属する。しかし、それは(具体的には、NP は非多項式を意味するものではありません)NP-難しいことではありませんなぜそれが理由ではないので、実際には

は、第二の問題は、Pです。

3

n^kが指数関数的です。