Affordable Access

Publisher Website

Enigma 1225: Prolog-assisted solution of a puzzle using discrete mathematics

Authors
Journal
Computers & Mathematics with Applications
0898-1221
Publisher
Elsevier
Publication Date
Volume
52
Identifiers
DOI: 10.1016/j.camwa.2006.03.020
Keywords
  • Symbolic Computation
  • Permutation Types
  • Ferrers Diagrams
  • Patterned Matrices
  • Mathematical Puzzle
  • Prolog.
Disciplines
  • Computer Science
  • Mathematics

Abstract

Abstract A mathematical puzzle from a recent issue of the New Scientist magazine is solved by combining the theory of permutations with Prolog's symbolic and other computational facilities. The scheme studied is interesting because it shows that the power of the generate-and-test approach, a rather crude approach known from Artificial Intelligence, is greatly enhanced if it is supplemented by some topical knowledge from the field of study. The puzzle involves searching for matrices with certain patterns, leading to the study of permutation types. The suggested route allows for the solution of a generalized version of the original puzzle.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

A constraint-based approach to Enigma 1225

on Computers & Mathematics with A... Jan 01, 2009

The puzzle of pain. A continuing enigma.

on Middle East journal of anaesth... June 1981

[Solution of the "puzzle"].

on Krankenpflege. Soins infirmier... 2004
More articles like this..