[논문 리뷰] Derandomizing the Lovasz Local Lemma more effectively

Robin A. Moser|ArXiv.org|2008. 07. 14.

Complexity and Algorithms in Graphs인용 수 16

한 줄 요약

이 논문은 변수 발생 횟수에 제한이 있는 k-CNF 공식을 해결하기 위한 새로운 비확률적 알고리즘을 제안하며, 변수당 O(2^{k/2}/k) 번의 발생 횟수로 상당히 향상된 임계값을 달성한다. 기존의 2,3-트리 프레임워크에 의존하지 않고, 새로운 더 조밀한 워치독 트리 구조를 도입함으로써, 이전에는 가능하지 않았던 더 큰 만족가능한 공식의 클래스를 효율적으로 결정적으로 해결할 수 있게 되었으며, Lovász 국소 레미의 비확률적 일반화에 오랫동안 존재하던 격차를 메웠다.

ABSTRACT

The famous Lovasz Local Lemma [EL75] is a powerful tool to non-constructively prove the existence of combinatorial objects meeting a prescribed collection of criteria. Kratochvil et al. applied this technique to prove that a k-CNF in which each variable appears at most 2^k/(ek) times is always satisfiable [KST93]. In a breakthrough paper, Beck found that if we lower the occurrences to O(2^(k/48)/k), then a deterministic polynomial-time algorithm can find a satisfying assignment to such an instance [Bec91]. Alon randomized the algorithm and required O(2^(k/8)/k) occurrences [Alo91]. In [Mos06], we exhibited a refinement of his method which copes with O(2^(k/6)/k) of them. The hitherto best known randomized algorithm is due to Srinivasan and is capable of solving O(2^(k/4)/k) occurrence instances [Sri08]. Answering two questions asked by Srinivasan, we shall now present an approach that tolerates O(2^(k/2)/k) occurrences per variable and which can most easily be derandomized. The new algorithm bases on an alternative type of witness tree structure and drops a number of limiting aspects common to all previous methods.

연구 동기 및 목표

• Lovász 국소 레미가 보장하는 존재 임계값과 k-CNF 공식에 대한 알고리즘적 만족 가능 임계값 사이의 격차를 메우기 위해.
• 기존의 2,3-트리 워치독 구조에 기반한 비확률적 일반화 기법의 한계를 극복하기 위해.
• 더 높은 변수 발생 횟수 한계를 가진 k-CNF 인스턴스를 해결할 수 있는 결정적 다항 시간 알고리즘을 개발하기 위해.
• 워치독 트리가 알고리즘적 의사결정 과정의 핵심이 되도록 함으로써, 문장들을 '나쁜', '위험한', '안전한'으로 분류할 필요를 제거하기 위해.
• 변수당 O(2^{k/2}/k)의 발생 횟수가 비확률적 만족 가능성에 충분하다는 것을 입증하기 위해.

제안 방법

• 기존 알고리즘에서 사용하는 전통적인 2,3-트리 프레임워크를 대체할 새로운 종류의 조밀한 워치독 트리 구조를 도입한다.
• 의존성 그래프의 연결된 성분에서 복합 워치독을 구성함으로써 최소화되고 구조적으로 안정된 표현을 보장한다.
• 문장의 사전순 순서를 사용하여 새로운 리터럴을 정의하고, 각 복합 워치독 W에 대해 Dφ(W)라는 문장을 구성한다.
• 확률적 분석을 통해 크기가 log(2m)에서 (k+1)log(2m) 사이인 워치독의 공식 ψ는 기대로 만족되지 않는 문장 수가 1 미만임을 보여준다.
• 공식 ψ를 다항 시간 내에 결정적으로 해결함으로써 과정을 비확률적으로 전환하며, 만족할 수 있는 할당 하에 큰 복합 워치독이 존재하지 않음을 보장한다.
• 크기가 로그 크기인 잔여 성분에 대해 결정적 局부 탐색을 적용하며, 큰 워치독이 존재하지 않음이 보장된다.

실험 결과

연구 질문

• RQ1 Lovász 국소 레미의 비확률적 일반화를 변수 발생 횟수가 O(2^{k/4}/k)를 초과하는 k-CNF 공식으로 확장할 수 있는가?
• RQ2 2,3-트리 워치독 구조에 의존하는 것을 제거하고 더 조밀하고 효율적인 구조로 대체할 수 있는가?
• RQ3 알고리즘 과정에서 '나쁜', '위험한', '안전한' 문장 간의 구분을 제거할 수 있는가?
• RQ4 변수당 O(2^{k/2}/k)의 발생 횟수를 가진 k-CNF 공식에 대해 결정적 다항 시간 알고리즘이 존재하는가?
• RQ5 워치독 트리 구축을 알고리즘 자체의 일부로 만들 수 있는가, 단지 확률적 분석의 도구로만 사용하는 것이 아니라?

주요 결과

• 알고리즘은 각 변수가 최대 2^{k/2}/(36k)번 나타나는 모든 k-CNF 공식을 기대 다항 시간 내에 해결할 수 있다.
• 이전의 랜덤 알고리즘 기반 최선의 기준인 O(2^{k/4}/k)에 비해, O(2^{k/2}/k)의 더 엄밀한 발생 횟수 기준을 확보하였다.
• 크기가 log(2m)에서 (k+1)log(2m) 사이인 복합 워치독에서 형성된 공식 ψ는 다항 시간 내에 만족할 수 있는 할당을 찾을 수 있으며, 이 할당 하에 큰 워치독이 존재하지 않음을 보장한다.
• 공식 ψ에서 만족되지 않는 문장의 기대 수는 1 미만이므로, 확률적 방법을 통해 그 만족 가능성을 입증한다.
• ψ를 해결한 후 잔여 잔여 성분은 항상 로그 크기임이 보장되며, 이는 효율적인 결정적 해결을 가능하게 한다.
• 새로운 워치독 트리 구조는 문장 분류가 필요 없게 하여 더 깔끔하고 더 강력한 비확률적 일반화 과정을 가능하게 한다.