[논문 리뷰] Parameterized Algorithms for the Matrix Completion Problem

Robert Ganian, Iyad Kanj외 2명|arXiv (Cornell University)|2018. 04. 10.

graph theory and CDMA systems참고 문헌 22인용 수 10

한 줄 요약

이 논문은 행렬의 랭크를 최소화하고 서로 다른 행의 수를 최소화하는 두 가지 행렬 완성 문제의 매개변수화된 복잡도를 연구한다. 빈 칸의 행, 열, 또는 행+열 복개와 같은 핵심 매개변수에 대해, 도메인이 유계일 경우 두 문제 모두 고정 매개변수 가능(fixed-parameter tractable) 알고리즘을 제시한다.

ABSTRACT

We consider two matrix completion problems, in which we are given a matrix with missing entries and the task is to complete the matrix in a way that (1) minimizes the rank, or (2) minimizes the number of distinct rows. We study the parameterized complexity of the two aforementioned problems with respect to several parameters of interest, including the minimum number of matrix rows, columns, and rows plus columns needed to cover all missing entries. We obtain new algorithmic results showing that, for the bounded domain case, both problems are fixed-parameter tractable with respect to all aforementioned parameters. We complement these results with a lower-bound result for the unbounded domain case that rules out fixed-parameter tractability w.r.t. some of the parameters under consideration.

연구 동기 및 목표

• 빈 칸의 구조적 매개변수에 대해 행렬 완성 문제의 매개변수화된 복잡도를 조사하는 것.
• 다양한 매개변수화 조건 하에서 랭크 최소화 또는 서로 다른 행 수 최소화 문제가 고정 매개변수 가능한지 여부를 규명하는 것.
• 이러한 문제들에 대해 유계 도메인과 무관 도메인 간의 복잡도 경계를 설정하는 것.
• 특정 구조적 매개변수가 작을 경우, NP-난해 행렬 완성 문제에 대해 효율적인 알고리즘이 가능한지 탐색하는 것.
• 두 가지 기본 행렬 완성 목표에 대한 매개변수화된 복잡도의 종합적 분류를 제공하는 것.

제안 방법

• 기구 구축을 통해 행렬 완성 문제를 그래프 분할 및 삼각형 포장 문제로 환원한다.
• 매개변수화된 환원과 조합 구조를 활용해 유계 도메인 케이스의 고정 매개변수 가능성을 증명한다.
• 정점 레이블과 행 벡터에 대한 철저한 케이스 분석을 통해 구성된 그래프와 행렬 인cidenc 그래프 간의 동형성을 검증한다.
• 기존의 NP-난해 결과(예: 삼각형으로의 분할, 3-색칠 문제)를 활용해 무관 도메인 케이스의 하한을 설정한다.
• 논리적 제약 조건을 행렬 완성 환경에서 시뮬레이션하기 위해 변수 및 절에 특화된 기구를 도입한다.
• 확률적 가정 하에서 매개변수화 가능성을 분석하기 위해 랜덤 알고리즘과 복잡도 클래스(FPT_R, XP_R)를 활용한다.

실험 결과

연구 질문

• RQ1 모든 빈 칸을 커버하기 위해 필요한 행 수, 열 수, 또는 그 합에 대해 매개변수화했을 때 랭크 최소화 문제의 고정 매개변수 가능성이 있는가?
• RQ2 도메인이 유계이고 매개변수가 작을 경우, 행렬 완성에서 서로 다른 행의 수를 최소화하는 문제를 효율적으로 해결할 수 있는가?
• RQ3 도메인이 무관할 경우, 특히 행, 열 또는 병합 매개변수에 대해 행렬 완성의 매개변수화된 복잡도는 어떻게 되는가?
• RQ4 유계 도메인 가정 하에서 이 문제들에 대해 고정 매개변수 가능성을 달성하는 랜덤 알고리즘이 존재하는가?
• RQ5 빈 칸의 행과 열 제약이 유계일 경우, 행렬 완성의 NP-난해성은 유지되는가?

주요 결과

• 유계 도메인 케이스에서는, 랭크 최소화 및 서로 다른 행 수 최소화 문제 모두 행 수, 열 수, 그 합에 대해 고정 매개변수 가능하다.
• 논문은 행 수에 대해 매개변수화했을 때, 서로 다른 행 수 최소화 문제(DRMC)가 FPT에 속한다는 것을 입증한다. 이는 무관 도메인 케이스에서도 성립한다.
• 랭크 최소화 문제(RMC)는 모든 고려된 매개변수에 대해 XP(및 XP_R)에 속하지만, 동일한 조건 하에서는 고정 매개변수 가능하지 않다.
• DRMC가 열 수에 대해 매개변수화되었을 때 para-NP-난해임을 증명하여, 이 매개변수 하에서 FPT에 속할 가능성이 낮다는 것을 보여준다.
• 논문은 각 행과 열에 정확히 세 개의 빈 칸이 있는 경우에도 2-DRMC가 여전히 NP-난해임을 보여주는 경계 결과를 제공한다.
• 최소 차수 n−4인 (n/3)-색칠 문제에서 2-DRMC로의 환원을 통해, 빈 칸 제약이 유계일 경우에도 NP-난해임을 증명한다.