병렬 대칭 모래더미 모델의 고정점 형태

초록

본 논문은 기존 대칭 모래더미 모델(SSPM)의 규칙을 병렬 업데이트 방식으로 확장한 PSSPM을 정의하고, 두 모델이 생성할 수 있는 고정점 형태가 동일함을 증명한다. 저자들은 임의의 순차 고정점 형태를 병렬 모델에서 거의 최단 길이의 전이 과정을 통해 재구성하는 구체적인 절차를 제시한다.

상세 분석

논문은 먼저 전통적인 모래더미 모델(SPM)과 그 변형인 병렬 SPM(PSPM), 대칭 SPM(SSPM)을 복습하고, 각각의 고정점 특성과 전이 시간 복잡도를 정리한다. SPM은 오른쪽으로만 붕괴가 일어나며 유일한 고정점을 갖고, 전이 시간은 O(n³/2)이다. PSPM은 모든 붕괴 가능한 열을 동시에 적용함으로써 전이 시간을 O(n)으로 단축하지만 고정점 형태는 변하지 않는다. SSPM은 좌·우 양쪽으로 붕괴가 가능해 비결정적이며, 고정점이 여러 개 존재한다. 특히 고정점 형태는 ⌊√n⌋개로 제한된다.

이후 저자들은 병렬 대칭 모래더미 모델(PSSPM)을 정의한다. PSSPM은 SSPM의 규칙을 병렬로 적용하되, 양쪽으로 붕괴 가능한 열은 한 방향만 선택하도록 강제한다. 이로 인해 PSSPM은 여전히 비결정적이지만, 모든 전이 단계가 SSPM 전이의 부분집합이므로 구성 공간이 SSPM의 부분집합이 된다. 핵심 정리(Theorem 5)는 “PSSPM이 생성할 수 있는 고정점 형태는 SSPM이 생성할 수 있는 형태와 정확히 일치한다”는 것이다.

증명은 크게 세 단계 절차로 나뉜다. 첫 번째는 ‘Pseudo‑Alternating Procedure’로, 초기 단일 열 (n)에서 높이 차이 d=|w(P>0)−w(P<0)|를 만들면서 특정 대칭 형태 Q에 도달한다. 두 번째는 ‘Alternating Procedure’로, Q에서 가능한 한 번에 좌·우 번갈아 붕괴시키며 높이를 h까지 증가시켜 R에 도달한다. 마지막 ‘Deterministic Procedure’는 R에서 더 이상 양쪽 선택이 필요 없는 상태가 될 때까지 진행해 목표 고정점 P에 도달한다. 각 절차는 ‘Atom Procedure’와 같은 기본 연산을 이용해 정확히 기술되며, 전이 길이는 거의 최단임을 보인다.

특히 대칭 고정점(좌·우가 완전 대칭인 경우)에서는 단순히 홀수 단계에서는 오른쪽, 짝수 단계에서는 왼쪽으로 붕괴시키는 ‘Alternating Procedure’만으로 목표 형태에 도달한다. 비대칭 경우에도 위의 세 단계 조합을 통해 언제든지 목표 형태를 재구성할 수 있다. 논문은 이러한 절차를 정리한 여러 보조 정리(Lemma 4‑8)를 제시하고, 각 단계가 구성 가능한 모든 경우를 포괄함을 증명한다. 결과적으로 PSSPM은 SSPM보다 고정점 수는 적지만, 형태 측면에서는 완전 동등함을 보이며, 병렬 업데이트가 고정점 탐색을 크게 가속화한다는 실용적 의미를 갖는다.