一、歸約的意義

求解一個(gè)算法問(wèn)題的時(shí)候，我們往往可以直觀地感受到有些問(wèn)題是比較難的，有些問(wèn)題是比較簡(jiǎn)單的，但是我們并不能因?yàn)闆](méi)有設(shè)計(jì)出一個(gè)比較高效的算法，就說(shuō)它是一個(gè)難問(wèn)題，所以問(wèn)題的難易是相對(duì)的，我們需要一個(gè)科學(xué)的手段來(lái)界定問(wèn)題的難易

我們可以用問(wèn)題之間的歸約，來(lái)界定兩個(gè)問(wèn)題之間相對(duì)難易程度的基本手段

?

二、優(yōu)化問(wèn)題與判定問(wèn)題

很多經(jīng)典的難問(wèn)題都是優(yōu)化問(wèn)題，而一個(gè)優(yōu)化問(wèn)題往往可以轉(zhuǎn)換成對(duì)應(yīng)的判定問(wèn)題。

一般而言，優(yōu)化問(wèn)題是關(guān)注某種特殊的結(jié)構(gòu)，并希望優(yōu)化該結(jié)構(gòu)的某種指標(biāo)

最大團(tuán)問(wèn)題就是典型的優(yōu)化問(wèn)題、

?

一個(gè)優(yōu)化問(wèn)題往往可以定義其對(duì)應(yīng)的判定問(wèn)題。判定問(wèn)題關(guān)注同樣的結(jié)構(gòu)、同樣的指標(biāo)，但是不同于優(yōu)化問(wèn)題的是，它不在關(guān)注指標(biāo)的最大、最小值，而是引進(jìn)一個(gè)參數(shù)k，并問(wèn)一個(gè)“是與否”的問(wèn)題

研究判定問(wèn)題的意義是什么呢：

1、能為研究問(wèn)題的復(fù)雜性發(fā)揮什么作用？

2、判定問(wèn)題比優(yōu)化問(wèn)題更簡(jiǎn)單，那么研究判定問(wèn)題能否全面反映該問(wèn)題的復(fù)雜性

?

三、歸約的定義

問(wèn)題P可歸約到問(wèn)題Q：問(wèn)題P可以間接地通過(guò)解決問(wèn)題Q來(lái)實(shí)現(xiàn)

?

?

?

四、多項(xiàng)式時(shí)間

我們將多項(xiàng)式時(shí)間可解的問(wèn)題稱作P問(wèn)題

對(duì)問(wèn)題這樣分類的意義？

?

總結(jié)

以上是生活随笔為你收集整理的计算复杂性理论初步（一）多项式时间归约的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。