著名的3SAT問題 用蒙特卡羅算法實現的!
標簽: 3SAT 蒙特卡羅 算法
上傳時間: 2013-12-21
上傳用戶:Zxcvbnm
用模擬退火方法解決3SAT問題,里面的3SAT.c就是源程序
標簽: 3SAT 模擬退火
上傳時間: 2016-06-26
上傳用戶:亞亞娟娟123
1971年Cook發表的庫克定理,證明了第一的NPC問題:3SAT
標簽: 1971 Cook 3SAT NPC
上傳時間: 2016-07-09
上傳用戶:dave520l
蟲蟲下載站版權所有 京ICP備2021023401號-1