課程期末作業:《算法概論》課後8.16題的證明

題目: 證明:考慮怎麼把一個3SAT實例轉化成一個EXPERIMENTAL CUISINE問題:對於任意 一個 3SAT 問題,若其某一子句c爲(U ∨V ∨W),我們可以相應地建立 7 種 ingredients,分別爲{UVWc ,UVWc ,UVWc ,UVWc ,UVWc ,UVWc ,UVWc}。這 7 種 ingredients 代表了使得子句 c 成立的七種不同情況,比如UWVc 代
相關文章
相關標籤/搜索