[論文レビュー] Word-representability of triangulations of rectangular polyomino with a single domino tile

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

Advanced Theoretical and Applied Studies in Material Sciences and Geometry被引用数 6

ひとこと要約

本稿は、1つのドミノタイルを含む長方形ポリオミノの三角形分割に対する語表現可能グラフの特徴付けを拡張し、このような三角形分割が語表現可能であるための必要十分条件が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つの水平ドミノタイルを含む場合にまで拡張すること。
• 長方形ポリオミノに1×2または2×1のドミノタイルが1つ追加された場合、語表現可能性に対して3色可能性条件が依然として必要かつ十分であるかどうかを調査すること。
• このような三角形分割に現れるすべての最小の非3色可能かつ非語表現可能なグラフを同定・分類すること。
• 1×1タイル化ポリオミノに関する先行研究で用いられた構造的アプローチを、ドミノタイルによって生じる追加の複雑性に対応できるように一般化すること。

提案手法

• 著者らは、1つの水平ドミノタイルを含む長方形ポリオミノの三角形分割におけるすべての可能な3色可能性拡張を、事例ベースの構造的解析によって検討する。
• 彼らは、先行研究のT₁およびT₂を除く12個の同型でない最小のグラフ（非3色可能かつ非語表現可能）を同定し、それらはすべて奇数のホイールグラフW₅、W₇、またはW₉を誘導部分グラフとして含む。
• 証明は、非3色可能である任意の三角形分割が、これらの12個の最小グラフのいずれかを誘導部分グラフとして含む必要があることを示すことに依存する。
• 奇数ホイールグラフ（t ≥ 2のW₂ₜ₊₁）の非語表現可能性に関する既知の結果を応用し、同定されたグラフが非語表現可能であることを確立する。
• 対称性および自明な変換（回転、反転）を用いてケースを削減するため、さまざまな構成における色の拡張を包括的に検討する。
• 3色可能性をある点を超えて拡張しようとすると、4色目を用いる必要が生じ、結果として禁じられた部分グラフが存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 1つのドミノタイルが存在する長方形ポリオミノの三角形分割において、3色可能性条件が語表現可能性に対して依然として必要かつ十分であるか。
• RQ2 このような三角形分割に現れる最小の非3色可能かつ非語表現可能なグラフは何か。
• RQ3 1×1タイル化ポリオミノに対して用いられた構造的証明技法を、ドミノタイルによって生じる複雑性に対応できるか。
• RQ4 1つのドミノタイルを含む三角形分割のうち、非3色可能であるが語表現可能であるものは存在するか。
• RQ5 この結果は、1つより多くのドミノタイルを含むポリオミノ、または非長方形の凸ポリオミノへ一般化可能か。

主な発見

• 本稿は、1つのドミノタイルを含む長方形ポリオミノの三角形分割が語表現可能であるための必要十分条件が3色可能性であることを確立し、1×1タイル化ポリオミノに関する先行結果を一般化する。
• このような三角形分割における3色可能性および語表現可能性を阻害する唯一の禁じられた部分グラフとして、12個の同型でない最小のグラフ（T₁およびT₂を除く）が同定された。
• 同定された非語表現可能なグラフはすべて、既知の非語表現可能な奇数ホイールグラフW₅、W₇、またはW₉を誘導部分グラフとして含む。
• 証明により、非3色可能な任意の三角形分割は、これらの12個の最小グラフのいずれかを誘導部分グラフとして含む必要があることが示され、等価性が裏付けられる。
• 著者らは、非凸ポリオミノにはこの結果が拡張されないことを確認しており、反例が存在する。
• 分析により、1つのドミノタイルの存在が、非3色可能な最小禁止構成の数を2つ（T₁、T₂）から12つに増加させ、構造的複雑性の増加を反映していることが確認された。