[논문 리뷰] Word-representability of triangulations of rectangular polyomino with a single domino tile

Marc Glen, Sergey Kitaev|arXiv (Cornell University)|2015. 03. 17.

Advanced Theoretical and Applied Studies in Material Sciences and Geometry인용 수 6

한 줄 요약

이 논문은 단일 도미노 타일을 포함하는 직사각형 폴리오미노의 삼등분에 대해 단어로 표현 가능한 그래프의 특성 분석을 확장하여, 이러한 삼등분이 3-색칠 가능할 때이고 그때에만 단어로 표현 가능하다는 것을 증명한다. 저자들은 이전에 1×1 타일링 폴리오미노에 대해 얻은 결과를 일반화하기 위해, 12개의 동치가 아닌 최소 비3-색칠 가능이고 비단어로 표현 가능한 그래프를 규명하여, 비3-색칠 가능성은 이러한 금지된 부분그래프의 존재를 의미함을 보이고, 따라서 등가성을 확립한다.

ABSTRACT

A recent elegant result of Akrobotu et al. states that a triangulation of any convex polyomino is word-representable if and only if it is 3-colorable. In this paper, we generalize a particular case of this result by showing that the result of Akrobotu et al. is true even if we allow a domino tile, instead of having just $1\ imes 1$ tiles on a rectangular polyomino.

연구 동기 및 목표

• 직사각형 폴리오미노의 삼등분에 대해 알려진 단어로 표현 가능한 그래프의 특성 분석을 단일 도미노 타일이 포함된 경우로 확장한다.
• 직사각형 폴리오미노에 1×2 또는 2×1 도미노 타일이 삽입될 경우, 3-색칠 가능성 조건이 단어로 표현 가능성에 대해 여전히 필수적이고 충분한 조건인지 조사한다.
• 이러한 삼등분에서 발생할 수 있는 모든 최소 비3-색칠 가능이고 비단어로 표현 가능한 그래프를 식별하고 분류한다.
• 1×1 타일링 폴리오미노에 대해 이전에 사용된 구조적 접근 방식을 도미노 타일로 인해 증가된 복잡성에 대응할 수 있도록 일반화한다.

제안 방법

• 저자들은 단일 가로 도미노 타일을 포함하는 직사각형 폴리오미노의 삼등분에서 가능한 모든 3-색칠 확장을 분석하기 위해 사례 기반의 구조적 분석을 사용한다.
• 그들은 이전 작업에서 제외된 T₁ 및 T₂를 제외한 12개의 동치가 아닌 최소 그래프를 식별하였으며, 이들은 모두 비3-색칠 가능하고 비단어로 표현 가능하다. 이들 그래프는 모두 홀수 휠 그래프 W₅, W₇, 또는 W₉를 부분그래프로 포함한다.
• 증명은 비3-색칠 가능 삼등분이 반드시 이 12개의 최소 그래프 중 하나를 부분그래프로 포함해야 한다는 것을 보여 이로써 등가성을 입증한다.
• 이들은 기존에 알려진 홀수 휠 그래프(W₂ₜ₊₁, t ≥ 2)의 비단어로 표현 가능성 결과를 적용하여, 식별된 그래프들이 비단어로 표현 가능하다는 것을 입증한다.
• 분석은 대칭성과 단순 변환(회전, 반사)을 이용해 경우의 수를 줄이기 위해 다양한 구성에서 색칠 확장을 철저히 고려한다.
• 어느 정도의 지점까지 3-색칠을 확장하려는 尝시도는 반드시 네 번째 색상을 사용하게 만들며, 이는 금지된 부분그래프의 존재를 암시한다.

실험 결과

연구 질문

• RQ1 단일 도미노 타일이 포함된 직사각형 폴리오미노의 삼등분에서 3-색칠 가능성 조건이 여전히 단어로 표현 가능성에 대해 필수적이고 충분한 조건인가?
• RQ2 이러한 삼등분에서 발생할 수 있는 최소 비3-색칠 가능이고 비단어로 표현 가능한 그래프는 무엇인가?
• RQ3 1×1 타일링 폴리오미노에 대해 사용된 구조적 증명 기법을 도미노 타일로 인해 증가된 복잡성에 대응하도록 적응시킬 수 있는가?
• RQ4 단일 도미노 타일을 포함하는 삼등분 중에서 비3-색칠 가능하지만 단어로 표현 가능한 그래프가 존재하는가?
• RQ5 이 결과는 하나 이상의 도미노 타일을 포함하거나 비직사각형 볼록 폴리오미노로 일반화될 수 있는가?

주요 결과

• 논문은 단일 도미노 타일을 포함하는 직사각형 폴리오미노의 삼등분이 3-색칠 가능할 때이고 그때에만 단어로 표현 가능하다는 것을 입증하며, 이는 이전에 1×1 타일링 폴리오미노에 대해 얻은 결과를 일반화한다.
• 이러한 삼등분에서 3-색칠 가능성과 단어로 표현 가능성의 결여를 막는 유일한 금지 부분그래프로 12개의 동치가 아닌 최소 그래프(이전 작업의 T₁ 및 T₂ 제외)가 식별되었다.
• 식별된 비단어로 표현 가능한 그래프들은 모두 홀수 휠 그래프 W₅, W₇, 또는 W₉를 부분그래프로 포함하며, 이들은 이미 비단어로 표현 가능하다는 것이 알려져 있다.
• 증명은 비3-색칠 가능 삼등분이 반드시 이 12개의 최소 그래프 중 하나를 부분그래프로 포함해야 한다는 것을 보여 등가성을 입증한다.
• 저자들은 결과가 볼록이 아닌 폴리오미노로는 확장되지 않음을 확인하였으며, 반례가 존재하기 때문이다.
• 분석은 단일 도미노 타일의 존재가 비3-색칠 가능성을 방해하는 최소 금지 구성의 수를 이전의 두 개(T₁, T₂)에서 열두 개로 증가시켜, 더 높은 구조적 복잡성을 반영한다는 것을 확인한다.