推 NTUmaki: 多項式正數次方一定比log快 10/20 21:14
了解~ 感謝N大~
※ 編輯: try66889 (114.32.191.76 臺灣), 10/20/2020 22:07:59
推 mi981027: 2. 要把任意CNF轉換成3CNF的形式有時候得引入額外變數 10/21 07:04
→ mi981027: 舉例,要把A v B轉成3CNF,可以引入額外變數p 10/21 07:04
→ mi981027: 變成(A v B v p) ^ (A v B v not(p)) 10/21 07:04
→ mi981027: 概念其實就是引入一個沒用的變數把他湊成3CNF 10/21 07:04
→ mi981027: 這在CLRS證明3CNF是NP-complete時有提到(p. 1082) 10/21 07:04
了解惹OWO! 感謝m大~
※ 編輯: try66889 (114.32.191.76 臺灣), 10/21/2020 12:51:27
※ 編輯: try66889 (114.32.191.76 臺灣), 10/22/2020 11:56:35