[논문 리뷰] An analogue of Ryser's Theorem for partial Sudoku squares

Peter J‎. Cameron, A. J. W. Hilton외 1명|arXiv (Cornell University)|2011. 07. 13.

graph theory and CDMA systems참고 문헌 18인용 수 5

한 줄 요약

이 논문은 편집된 스도쿠 사각형을 완성하는 데 필요한 필수조건과 충분조건을 설정하며, 라틴 제곱에 대한 리저의 정리와 유사한 조건을 제시한다. 스도쿠 사각형에 대한 할 조건을 도입하고, 특정 이분 그래프가 완벽 매칭을 갖는 경우에만 완성 가능함을 증명한다. 이는 $p \mid r$ 및 $q \mid s$일 때는 검증이 다항시간 내에 가능하다.

ABSTRACT

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 imes s$ partial $(p,q)$-Sudoku rectangle can be completed (no further condition being necessary).

연구 동기 및 목표

• 라틴 제곱에 대해 원래 제시된 리저의 정리를 편집된 스도쿠 사각형의 맥락으로 확장하기.
• 편집된 라틴 제곱에 대한 할 조건과 유사한 조합 조건을 정의하고, 이를 스도쿠 제약 조건에 맞게 적응하기.
• 모든 $r \times s$ 편집된 $(p,q)$-스도쿠 직사각형이 전체 $n \times n$ $(p,q)$-스도쿠 정사각형으로 완성될 수 있는 필요 및 충분 조건을 설정하기.
• 새로운 조건 하에서 완성 문제의 계산 복잡도를 분석하며, 특히 $p \mid r$ 및 $q \mid s$일 경우를 중심으로 다루기.

제안 방법

• 편집된 $(p,q)$-스도쿠 직사각형의 행과 열에 누락된 기호에 기반해 이분 그래프 $S_\alpha$와 $B_\beta$를 정의하기.
• 불완전한 블록의 크기에 따라 행 및 열 정점의 복제를 수행하고, 기호 정점과의 인접 관계를 유지하여 $S_\alpha$와 $B_\beta$를 구성하기.
• 완성 조건을 각 $S_\alpha$ 및 $B_\beta$ 그래프에 완벽 매칭이 존재하는 것으로 기술하기.
• 이분 그래프에 대한 할 정리를 활용해 매칭 존재 조건을 부등식 시스템으로 변환하기.
• 모든 경우에서 $p \mid r$ 및 $q \mid s$일 때는 추가 조건이 필요 없으며, 임의의 편집된 직사각형이 항상 완성 가능하다는 것을 보여주기.
• 최대 이분 매칭은 $O(n^3)$ 시간 내에 계산 가능하므로, 완성 검증에 대한 다항시간 알고리즘을 유도하기.

실험 결과

연구 질문

• RQ1 라틴 제곱에 대한 리저의 정리는 편집된 스도쿠 사각형으로 일반화될 수 있는가?
• RQ2 어떤 조합 조건이 편집된 $(p,q)$-스도쿠 직사각형이 전체 $(p,q)$-스도쿠 정사각형으로 완성될 수 있도록 보장하는가?
• RQ3 완성 가능성의 특성화가 이분 그래프에서 알려진 매칭 조건으로 축소될 수 있는가?
• RQ4 할 조건 하에서 편집된 스도쿠 사각형의 완성 문제는 여전히 NP-완전한가, 아니면 다항시간 결정 가능해지는가?
• RQ5 어떤 조건에서 편집된 스도쿠 직사각형이 추가 제약 없이 완성 가능한가?

주요 결과

• 편집된 $r \times s$ $(p,q)$-스도쿠 직사각형이 전체 $n \times n$ $(p,q)$-스도쿠 정사각형으로 완성될 수 있는 필요 및 충분 조건은 $S_\alpha$ 및 $B_\beta$의 가족에 속하는 이분 그래프에 완벽 매칭이 존재하는 것이다.
• $p \mid r$ 및 $q \mid s$일 때는 임의의 $r \times s$ 편집된 $(p,q)$-스도쿠 직사각형이 추가 제약 없이 완성 가능하며, 이는 정리 2에 명시되어 있다.
• 편집된 스도쿠 사각형의 완성 문제는 다항시간 내에 결정 가능하다. 왜냐하면 $O(n)$개의 이분 그래프에서 완벽 매칭을 확인하는 데 $O(n^3)$ 시간이 소요되기 때문이다.
• 완성 조건은 스도쿠 사각형에 대한 할 조건과 동치이며, 라틴 제곱의 할 유형 기준을 일반화한 것이다.
• 저자는 할 조건 하에서 완성 문제의 결정 문제가 P에 속한다는 것을 보여주며, 일반적인 경우는 NP-완전함과 대비된다.
• 논문은 채워진 셀 또는 비어있는 셀만 허용하는 경우 문제의 복잡도가 여전히 NP-완전한지 여부는 열려 있으며, 이는 추측으로 남아 있다.