文献

J-GLOBAL ID：200902215920847607   整理番号：06A0498407

MAX-2SAT問題の平均時間計算量の解析

Average-case Analysis for the MAX-2SAT Problem

著者 (2件)： WATANABE Osamu (Tokyo Inst. Technol., Tokyo, JPN) ,  YAMAMOTO Masaki (Tokyo Inst. Technol., Tokyo, JPN)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 106  号： 63(COMP2006 10-16)  ページ： 25-32  発行年： 2006年05月17日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 本論文では,MAX-2SAT問題の平均ケース計算量について議...

シソーラス用語： *充足可能性問題 ,...
準シソーラス用語： *計算の複雑さ ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=06A0498407&from=J-GLOBAL&jstjournalNo=S0532B") }}

分類 (3件)： 論理代数  (JB03000H) ,  計算理論  (JB02000A) ,  システム・制御理論一般  (IA02010H)

引用文献 (11件)：

• BOUGHACI, D. Efficient and experimental meta-heuristics for MAX-SAT problems. Proc. Workshop on Experimental/Efficient Algorithms, 2005. 2005, 501-512
• DRIAS, H. Scatter search with walk strategy for solving hard Max-W-Sat problems. Proc. of Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 2001. 2001, 35-44
• HASTAD, J. Some optimal inapproximability results. Journal of the ACM. 2001, 48, 798-859
• MAZURE, B. A tabu search for sat. Proc. of the 15th National Conf. on Artificial Intelligence (AAAI97). 1997, 281-285
• MCDIARMID, C. Concentration. Probabilistic Methods for Algorithmic Discrete Mathematics. 1998

タイトルに関連する用語 (5件)： Max ,  問題 ,  平均 ,  時間計算量 ,  解析