숨겨진 구조를 활용한 차원 선택으로 벡터 구분

초록

본 논문은 이진 행렬에서 행들을 서로 구별하기 위해 가능한 한 많은 열을 삭제하는 NP‑hard 문제인 Distinct Vectors의 복잡도 경계를 제시한다. 행들 사이의 최소·최대 해밍 거리 h, H에 따라 H ≤ 2⌈h/2⌉+1이면 다항시간으로 해결 가능하고, 그 외에는 NP‑complete임을 증명한다. 또한 일반 알파벳에 대해 매개변수화된 복잡도 결과와 커널화 불가능성을 제공한다.

상세 분석

논문은 먼저 Distinct Vectors 문제를 “행을 구별하기 위해 남겨야 할 열 집합 K의 크기 k”라는 매개변수와, 행들 사이의 최소·최대 해밍 거리 h, H라는 두 구조적 매개변수와 결합하여 분석한다. 이진 행렬을 대상으로 할 때, 저자들은 해밍 거리의 범위 Δ = H−h가 작을수록 문제 구조가 제한적임을 보인다. 핵심 정리는 H ≤ 2⌈h/2⌉+1이면 행들의 차이 패턴이 ‘이중 집합’ 형태로 정렬될 수 있음을 이용해, 각 행을 대표하는 최소한의 열을 선형 시간에 선택할 수 있음을 증명한다. 구체적으로, 행을 0‑1 벡터로 보았을 때, 최소 거리 h가 짝수이면 모든 행은 동일한 무게 w 를 갖는 부분집합으로 표현되고, 최대 거리 H가 그에 비례하면 두 행 사이의 차이는 서로 겹치는 부분집합의 크기로 제한된다. 이를 집합론의 ‘Sperner’s theorem’과 ‘Erdős–Ko–Rado’ 결과에 대응시켜, 최적 열 집합을 구성하는 알고리즘을 설계한다. 시간 복잡도는 O(n·d)이며, 이는 입력 크기에 선형이다.

반대로 H > 2⌈h/2⌉+1인 경우, 저자들은 Distance‑3 Independent Set 문제로부터 다항식 시간 감소를 구성한다. 그래프의 인시던스 행렬을 이용해 각 행이 정확히 두 개의 1을 갖는 형태로 변환하고, 추가적인 영벡터 행을 삽입해 최소·최대 해밍 거리를 2와 4로 고정한다. 이 변환은 독립 집합의 크기 k와 남겨야 할 열 수 k′ = n−k 사이에 일대일 대응을 만들며, 따라서 원 문제의 NP‑hardness와 W