[논문 리뷰] Variable Version Lovász Local Lemma: Beyond Shearer's Bound

Kun He, Li Liang외 3명|arXiv (Cornell University)|2017. 09. 15.

Advanced Graph Theory Research참고 문헌 35인용 수 3

한 줄 요약

이 논문은 변수 버전의 로바슈 국소 렘마(variable-LLL)에 대한 최초의 필수적이고 충분한 조건을 확립하여 오랫동안 남아있던 열린 문제를 해결한다. 이는 두 가지 유형의 이벤트-변수 그래프—순환형 및 나무형 이중그래프—에 대한 정확한 경계를 제공하며, 기반 그래프에 길이 4 이상의 유도된 사이클이 포함되어 있을 경우에만 변수-LLL와 추상-LLL 경계 사이에 격차가 존재함을 증명한다.

ABSTRACT

A tight criterion under which the abstract version Lovász Local Lemma (abstract-LLL) holds was given by Shearer decades ago. However, little is known about that of the variable version LLL (variable-LLL) where events are generated by independent random variables, though this model of events is applicable to almost all applications of LLL. We introduce a necessary and sufficient criterion for variable-LLL, in terms of the probabilities of the events and the event-variable graph specifying the dependency among the events. Based on this new criterion, we obtain boundaries for two families of event-variable graphs, namely, cyclic and treelike bigraphs. These are the first two non-trivial cases where the variable-LLL boundary is fully determined. As a byproduct, we also provide a universal constructive method to find a set of events whose union has the maximum probability, given the probability vector and the event-variable graph. Though it is #P-hard in general to determine variable-LLL boundaries, we can to some extent decide whether a gap exists between a variable-LLL boundary and the corresponding abstract-LLL boundary. In particular, we show that the gap existence can be decided without solving Shearer's conditions or checking our variable-LLL criterion. Equipped with this powerful theorem, we show that there is no gap if the base graph of the event-variable graph is a tree, while gap appears if the base graph has an induced cycle of length at least 4. The problem is almost completely solved except when the base graph has only 3-cliques, in which case we also get partial solutions. A set of reduction rules are established that facilitate to infer gap existence of an event-variable graph from known ones. As an application, various event-variable graphs, in particular combinatorial ones, are shown to be gapful/gapless.

연구 동기 및 목표

• 변수-LLL의 타당성을 위한 필수적이고 충분한 조건을 확립하여 변수-LLL에 대한 이해 격차를 해소하기.
• 비트리비얼한 이벤트-변수 그래프 가족, 특히 순환형 및 나무형 이중그래프에 대해 변수-LLL 경계를 정확히 규명하기.
• 주어진 확률 벡터와 의존성 구조 하에서 사건들의 합집합 확률을 최대화하는 보편적인 구축 방법 개발하기.
• Shearer 조건을 풀지 않고도 변수-LLL와 추상-LLL 경계 사이에 격차가 존재하는지 여부를 특성화하기.
• 프레임워크를 조합론적 이벤트-변수 그래프에 적용하여, 해당 그래프가 격차가 있는지 없는지 규명하기.

제안 방법

• 독립집합을 포함하는 부등식계를 통해 표현된 사건 확률과 이벤트-변수 그래프의 구조에 기반한 변수-LLL에 대한 새로운 기준 제안.
• 기존의 기반 그래프 유형의 특성(예: 유도된 사이클 등)을 이용해 격차 존재 여부를 유추할 수 있는 감소 프레임워크 도입.
• 주어진 이벤트-변수 그래프와 확률 벡터 하에서 사건들의 최대 합집합 확률을 계산하는 보편 알고리즘 구축.
• 최대 합집합 확률 계산 문제를 하올랜트 인스턴스의 만족할 수 있는 할당 수 계산 문제로 환원시키며, 이는 #P-난이도임을 보여줌.
• 이중 검색과 환원을 통해 최대 확률 벡터를 결정하는 문제(INT)가 #P-난이도임을 증명.
• 확률 공간 내 블록 분할과 3SAT 인스턴스 간의 연결성을 활용해 난이도 결과를 증명함.

실험 결과

연구 질문

• RQ1 주어진 이벤트-변수 그래프와 사건 확률에 대해 변수-LLL가 성립하기 위한 정확한 필요충분조건은 무엇인가?
• RQ2 어떤 이벤트-변수 그래프 가족에 대해 변수-LLL 경계를 완전히 특성화할 수 있는가?
• RQ3 변수-LLL 경계와 추상-LLL 경계(셰러의 경계) 사이에 격차가 존재하는 조건은 무엇인가?
• RQ4 셰러 조건을 풀거나 새로운 기준을 검증하지 않고도 격차 존재 여부를 결정할 수 있는가?
• RQ5 주어진 이벤트-변수 그래프와 확률 벡터 하에서 사건들의 최대 합집합 확률을 결정하는 문제는 계산적으로 난이도가 높은가?

주요 결과

• 논문은 사건 확률과 이벤트-변수 그래프의 구조를 바탕으로 변수-LLL에 대한 필수적이고 충분한 조건을 확립하여 오랫동안 남아있던 열린 문제를 해결한다.
• 비트리비얼한 두 가족—순환형 및 나무형 이중그래프—에 대해 변수-LLL 경계가 완전히 결정된다.
• 기반 그래프에 길이 4 이상의 유도된 사이클이 포함되어 있을 경우에만 변수-LLL와 추상-LLL 경계 사이에 격차가 존재한다.
• 기반 그래프가 나무일 경우, 변수-LLL와 추상-LLL 경계 사이에 격차가 존재하지 않는다.
• 주어진 이벤트-변수 그래프와 확률 벡터 하에서 사건들의 최대 합집합 확률을 계산하는 문제는 #P-난이도이다.
• 논문은 주어진 확률 벡터와 이벤트-변수 그래프 하에서 최대 확률을 달성하는 사건의 집합을 찾는 보편적인 구축 방법을 제공한다.