OKlibrary  0.2.1.6
general.hpp File Reference

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

Go to the source code of this file.

Namespaces

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)

Todo:
Connections
Todo:
Update namespaces.
Todo:
Create milestones.
Todo:
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.
Todo:
"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.
Todo:
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.