다수와 최다 문제

초록

색이 지정된 n개의 공에 대해 두 공이 같은 색인지 여부를 물어보는 쌍 비교 질의를 최소화하여(1) 절반 이상을 차지하는 다수 색, (2) 크기 k 이상을 차지하는 k‑다수 색, (3) 가장 많이 나타나는 최다 색이 존재하는지를 판정하고, 존재한다면 해당 공을 찾아내는 알고리즘의 적응형·비적응형 쿼리 복잡도를 연구한다. 또한 가중치가 부여된 경우의 확장도 다룬다.

상세 분석

본 논문은 “다수·k‑다수·최다”라는 세 가지 색 분류 문제에 대해, 가장 기본적인 질의 모델인 “두 공이 같은 색인가?”(동일성 검사)만을 허용했을 때 필요한 최소 질의 횟수를 체계적으로 규명한다. 먼저 적응형 전략에 대해, 다수 문제는 기존의 Boyer‑Moore 투표 알고리즘이 n‑1개의 비교로 해결 가능함을 재확인하고, 이를 정보 이론적 하한과 비교하여 정확히 n‑⌈log₂ n⌉ + 1(또는 n‑b(n) + 1, 여기서 b(n)은 n의 이진표현에서 1의 개수)라는 최적값을 도출한다. k‑다수 문제는 k가 고정된 경우와 k가 n에 비례하는 경우로 나누어 분석한다. k가 상수이면 O(n) 질의가 필요하고, k ≥ n/2인 경우는 다수 문제와 동일한 하한을 갖는다. 최다 문제는 색 클래스들의 상대적 크기를 비교해야 하므로, 적응형 경우에도 최악의 경우 Ω(n log c) (c는 색 종류 수) 질의가 필요함을 보이며, 상한으로는 O(n log c) 알고리즘을 제시한다.

비적응형(정적) 전략에서는 질의 집합이 사전에 고정되므로, 그래프 이론과 설계 이론을 활용한다. 다수와 k‑다수는 각각 “정점 집합의 최소 커버”와 “k‑전달성” 조건을 만족하는 이분 그래프의 존재 여부와 동치임을 증명한다. 이를 통해 비적응형 다수 문제의 정확한 최소 질의 수를 ⌈n/2⌉ + 1 로, k‑다수는 ⌈n/k⌉ + 1 로 규정한다. 최다 문제는 색 클래스 간의 비교를 모두 포괄해야 하므로, 최소 질의 수는 Θ(n log c) 수준이며, 특히 색 종류가 O(1)일 때는 Θ(n)으로 축소된다.

가중치 버전에서는 각 공에 양의 실수 가중치를 부여하고, “가중치 합이 전체의 절반을 초과” 혹은 “가중치 합이 k 이상”인 색을 찾는 문제로 확장한다. 적응형 가중치 다수 문제는 기존의 무가중치 알고리즘에 가중치 누적을 추가함으로써 동일한 O(n) 질의 복잡도를 유지한다. 반면 비적응형 가중치 경우는 가중치 분포에 따라 질의 설계가 복잡해지며, 논문은 “가중치 구간 분할” 기법을 도입해 상한을 O(n log W) (W는 가중치의 비트 길이) 로 제시한다. 전체적으로 이 연구는 색 분류 문제를 질의 복잡도 관점에서 통합적인 프레임워크로 정리하고, 적응형·비적응형, 무가중치·가중치 각각에 대한 정확한 하한·상한을 제공함으로써 기존 문헌의 공백을 메운다.