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...

Full description

Saved in:
Bibliographic Details
Main Authors: Nyéky-Gaizler Judit
Fóthi Ákos
Konczné-Nagy Márta
Harangozó Éva
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
Description
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