算法概論 8,16

問題描述： 思路： 問題的核心在於如何把3sat問題規約到烹調實驗問題，若成功規約，那麼易得：如果烹調實驗問題能夠在多項式時間內解決，則3sat也可以。 證明： 假設我們現在面對的是n個variable（以下簡稱V），m個clausees（以下簡稱C）的3SAT問題，那麼我們構建一個（2n+3m）*（2n+3m）的和諧度矩陣：每個variable都可以產生兩種配料：true和false，每個cla

>>阅读原文<<