[논문 리뷰] Putting Dots in Triangles

Simon R. Blackburn⋆, Maura B. Paterson외 1명|arXiv (Cornell University)|2009. 10. 22.

Mathematics and Applications참고 문헌 3인용 수 7

한 줄 요약

이 논문은 오른쪽 삼각형 격자 크기 $ n $ 에서 한 행, 한 열, 또는 대각선에 최대 한 개의 점만 존재하도록 배치할 수 있는 점의 최대 개수 $ N(n) $ 에 대한 상한 $ N(n) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $ 을 증명하기 위한 새로운 선형계획법 접근법을 제시한다. 주요 기여는 이론적 해법을 기반으로 한 깔끔한 증명으로, 이는 이중 선형계획법의 타당해를 이용하여 기존에 알려진 상한을 최소한의 조합적 복잡도로 확인한다.

ABSTRACT

Given a right-angled triangle of squares in a grid whose horizontal and vertical sides are $n$ squares long, let N(n) denote the maximum number of dots that can be placed into the cells of the triangle such that each row, each column, and each diagonal parallel to the long side of the triangle contains at most one dot. It has been proven that $N(n) = \lfloor \frac{2n+1}{3} floor$. In this note, we give a new proof of this result using linear programming techniques.

연구 동기 및 목표

• 선형계획법 기법을 사용하여 점이 삼각형에 놓이는 문제에 대한 상한 $ N(n) \leq \lfloor (2n+1)/3 \rfloor $ 을 새롭게 증명하는 것.
• 정규적인 구조를 가진 조합 최적화 문제를 해결하는 데 있어 선형계획법 이중성의 유용성을 보여주는 것.
• 이중 선형계획법 구성에 의해 원래 목표값과 일치하는 해를 통해 기존에 알려진 공식 $ N(n) = \lfloor (2n+1)/3 \rfloor $ 를 검증하는 것.
• 수치적 실험과 이중성의 조합을 통해 복잡한 경우 분석 없이도 효율적으로 조합적 상한을 도출하고 확인할 수 있는 프레임워크를 구축하는 것.

제안 방법

• 셀 $ (i,j) $ 에 점이 배치되는지 여부를 나타내는 이진 변수 $ x_{i,j} $ 를 사용하여 점이 삼각형에 놓이는 문제를 정수선형계획형식(ILP)으로 공식화한다.
• 모든 $ 0 \leq x_{i,j} \leq 1 $ 를 允허하여 ILP 를 선형계획형식(LP)으로 완화함으로써 상한 $ \mathit{LP}(n) \geq N(n) $ 을 도출한다.
• 세 가지 경우 $ n = 3t $, $ n = 3t+1 $, $ n = 3t+2 $ 에 대해, 형태 $ \max\{0, \frac{i - t - 1}{3t+1}\} $ 를 가진 조각별 유리함수를 사용하여 이중 LP의 타당해를 명시적으로 구성한다.
• 어느 셀이든 그의 행, 열, 대각선에 해당하는 이중 변수들의 합이 최소 1이 되도록 함으로써 이중 제약조건을 만족함을 확인한다.
• 이중 목표값을 계산하고, 이가 $ \mathit{LP}_{f}(n) $ 과 일치함을 보여주며, 이는 $ \mathit{LP}(n) $ 의 추측된 닫힌 표현식이다.
• 약한 이중성에 의해 $ \mathit{LP}(n) \leq \mathit{LP}_{f}(n) $ 를 유도하고, 원래 문제의 하한과 결합하여 $ N(n) = \lfloor (2n+1)/3 \rfloor $ 이라는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 선형계획법 이중성은 알려진 상한 $ N(n) = \lfloor (2n+1)/3 \rfloor $ 을 복잡한 조합적 추론 없이 깔끔한 조합적 증명으로 도출할 수 있는가?
• RQ2 점이 삼각형에 놓이는 문제의 완화된 선형계획법에 대한 최적해의 구조는 어떠한가?
• RQ3 모든 $ n $ 에 대해 목표값이 추측된 $ \mathit{LP}_{f}(n) $ 와 일치하는 타당한 이중해가 존재하는가? 그리고 이를 균일하게 구성할 수 있는가?
• RQ4 수치적 실험과 이중성은 얼마나 깊이 결합되어 복잡한 경우 분석 없이도 조합적 상한을 증명할 수 있는가?

주요 결과

• 복잡한 조합적 추론 없이 선형계획법 이중성을 활용하여 상한 $ N(n) \leq \lfloor (2n+1)/3 \rfloor $ 에 대한 새로운 증명이 확립되었다.
• 모든 $ n $ 에 대해 타당한 이중해가 명시적으로 구성되었으며, 그 목표값은 추측된 $ \mathit{LP}_{f}(n) $ 와 일치한다. 이는 $ n = 3t+1 $ 에서 $ 2t+1 $, $ n = 3t+2 $ 에서 $ 2t+1 + \frac{2t+1}{3t+2} $, $ n = 3t $ 에서 $ 2t + \frac{t}{3t+1} $ 와 같다.
• 이중해의 구조는 규칙적이고 조각별 유리함수이며, 오직 $ n \mod 3 $ 의 잔여값에 따라 달라지며, 행, 열, 대각선의 이중변수에 대해 대칭적인 표현을 가진다.
• $ n \equiv 1 \pmod{3} $ 인 경우, 원래 문제와 이중 문제의 목표값이 일치함을 보여 강한 이중성에 의해 이 경우에 대해 LP 추측이 증명된다.
• 이 방법은 이중성에 기반하여 직접 세는 방식이 아닌 간결하고 우아한 증명을 통해 기존의 공식 $ N(n) = \lfloor (2n+1)/3 \rfloor $ 를 확인한다.
• 이 접근법은 수치적 실험과 이중성 이론의 조합을 통해 조합적 상한을 효율적으로 도출하고 검증하는 데 있어 그 힘을 보여준다.