이분 그래프 0‑1 이차계획의 다항식 해결 가능 경우 연구

초록

본 논문은 이분 무제한 0‑1 이차계획 문제(BQP01)의 복잡성을 분석한다. 비용 행렬 Q의 랭크가 고정돼 있으면 다항식 시간에 해결 가능함을 보이고, 랭크가 1일 때는 O(n log n) 알고리즘을 제시한다. 추가적인 구조적 가정이 있으면 O(n)까지 속도를 끌어올릴 수 있다. 또한 q₍ᵢⱼ₎=aᵢ+bⱼ 형태이면 O(mn log n) 시간에 풀 수 있다. 행의 수 m이 O(log n)이면 다항식 해결이 가능하지만, m이 O(n^{1/k})이면 MAX‑SNP‑hard가 된다. 마지막으로 Q에서 음수를 없애기 위해 삭제해야 하는 행·열 수가 O(log n)이면 다항식 시간에 해결되지만, O(n^{1/k})이면 NP‑hard임을 증명한다.

상세 분석

BQP01은 두 집합 X(크기 m)와 Y(크기 n) 사이의 이분 구조를 갖는 0‑1 변수들 x_i, y_j에 대해 목적식 ∑{i=1}^m∑{j=1}^n q_{ij}x_i y_j + ∑ c_i x_i + ∑ d_j y_j 을 최대화하는 문제이다. 일반적인 무제한 0‑1 이차계획(QP01)이 NP‑hard인 것과 달리, 이 논문은 Q의 구조적 제약이 복잡도에 미치는 영향을 체계적으로 탐구한다. 첫 번째 주요 결과는 Q의 랭크 r이 상수라면, 문제를 r개의 선형 형태로 분해할 수 있어 전체 탐색 공간을 O(2^r·poly(m,n))으로 축소한다. 특히 r=1인 경우, Q는 외적 형태 u·v^T 로 표현되므로 목적식은 (u·x)(v·y) 형태가 된다. 여기서 x와 y를 각각 정렬한 뒤 이분 탐색을 적용하면 O(n log n) 시간에 최적해를 찾을 수 있다. 만약 u와 v가 모두 양수이거나 음수인 추가 가정이 있으면, 단순히 최대값을 주는 x와 y를 각각 전부 1 혹은 0으로 설정해 O(n)에 해결한다. 두 번째 구조적 가정은 q_{ij}=a_i+b_j 로 행과 열에만 의존하는 경우이다. 이때 목적식은 (∑ a_i x_i)(∑ y_j) + (∑ x_i)(∑ b_j y_j) 로 재배열될 수 있어, 각 집합에 대해 독립적인 1‑차원 최적화 문제로 분리된다. 이를 이용해 각 집합을 정렬하고 누적합을 계산하면 O(mn log n) 시간에 최적해를 구한다. 세 번째 결과는 문제의 크기 제한이다. m=O(log n)이면 전체 경우의 수가 2^{O(log n)}=poly(n)으로 제한돼 완전 탐색이 다항식 시간에 가능하지만, m=O(n^{1/k})이면 경우의 수가 여전히 지수적이므로 MAX‑SNP‑hard임을 기존 복잡도 이론에 의거해 증명한다. 마지막으로, Q에서 음수를 없애기 위해 최소한의 행·열을 삭제하는 최소 삭제 수 τ를 고려한다. τ=O(log n)이면 남은 부분 행렬이 비음수이므로 문제는 비음수 행렬에 대한 다항식 알고리즘(예: 그리디 혹은 라그랑주 이완)으로 해결 가능하지만, τ=O(n^{1/k})이면 삭제 후에도 충분히 복잡한 구조가 남아 NP‑hard임을 보인다. 전체적으로 논문은 랭크, 행·열 구조, 그리고 부호 패턴이라는 세 축을 통해 BQP01의 복잡도 지도를 세밀하게 그리며, 실용적인 특수 경우에 대한 효율적 알고리즘을 제공한다.