[논문 리뷰] A Survey of Lower Bound on the van Der Waerden Number $W(k,2)$

William Gasarch, Bernhard Haeupler|arXiv (Cornell University)|2010. 05. 20.

Limits and Structures in Graph Theory인용 수 1

한 줄 요약

이 논문은 라오바르츠 로컬 렘마를 사용한 비구성적 하한값 증명을 변형하여 확률적 증명을 랜덤 구조화 및 결정적 구조화 알고리즘으로 전환함으로써, van der Waerden 수 W(k,2)에 대한 비구성적 하한값을 재검토한다. 이는 기존에 비구성적이었던 결과들을 알고리즘적으로 실현 가능하게 만들며, 길이 k의 단색 산술적 등차수열을 포함하지 않는 2색 칠하기를 효율적으로 생성할 수 있음을 보여준다.

ABSTRACT

The van der Waerden number W(k,2) is the smallest integer n such that every 2-coloring of 1 to n has a monochromatic arithmetic progression of length k. The existence of such an n for any k is due to van der Waerden but known upper bounds on W(k,2) are enormous. Much effort was put into developing lower bounds on W(k,2). Most of these lower bound proofs employ the probabilistic method often in combination with the Lovasz Local Lemma. While these proofs show the existence of a 2-coloring that has no monochromatic arithmetic progression of length k they provide no efficient algorithm to find such a coloring. These kind of proofs are often informally called nonconstructive in contrast to constructive proofs that provide an efficient algorithm. This paper clarifies these notions and gives definitions for deterministic- and randomized-constructive proofs as different types of constructive proofs. We then survey the literature on lower bounds on W(k,2) in this light. We show how known nonconstructive lower bound proofs based on the Lovasz Local Lemma can be made randomized-constructive using the recent algorithms of Moser and Tardos. We also use a derandomization of Chandrasekaran, Goyal and Haeupler to transform these proofs into deterministic-constructive proofs. We provide greatly simplified and fully self-contained proofs and descriptions for these algorithms.

연구 동기 및 목표

• W(k,2)에 대한 하한값의 맥락에서 비구성적, 랜덤 구조화, 결정적 구조화 증명 간의 차이를 명확히 하기 위해.
• 비구성적 하한값을 재검토하여, 라오바르츠 로컬 렘마를 사용한 구조화된 프레임워크 내에서 기존의 비구성적 하한값을 재유도하기 위해.
• Moser-Tardos 알고리즘적 버전의 라오바르츠 로컬 렘마를 사용하여 확률적 하한값 증명을 효율적인 랜덤 구조화 알고리즘으로 전환하기 위해.
• 이러한 알고리즘을 결정적 구조화 증명으로 더 이상 결정화하여, 유효한 2색 칠하기의 존재를 보장하는 알고리즘을 만들기 위해.
• 접근 가능하고 직접적으로 실행 가능한, 단순화되고 자가 포함된 증명과 알고리즘 기술을 제공하기 위해.

제안 방법

• 비구성적 하한값 증명을 재구성하여, 확률적 방법과 라오바르츠 로컬 렘마를 기반으로 하되, 기존의 비구성적 증명을 재구성한다.
• Moser-Tardos 알고리즘적 프레임워크를 적용하여 존재성 증명을 효율적인 랜덤 구조화 알고리즘으로 전환함으로써, 유효한 2색 칠하기를 찾는다.
• Chandrasekaran, Goyal, 및 Haeupler의 결정화 기법을 사용하여 랜덤 알고리즘을 결정적 구조화 절차로 변환한다.
• 기본적인 확률적 추론과 알고리즘 단계를 단순화하고 재유도하여, 완전히 자가 포함되고 접근 가능한 형태로 만든다.
• 실행 가능성을 보장하기 위해 변수 할당 및 종속성 검사와 같은 알고리즘 과정의 명시적 기술을 제공한다.
• 수학적 엄밀성을 유지하면서도, 증명과 알고리즘 서술의 명료성과 기술적 부담을 줄인다.

실험 결과

연구 질문

• RQ1 라오바르츠 로컬 렘마에 기반한 W(k,2)에 대한 비구성적 하한값 증명은 Moser-Tardos 프레임워크를 통해 알고리즘적 구성으로 전환될 수 있는가?
• RQ2 van der Waerden 수의 맥락에서, 랜덤 구조화 증명과 결정적 구조화 증명은 무엇으로 구분되는가?
• RQ3 Moser-Tardos 알고리즘적 버전의 라오바르츠 로컬 렘마는 어떻게 사용하여 길이 k의 단색 산술적 등차수열을 포함하지 않는 2색 칠하기를 생성할 수 있는가?
• RQ4 결정화 기법을 사용하여 확률적 구성 방식을 W(k,2)에 대해 결정적 알고리즘으로 전환할 수 있는가?
• RQ5 어떤 단순화되고 자가 포함된 유도 과정이 이러한 고급 확률적 구성 방식을 접근 가능하고 직접 실행 가능한 형태로 만들 수 있는가?

주요 결과

• 논문은 Moser-Tardos 프레임워크를 사용하여, W(k,2)에 대한 알려진 비구성적 하한값 증명을 성공적으로 랜덤 구조화 알고리즘으로 전환하였다.
• 라오바르츠 로컬 렘마 기반의 W(k,2) 증명이 Moser-Tardos 알고리즘을 통해 알고리즘적으로 효과적으로 작동할 수 있음을 보였다.
• 랜덤 구조화 알고리즘은 {1, ..., n}의 2색 칠하기에서 길이 k의 단색 산술적 등차수열을 포함하지 않는 효율적인 확률적 절차를 제공한다.
• 결정화 기법을 적용함으로써, 이 랜덤 알고리즘을 유효한 2색 칠하기의 존재를 보장하는 결정적 구조화 절차로 전환하였다.
• 결과로 도출된 증명과 알고리즘은 단순화되고 자가 포함되어 있으며, 직접 실행 및 이해가 가능하도록 완전히 기술되었다.
• 이 작업는 W(k,2) 하한값 맥락에서 비구성적, 랜덤 구조화, 결정적 구조화의 명확한 계층 구조를 수립하였다.