信息服務的構造與驗證研究報告
2016-05-30 05:42:13蘇開樂
科技創新導報 2016年1期
蘇開樂
摘 要：可滿足性問題（SAT），最大可滿足性問題（MAX-SAT）與最大團問題（MC）都是典型的基本的NP-難解問題。該報告概述了這些難解問題的實驗算法方面的國際研究現狀和國內研究進展，并對國內外研究進展進行了比較，最后討論和展望了難解問題求解的發展趨勢。
關鍵詞：可滿足性 最大可滿足性 最大團問題
Abstract：AT， MAX-SAT， and Maxclique are typical fundamental NP-hard problems. This paper summarizes both the state of the art and domestic progress of experimental algorithm research for these problems. The comparison between the domestic and international research endeavor in recent years ispresented. Finally， the trends of research on solving hard problems are discussed.
Key Words：SAT MAX-SAT Maxclique
閱讀全文鏈接（需實名注冊）：http：//www.nstrs.cn/xiangxiBG.aspx？id=51733&flag=1
