Demonstration of a problem-solving method
A program for backtrack seeking is proved here by using deduction rules. The problem of whether a chessboard can be moved over by the knight stepping on every square once and only once, is studied, and is traced back to the theorem of backtrack seeking in two ways. A comparison is made between the p...
Saved in:
Main Authors: | |
---|---|
Format: | Article |
Published: |
1995
|
Series: | Acta cybernetica
12 No. 1 |
Kulcsszavak: | Számítástechnika, Kibernetika |
Subjects: | |
Online Access: | http://acta.bibl.u-szeged.hu/12543 |
Summary: | A program for backtrack seeking is proved here by using deduction rules. The problem of whether a chessboard can be moved over by the knight stepping on every square once and only once, is studied, and is traced back to the theorem of backtrack seeking in two ways. A comparison is made between the programs obtained. |
---|---|
Physical Description: | 71-82 |
ISSN: | 0324-721X |