[논문 리뷰] Efficient enumeration of graceful permutations

Michał Adamaszek|ArXiv.org|2006. 08. 21.

Graph Labeling and Dimension Problems참고 문헌 3인용 수 8

한 줄 요약

이 논문은 대칭성과 보완성 기반의 동치 클래스 최적화를 통한 재귀적 탐색 트리와 컴퓨터 보조 알고리즘을 사용하여, 기존 $\Omega((5/3)^n)$ 에서 $\Omega(2.37^n)$ 으로 점 渐진 하한을 향상시킨다. 핵심 기여는 기억장 사용을 극도로 줄이는 정교한 수량 세기 방법으로, 이는 대규모 수량 계산을 가능하게 하여 개선된 지수 하한을 도출한다.

ABSTRACT

A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail.

연구 동기 및 목표

• 기본 집합 $\{0, \dots, n-1\}$ 의 순열 중 인접 원소 간 절대 차이가 $\{1, \dots, n-1\}$ 을 정확히 생성하는 기품 있는 $n$-순열의 수에 대한 점 渐진 하한을 향상시키는 것.
• 탐색 공간 내에서 구조적 대칭성과 보완성을 활용하여 기품 있는 $n$-순열을 효율적으로 수량 세는 알고리즘을 개발하는 것.
• 특정 끝점이 있는 기품 있는 순열의 대규모 수량 계산을 통해 더 탴한 지수 하한을 도출하는 것.
• 기존의 $\Omega((5/3)^n)$ 에 비해 크게 향상된 $G(n) = \Omega(2.37^n)$ 이라는 결과를 확립하는 것.

제안 방법

• 모든 간선을 간선 레이블의 내림차순(즉, $n-1$ 에서 1까지)으로 추가하면서 부분 순열을 구성하기 위해 재귀적 깊이 우선 탐색을 사용한다.
• 탐색 트리의 각 노드는 두 배열로 표현된다: `free[u]` (정점 $u$ 에 할당 가능한 슬롯 수) 및 `forb[u]` (해당 경로에서 $u$ 와 짝을 이루는 끝점, 존재할 경우).
• 동일한 `free` 와 `forb` 구조 또는 그 보완(즉, $u \to n-1-u$ 로 재라벨링)을 갖는 부분 순열의 동치 클래스를 정의하여 중복 계산을 줄인다.
• 동치 클래스의 노드를 그룹화하고 그 수를 추적하기 위해 해시 테이블을 사용하며, 각 클래스에서 하나의 대표 노드만 확장한다.
• 알고리즘은 $G(2m; j, j+m)$, 즉 끝점이 $j$ 와 $j+m$ 인 기품 있는 순열의 수를 계산하도록 수정되어, 최적의 성장률 추정에 기여한다.
• 성장률 $\gamma_{m,j} = G(2m; j, j+m)^{1/(2m)}$ 는 $j = \lfloor m/2 \rfloor$ 를 선택함으로써 최대화되며, 이 하한은 $\gamma_{32,16} > 2.37$ 에 기반한다.

실험 결과

연구 질문

• RQ1 기품 있는 $n$-순열의 수에 대한 최고의 점 渐진 하한은 무엇인가?
• RQ2 컴퓨터 보조 알고리즘이 대칭성과 보완성을 활용하여 기품 있는 순열을 효율적으로 수량 세울 수 있는가?
• RQ3 $G(2m; j, j+m)^{1/(2m)}$ 의 최대 성장률 $\gamma_{m,j}$ 는 무엇인가?
• RQ4 기본 순열의 탐색 공간은 부분 순열의 동치 클래스를 통해 어떻게 줄일 수 있는가?
• RQ5 기존의 $\Omega((5/3)^n)$ 하한에 비해 크게 향상된 결과를 도출할 수 있는가?

주요 결과

• 기본 순열의 수는 $G(n) = \Omega(2.37^n)$ 를 만족하며, 이는 이전의 $\Omega((5/3)^n)$ 하한보다 향상된 것이다.
• 계산된 값 $G(64; 16, 48) = 1,172,380,428,523,169,632,220,649$ 는 $\gamma_{32,16} > 2.37$ 를 도출한다.
• 알고리즘은 $n=40$ 에서 수준 1에 약 $0.2 \times 10^{18}$ 개의 노드가 존재하는 전체 탐색 트리에도 불구하고, 수준당 $3 \times 10^5$ 개 이하의 동치 클래스로 메모리 사용량을 줄였다.
• 성장률 $\gamma_{m,\lfloor m/2 \rfloor}$ 는 $m$ 이 증가함에 따라 증가하는 경향을 보이며, 더 큰 $m$ 이라면 더 나은 하한을 도출할 수 있음을 시사한다.
• 이 방법은 $G(n; 16) = \Omega(2.37^n)$ 이라는 결과를 확인하였으며, 여기서 $G(n; a)$ 는 왼쪽 끝점이 $a$ 인 기품 있는 순열의 수를 의미한다.
• 계산된 몫 $G(n+1)/G(n)$ 는 $n \leq 40$ 에서 3에서 4.5 사이에 위치하며, 이는 $2.37^n$ 하한이 여전히 보수적인 것으로 나타난다.