Correct predictions are in blue. If we detect only a subset of a labelled sentence, we highlight the caught part as blue, the missing part light blue. False positives are in green and false negatives are in red.

Problem 057 (Killer Sudoku) — Constraint detection

Killer Sudoku is a puzzle played on a $ \ -LCB- 9 \ times 9 \ -RCB- $ grid containing 81 cells . The cells are filled in with numbers from the set $ \ -LCB- 1 \ ldots 9 \ -RCB- $ . Each row and column must contain all numbers $ \ -LCB- 1 \ ldots 9 \ -RCB- $ . Each of the 9 non-overlapping $ 3 \ times 3 $ subsquares -LRB- named boxes -RRB- must also contain all numbers $ \ -LCB- 1 \ ldots 9 \ -RCB- $ . Each Killer Sudoku puzzle has a set of cages . A cage is a set of contiguous cells and a total ; the numbers in the cells must add up to the total . Also , the cells in a cage can not contain the same number more than once . The cages do not overlap , and they cover all cells . Cages typically contain two to four cells . Typically a Killer Sudoku puzzle will have exactly one solution .

Problem 057 (Killer Sudoku) — Detection of the decisions and objects to be modeled

Killer Sudoku is a puzzle played on a $ \ -LCB- 9 \ times 9 \ -RCB- $ grid containing 81 cells . The cells are filled in with numbers from the set $ \ -LCB- 1 \ ldots 9 \ -RCB- $ . Each row and column must contain all numbers $ \ -LCB- 1 \ ldots 9 \ -RCB- $ . Each of the 9 non-overlapping $ 3 \ times 3 $ subsquares -LRB- named boxes -RRB- must also contain all numbers $ \ -LCB- 1 \ ldots 9 \ -RCB- $ . Each Killer Sudoku puzzle has a set of cages . A cage is a set of contiguous cells and a total ; the numbers in the cells must add up to the total . Also , the cells in a cage can not contain the same number more than once . The cages do not overlap , and they cover all cells . Cages typically contain two to four cells . Typically a Killer Sudoku puzzle will have exactly one solution .

Back to list