本論文では、平面をタイルする問題について研究している。具体的には、与えられた3つの単純多角形を用いて平面をタイルできるかどうかを決定することが不可能であることを示した。
まず、符号付きWangタイルを無符号Wangタイルに変換する手法を示した。次に、3つの多角形(車輪、手裏剣、ステープル)を用いて、任意の𝑛個のWangタイルを表現する手法を提案した。この3つの多角形を用いた場合、平面をタイルできるかどうかを決定することが不可能であることを証明した。
さらに、平面タイリング問題とタイリング完成問題がco-RE完全であることを示した。つまり、与えられた3つの多角形が平面をタイルできるかどうか、あるいは、与えられた部分的なタイリングを完成できるかどうかを決定することは不可能である。
最後に、多角形の角度と辺長が計算可能数で表現される場合でも、3つの多角形による平面タイリングの決定問題がco-RE完全であることを示した。
Til et andet sprog
fra kildeindhold
arxiv.org
Vigtigste indsigter udtrukket fra
by Erik D. Dema... kl. arxiv.org 09-19-2024
https://arxiv.org/pdf/2409.11582.pdfDybere Forespørgsler