| 5 | 1/1 | 返回列表 |
| 查看: 1269 | 回復: 7 | ||
| 當前只顯示滿足指定條件的回帖,點擊這里查看本話題的所有回帖 | ||
chentianyu1木蟲 (小有名氣)
|
[求助]
關于圖論問題的NP完備性證明
|
|
|
現在要證明一個圖論問題是NP-Complete,是否只需證明它對于某些特殊拓撲的圖(比如弦圖、二部圖)是NP-Complete的?如果答案是肯定的,請給出一個此類證明的例子。 個人感覺特殊拓撲的圖是NP-Complete不能說明這個問題就是NP-Complete,否則我們平時用NP-Complete來判別問題的復雜程度就沒意義了。 |
鐵蟲 (著名寫手)
金蟲 (著名寫手)
|
《圖論》和《組合(數學)圖論》中的NP難題似乎比較多。 正在分析中:也許可以使用其中的一些NP難題用于設計非對稱加密解密算法。類似于RSA等,非對稱加密解密算法主要是基于如:大數分解,離散對數,背包問題,以及橢圓曲線難題的。 一般有兩種辦法來證明某個問題是NP難的: 1、非確定性圖靈機可驗證的。 2、可映射歸約到另一個NP難題。 例如,采用方法1來證明第一個被發(fā)現的NP難題:3-SAT問題。它描述了:由多個三析取范式取合取, 例如:(P1或P2或P3)與(P2或P3或P5)……(p1 | p2 | p3) ^ (p2 | p3 |p5)……,看結果值是否為真值。 如果輸入P有20個引腳,就有2^20種可能,必須一個一個布爾函數去試; 如果輸入P有30個引腳,就必須遍歷2^30次來計算多個三析取范式是否的結果值是否為真值,同樣必須一個一個布爾函數去試。 它顯然是組合爆炸的。 在實際的布爾邏輯與安全的研究中,還明確了排列數N!甚至比指數2^N的計算量更大。 證明它是NP難題很簡單:給定一個例子,它是非確定性圖靈機可驗證的。 |
木蟲 (小有名氣)
金蟲 (著名寫手)
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 材料工程085601數二英一335求調劑 +5 | 雙馬尾痞老板2 2026-03-31 | 5/250 |
|
|---|---|---|---|---|
|
[考研] 一志愿華東師范大學有機化學專業(yè),初試351分,復試被刷求調劑! +9 | 真名有冰 2026-03-29 | 10/500 |
|
|
[考研] 263求調劑 +3 | DDDDuu 2026-03-27 | 3/150 |
|
|
[考研] 本科211生物醫(yī)學工程085409求調劑339分 +7 | 里子木yy 2026-03-29 | 7/350 |
|
|
[考研] 334求調劑 +7 | Trying] 2026-03-31 | 7/350 |
|
|
[考研] 287求調劑 +17 | land xuxu 2026-03-26 | 17/850 |
|
|
[考研] 085600材料與化工調劑 +16 | kikiki7 2026-03-30 | 16/800 |
|
|
[考研] 083000環(huán)境科學與工程調劑,總分281 +4 | 橙子(勝意) 2026-03-30 | 4/200 |
|
|
[考研] 一志愿北京化工大學材料與化工(085600)296求調劑 +25 | 稻妻小編 2026-03-26 | 25/1250 |
|
|
[考研] 292求調劑 +13 | 是妍子也是研子 2026-03-30 | 13/650 |
|
|
[考研] 334分 一志愿武理 材料求調劑 +16 | 李李不服輸 2026-03-26 | 16/800 |
|
|
[考研] 324求調劑 +9 | hanamiko 2026-03-26 | 11/550 |
|
|
[考研] 生物技術與工程 +7 | 1294608413 2026-03-25 | 8/400 |
|
|
[考研] 295求調劑 +5 | wei-5 2026-03-26 | 5/250 |
|
|
[考研] 356求調劑 +4 | gysy?s?a 2026-03-28 | 4/200 |
|
|
[考研] 312,生物學求調劑 +3 | 小譯同學abc 2026-03-28 | 3/150 |
|
|
[考研] 085600,材料與化工321分,求調劑 +9 | 大饞小子 2026-03-27 | 9/450 |
|
|
[考研] 309求調劑 +4 | gajsj 2026-03-25 | 5/250 |
|
|
[考研] 302求調劑 +4 | 錦衣衛(wèi)藤椒 2026-03-25 | 4/200 |
|
|
[考研] 各位老師您好:本人初試372分 +5 | jj涌77 2026-03-25 | 6/300 |
|