general.hpp File Reference

Module for game playing via SAT (and beyond) More...

Go to the source code of this file.


namespace  OKlib::Games

Components related to (combinatorial) games.

namespace  OKlib

All components of the OKlibrary.

Detailed Description

Module for game playing via SAT (and beyond)

Update namespaces.
Create milestones.
What other games are interesting?
  • Go seems to be too "strategical" (?).
  • "Nine men's morris" ("Muehle" in German) should be a solved game(?); this could be alright for SAT.
  • Checkers should also be solved(?), and could pose some problems (interesting) due to the jump sequences.
  • Backgammon perhaps involves too much special knowledge.
  • "Tic, Tac, Toe" and generalisations could be a nice exercise; see "Generalising positional games to SAT" in ComputerAlgebra/Games/Lisp/plans/general.hpp and "Positional games" in ComputerAlgebra/Hypergraphs/Lisp/plans/Colouring.hpp.
  • For Sudoku see module LatinSquares.
"Problem solver"
  • Kind of clear, that with (generalised) SAT, also with QBF, one does not get a "player", but only a "problem solver" --- can this be a subprocedure for a "player" ?
  • Another aspect could be counting of solutions.
Tools for translations
  • We need some nice tools to ease the translations.
  • One approach is via transition relations and model checking.

Definition in file general.hpp.