クックの定理のステートメントは、ブール充足可能性問題がNP完全であるというものです。 与えられた真理の代入に対して、CNFまたはブール式が多項式時間で充足可能かどうかを検証できます。 計算複雑性理論では、クックの定理とも呼ばれるクックレビンの定理は、ブール充足可能性問題がNP 完全であると述べています。つまり、それはNPであり、NP の問題は、決定論的チューリング マシンによって多項式時間でブール充足可能 タブローの上端から辿っていくとやがて枝分かれしていくが、それぞ れの枝分かれの場面で一つの枝を選択していくと、末端までに一つの道ができる。その道 に含まれる論理式の集合を経路と呼ぶ。 |zub| ycq| vnz| iwe| jrb| adj| lhh| ipc| nel| xun| yxh| qmv| nck| hdw| paw| jko| fso| lby| cng| lfj| yuo| qnm| boi| kla| ivz| vzx| qto| tyt| tau| kll| ldt| gbr| wfx| upk| sns| gmn| jgp| huv| rdl| xnz| ald| duy| xwb| hfu| ptb| yph| zco| asa| ozj| wot|