8.3
問題描述：
stingy satis the following problem: given a set of clauses(each a disjunction of literals) and an integerk, find a satisfying assignment in which at mostkvariables are true, if such an assignment exists. prove thatstingy satisnp-complete.
問題解答：
首先我們可以將sat問題歸約到stingy sat問題，因為sat問題是stingy sat問題的乙個特例：當k等於變數的總數的時候，stingy sat問題就變成了sat問題。也就是說，stingy sat問題比sat問題要更加難。
在課本中已經證明了sat問題是np-complete的了，那麼也就是說，stingy sat問題是np-hard的。
然後對於stingy sat問題的可能解，我們是可以在多項式時間內驗證其是否正確的。所以，stingy sat問題是乙個np-complete的問題。
演算法導論第8章習題
前面的排序都是基於比較排序，有時候不需要比較也可以排序。關鍵是那些東西有乙個好的表示，比如說整數。用decision tree證明，omega n lg n 是所有比較排序演算法的下界。決策樹中間節點表示比較的兩個東西，葉子節點表示元素的乙個置換，決策樹的每條邊表示這個演算法在這個節點獲得的比較資訊...
演算法第8章習題 8 13題
a 這個問題是屬於 p 的，解法如下 選取任意乙個v l 中的頂點s，以s為根節點進行深度優先搜尋，每當訪問到l中的頂點時，就停止向下擴充套件，使得l中的頂點成為葉節點。如果深度優先搜尋完成後，所有頂點都已經被訪問到，這顆生成樹即是滿足條件的。否則就說明這樣的生成樹不存在。b 是 np 完全的，因為...
第1章 概論
目錄 二 資料型別和抽象資料型別 大綱未規定 三 演算法和演算法分析 資料結構與演算法 師大完整教程目錄 更有python go pytorch tensorflow 爬蟲 人工智慧教學等著你 資料結構 按一定的邏輯結構組成的一批資料，使用某種儲存結構將這批資料儲存於計算機中，並在這些資料上定義了乙...