LAU_NP
Heuristics for NP problems
LAU_NP
is a FORTRAN90 library which
implements heuristic algorithms for certain "hard" problems,
by Hang Tong Lau.
These problems are hard in the sense that, as the problem size N
increases, the amount of work required to compute a solution grows
exponentially.
The classic example of this is the "traveling salesman problem",
which seeks the shortest roundtrip that visits each location exactly
once. The obvious method of solution, to compute the length of every
possible path, is not much worse than the best known method of
solution, in terms of the amount of computing required to find the
exact answer. However, there are heuristic methods that can find a
"reasonable" approximation to the answer for most problems, in a
much shorter amount of time.
The problems considered include:

the integer linear programming problem;

the Kcenter problem;

the Kmedian problem;

the 01 knapsack problem;

the multiple knapsack problem;

the graph matching problem;

the graph partitioning problem;

the minimal Steiner tree problem;

the traveling salesman problem;
Languages:
LAU_NP is available in
a FORTRAN90 version.
Related Data and Programs:
ASA058,
a FORTRAN77 library which
contains the original text of the Sparks
clustering algorithm.
ASA136,
a FORTRAN77 library which
contains the original text of the Hartigan
and Wong clustering algorithm.
CITIES,
a FORTRAN90 library which
handles various problems associated with a set of "cities" on a map.
CITIES,
a dataset directory which
contains a number of city distance datasets.
FLOYD,
a FORTRAN90 library which
implements Floyd's algorithm for finding the shortest distance between pairs of
nodes on a directed graph.
KMEANS,
a FORTRAN90 library which
contains several implementations of
the KMeans algorithm.
KNAPSACK,
a FORTRAN77 library which
solves a variety of knapsack problems.
KNAPSACK_01,
a dataset directory which
contains test data for the 0/1 knapsack problem;
KNAPSACK_MULTIPLE,
a dataset directory which
contains test data for the multiple knapsack problem;
LAMP,
a FORTRAN77 library which
solves linear assignment and matching problems.
PARTITION_PROBLEM,
a FORTRAN90 library which
seeks solutions of the partition problem, splitting a set of integers into
two subsets with equal sum.
SPAETH,
a FORTRAN90 library which
can cluster data according to various principles.
SPAETH,
a dataset collection which
contains a set of test data.
SPAETH2,
a FORTRAN90 library which
can cluster data according to various
principles.
SPAETH2,
a dataset collection which
contains a set of test data.
SUBSET_SUM,
a FORTRAN90 library which
seeks solutions of the subset sum problem.
TOMS456,
a FORTRAN77 library which
handles the routing problem, connecting some nodes in a network.
TSP,
a dataset directory which
contains test data for the traveling salesperson problem;
TSP_LAU,
a FORTRAN90 library which
implements a heuristic algorithm for the solution of
the traveling salesperson problem.
Author:
Hang Tong Lau
Reference:

Rainer Burkard, Ulrich Derigs,
Assignment and Matching Problems: Solution methods with
FORTRAN programs,
Lecture Notes in Economics and Mathematical Systems,
Volume 184,
Springer Verlag, 1980.

Nicos Christofides,
Worstcase analysis of a new heuristic for the traveling salesman
problem,
Management Science Research Report Number 388,
CarnegieMellon University, 1976.

Frederick Hillier,
Efficient heuristic procedure for integer linear programming
with an interior,
Operations Research,
Volume 17, pages 600637, 1969.

Dorit Hochbaum, David Shmoys,
A best possible heuristic for the Kcenter problem,
Mathematics of Operations Research,
Volume 10, pages 180184, 1985.

Oscar Ibarra, Chul Kim,
Fast approximation algorithms for the knapsack and sum of
subset problems,
Journal of the Association for Computing Machinery,
Volume 22, pages 463468, 1975.

Brian Kernighan, Shen Lin,
An efficient heuristic procedure for partitioning graphs,
Bell System Technical Journal,
Volume 49, pages 291307, 1970.

Brian Kernighan, Shen Lin,
Heuristic solution of a signal design optimization problem,
Bell System Technical Journal,
Volume 52, pages 11451159, 1973.

Lawrence Kou, George Markowsky, Leonard Berman,
A fast algorithm for Steiner trees,
Research report RC 7390,
IBM Thomas J Watson Research Center,
Yorktown Heights, New York, 1978.

Hang Tong Lau,
Combinatorial Heuristic Algorithms in FORTRAN,
Springer Verlag, 1986,
ISBN: 3540171614,
LC: QA402.5 L37.

Yoshiaki Toyoda,
A simplified algorithm for obtaining approximate solutions
to zeroone programming problems,
Management Science,
Volume 21, pages 14171427, 1975.
Source Code:
Examples and Tests:
List of Routines:

GRAPH_ARC_EULER_CIRC finds an Euler circuit in an Eulerian graph.

GRAPH_ARC_MIN_PATH finds the shortest path between two nodes.

GRAPH_ARC_MIN_SPAN_TREE finds a minimum spanning tree of a graph.

GRAPH_ARC_PRINT prints out a graph from an edge list.

GRAPH_ARC_WEIGHT_PRINT prints out a weighted graph from an edge list.

GRAPH_DIST_MIN_SPAN_TREE3 finds a minimum spanning tree.

GRAPH_DIST_PRINT prints a distance matrix.

I4_SWAP switches two I4's.

INT_LP is a heuristic algorithm for the integer linear programming problem.

K_CENTER is a heuristic algorithm for the Kcenter problem.

K_MEDIAN is a heuristic algorithm for the Kmedian problem.

KNAPSACK is a heuristic algorithm for the zeroone knapsack problem.

MULTI_KNAP is a heuristic algorithm for the multidimensional 0/1 knapsack problem.

PARSE1 is used by INT_LP.

PARSE2 is used by INT_LP.

PARSE3 is used by INT_LP.

PARSE4 is used by INT_LP.

PARSE5 is used by INT_LP.

PARSE6 is used by INT_LP.

PARSE7 is used by INT_LP.

PARSE8 is used by INT_LP.

PARTITION is a heuristic algorithm for the graph partitioning problem.

PMATCH finds a minimum weight perfect matching in a graph.

PMATCH_SUB_A is used by PMATCH.

PMATCH_SUB_B is used by PMATCH.

R8_SWAP switches two R8's.

R8MAT_PRINT prints an R8MAT.

R8MAT_PRINT_SOME prints some of an R8MAT.

R8VEC_SORT_HEAP_INDEX_A does an indexed heap ascending sort of an R8VEC.

R8VEC_SORT_HEAP_INDEX_D does an indexed heap descending sort of an R8VEC.

SIMPLEX is used by INT_LP.

STEINER is a heuristic algorithm for the minimal Steiner tree problem.

TIMESTAMP prints the current YMDHMS date as a time stamp.

TSP is a heuristic algorithm for the traveling salesman problem.
You can go up one level to
the FORTRAN90 source codes.
Last revised on 27 November 2006.