《計算複雜性：現代方法》——2.2 歸約和NP完全性

本節書摘來自華章計算機《計算複雜性：現代方法》一書中的第2章，第2.2節，作者 ［美］桑傑夫·阿羅拉（Sanjeev Arora），博阿茲·巴拉克（Boaz Barak），譯 駱吉洲，更多章節內容可以訪問雲棲社區「華章計算機」公衆號查看。 2.2　歸約和NP完全性 我們怎樣才能證明一個語言C至少與另外一個語言B一樣難呢？歸約的概念是我們完成這種任務的關鍵工具。

>>阅读原文<<