タグ

Studyと院試に関するsotukenyouのブックマーク (2)

  • NP困難 - Wikipedia

    P、NP、NP完全、NP困難の相関を表すベン図 NP困難(エヌピーこんなん、英: NP-hard)とは計算量理論において、問題が「NPに属する任意の問題と比べて、少なくとも同等以上に難しい」ことである[1]。正確にいうと、ある問題 H がNP困難であるとは、「NPに属する任意の問題 L が H へ帰着可能である」と定義される。この「帰着」の定義として何を用いるかにより微妙に定義が異なることになるが、例えば多項式時間多対一帰着や多項式時間チューリング帰着を用いる。もしもあるNP困難問題を解ける多項式時間の機械が存在すれば、それを利用すればNPに属する任意の問題を多項式時間で解くことができる。 NP完全問題とは、NP困難であり、かつNPに属する問題である。これとは異なり、ある問題がNP困難であってもNPに属するとは限らない。NPは決定問題のクラスなのでNP完全もまた決定問題に限られるが、定義に

    NP困難 - Wikipedia
  • NP - Wikipedia

    計算複雑性理論における NP (英: Non-deterministic Polynomial time)は、複雑性クラスのひとつであり、答えがyesとなるような問いに対して、多項式時間で検証できる証拠が存在する決定問題のクラスである。 定義[編集] NP は、NTIMEを使って次のように定義される[1]。 つまり、非決定性チューリングマシンによって多項式時間で解ける決定問題のクラスであり、名称も 英: Non-deterministic Polynomial time(非決定性多項式時間)の略である。また、多項式時間検証可能という同値な定義もある。言語 が NP に属するとは、多項式時間決定性チューリングマシン と多項式 が存在し、次の性質を満たすことを言う。 ならば、ある証拠 が存在し、 ならば、どんな証拠 でも、 例[編集] ハミルトン閉路問題は、「与えられたグラフについて、全ての頂

  • 1