[논문 리뷰] Coloring so that no Pythagorean Triple is Monochromatic

Joshua Cooper, Ralph Overstreet|arXiv (Cornell University)|2015. 05. 09.

graph theory and CDMA systems참고 문헌 3인용 수 6

한 줄 요약

이 논문은 자연수를 2색으로 칠할 수 있는지 여부를 조사한다. 이때 모든 피타고라스 삼중항(a² + b² = c²의 해)이 단색이 되지 않도록 한다. 문제를 3-CNF 논리로 변환한 후 SAT 솔버를 사용하여, 7,664 이하의 모든 정수에 대해 이러한 2색 칠하기가 가능하다는 것을 증명하였다. 이는 오랫동안 남아있던 램지 이론적 문제에 대한 처음으로 알려진 대규모 해답을 제시한다.

ABSTRACT

We address the question of the "partition regularity" of the Pythagorean equation a^2+b^2=c^2; in particular, can the natural numbers be assigned a 2-coloring, so that no Pythagorean triple (i.e., a solution to the equation) is monochromatic? We prove that the hypergraph of Pythagorean triples can contain no Steiner triple systems, a natural obstruction to 2-colorability. Then, after transforming the question into one about 3-CNF satisfiability and applying some reductions, a SAT solver is used to find a 2-coloring for {1,...,7664}. Work continues as we seek to improve the reductions and extend the computation.

연구 동기 및 목표

• 자연수의 2색 칠하기에 대해 피타고라스 방정식 a² + b² = c²가 분할 정규성(partition regular)인지 여부를 규명하는 것.
• 피타고라스 삼중항의 초그래프가 단색 삼중항이 없는 2색 칠하기를 허용하는지 조사하는 것.
• 계산 기법을 사용하여 이러한 2색 칠하기가 가능한 정수의 범위를 확장하는 것.
• 특히 스텐너 삼중체계(Steiner triple systems)와 같은 2색 칠하기의 구조적 장애물이 피타고라스 삼중항 초그래프에 존재하는지 탐색하는 것.

제안 방법

• 각 삼중항 (a,b,c)에 대해 a² + b² = c²를 만족할 때, (x_a ∨ x_b ∨ x_c) ∧ (¬x_a ∨ ¬x_b ∨ ¬x_c) 형태의 절(clause)에 대응시키는 방식으로 2색 칠하기 문제를 3-CNF 만족 가능성 문제로 변환하였다.
• 초그래프 압축 기법을 적용하여, 나머지 초그래프와 정점 하나만 공유하는 ‘매달린 삼중항(pendant triples)’을 제거함으로써 SAT 솔버의 입력을 단순화시켰다.
• 세이우스 대학교의 고성능 클러스터(Maxwell 및 Planck)에서 분산된 병렬 컴퓨팅 환경을 활용하여 Treengeling SAT 솔버를 실행하였다.
• 쉘 스크립트와 시스템 호출을 사용한 노드 풀링 전략을 구현하여, 12코어 노드에서 다수의 솔버 인스턴스를 관리하였으며, 이전 작업이 완료될 때마다 새로운 작업을 동적으로 제출하였다.
• 역방향 덧셈 방법을 적용: 압축된 초그래프를 해결한 후, 매달린 삼중항을 하나씩 다시 추가하고, 이전에 얻은 색상 정보를 기반으로 재색칠하여 이중색성(bichromaticity)을 유지하였다.
• 추가로 매달린 삼중항 외의 압축 가능한 부분그래프를 찾기 위해, 고유의 파이썬 스크립트를 구현하여 입력을 추가로 압축하고자 하였다.

실험 결과

연구 질문

• RQ1 자연수의 2색 칠하기 중에서 어떤 삼중항도 단색이 되지 않도록 할 수 있는가?
• RQ2 피타고라스 삼중항의 초그래프는 2색으로 칠할 수 있으며, 만약 가능하면 어느 정수 이하까지 그러한 색칠이 가능한가?
• RQ3 기존의 2색 칠하기 장애물로 알려진 스텐너 삼중체계(Steiner triple systems)가 피타고라스 삼중항의 초그래프에 존재하는가?
• RQ4 피타고라스 삼중항 초그래프에 적용 가능한 구조적 압축 기법은 무엇이며, 이를 통해 2색 칠하기 문제를 계산적으로 처리 가능하게 만들 수 있는가?
• RQ5 이 특정 초그래프에 대해 SAT 해결의 성능은 어떻게 변화하며, 어떤 병렬화 전략이 최적의 성능을 낳는가?

주요 결과

• 저자들은 1에서 7,664까지의 정수에 대해 단색 피타고라스 삼중항이 존재하지 않는 2색 칠하기를 성공적으로 구성하였다.
• 매달린 삼중항을 제거한 후, SAT 솔버는 약 33시간 만에 7,650 이하의 모든 삼중항에 대해 유효한 2색 칠하기를 발견하였다.
• 매달린 삼중항을 제거한 상태에서, 약 21시간 만에 7,620 이하의 모든 삼중항에 대해 솔루션을 찾았다.
• 최종 색칠 결과는 역방향 추가 방법을 통해 7,664 이하의 모든 삼중항에 대해 이중색성을 유지함을 검증하였으며, 정확성이 유지됨을 입증하였다.
• 색칠 결과에 일관된 패턴은 발견되지 않았으며, 이는 유효한 2색 칠하기에 대해 높은 자유도가 있음을 시사한다.
• 피타고라스 삼중항의 초그래프에는 스텐너 삼중체계가 존재하지 않으며, 이는 2색 칠하기의 고전적 장애물이 제거됨을 의미한다.