가중치가 있는 저랭크 행렬 근사 문제는 NP완전이다

초록

본 논문은 가중치가 부여된 저랭크 행렬 근사(WLRA) 문제, 특히 가중치가 모두 양수이거나 0‑1 형태(결측 데이터)인 경우에 대해 계산 복잡도를 분석한다. 저자들은 최대 가장자리 이분 그래프(biclique) 문제로부터 다항식 시간 감소(reduction)를 수행하여, 심지어 랭크‑1 근사만을 구하려 해도 근사해를 찾는 것이 NP‑hard임을 증명한다. 이 결과는 WLRA가 실용적인 응용 분야에서 최적화 알고리즘의 한계가 있음을 이론적으로 뒷받침한다.

상세 분석

이 논문은 저랭크 행렬 근사 문제에 가중치를 부여한 형태, 즉 Weighted Low‑Rank Approximation(WLRA)의 근본적인 계산 복잡성을 탐구한다. 기존 연구에서는 무가중치 저랭크 근사가 SVD를 통해 다항식 시간에 해결될 수 있음을 알려주었지만, 가중치가 도입되면 문제 구조가 크게 변한다. 저자들은 두 가지 가중치 모델을 고려한다. 첫 번째는 모든 원소에 양의 실수 가중치가 할당된 경우이며, 두 번째는 0과 1로 이루어진 이진 가중치 행렬로, 이는 관측되지 않은(결측) 데이터가 존재하는 상황을 의미한다.

주요 기법은 최대 가장자리 이분 그래프(Max‑Edge Biclique) 문제로부터의 다항식 시간 감소이다. 최대 가장자리 이분 그래프는 주어진 이분 그래프에서 가장 많은 간선을 포함하는 완전 이분 서브그래프를 찾는 문제로, 이는 이미 NP‑hard임이 알려져 있다. 저자들은 이 문제의 인스턴스를 WLRA의 입력 행렬과 가중치 행렬로 변환한다. 구체적으로, 그래프의 양쪽 정점 집합을 각각 행과 열에 대응시키고, 간선이 존재하면 해당 위치에 1(또는 큰 양수 가중치)을, 존재하지 않으면 0(또는 매우 작은 가중치)을 배치한다. 그런 다음 랭크‑1 행렬 (uv^{\top}) 를 찾는 것이 곧 최대 이분 완전 그래프를 찾는 것과 동등함을 보인다.

특히, 랭크‑1 근사만을 고려함에도 불구하고, 근사 오차가 일정 이하(예: (\epsilon) 이하)인 해를 구하는 것이 NP‑hard임을 증명한다. 이는 “근사적” 해결책조차도 다항식 시간 알고리즘이 존재하지 않을 가능성을 시사한다. 또한, 가중치가 0‑1인 경우는 결측 데이터가 있는 저랭크 근사 문제와 동일시될 수 있는데, 이는 실무에서 흔히 마주하는 행렬 완성(matrix completion) 문제와 직접 연결된다. 따라서, 이 결과는 결측값이 많은 데이터셋에 대해 저랭크 근사를 시도하는 기존 방법들의 이론적 한계를 명확히 한다.

논문은 또한 NP‑hardness 결과가 “strong”하다는 점을 강조한다. 즉, 입력값이 정수이며 가중치가 1 또는 2와 같이 작은 상수 범위에 제한돼도 문제는 여전히 어려운 것으로 남는다. 이는 근사 알고리즘 설계 시, 특정 가중치 구조(예: 대칭성, 희소성)를 활용하지 않는 한 일반적인 다항식 시간 보장은 불가능함을 의미한다.

마지막으로, 저자들은 이론적 결과가 실용적인 알고리즘 개발에 미치는 함의를 논의한다. 현재 널리 사용되는 교대 최소제곱(ALS), 확률적 경사 하강법(SGD), 혹은 행렬 분해 기반의 협업 필터링 기법들은 전역 최적해를 보장하지 않으며, 실제로는 지역 최적해에 머무를 가능성이 높다. 따라서, 연구자들은 문제의 특수 구조를 활용한 휴리스틱이나 근사 비율을 명시적으로 보장하는 알고리즘을 설계해야 함을 시사한다.