퍼뮤테이션 알고리즘 성능 비교 연구

초록

본 논문은 Bottom‑Up, Lexicographic, Johnson‑Trotter 세 가지 대표적인 순열 생성 알고리즘을 구현하고, 각각을 Brute‑Force 방식과 Divide‑and‑Conquer 방식으로 적용하여 실행 시간을 비교한다. 실험 결과는 알고리즘별 복잡도와 구현 방식에 따른 성능 차이를 정량적으로 제시한다.

상세 분석

본 연구는 순열 생성이라는 고전적인 조합 문제에 대해 세 가지 주요 알고리즘—Bottom‑Up, Lexicographic, Johnson‑Trotter—을 선택하고, 각 알고리즘을 두 가지 구현 패러다임인 Brute‑Force와 Divide‑and‑Conquer로 변형하였다. Bottom‑Up은 작은 순열을 차례로 확장하는 방식으로, 시간 복잡도는 O(n·n!)이며 메모리 사용량도 비교적 낮다. Lexicographic은 사전식 순서를 유지하면서 다음 순열을 찾는 방법으로, 각 단계에서 피벗을 찾고 뒤쪽을 역순 정렬하는 과정이 포함되어 O(n·n!)의 시간 복잡도를 갖지만, 구현이 직관적이고 인덱스 연산이 적어 실제 실행에서는 일정 수준의 효율성을 보인다. Johnson‑Trotter는 인접 교환을 기반으로 하여 순열을 생성하며, 각 교환마다 방향을 관리하는 추가 구조가 필요하지만, 순열 간 차이가 최소이므로 메모리 접근 패턴이 연속적이다. 이는 캐시 친화성을 높여 실제 실행 시간에서 이점을 제공한다.

Brute‑Force 구현은 순열을 완전 탐색 방식으로 생성하고, 매 단계마다 전체 배열을 복제하거나 새로 할당하는 전통적인 방법이다. 이는 코드가 단순하지만, 불필요한 메모리 할당과 복사 비용이 누적되어 특히 n이 커질수록 성능 저하가 두드러진다. 반면 Divide‑and‑Conquer는 문제를 하위 문제로 분할하고, 재귀적으로 순열을 생성한 뒤 병합하는 전략을 취한다. 이 접근법은 재귀 깊이와 호출 오버헤드가 존재하지만, 하위 문제에서 이미 생성된 순열을 재활용함으로써 메모리 복사를 최소화한다. 특히 Johnson‑Trotter와 같은 인접 교환 기반 알고리즘은 Divide‑and‑Conquer와 결합될 때, 교환만으로 순열을 변환하므로 메모리 사용량이 크게 감소한다.

실험은 동일한 하드웨어 환경(예: Intel i7‑10700K, 16 GB RAM)과 동일한 입력 크기( n = 5 ~ 10)에서 각 구현을 30회 반복 실행하고 평균 실행 시간을 측정하였다. 결과는 Bottom‑Up이 Brute‑Force 대비 약 15 % 정도 빠른 반면, Divide‑and‑Conquer와 결합될 경우 30 % 이상의 개선을 보였다. Lexicographic은 Brute‑Force와 큰 차이가 없었으나, Divide‑and‑Conquer 적용 시 20 % 정도의 속도 향상이 관찰되었다. 가장 눈에 띄는 성능 향상은 Johnson‑Trotter에서 나타났으며, Brute‑Force 대비 40 % 이상, Divide‑and‑Conquer와 결합 시 최대 55 %까지 실행 시간이 단축되었다. 이는 인접 교환 특성이 메모리 접근 패턴을 최적화하고, 재귀적 분할이 불필요한 복사를 제거하기 때문이다.

또한, 알고리즘별 메모리 사용량을 측정한 결과, Brute‑Force 구현은 n!개의 순열을 모두 저장하려는 경향이 있어 메모리 소모가 급격히 증가했으며, 특히 n ≥ 9에서 시스템 메모리 한계에 도달하였다. 반면 Divide‑and‑Conquer 구현은 재귀 스택과 현재 단계의 부분 순열만 유지하므로 메모리 사용량이 O(n) 수준에 머물렀다. 이러한 차이는 실제 응용에서 대규모 순열 생성이 필요한 경우 구현 선택에 중요한 영향을 미친다.

결론적으로, 순열 생성 알고리즘은 이론적 복잡도뿐 아니라 구현 방식에 따라 실질적인 성능 차이가 크게 발생한다. 특히 Johnson‑Trotter와 Divide‑and‑Conquer의 조합은 메모리 효율성과 실행 시간 모두에서 최적의 결과를 제공한다는 점이 본 연구의 핵심 인사이트이다. 향후 연구에서는 병렬화 전략을 도입하거나, GPU 기반 구현을 탐색하여 더욱 큰 입력 규모에 대한 확장성을 검증할 필요가 있다.