[논문 리뷰] Matrices of Optimal Tree-Depth and Row-Invariant Parameterized Algorithm for Integer Programming

Timothy F. N. Chan, Jacob W. Cooper외 3명|arXiv (Cornell University)|2020. 01. 01.

Constraint Satisfaction and Optimization인용 수 4

한 줄 요약

이 논문은 정수계획법 제약행렬의 열로 정의된 매트로이드의 분지깊이가 행 연산을 통해 달성 가능한 최소 이중 트리깊이임을 증명하며, 분지깊이와 계수 크기를 매개변수로 하는 고정매개변수 다항시간 알고리즘을 가능하게 한다. 주요 기여는 행에 대해 불변인 매개변수화된 알고리즘으로, 최적의 트리깊이와 유한한 항복잡도를 갖는 동치 행렬을 계산한다.

ABSTRACT

A long line of research on fixed parameter tractability of integer programming culminated with showing that integer programs with n variables and a constraint matrix with tree-depth d and largest entry Δ are solvable in time g(d,Δ) poly(n) for some function g, i.e., fixed parameter tractable when parameterized by tree-depth d and Δ. However, the tree-depth of a constraint matrix depends on the positions of its non-zero entries and thus does not reflect its geometric structure. In particular, tree-depth of a constraint matrix is not preserved by row operations, i.e., a given integer program can be equivalent to another with a smaller dual tree-depth. We prove that the branch-depth of the matroid defined by the columns of the constraint matrix is equal to the minimum tree-depth of a row-equivalent matrix. We also design a fixed parameter algorithm parameterized by an integer d and the entry complexity of an input matrix that either outputs a matrix with the smallest dual tree-depth that is row-equivalent to the input matrix or outputs that there is no matrix with dual tree-depth at most d that is row-equivalent to the input matrix. Finally, we use these results to obtain a fixed parameter algorithm for integer programming parameterized by the branch-depth of the input constraint matrix and the entry complexity. The parameterization by branch-depth cannot be replaced by the more permissive notion of branch-width.

연구 동기 및 목표

• 이중 트리깊이가 행 연산에 대해 불변이 아니므로 기하학적 구조가 가려질 수 있는 한계를 해결하기 위해.
• 정수계획법의 내재적 기하학을 더 잘 반영하는 행에 대해 불변인 매개변수를 규명하기 위해.
• 이 매개변수화된 불변 매개변수를 사용하여 정수계획법에 대한 고정매개변수 다항시간 알고리즘을 개발하기 위해.
• 최소 이중 트리깊이와 유한한 항복잡도를 갖는 행에 동치인 행렬을 계산하는 알고리즘을 설계하기 위해.
• 분지깊이가 고정매개변수 다항시간의 최적 매개변수임을 증명하기 위해, 분지폭으로 대체될 수 없다는 것을 보이기 위해.

제안 방법

• 모든 행에 동치인 행렬에 대해 최소 이중 트리깊이를 취하는 것으로 매트로이드의 분지깊이를 정의한다.
• 매트로이드의 이중성과 깊이 분해를 사용하여, 매트로이드의 주요 깊이 분해를 통해 분지깊이를 특성화한다.
• d와 K에 대한 함수로 유 bounds된 소수 q를 사용하여 유한체 Fq에서 매트로이드를 표현하며, 동형성 보존을 확보한다.
• 크래머의 법칙을 적용하여 유한체 내 표현의 항복잡도를 유계로 제한하며, 유리 벡터가 정수 벡터로 스케일링될 수 있음을 보장한다.
• 원래 매트로이드와 유한체 매트로이드 간의 동형성을 활용하여 깊이 분해를 이전하고 확장된 깊이 분해를 계산한다.
• 확장된 깊이 분해를 사용하여 항복잡도가 유계이고 최적의 이중 트리깊이를 갖는 행에 동치인 행렬 A′를 구성한다.

실험 결과

연구 질문

• RQ1 제약행렬의 이중 트리깊이를 행 연산을 통해 최소화할 수 있으며, 이 최소값은 행 동치에 대해 불변인가?
• RQ2 이중 트리깊이보다 정수계획법의 기하학적 구조를 더 잘 반영하는 행에 대해 불변인 매개변수가 존재하는가?
• RQ3 이 불변 매개변수를 사용하여 정수계획법에 대한 고정매개변수 다항시간 알고리즘을 설계할 수 있는가?
• RQ4 분지깊이는 고정매개변수 다항시간에 대해 가장 날카로운 매개변수인가, 아니면 더 관대한 매개변수인 분지폭으로 대체될 수 있는가?
• RQ5 유한한 항복잡도를 유지하면서 최소 이중 트리깊이 행렬을 효율적으로 계산할 수 있는가?

주요 결과

• 모든 행에 동치인 행렬에 대해 이중 트리깊이의 최솟값은 제약행렬의 열로 정의된 매트로이드의 분지깊이와 같다.
• 최소 이중 트리깊이와 d와 K에 대한 함수로 유계된 항복잡도를 갖는 행에 동치인 행렬을 계산하는 고정매개변수 알고리즘이 존재한다.
• 분지깊이 d∗와 계수 크기 ∆로 매개변수화할 경우 정수계획법은 고정매개변수 다항시간이 되며, 실행 시간은 g(d∗, ∆)poly(n)이다.
• 계산된 행에 동치인 행렬 A′의 항복잡도는 O(d²²²ᵈ log K) 이하로 유계이며, 여기서 K는 원래 행렬의 항목의 최대 절대값이다.
• 분지깊이를 분지폭으로 대체할 수 없으며, 분지폭이 유계이고 ∆가 유계인 경우에도 정수계획법은 여전히 NP-난이도이다.
• 알고리즘은 분지깊이가 주어진 d를 초과할 경우 이를 정확히 식별하며, 그 외의 경우는 유한체에서 분지깊이 bd(M) = bd(M′)를 갖는 깊이 분해를 계산한다.