[논문 리뷰] Parameterized Integer Quadratic Programming: Variables and Coefficients

Daniel Lokshtanov|arXiv (Cornell University)|2015. 11. 01.

Complexity and Algorithms in Graphs참고 문헌 21인용 수 22

한 줄 요약

이 논문은 목표 함수 및 제약 조건 행렬 내에서 변수 수 $ n $ 과 최대 절대 계수 값 $ \alpha $ 를 매개변수로 하는 정수 이차계획법 (IQP) 에 대한 고정 매개변수 다항시간 (FPT) 알고리즘을 제시한다. 이 알고리즘은 정점 커버 크기로 매개변수화된 최적 선형 배열 문제에 대한 첫 번째 FPT 해법을 가능하게 하여, 고정 매개변수 복잡도 이론 분야에서 오랫동안 열려 있던 문제를 해결한다.

ABSTRACT

In the Integer Quadratic Programming problem input is an n*n integer matrix Q, an m*n integer matrix A and an m-dimensional integer vector b. The task is to find a vector x in Z^n, minimizing x^TQx, subject to Ax <= b. We give a fixed parameter tractable algorithm for Integer Quadratic Programming parameterized by n+a. Here a is the largest absolute value of an entry of Q and A. As an application of our main result we show that Optimal Linear Arrangement is fixed parameter tractable parameterized by the size of the smallest vertex cover of the input graph. This resolves an open problem from the recent monograph by Downey and Fellows.

연구 동기 및 목표

• 목표 함수 행렬 $ Q $ 와 제약 조건 행렬 $ A $ 내에서 최대 절대 계수 $ \alpha $ 가 주어질 때, 변수 수 $ n $ 과 $ \alpha $ 를 매개변수로 하는 정수 이차계획법 (IQP) 의 고정 매개변수 다항시간 (FPT) 성립을 확립하는 것.
• 가장 작은 정점 커버의 크기로 매개변수화된 최적 선형 배열 문제의 고정 매개변수 복잡도를 밝혀내어, 이 문제가 FPT임을 입증하는 것.
• 선형 및 볼록 최적화를 넘어서 비볼록, 이차 정수 계획 문제에까지 고정 매개변수 기법의 적용 범위를 확장하는 것.
• 비선형 및 비볼록 수학적 프로그래밍 분야에서 고정 매개변수 복잡도 이론에 새로운 연구 방향을 열어주는 것.

제안 방법

• 정점 커버 $ C $ 를 기준으로 정점 유형의 배치를 표현하는 변수 $ x_S^i $ 를 사용하여 최적 선형 배열 문제를 정수 이차계획법 (IQP) 으로 공식화하는 것.
• 비용 함수 $ \text{val}(\sigma, G) $ 를 변수 $ x_S^i $ 의 이차 함수로 모델링하며, 계수는 $ \pm 2^k k^2 $ 이내의 반정수 값을 갖는다. 여기서 $ k $ 는 정점 커버의 크기이다.
• 목표 함수를 2배로 확대하여 계수를 정수로 변환함으로써 IQP 를 정수 계수를 갖는 형태로 변형하고, 최적 해는 그대로 유지하면서 주요 FPT 알고리즘의 적용을 가능하게 하는 것.
• 정점 커버의 구조와 초균일 해의 성질을 활용하여 변수 수를 $ 2^k (k+1) $, 제약 조건 수를 $ 2^k (k+2) $ 로 제한하는 것.
• 실행 시간이 $ f(n, \alpha) L^{O(1)} $ 인 새로운 FPT 알고리즘을 IQP 에 적용하며, 여기서 $ f $ 는 $ n $ 과 $ \alpha $ 에만 의존하고 $ L $ 은 입력 크기이다.
• 계수의 유한성에 기반하여 브루트 포스 탐색을 피할 수 있도록 하며, 우변 $ b $ 가 크더라도 성능 저하 없이 적용 가능한 것.

실험 결과

연구 질문

• RQ1 정수 이차계획법 (IQP) 이 변수 수 $ n $ 과 최대 계수 $ \alpha $ 로 매개변수화되었을 때 고정 매개변수 다항시간 (FPT) 이 되는가?
• RQ2 최소 정점 커버의 크기로 매개변수화되었을 때 최적 선형 배열 문제는 FPT 시간 내에 해결될 수 있는가?
• RQ3 계수 크기 $ \alpha $ 에 대해 임의의 의존성을 허용하는 IQP 의 고정 매개변수 알고리즘이 존재하는가? 특히 $ b $ 가 클 경우에도 적용 가능한가?
• RQ4 고정 매개변수 기법이 선형 및 볼록 사례를 넘어서 비볼록, 이차 정수 계획 문제로 확장될 수 있는가?
• RQ5 특히 목적 함수 및 제약 조건의 차수를 유한하게 제한한 고차수 다항 정수 계획 문제의 고정 매개변수 복잡도는 어떠한가?

주요 결과

• 정수 이차계획법 (IQP) 은 변수 수 $ n $ 과 최대 계수 $ \alpha $ 를 매개변수로 하여 고정 매개변수 다항시간 (FPT) 이며, 실행 시간이 $ f(n, \alpha) L^{O(1)} $ 이다. 여기서 $ f $ 는 $ n $ 과 $ \alpha $ 에만 의존한다.
• 최적 선형 배열 문제 역시 정점 커버의 크기로 매개변수화되었을 때 고정 매개변수 다항시간 (FPT) 이며, 다운지 및 펠로우스의 저서에서 오랫동안 열려 있던 문제를 해결한다.
• 최적 선형 배열의 비용 함수는 $ 2^k (k+1) $ 개의 변수에 대한 이차 함수로 표현 가능하며, 계수 범위는 $ [-2^k k^2, 2^k k^2] $ 이다. 이러한 IQP 는 다항 시간 내에 구성 가능하다.
• IQP 목표 함수를 2배로 확대하면 동치인 정수 계수를 갖는 IQP 가 되며, 이는 계수의 유한성을 활용한 주요 FPT 알고리즘의 적용을 가능하게 한다.
• 정점 커버의 구조적 제약과 계수의 유한성에 기반하여, $ b $ 가 크더라도 브루트 포스 탐색을 피할 수 있다.
• 이 연구는 비볼록, 비선형 정수 프로그래밍 분야에 고정 매개변수 알고리즘의 기반을 마련하며, 고정 매개변수 복잡도 이론 분야에 새로운 연구 방향을 열어준다.