Accession Number : ADA132299

Title :   The Design of Backtrack Algorithms.

Descriptive Note : Master's thesis,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : Loberg,Gary

PDF Url : ADA132299

Report Date : Jun 1983

Pagination or Media Count : 95

Abstract : The backtrack control structures is a well known combinatorial problem solving approach in computer science. The strategy can be abstracted into a program schema with slots for lower level functions which is suitable for the automated synthesis of backtrack programs. Employing a known model of program synthesis based on a problem reduction problem representation, two reduction rules are developed for transforming a problem specification into a backtrack control structure with specifications for lower level functions. We illustrate these rules with sample problems. (Author)

Descriptors :   *Algorithms, *Computer programming, *Problem solving, Reduction, Combinatorial analysis, Specifications, Searching, Control, Strategy, Programming languages, Theses

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE