컴퓨팅 질량분석 문제의 복잡도: 최소 비누 합집합(MinSU) 연구

초록

본 논문은 정수 집합들의 시프트를 조정해 합집합의 크기를 최소화하는 최적화 문제인 Minimum Soapy Union(MinSU)을 정의하고, 이 문제가 NP‑complete이며 APX‑hard임을 증명한다. 또한 k가 고정된 경우 다항시간 알고리즘이 존재함을 보이며, 단백질 샷건 시퀀싱에서 발생하는 실제 문제와의 연관성을 논의한다.

상세 분석

MinSU 문제는 k개의 유한 정수 집합 (X_1,\dots ,X_k)에 대해 각각 정수 시프트 (t_i)를 선택해 (\bigcup_{i=1}^{k}(X_i+t_i))의 원소 개수를 최소화하는 문제이다. 논문은 먼저 이 문제의 해 공간이 무한하지만, 최적 해는 항상 교차 그래프가 연결된 형태임을 보이는 레마 1·2를 제시한다. 이를 바탕으로, 최적 해는 각 정점 사이의 차이를 나타내는 안티대칭 가중치 함수 (\varphi)와 그 가중치가 정의된 트리 (H)에 의해 완전히 기술될 수 있음을 증명한다(Lemma 3). 이 구조적 특성은 NP‑membership을 입증하는 핵심이다.

NP‑hardness는 전통적인 Vertex Cover(VC) 문제를 이용해 Karp‑reduction을 수행함으로써 보인다. 저자들은 Golomb ruler 형태의 특수 집합 (R_n)을 설계해 각 정점와 간선에 대응하는 집합을 구성하고, 이를 통해 VC 인스턴스를 MinSU 인스턴스로 변환한다. 이 변환은 정수 크기와 절대값이 다항식적으로 제한되는 ‘Aux’ 제한 버전을 만족시키면서도, VC의 해 존재 여부와 MinSU의 최적값이 정확히 일치하도록 만든다. 따라서 MinSU는 강하게 NP‑hard이며, 특히 cubic 그래프에 대한 최소 Vertex Cover이 APX‑hard인 점을 이용해 MinSU 역시 APX‑hard임을 보인다(Theorem 4).

알고리즘적 측면에서는 고정된 k에 대해 모든 가능한 트리와 가중치 함수를 열거하고, 각 경우에 대해 선형 시간에 해를 복원할 수 있음을 보여 O(N·|A|) 시간 복잡도의 정확한 해법을 제시한다(Theorem 2). 여기서 N은 입력 집합들의 비트 길이이다. 이 결과는 k가 상수일 때는 실용적인 해결책이 될 수 있음을 의미한다.

마지막으로, 논문은 MinSU가 실제 단백질 샷건 시퀀싱에서 스펙트럼 시프트를 맞추는 문제와 직접적인 연관이 있음을 강조한다. 실제 데이터에서는 노이즈와 불완전한 피크 정보 등 추가적인 제약이 존재하지만, 본 논문의 복잡도 결과는 이러한 실용적 문제도 다항시간 근사 알고리즘이 존재하기 어려울 것임을 이론적으로 뒷받침한다.