[논문 리뷰] Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming

Marcin Briański, Martin Koutecký외 3명|arXiv (Cornell University)|2022. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 유계 그레이버 기저와 깊이 파라미터를 가진 행렬의 구조적 특성화를 제안하며, 그레이버 기저의 ℓ1-노름이 순환의 최대 ℓ1-노름에 대한 함수로 유계임을 보여준다. 이는 원소 복잡도가 작은 근사적 또는 이중 트리 깊이를 가진 행렬로 변환하는 파arameterized 알고리즘을 제시함으로써, 기존 파라미터 외에 순환의 ℓ1-노름과 그레이버 기저의 ℓ1-노름을 포함한 새로운 파라미터화에 기반한 고정-파rameter 트랙터러블 정수계획법을 가능하게 한다.

ABSTRACT

An intensive line of research on fixed parameter tractability of integer programming is focused on exploiting the relation between the sparsity of a constraint matrix $A$ and the norm of the elements of its Graver basis. In particular, integer programming is fixed parameter tractable when parameterized by the primal tree-depth and the entry complexity of $A$, and when parameterized by the dual tree-depth and the entry complexity of $A$; both these parameterization imply that $A$ is sparse, in particular, the number of its non-zero entries is linear in the number of columns or rows, respectively. We study preconditioners transforming a given matrix to a row-equivalent sparse matrix if it exists and provide structural results characterizing the existence of a sparse row-equivalent matrix in terms of the structural properties of the associated column matroid. In particular, our results imply that the $\ell_1$-norm of the Graver basis is bounded by a function of the maximum $\ell_1$-norm of a circuit of $A$. We use our results to design a parameterized algorithm that constructs a matrix row-equivalent to an input matrix $A$ that has small primal/dual tree-depth and entry complexity if such a row-equivalent matrix exists. Our results yield parameterized algorithms for integer programming when parameterized by the $\ell_1$-norm of the Graver basis of the constraint matrix, when parameterized by the $\ell_1$-norm of the circuits of the constraint matrix, when parameterized by the smallest primal tree-depth and entry complexity of a matrix row-equivalent to the constraint matrix, and when parameterized by the smallest dual tree-depth and entry complexity of a matrix row-equivalent to the constraint matrix.

연구 동기 및 목표

• 행렬이 근사적이고 유계된 원시 또는 이중 트리 깊이와 원소 복잡도를 가진 행렬로 행렬 변환 가능할 조건을 특성화하는 것.
• 행렬의 그레이버 기저의 ℓ1-노름과 그 행렬 내 순환의 ℓ1-노름 간의 관계를 규명하는 것.
• 최소한의 트리 깊이와 유계된 원소 복잡도를 가진 행렬로의 행렬 변환을 수행하는 파라미터화된 알고리즘을 개발하는 것.
• 기존의 전통적 파라미터를 초월하여 순환의 ℓ1-노름과 그레이버 기저의 ℓ1-노름을 포함한 새로운 파라미터화에 기반한 고정-파라미터 트랙터러블 정수계획법을 확장하는 것.
• 특히 열 행렬의 기초 이론을 활용하여 희박성 유지 전처리 조건을 규명하는 데 기여하는 구조적 통찰을 제공하는 것.

제안 방법

• 열 행렬의 성질을 통해 행렬 변환 가능성을 기초로 한 희박한 행렬의 존재를 기초로 한 매트로이드 이론을 활용한다.
• 그레이버 기저의 ℓ1-노름이 행렬 내 순환의 최대 ℓ1-노름에 대한 함수로 유계임을 규명한다.
• Hliněný의 수축-트리 및 주요 수축∗-트리 결과를 활용하여 트리 깊이를 순환 길이로 유계화한다.
• 주어진 행렬 A에 대해 원소 복잡도가 유계이고 원시 또는 이중 트리 깊이가 작은 행렬로의 행변환을 수행하는 파라미터화된 알고리즘을 개발한다.
• 기본 행렬 연산이 정수계획법의 타당성과 해 구조를 유지한다는 사실을 활용한다.
• 도식적 매트로이드와 열 매트로이드에서의 트리 깊이 및 수축 깊이 개념을 활용하여 구조적 복잡도의 상한을 유도한다.

실험 결과

연구 질문

• RQ1 어떤 행렬의 구조적 조건을 만족할 경우, 원시 또는 이중 트리 깊이와 원소 복잡도가 유계된 행렬로의 행변환이 가능할 수 있는가?
• RQ2 행렬의 그레이버 기저의 ℓ1-노름은 그 행렬의 순환의 ℓ1-노름과 어떻게 관련이 있는가?
• RQ3 열 매트로이드의 매트로이드 이론적 성질을 통해 희박한 행변환 가능성을 특성화할 수 있는가?
• RQ4 매트로이드의 수축 깊이에 대한 가장 긴 순환의 길이에 따른 최대 상한은 무엇인가?
• RQ5 순환의 ℓ1-노름 또는 그레이버 기저의 ℓ1-노름을 기반으로 한 파라미터화에 의해 고정-파라미터 트랙터러블 정수계획법을 달성할 수 있는가?

주요 결과

• 그레이버 기저의 ℓ1-노름은 행렬 내 임의의 순환의 최대 ℓ1-노름에 대한 함수로 유계이다.
• 행렬이 원시 또는 이중 트리 깊이와 원소 복잡도가 유계된 행렬로의 행변환 가능할 조건은 열 매트로이드가 순환 노름과 관련된 특정한 구조적 조건을 만족할 때에 한하여 성립한다.
• 매트로이드의 주요 수축∗-트리의 최소 깊이는 그 길이의 제곱 이내이며, 이 상한은 상수 인자 범위 내에서 최적이다.
• 구성된 그래프 수열의 도식 매트로이드의 수축 깊이는 Ω(n²)로 증가하며, 이는 제곱 상한과 일치하여 상한의 최적성을 입증한다.
• 최소한의 트리 깊이와 유계된 원소 복잡도를 가진 행렬로의 행변환을 수행하는 파라미터화된 알고리즘이 존재하며, 이는 새로운 파라미터 기반의 고정-파라미터 트랙터러블 정수계획법을 가능하게 한다.
• 그레이버 기저의 ℓ1-노름, 순환의 ℓ1-노름, 또는 행변환 가능한 행렬들 중에서 가장 작은 원시/이중 트리 깊이와 원소 복잡도로 파arameterized된 정수계획법은 고정-파라미터 트랙터러블이 가능하다.