Evolving combinatorial problem instances that are difficult to solve

被引:35
作者
van Hemert, Jano I. [1 ]
机构
[1] Univ Edinburgh, Natl E Sci Ctr, Edinburgh EH8 9YL, Midlothian, Scotland
关键词
binary constraint satisfaction; travelling salesman; Boolean satisfiability; 3-SAT; difficult combinatorial problems; problem hardness; evolving problems;
D O I
10.1162/evco.2006.14.4.433
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper demonstrates how evolutionary computation can be used to acquire difficult to solve combinatorial problem instances. As a result of this technique, the corresponding algorithms used to solve these instances are stress-tested. The technique is applied in three important domains of combinatorial optimisation, binary constraint satisfaction, Boolean satisfiability, and the travelling salesman problem. The problem instances acquired through this technique are more difficult than the ones found in popular benchmarks. In this paper, these evolved instances are analysed with the aim to explain their difficulty in terms of structural properties, thereby exposing the weaknesses of corresponding algorithms.
引用
收藏
页码:433 / 462
页数:30
相关论文
共 72 条
  • [41] EFFECTIVE HEURISTIC ALGORITHM FOR TRAVELING-SALESMAN PROBLEM
    LIN, S
    KERNIGHAN, BW
    [J]. OPERATIONS RESEARCH, 1973, 21 (02) : 498 - 516
  • [42] A new look at the easy-hard-easy pattern of combinatorial search difficulty
    Mammen, DL
    Hogg, T
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1997, 7 : 47 - 66
  • [43] EQUATION OF STATE CALCULATIONS BY FAST COMPUTING MACHINES
    METROPOLIS, N
    ROSENBLUTH, AW
    ROSENBLUTH, MN
    TELLER, AH
    TELLER, E
    [J]. JOURNAL OF CHEMICAL PHYSICS, 1953, 21 (06) : 1087 - 1092
  • [44] MITCHELL D, 1992, AAAI-92 PROCEEDINGS : TENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, P459
  • [45] Determining computational complexity from characteristic 'phase transitions'
    Monasson, R
    Zecchina, R
    Kirkpatrick, S
    Selman, B
    Troyansky, L
    [J]. NATURE, 1999, 400 (6740) : 133 - 137
  • [46] Moskewicz MW, 2001, DES AUT CON, P530, DOI 10.1109/DAC.2001.935565
  • [47] PADADIMITRIOU C, 1976, STOC 76 P 8 ANN ACM, P1
  • [48] Palmer EM, 1985, GRAPHICAL EVOLUTION
  • [49] Papadimitriou C.H., 1994, Computational Complexity
  • [50] THE COMPLEXITY OF THE LIN-KERNIGHAN HEURISTIC FOR THE TRAVELING SALESMAN PROBLEM
    PAPADIMITRIOU, CH
    [J]. SIAM JOURNAL ON COMPUTING, 1992, 21 (03) : 450 - 465