[논문 리뷰] Small extended formulation for knapsack cover inequalities from monotone circuits

Abbas Bazzi, Samuel Fiorini외 2명|arXiv (Cornell University)|2017. 01. 16.

Complexity and Algorithms in Graphs인용 수 9

한 줄 요약

이 논문은 임의의 ε > 0에 대해 적어도 2 + ε 이하의 정수성 간격을 가지며, 깊이 O(log²n)인 단일 입력 2인 단순한 단조형 회로를 통해 달성되는 quasi-polynomial 크기의 선형계획법(LP) 타협을 제시한다. 이 구성은 확장형 표현과 단조형 회로 복잡도 간의 연결을 활용하며, 이 클래스의 부등식에 대해 처음으로 지수 크기 이하의 크기를 가지며 정수성 간격이 상수인 타협을 제공한다.

ABSTRACT

Initially developed for the min-knapsack problem, the knapsack cover inequalities are used in the current best relaxations for numerous combinatorial optimization problems of covering type. In spite of their widespread use, these inequalities yield linear programming (LP) relaxations of exponential size, over which it is not known how to optimize exactly in polynomial time. In this paper we address this issue and obtain LP relaxations of quasi-polynomial size that are at least as strong as that given by the knapsack cover inequalities.For the min-knapsack cover problem, our main result can be stated formally as follows: for any e > 0, there is a (1/e)O(1)nO(log n)-size LP relaxation with an integrality gap of at most 2 + e, where n is the number of items. Prior to this work, there was no known relaxation of subexponential size with a constant upper bound on the integrality gap.Our construction is inspired by a connection between extended formulations and monotone circuit complexity via Karchmer-Wigderson games. In particular, our LP is based on O(log2n)-depth monotone circuits with fan-in 2 for evaluating weighted threshold functions with n inputs, as constructed by Beimel and Weinreb. We believe that a further understanding of this connection may lead to more positive results complementing the numerous lower bounds recently proved for extended formulations.

연구 동기 및 목표

• 현재 지수 크기의 표현을 유도하는, 다항 시간 내에 해결 가능한 작고 작은 LP 타협이 없는 캐시 백 커버 부등식 문제를 해결하기 위해.
• 기존 표현의 제한을 극복하기 위해, 정수성 간격이 상수인 지수 이하 크기의 LP 타협을 개발하기 위해.
• 조합 최적화 문제에 대해 확장형 표현과 단조형 회로 복잡도 간의 구조적 연결을 수립하기 위해.
• 강력한 LP 경계를 유지하면서 지수 크기의 캐시 백 커버 타협에 대한 확장 가능한 대안을 제공하기 위해.
• 단조형 회로 구성이 효율적인 확장형 표현 설계에 어떻게 활용될 수 있는지 탐색하기 위해.

제안 방법

• Beimel과 Weinreb가 구성한 바와 같이, 깊이 O(log²n)인 단일 입력 2인 단조형 회로를 사용하여 n개의 입력에 대해 가중치 기반 임계값 함수를 계산한다.
• 단조형 회로 복잡도와 확장형 표현 간의 연결을 공식화하기 위해 Karchmer-Wigderson 게임을 적용한다.
• LP 타협은 회로 구조에서 유도되며, 회로의 깊이와 단일 입력 제약 조건을 통해 타당한 부등식을 인코딩한다.
• 형식은 모든 캐시 백 커버 부등식을 포괄하면서도, (1/ε)^O(1) · n^O(log n)의 quasi-polynomial 크기를 유지하도록 설계된다.
• 구성은 임의의 ε > 0에 대해 정수성 간격이 2 + ε 이하로 제한됨을 보장하며, 현재 알려진 최선의 이론적 한계와 일치한다.
• 유사한 회로 기반의 부등식 인코딩을 활용해, 다른 커버링 문제로의 일반화가 가능하다.

실험 결과

연구 질문

• RQ1 정수성 간격이 상수인 지수 이하 크기의 LP 타협을 구성할 수 있는가?
• RQ2 단조형 회로 복잡도를 효율적인 확장형 표현으로 체계적으로 번역할 수 있는 방법이 있는가?
• RQ3 quasi-polynomial 표현을 통해 캐시 백 커버 타협의 정수성 간격을 상수로 제한할 수 있는가?
• RQ4 캐시 백 커버 부등식의 가중치 기반 임계값 함수를 표현하기 위해 필요한 최소한의 회로 깊이와 단일 입력 수는 얼마인가?
• RQ5 Karchmer-Wigderson 게임 프레임워크는 새로운 소형 확장형 표현의 구성에 기여할 수 있는가?

주요 결과

• 논문은 최소 캐시 백 커버 문제에 대해 정수성 간격이 2 + ε 이하인 (1/ε)^O(1) · n^O(log n) 크기의 LP 타협을 구성한다.
• 이는 캐시 백 커버 부등식에 대해 알려진 바 있는 지수 크기 이하의 크기와 상수 정수성 간격을 가지는 첫 번째 타협이다.
• 이 구성은 Beimel과 Weinreb의 결과에 기반한 깊이 O(log²n)인 단일 입력 2인 단조형 회로를 활용한다.
• 이 방법은 Karchmer-Wigderson 게임을 통해 단조형 회로 복잡도와 확장형 표현 간의 새로운 다리를 구축한다.
• 이 접근법은 강력한 이론적 보장을 유지하면서도 지수 크기의 타협에 대한 확장 가능한 대안을 제공한다.
• 결과는 회로 복잡도 기반의 표현에 대한 깊은 이해가 확장형 표현 설계의 향상에 기여할 수 있음을 시사한다.