[논문 리뷰] A structural approach to kernels for ILPs: Treewidth and Total Unimodularity

Bart M. P. Jansen, Stefan Kratsch|arXiv (Cornell University)|2015. 06. 25.

Formal Methods in Verification인용 수 14

한 줄 요약

이 논문은 부분계수의 제한된 트리폭과 전체 단순형성의 특성을 활용하여 정수선형계획법(ILP) 타당성 문제에 대한 구조적 커널화 기법을 제안한다. 타당성 보존을 유지하면서 경계 크기가 작고(변수 수와 도메인 크기 기준), 부분계수의 경계 크기가 작은 ILP 인스턴스는 등가의 다항식 크기의 부분계수로 효과적으로 대체될 수 있으며, 이러한 구조가 존재할 경우 다항식 커널이 가능하다. 반대로, 더 큰 경계나 고도의 도메인 변수가 존재할 경우 효과적인 커널화가 불가능하다는 하한선을 증명한다.

ABSTRACT

Kernelization is a theoretical formalization of efficient preprocessing for NP-hard problems. Empirically, preprocessing is highly successful in practice, for example in state-of-the-art ILP-solvers like CPLEX. Motivated by this, previous work studied the existence of kernelizations for ILP related problems, e.g., for testing feasibility of Ax <= b. In contrast to the observed success of CPLEX, however, the results were largely negative. Intuitively, practical instances have far more useful structure than the worst-case instances used to prove these lower bounds. In the present paper, we study the effect that subsystems with (Gaifman graph of) bounded treewidth or totally unimodularity have on the kernelizability of the ILP feasibility problem. We show that, on the positive side, if these subsystems have a small number of variables on which they interact with the remaining instance, then we can efficiently replace them by smaller subsystems of size polynomial in the domain without changing feasibility. Thus, if large parts of an instance consist of such subsystems, then this yields a substantial size reduction. We complement this by proving that relaxations to the considered structures, e.g., larger boundaries of the subsystems, allow worst-case lower bounds against kernelization. Thus, these relaxed structures can be used to build instance families that cannot be efficiently reduced, by any approach.

연구 동기 및 목표

• 일반 ILP 인스턴스에 대한 이론적 부정적인 커널화 결과와 CPLEX와 같은 실무에서의 성공적인 ILP 프리프로세싱 간 격차를 해소하기 위해.
• 부분계수에서 제한된 트리폭과 전체 단순형성과 같은 구조적 성질이 효과적인 프리프로세싱 및 커널화를 가능하게 하는지 조사하기 위해.
• 타당성 유지 조건 하에서 이러한 부분계수에서 크기 축소가 가능한 조건을 규명하기 위해.
• 유연한 구조적 가정 하에 양의 커널화 결과와 그에 대응하는 하한선을 모두 수립하기 위해.

제안 방법

• 변수 간에 약속을 공유하는 경우를 연결선으로 하는 Gaifman 그래프를 통해 ILP 제약 행렬을 모델링한다.
• 기타 인스턴스와의 공유 변수 수가 적은 경계를 지닌 부분계수인 프로트루션을 식별하며, 이들의 내부는 제한된 트리폭 또는 전체 단순형성을 가진다.
• 내부 구조에 기반해 경계 변수의 모든 가능할 수 있는 할당을 동적 프로그래밍을 통해 계산한다.
• 경계 변수의 가능할 수 있는 할당을 표현하는 제약 조건을 사용해, 경계 크기와 도메인 크기의 다항식 크기로 등가의 대체 부분계수를 구성한다.
• 정보 이론적 접근을 통해 암호화 크기의 하한선을 증명하여, 경계 크기나 도메인 크기가 일정한 범위를 초과할 경우 커널화가 불가능하다는 것을 보여준다.
• 메타-커널화 결과를 활용해, Gaifman 그래프가 상수 개수의 이러한 프로트루션으로 분해될 경우 전체 ILP 인스턴스가 다항식 커널을 갖는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 큰 부분이 제한된 트리폭 또는 전체 단순형성을 가지는 경우, ILP 타당성 문제는 커널화될 수 있는가?
• RQ2 이러한 부분계수의 경계에 대해 어떤 구조적 조건이 효율적 커널화를 가능하게 하는가?
• RQ3 구조적 부분계수의 경계 크기나 도메인 크기가 증가할 경우 커널화의 한계는 무엇인가?
• RQ4 목적 함수가 존재하는 ILP의 최적화 변형에도 동일한 프리프로세싱 기법을 확장할 수 있는가?
• RQ5 예를 들어 하나 이상의 큰 도메인 경계 변수를 允許하는 등 구조적 가정이 완화될 경우, 커널화에 내재된 장벽은 무엇인가?

주요 결과

• r개의 경계 변수와 도메인 크기 d를 가지는 ILP 부분계수는 타당성을 유지하면서 크기가 O(r·d^r)이고 암호화 크기가 Õ(d^{2r})인 등가의 부분계수로 대체될 수 있다.
• 이러한 대체의 암호화 크기는 로그 인자 수준에서 최적이며, 가능한 모든 경계 할당을 기술하기 위해 최소 Ω(d^r) 비트가 필요하다는 점에서 최적이다.
• 전체 단순형성 부분계수의 경우 암호화 크기를 Θ(d^{r(r-1)/(r+1)} r log d)로 줄일 수 있어 트리폭 기반 대체 대비 거의 d 배의 절감 효과가 있다.
• 하한선 분석을 통해, 강력한 구조적 가정이 있더라도 경계에 하나의 큰 도메인 변수가 존재할 경우 커널화가 불가능하다는 것을 보여준다.
• Gaifman 그래프가 제한된 트리폭 또는 전체 단순형성을 가지며 작은 경계를 가진 O(k)개의 프로트루션으로 분해될 경우, 전체 ILP 인스턴스는 k와 d에 대해 다항식 크기의 커널을 갖는다.
• 목적 함수 기여도를 충분한 정밀도로 저장할 경우 결과는 최적화 ILP로 확장되나, 이는 커널 크기에 복잡성을 추가한다.