양방향 주차 절차와 이진 숲의 조합론

초록

본 논문은 정수선 위에서 자동차가 오른쪽뿐 아니라 왼쪽에서도 가장 가까운 빈 자리로 이동할 수 있는 ‘양방향 주차 절차’를 정의한다. 지역적 규칙을 만족하는 자연스러운 부분집합에 대해 길이 $r$인 주차 함수의 개수가 언제나 $(r+1)^{,r-1}$임을 증명하고, 좌우 선택을 확률적으로 결정하는 확장 모델을 제시한다. 또한 이러한 절차를 라벨이 붙은 이진 숲으로 인코딩함으로써 기존 결과들을 새로운 combinatorial 시각에서 재해석한다.

상세 분석

양방향 주차 절차는 전통적인 ‘주차 함수(parking function)’ 개념을 좌우 대칭적으로 확장한다는 점에서 흥미롭다. 기존 모델에서는 각 자동차가 자신의 선호 위치에서 오른쪽으로 가장 가까운 빈 자리로 이동하도록 규정했으며, 이는 $n$대의 자동차가 $n$개의 자리에서 주차할 때 $(n+1)^{,n-1}$개의 가능한 선호 배열이 존재한다는 유명한 결과와 직접 연결된다. 저자들은 여기서 ‘양쪽 방향’이라는 자유도를 도입함으로써, 자동차가 현재 위치에서 오른쪽이 아닌 왼쪽으로도 이동할 수 있게 하였다. 이때 핵심은 ‘지역적(local)’이라는 제약이다. 구체적으로, 각 자동차는 자신의 현재 위치와 인접한 몇 개의 자리만을 탐색하며, 탐색 순서는 사전에 정해진 규칙(예: 가장 가까운 빈 자리, 거리 기준 동등 시 좌우 우선순위 등)에 따라 결정된다. 이러한 지역성은 전역적인 탐색을 허용하는 경우와 달리, 복잡도와 구조적 제약을 동시에 부여한다.

저자들은 이 지역적 규칙을 만족하는 절차들의 집합을 ‘자연스러운 부분집합’이라고 명명하고, 이 집합에 속하는 모든 양방향 주차 절차에 대해 길이 $r$인 주차 함수의 개수가 정확히 $(r+1)^{,r-1}$임을 보였다. 증명은 두 단계로 이루어진다. 첫째, 양방향 절차를 ‘이진 선택 트리(binary choice tree)’로 변환한다. 각 자동차가 오른쪽을 선택하면 트리의 왼쪽 자식, 왼쪽을 선택하면 오른쪽 자식으로 매핑되는 방식이다. 둘째, 이러한 트리를 라벨이 붙은 이진 숲(labeled binary forest)과 일대일 대응시킨다. 라벨은 자동차의 순서를 나타내며, 숲의 구조는 빈 자리의 배치를 암시한다. 라벨이 붙은 이진 숲의 개수는 이미 알려진 바와 같이 $(r+1)^{,r-1}$이며, 이는 Cayley’s formula의 변형으로 해석될 수 있다. 따라서 양방향 절차와 이진 숲 사이의 bijection을 통해 원하는 계수식을 얻는다.

확장 모델에서는 각 자동차가 좌우 선택을 확률 $p$와 $1-p$에 따라 무작위로 결정한다. 이 경우 기대값과 분산을 분석하는데, 마코프 체인(Markov chain) 접근법을 사용한다. 특히, $p=1/2$인 대칭 경우에는 전체 구조가 균등하게 분포함을 보이며, 이는 기존의 ‘우측 전용’ 모델이 갖는 비대칭성을 보완한다. 또한, 확률적 절차를 통해 얻어지는 평균 주차 성공률은 $p$에 대한 연속적인 함수로 표현될 수 있으며, $p\to1$일 때는 고전적인 결과로 수렴한다.

마지막으로, 라벨이 붙은 이진 숲을 이용한 인코딩은 여러 기존 연구와 연결된다. 예를 들어, Gessel–Seo의 ‘parking function tree’와 Stanley의 ‘tree inversions’ 결과를 재해석할 수 있다. 또한, 이진 숲의 구조적 특성을 활용하면 양방향 절차의 변형(예: 제한된 좌우 이동 거리, 다중 차원 격자)에도 자연스럽게 일반화가 가능함을 제시한다. 전체적으로, 논문은 조합론, 확률론, 그리고 그래프 이론을 교차시켜 새로운 시각을 제공하며, 양방향 주차 절차가 기존 이론의 풍부한 확장임을 설득력 있게 증명한다.