SEARCH FOR A SOLUTION OF THE FIRING SQUAD SYNCHRONIZATION PROBLEM
Abstract
The Memorandum describes a series of attempts to solve the conceptually difficult Firing Squad Synchronization Problem. Each of the four attempts described has in common a clerical checking program and a basic backtracking program for searching the solution space. The first two attempts at solution--Serial Definition of Productions and Symbolic Definition of Productions--are non-interactive, entirely computer-directed. The second two- Functional Planning and Constraint Satisfaction--are man-machine symbiotic, designed to allow the human to control and direct the computer search of the solution space.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1969
- Accession Number
- AD0695762
Entities
People
- R. M. Balzer
Organizations
- RAND Corporation