[논문 리뷰] Dancing links

Donald E. Knuth|arXiv (Cornell University)|2000. 11. 15.

Constraint Satisfaction and Optimization참고 문헌 5인용 수 185

한 줄 요약

이 논문은 다각형 타일링과 N-퀸 문제와 같은 조합 퍼즐에서 깊이 우선 탐색을 가속화하는 데 사용되는 '댄싱 리브스(dancing links)' 기법을 소개한다. 이중 연결 리스트에서 가역적인 연산과 가짜 정사각형을 사용함으로써, 제약 조건을 통합함으로써 효율적이고 히ュ리스틱 기반의 탐색을 가능하게 하여 뛰어난 성능을 달성한다. 이는 19개의 헥시아미언드 타일링 문제와 N이 18까지 가능한 N-퀸 문제를 해결할 수 있다.

ABSTRACT

The author presents two tricks to accelerate depth-first search algorithms for a class of combinatorial puzzle problems, such as tiling a tray by a fixed set of polyominoes. The first trick is to implement each assumption of the search with reversible local operations on doubly linked lists. By this trick, every step of the search affects the data incrementally. The second trick is to add a ghost square that represents the identity of each polyomino. Thus puts the rule that each polyomino be used once on the same footing as the rule that each square be covered once. The coding simplifies to a more abstract form which is equivalent to 0-1 integer programming. More significantly for the total computation time, the search can naturally switch between placing a fixed polyomino or covering a fixed square at different stages, according to a combined heuristic. Finally the author reports excellent performance for his algorithm for some familiar puzzles. These include tiling a hexagon by 19 hexiamonds and the N queens problem for N up to 18.

연구 동기 및 목표

• 다각형 타일링과 N-퀸 문제와 같은 조합 퍼즐 문제에 대한 깊이 우선 탐색 알고리즘의 효율성을 향상시키기.
• 각 다각형을 정확히 한 번씩 사용하고 각 정사각형을 정확히 한 번씩 커버하는 제약 조건을 하나의 데이터 구조로 통합하기.
• 탐색 중에 다각형을 놓는 것과 정사각형을 커버하는 것 사이에서 동적으로 히ュ리스틱 전환을 가능하게 하기.
• 최적화된 데이터 조작과 제약 조건 표현을 통해 총 계산 시간을 줄이기.

제안 방법

• 각 탐색 가정을 이중 연결 리스트에서 가역적인 국소 연산으로 표현함으로써 백트래킹 중에 점진적인 업데이트를 가능하게 한다.
• 각 다각형의 정체성을 나타내기 위해 가짜 정사각형을 도입함으로써 '한 번만 사용' 규칙을 '한 번만 커버' 규칙과 동일한 프레임워크에 통합한다.
• 문제를 추상적인 0-1 정수계획형으로 재구성함으로써 코드 논리의 단순화를 도모한다.
• 다양한 히ュ리스틱을 조합하여 다각형 놓기 또는 정사각형 커버링 중 하나를 동적으로 선택할 수 있도록 한다.
• 재귀적 탐색 중에 탐색 상태를 효율적으로 관리하고 업데이트하기 위해 댄싱 리브스 데이터 구조를 사용한다.

실험 결과

연구 질문

• RQ1 타일링과 N-퀸 문제와 같은 조합 퍼즐 문제에서 깊이 우선 탐색을 어떻게 가속화할 수 있는가?
• RQ2 다각형의 유일한 사용과 정사각형의 유일한 커버링 제약 조건을 하나의 데이터 구조에 통합할 수 있는가?
• RQ3 가역적인 연산과 히ュ리스틱 기반 탐색 순서를 조합함으로써 달성할 수 있는 성능 향상은 어느 정도인가?
• RQ4 댄싱 리브스 기법은 헥시아미언드 타일링과 같은 어려운 조합 퍼즐 문제에 얼마나 잘 스케일링되는가?

주요 결과

• 댄싱 리브스 기법은 이중 연결 리스트에서의 가역적 연산을 통해 점진적인 업데이트를 가능하게 하여 총 계산 시간을 크게 감소시킨다.
• 가짜 정사각형의 사용은 다각형 사용과 정사각형 커버링을 통합적으로 처리함으로써 알고리즘의 단순화와 유지보수성 향상을 가능하게 한다.
• 이 방법은 다각형 놓기와 정사각형 커버링 사이에서 동적으로 히ュ리스틱 전환을 지원하여 탐색 효율성을 향상시킨다.
• 알고리즘은 잘 알려진 어려운 조합 퍼즐인 19개 헥시아미언드 타일링 문제를 성공적으로 해결한다.
• N-퀸 문제에 대해서도 뛰어난 성능을 달성하여 N = 18까지의 인스턴스를 해결할 수 있다.