情報処理学会 第78回全国大会講演要旨

4x4の45°系格子パターンには259,659,330通りの形式的折り線図が含まれ、それ
らを平坦折りすることで得られる形は13,451通りあることが知られている。著者
らは、これらの形の平坦折り可能性を判定する手法を考案し、それらの形すべて
が実際に平坦折り可能であることを確認した。また、形式的折り線図の実山谷系
の存在可能性を判定する手法を考案し、実山谷系が存在しない形式的折り線図を
複数見出すとともに、平坦折りできない最小のものを発見した。