힙가능 수열과 부분수열

초록

이 논문은 수열을 차례대로 삽입해 힙 속성을 만족하는 이진 트리를 만들 수 있는 “힙가능” 개념을 정의하고, 해당 수열의 판별 알고리즘, 완전 힙 배열 가능성의 NP‑hard성, 그리고 무작위 순열에서 가장 긴 힙가능 부분수열의 길이와 온라인 알고리즘의 존재성을 연구한다.

상세 분석

논문은 먼저 “힙가능”이라는 새로운 combinatorial 개념을 도입한다. 힙가능 수열이란, 첫 원소를 루트에 두고 이후 원소들을 기존 트리의 리프에만 삽입했을 때, 언제나 부모 노드의 값이 자식 노드의 값보다 작거나 같은(또는 큰) 힙 속성을 유지하는 수열을 의미한다. 이 정의는 전통적인 최소(또는 최대) 힙의 삽입 규칙을 순차적·제한된 형태로 변형한 것으로, 삽입 순서가 고정된 상황에서 트리 구조가 어떻게 제한되는지를 명확히 보여준다.

핵심 알고리즘은 “가능한 리프 집합”을 동적으로 유지하면서 각 원소를 삽입할 수 있는지 판단한다. 구체적으로, 현재 트리의 리프들을 우선순위 큐에 저장하고, 새 원소가 들어올 때 가장 작은(또는 가장 큰) 리프와 비교해 힙 조건을 만족하면 해당 리프를 내부 노드로 전환하고 두 개의 새로운 리프를 추가한다. 이 과정을 O(n log n) 시간에 수행할 수 있어, 힙가능 여부를 효율적으로 결정한다.

반면, 주어진 수열을 재배열해 완전 이진 힙(모든 레벨이 꽉 차고 마지막 레벨이 왼쪽부터 채워진 형태)으로 만들 수 있는지 묻는 문제는 NP‑hard임을 증명한다. 저자는 3‑SAT 혹은 Partition 문제와의 다항식 귀환을 구성하여, 완전 힙 배열이 특정 제약을 강제함으로써 일반적인 배치 문제와 동등한 난이도를 갖는다는 점을 보인다. 이는 힙가능성 자체는 다루기 쉬우나, 완전 힙 형태까지 강제하면 조합적 복잡도가 급격히 상승한다는 중요한 통찰을 제공한다.

다음으로, 무작위 순열에 대한 확률적 분석을 수행한다. 순열을 입력으로 할 때, 가장 긴 힙가능 부분수열(LHS)의 길이는 n에 거의 비례한다는 결과를 얻는다. 구체적으로, 기대값이 (1‑o(1))·n이며, 이는 “대부분의 원소를 포함하는 힙가능 부분수열”이 존재한다는 의미다. 더 나아가, 온라인 알고리즘—즉, 원소를 순서대로 관찰하면서 즉시 선택/버리기를 결정하는 알고리즘—도 동일한 (1‑o(1))·n 길이의 힙가능 부분수열을 고확률로 찾을 수 있음을 보인다. 이 알고리즘은 현재까지의 선택된 부분수열을 힙가능하게 유지하기 위해, 새로운 원소가 현재 리프 중 최소값보다 크면 삽입하고, 그렇지 않으면 버리는 간단한 규칙을 따른다.

마지막으로, 완전 힙을 목표로 하는 경우에도 비슷한 확률적 결과를 얻는다. 무작위 순열에서 크기 α·n (0<α<1) 인 완전 힙을 구성할 수 있는 부분수열이 존재한다는 것을, 적절한 α에 대해 고확률로 증명한다. 이는 완전 힙이라는 추가 제약에도 불구하고, 충분히 큰 부분수열을 찾을 수 있는 여지가 있음을 시사한다. 전체적으로 논문은 힙가능성이라는 새로운 구조적 제약을 도입하고, 결정적·확률적 측면에서 그 복잡도와 가능성을 체계적으로 분석함으로써, 전통적인 LIS(Longest Increasing Subsequence) 문제와는 다른 풍부한 조합론적 현상을 드러낸다.