題目：
所謂風箏圖是這樣的，其頂點數為偶數(比如2n)，且其中的n個頂點構成了乙個團，剩餘的n個頂點則由一條稱為「尾巴」的路徑連線，尾巴的某個端點與團中乙個頂點相連。給定乙個圖和目標g，風箏圖問題要求該圖的乙個包含2g個頂點的風箏子圖。請證明該問題是np-完全的。
證明：我們可以將團問題歸約到風箏圖問題。團問題的目標是求出某圖的乙個包含g個頂點的完全子圖。
現設無向圖g = (v, e)，其中|v| ≥ 3。按以下方法構造圖g』，在圖g中新增|v|個新頂點，每個新頂點分別與原頂點相連，使得新頂點和原頂點形成一一對映的關係，邊數共增加|v|。然後再新增|v| - 1個頂點，連成一條路徑，將該路徑的其中乙個端點和最初新增的|v|個頂點相連，得到圖g'。圖示如下：
構建圖g'後，即可將團問題歸約到風箏圖問題。
1.在圖g'中，原屬於圖g的頂點都有一條長度為g的「尾巴」，若圖g'中不存在包含2g個頂點的風箏子圖，則意味著原屬於圖g中的頂點不能構成規模為g的團，即圖g中不存在規模為g的團。
2.若圖g'中存在包含2g個頂點的風箏子圖，則g'中存在規模為g的團，而這個團必定由原屬於g中的頂點和邊構成，因此圖g中存在規模為g的團。
綜上所述，圖g'中存在包含2g個頂點的風箏子圖，當且僅當圖g中存在規模為g的團。因為團問題是np完全問題，所以風箏圖問題也是np完全問題，完成規約。
《演算法概論》習題8 19
問題描述 所謂風箏圖是這樣的，其頂點數為偶數，如2n，且其中的n個頂點構成了乙個團，剩餘的n個頂點則由一條稱為尾巴的路徑連線，尾巴的某個端點與團的乙個頂點相連。給定乙個圖和目標g，風箏圖問題要求圖的乙個包含2g個頂點的風箏子圖。請證明該問題是np 完全。解答 可以將團問題歸約到 kite 問題。若要...
演算法概論 8 3習題證明
演算法概論 習題 8.3 題目描述 吝嗇sat問題是這樣的 給定一組子句 每個子句都是其中文字的析取 和整數k，求乙個最多有k個變數為true的滿足賦值 如果該賦值存在。證明吝嗇sat是np 完全問題。什麼是sat問題？sat問題也稱為合取正規化的可滿足問題，乙個合取正規化形如 a1 a2 an，子...
演算法課習題證明
吝嗇sat問題是這樣的 給定一組子句 每個子句都是其中文字的析取 和整數k，求乙個最多有k個變數為true的滿足賦值 如果該賦值存在。證明吝嗇sat是np 完全問題。假設有子句 a b c a b b c a c a b c 求a,b,c的取值 true or false 使得該表示式的結果是tru...