Definition of Latin Puzzles

The ideas regarding boards, regions, and sets of symbols are condensed in the Latin Puzzle definition:

1. A board has:

• any set of placeholders called cells.
• any set of cells called regions, each with the same size.
• every cell at least in one region.

2. A Latin puzzle (lower-case p) has:

• a board
• a set of symbols with the same size as the regions
• the instruction: Write one symbol on each empty cell so that every region has all symbols in the set.
• a set of clues: a particular set of pairs (symbol, cell) for some cells
• a solution: the only set of pairs (symbol, cell), amongst those that fulfill the instruction, to have the clues as a subset.

3. A Latin Puzzle (upper-case p) is the set of puzzles that results when we render variable the set of symbols and the set of clues in a given puzzle. A Latin Puzzle may have an inscription: a set of pairs (symbol, cell) present in all its derived puzzles

4. The Latin Puzzle (upper-case p) is the set of puzzles that results when we render variable the board, the set of symbols and the clues in a given puzzle.

With this definition, the Latin square Puzzle, classical Sudoku and other are all Latin Puzzles.

Latin Puzzles are then a type of Frequency Puzzles.