[논문 리뷰] Nonrepetitive Paths and Cycles in Graphs with Application to Sudoku

David Eppstein|ArXiv.org|2005. 07. 20.

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

한 줄 요약

이 논문은 간선 레이블이 붙은 그래프를 비레이블링된 그래프로 변환하는 선형 시간 변환을 제안하며, 이는 원본 그래프와 변환된 그래프 간에 반복되지 않는 경로—연속된 두 간선이 동일한 레이블을 공유하지 않는 경로—가 정확히 일치하도록 한다. 이 방법은 반복되지 않는 경로와 사이클을 효율적으로 탐지할 수 있게 하며, 스도쿠 퍼즐 해결에 적용되어 국소 규칙만으로는 해결되지 않는 72.5%의 퍼즐을 해결할 수 있는 효과적인 비국소 해결 규칙을 식별한다.

ABSTRACT

We provide a simple linear time transformation from a directed or undirected graph with labeled edges to an unlabeled digraph, such that paths in the input graph in which no two consecutive edges have the same label correspond to paths in the transformed graph and vice versa. Using this transformation, we provide efficient algorithms for finding paths and cycles with no two consecutive equal labels. We also consider related problems where the paths and cycles are required to be simple; we find efficient algorithms for the undirected case of these problems but show the directed case to be NP-complete. We apply our path and cycle finding algorithms in a program for generating and solving Sudoku puzzles, and show experimentally that they lead to effective puzzle-solving rules that may also be of interest to human Sudoku puzzle solvers.

연구 동기 및 목표

• 간선에 레이블이 붙은 그래프에서 연속된 두 간선이 동일한 레이블을 공유하지 않는 반복되지 않는 경로와 사이클을 효율적으로 탐지하기 위한 알고리즘 프레임워크를 개발하는 것.
• 이 프레임워크를 스도쿠 퍼즐 해결에 적용하여 비국소 제약 조건을 통해 인간과 유사한 추론 방식을 모델링하는 것.
• 국소 제거를 넘어서는 규칙 기반 해결 기법을 식별하고 구현하여 퍼즐 해결 효율성을 향상시키는 것.
• 반복되지 않는 경로 및 사이클 탐지의 실용적 효과가 실제 퍼즐 생성 및 해결 과정에서 어떻게 나타나는지 보여주는 것.

제안 방법

• 간선에 레이블이 붙은 그래프 G에서 비레이블링된 방향 그래프 nr(G)로의 변환을 구성하여, G 내의 반복되지 않는 경로가 nr(G)의 경로와 일대일 대응되도록 하며, 이때 정점과 간선 수가 O(m)이 되도록 한다.
• nr(G)에서 강한 연결성 분석을 사용하여 G의 간선 중 반복되지 않는 사이클에 속하는 간선를 선형 시간 내에 식별한다.
• nr(G)에서 깊이 우선 탐색을 수행하여 주어진 정점과 레이블에서 시작하는 반복되지 않는 경로를 통해 도달할 수 있는 모든 간선를 선형 시간 내에 확인한다.
• 무방향 그래프의 경우, 반복되지 않는 단순 경로의 존재 여부를 선형 시간 알고리즘을 사용해 테스트하고, 반복되지 않는 단순 사이클에 속한 간선들을 O(m²) 시간 내에 나열한다.
• 방향 그래프의 경우, 반복되지 않는 단순 경로나 사이클을 찾는 문제가 NP-완전임을 증명하여 이 접근의 계산 복잡도 경계를 설정한다.
• 스도쿠 퍼즐을 플래그 레이블이 붙은 이중 그래프로 모델링하고, 반복되지 않는 경로 및 사이클 탐지를 적용하여 비국소 해결 규칙을 유도한다.

실험 결과

연구 질문

• RQ1 간선에 레이블이 붙은 그래프에서 반복되지 않는 경로와 사이클을 그래프 변환을 통해 효율적으로 탐지할 수 있는가?
• RQ2 방향 그래프와 무방향 그래프에서 반복되지 않는 단순 경로 및 사이클을 찾는 문제의 계산 복잡도는 각각 어떻게 되는가?
• RQ3 반복되지 않는 경로 및 사이클 탐지는 스도쿠 퍼즐에 대해 인간과 유사한 효과적인 해결 규칙을 도출하는 데 어떻게 적용될 수 있는가?
• RQ4 반복되지 않는 경로 기반 규칙은 국소 제약 전파를 넘어서 스도쿠 퍼즐의 해결 가능성을 어느 정도 향상시키는가?

주요 결과

• G에서 nr(G)로의 변환은 반복되지 않는 경로와 사이클를 유지하며, 간선 레이블이 각 정점별로 그룹화되어 있다고 가정할 경우 선형 시간 내에 수행될 수 있다.
• 무방향 그래프에서 반복되지 않는 사이클은 nr(G)에서의 강한 연결성 분석을 통해 선형 시간 내에 탐지할 수 있다.
• 무방향 그래프에서 임의의 두 정점 사이에 반복되지 않는 단순 경로가 존재하는지 여부를 선형 시간 내에 테스트할 수 있다.
• 방향 그래프에서 반복되지 않는 단순 경로를 찾는 문제는 NP-완전임을 증명하여 이 접근의 계산 복잡도 경계를 설정한다.
• 실험 평가에서 국소 규칙만으로는 해결되지 않는 퍼즐 중 72.5%가 반복되지 않는 경로 및 사이클 기반의 비국소 규칙에 의해 해결되었다.
• 스도쿠 퍼즐의 크기가 B×B일 경우, 반복되지 않는 사이클 규칙은 O(B⁴) 시간 내에 구현 가능하고, 반복되는 사이클 및 충돌하는 경로 규칙은 O(B⁸) 시간 내에 구현 가능하다.