[논문 리뷰] Partial Chromatic Polynomials and Diagonally Distinct Sudoku Squares

Füsun Akman|ArXiv.org|2008. 04. 02.

graph theory and CDMA systems참고 문헌 1인용 수 4

한 줄 요약

이 논문은 그래프의 부분 색칠 다항식에 대한 새로운 증명을 제시하며, λ 개의 색으로 부분 적으로 적절한 색칠을 완성하는 방법의 수가 t개의 사전 칠해진 정점 수를 고려할 때 차수 n−t인 모닉 다항식임을 보여준다. 또한, 행, 열, 블록, 대각선에 걸쳐 고유성을 보장하는 순환 구조를 사용하여 모든 n에 대해 n²×n² 크기의 스도쿠 정사각형이 존재함을 증명한다.

ABSTRACT

Sudoku grids can be thought of as graphs where the vertices are the squares of the grid, and edges join vertices in the same row, column, or sub-grid. A Sudoku puzzle corresponds to a partial proper coloring of the Sudoku graph. We provide a new and simpler proof of the theorem which states that the number of completions of partial colorings of a graph is a polynomial in the number of colors (originally due to Herzberg and Murty). Moreover, we construct Sudoku squares of arbitrary size with distinct entries on both diagonals (a similar proof was first published by Keedwell, unknown to the author).

연구 동기 및 목표

• 수축 또는 모비우스 역전환에 의존하지 않는 부분 색칠 다항식의 모닉 다항식 성질에 대한 대안적 증명을 제공한다.
• 표준 행, 열, 블록 제약 조건 외에도 주 대각선과 반대 대각선에 모두 서로 다른 원소가 있는 n²×n² 스도쿠 정사각형의 존재를 입증한다.
• 블록 원소에 순환 순열 방법을 적용하여 이러한 대각선에 서로 다른 원소를 가진 스도쿠 정사각형을 체계적으로 구성한다.
• 부분 색칠 다항식 증명의 용어와 명료성을 향상시키기 위해 수정 및 정제를 통해 명확성을 높인다.
• 이러한 구성이 모든 양의 정수 n에 대해 유효한 스도쿠 해를 생성하며, 전체 대각선에 걸쳐 고유성을 확보함을 확립한다.

제안 방법

• 정점들을 독립 집합으로 나누는 일반적인 적절한 색칠 개념을 사용하여, 증가하는 독립 집합 수를 가진 색칠에 대한 합으로 부분 색칠 다항식을 유도한다.
• 완성 가능한 방법의 수를 다음과 같은 합으로 표현한다: p_G,C(λ) = Σ_r=0^{n−t} m_r(G,C) ⋅ (λ−λ₀)⋯(λ−λ₀−r+1), 여기서 m_r는 λ₀ + r개의 집합을 가진 일관된 일반 색칠의 수를 세는 계수이다.
• 최고차항 항목(r = n−t)이 모닉임을 증명한다. 이는 각 미칠색 정점들이 각각 독립 집합을 이루기 때문이다.
• 행, 열, 블록의 유일성을 유지하면서 대각선의 고유성을 확보하기 위해, (i,j)-블록의 원소를 a([r−i+j], [c+i−1])로 정의함으로써 대각선에 서로 다른 원소를 가진 스도쿠 정사각형을 구성한다.
• 블록 간에 순환적 행 이동과 열 오프셋을 적용하여 행, 열, 블록의 고유성을 유지하면서도 대각선의 고유성을 확보한다.
• 같은 값이 존재할 경우 인덱스가 동일함을 보여줌으로써 행, 열, 블록, 두 대각선에 걸친 원소의 단사성(일대일성)을 검증한다. 이는 고유성을 증명한다.

실험 결과

연구 질문

• RQ1 그래프의 부분 λ-색칠을 완성하는 방법의 수는 λ에 대한 다항식인가? 만약 그렇다면, 그 차수와 최고차항 계수는 무엇인가?
• RQ2 표준 행, 열, 블록 제약 조건 외에도 주 대각선과 반대 대각선에 모두 서로 다른 원소가 있는 n²×n² 스도쿠 정사각형을 구성할 수 있는가?
• RQ3 모든 n에 대해 스도쿠 정사각형의 대각선 고유성을 보장하는 체계적인 구성 방법이 존재하는가?
• RQ4 이러한 방법은 기존의 Keedwell의 구성과 비교해 볼 때, 구조적 및 타당성 측면에서 어떻게 다를까?
• RQ5 이 구성 방법은 스도쿠 그래프의 색칠 다항식 및 관련 조합적 불변량에 어떤 영향을 미치는가?

주요 결과

• λ 개의 색을 사용하여 부분 적절한 색칠을 완성하는 방법의 수는 t개의 사전 칠해진 정점 수를 고려할 때 차수 n−t인 모닉 다항식이다.
• 부분 색칠 다항식은 증가하는 독립 집합 수를 가진 일반 색칠에 대한 합으로 표현되며, 계수는 일관된 색칠의 수를 세는 데 사용된다.
• 행의 이동과 열 오프셋을 순환적으로 적용하는 방법을 사용함으로써, 행, 열, 블록, 두 대각선에 걸쳐 모든 원소가 서로 다름을 보장한다.
• 주 대각선의 고유성은 [r−i+i] = [r′−i′+i′] ⇒ r=r′ 및 i=i′ 조건에서 유도되며, 이는 모듈로 인덱싱 덕분에 성립한다.
• 반대 대각선의 고유성은 [r−2i] = [r′−2i′] 및 [−r+i] = [−r′+i′] 조건에서 유도되며, 이는 모듈로 산술 제약 조건 하에서 r=r′ 및 i=i′를 유도한다.
• 이 구성은 모든 양의 정수 n에 대해 대각선에 서로 다른 원소를 가진 유효한 n²×n² 스도쿠 정사각형을 생성하며, 그 존재를 확인한다.