Modified extremal optimization for the hard maximum satisfiability problem

被引：0
|
作者：
Guo-qiang Zeng
Yong-zai Lu
Wei-Jie Mao
机构：
[1] Wenzhou University,College of Physics & Electronic Information Engineering
[2] Zhejiang University,State Key Laboratory of Industrial Control Technology, Institute of Cyber
来源：
Journal of Zhejiang University SCIENCE C | 2011年 / 12卷
关键词：
Extremal optimization (EO); Evolution; Probability distributions; Maximum satisfiability (MAXSAT) problem; TP18;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Based on our recent study on probability distributions for evolution in extremal optimization (EO), we propose a modified framework called EOSAT to approximate ground states of the hard maximum satisfiability (MAXSAT) problem, a generalized version of the satisfiability (SAT) problem. The basic idea behind EOSAT is to generalize the evolutionary probability distribution in the Bose-Einstein-EO (BE-EO) algorithm, competing with other popular algorithms such as simulated annealing and WALKSAT. Experimental results on the hard MAXSAT instances from SATLIB show that the modified algorithms are superior to the original BE-EO algorithm.
引用
收藏
页码：589 / 596
页数：7
相关论文
共 50 条
  • [1] Modified extremal optimization for the hard maximum satisfiability problem
    Guoqiang ZENG Yongzai LU WeiJie MAO College of Physics Electronic Information EngineeringWenzhou UniversityWenzhou China State Key Laboratory of Industrial Control TechnologyInstitute of CyberSystems and ControlZhejiang UniversityHangzhou China
    Journal of Zhejiang University-Science C(Computers & Electronics), 2011, 12 (07) : 589 - 596
  • [2] Modified extremal optimization for the hard maximum satisfiability problem
    Zeng, Guo-qiang
    Lu, Yong-zai
    Mao, Wei-Jie
    JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2011, 12 (07): : 589 - 596
  • [3] Modified extremal optimization for the hard maximum satisfiability problem
    Guo-qiang ZENG 1
    Frontiers of Information Technology & Electronic Engineering, 2011, (07) : 589 - 596
  • [4] BACKBONE GUIDED EXTREMAL OPTIMIZATION FOR THE HARD MAXIMUM SATISFIABILITY PROBLEM
    Zeng, Guoqiang
    Lu, Yongzai
    Dai, Yuxing
    Wu, Zhengguang
    Mao, Weijie
    Zhang, Zhengjiang
    Zheng, Chongwei
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2012, 8 (12): : 8355 - 8366
  • [5] Maximum Satisfiability: Anatomy of the Fitness Landscape for a Hard Combinatorial Optimization Problem
    Pruegel-Bennett, Adam
    Tayarani-Najaran, Mohammad-Hassan
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2012, 16 (03) : 319 - 338
  • [6] SOLVING THE MAXIMUM SATISFIABILITY PROBLEM BY FUZZY CONVERTING IT INTO A CONTINUOUS OPTIMIZATION PROBLEM
    Tseng, Lin-Yu
    Chen, Chun
    PROCEEDINGS OF 2014 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOL 1, 2014, : 352 - 358
  • [7] Multistage extremal optimization for hard travelling salesman problem
    Zeng, Guo-Qiang
    Lu, Yong-Zai
    Mao, Wei-Jie
    PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2010, 389 (21) : 5037 - 5044
  • [8] ALGORITHMS FOR THE MAXIMUM SATISFIABILITY PROBLEM
    HANSEN, P
    JAUMARD, B
    COMPUTING, 1990, 44 (04) : 279 - 303
  • [9] Survey on algorithms for the maximum satisfiability problem
    He, Kun
    Zheng, Jiongzhi
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2022, 50 (02): : 82 - 95
  • [10] MAXIMUM PRINCIPLE FOR AN EXTREMAL PROBLEM
    AGAMALIYEV, AG
    IZVESTIYA AKADEMII NAUK AZERBAIDZHANSKOI SSR SERIYA FIZIKO-TEKHNICHESKIKH I MATEMATICHESKIKH NAUK, 1977, (06): : 48 - 51
12345