SIMPLE LOCAL SEARCH PROBLEMS THAT ARE HARD TO SOLVE

被引:165
作者
SCHAFFER, AA [1 ]
YANNAKAKIS, M [1 ]
机构
[1] AT&T BELL LABS,MURRAY HILL,NJ 07974
关键词
LOCAL SEARCH; LOCAL OPTIMA; GRAPH PARTITIONING; CONNECTIONIST NETWORKS; SATISFIABILITY; MAX CUT; COMPLEXITY THEORY; ALGORITHMS;
D O I
10.1137/0220004
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Many algorithms for NP-hard optimization problems find solutions that are locally optimal, in the sense that the solutions cannot be improved by a polynomially computable perturbation. Very little is known about the complexity of finding locally optimal solutions, either by local search algorithms or using other indirect methods. Johnson, Papadimitriou, and Yannakakis [J. Comput. System Sci., 37 (1988), pp. 79-100] studied this question by defining a complexity class PLS that captures local search problems. It was proved that finding a partition of a graph that is locally optimal into equal parts with respect to the acclaimed Kernighan-Lin algorithm is PLS-complete. It is shown here that several natural, simple local search problems are PLS-complete, and thus just as hard. Two examples are: finding a partition that cannot be improved by a single swap of two vertices, and finding a stable configuration for an undirected connectionist network. When edges or other objects are unweighted, then a local optimum can always be found in polynomial time. It is shown that the unweighted versions of the local search problems studied in this paper are P-complete.
引用
收藏
页码:56 / 87
页数:32
相关论文
共 26 条
[1]   A GENERALIZED CONVERGENCE THEOREM FOR NEURAL NETWORKS [J].
BRUCK, J ;
GOODMAN, JW .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1988, 34 (05) :1089-1092
[2]   A PROCEDURE FOR PLACEMENT OF STANDARD-CELL VLSI CIRCUITS [J].
DUNLOP, AE ;
KERNIGHAN, BW .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (01) :92-98
[3]  
Fiduccia C. M., 1988, PROC 19 AUTOM C, P241, DOI DOI 10.1109/DAC.1982.1585498
[4]  
GODBEER G, 1987, THESIS U TORONTO TOR
[5]  
HAKEN A, 1988, COMPLEX SYSTEMS, V2, P191
[6]  
HAKEN A, UNPUB CONNECTIONIST
[7]  
HOPFIELD JJ, 1985, BIOL CYBERN, V52, P141
[8]   NEURAL NETWORKS AND PHYSICAL SYSTEMS WITH EMERGENT COLLECTIVE COMPUTATIONAL ABILITIES [J].
HOPFIELD, JJ .
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA-BIOLOGICAL SCIENCES, 1982, 79 (08) :2554-2558
[9]  
JOHNSON D, IN PRESS OPER RES
[10]  
Johnson D. S., 1985, 26th Annual Symposium on Foundations of Computer Science (Cat. No.85CH2224-4), P39, DOI 10.1109/SFCS.1985.31