2011/07/13 by Peter J. Cameron, Cameron, P. J., A. J. W. Hilton +3
Computer Science · Engineering · #05B15 #Combinatorics (math.CO) #Digital Image Processing Techniques #FOS: Mathematics #Graph Labeling and Dimension Problems #graph theory and CDMA systems
paper · pdf · doi:10.48550/arxiv.1107.2634
openalex publication_date 2011/07/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In 1956 Ryser gave a necessary and sufficient condition for a partial latin rectangle to be completable to a latin square. In 1990 Hilton and Johnson showed that Ryser's condition could be reformulated in terms of Hall's Condition for partial latin squares. Thus Ryser's Theorem can be interpreted as saying that any partial latin rectangle R can be completed if and only if R satisfies Hall's Condition for partial latin squares. We define Hall's Condition for partial Sudoku squares and show that Hall's Condition for partial Sudoku squares gives a criterion for the completion of partial Sudoku rectangles that is both necessary and sufficient. In the particular case where n=pq, p|r, q|s, the result is especially simple, as we show that any r × s partial (p,q)-Sudoku rectangle can be completed (no further condition being necessary).