• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2012 Fiscal Year Research-status Report

幾何図形の列挙に関する研究

Research Project

Project/Area Number 24500008
Research Category

Grant-in-Aid for Scientific Research (C)

Research InstitutionSaitama University

Principal Investigator

堀山 貴史  埼玉大学, 情報メディア基盤センター, 准教授 (60314530)

Project Period (FY) 2012-04-01 – 2015-03-31
Keywordsアルゴリズム / 列挙アルゴリズム / 展開図 / 多面体 / タイリング / 計算幾何学
Research Abstract

列挙アルゴリズムは、与えられた制約条件を満たす解を一つだけではなく、すべて求めるための技術である。本研究では、逆探索や BDD (二分決定グラフ), ZDD (零抑制二分決定グラフ) といった列挙の要素技術を統合し、幾何図形の列挙アルゴリズムを設計する。本年度は、中心的な研究テーマとして、(1) 多面体の展開図の列挙、(2) タイリングの列挙に取り組んだ。これらは、計算幾何の基礎研究としての側面だけでなく、たとえば、展開図は機械部品の板金設計に、タイリングは絵画のみでなく壁紙やカーテン等の工業デザインに、分野横断的に利用される。
多面体の展開図の列挙については、(1) 辺にラベルが付いているとしてその切り開き方を示した辺ラベル付き展開図を求める、(2) 同型な展開図を排除して本質的に異なる展開図のみを求める、の2ステップの手順をとる。正多面体の展開図の列挙において、(1) 展開図になるための制約条件 (開切辺は頂点数-1 本、また開切辺がサイクルを持たない) を BDD で表す、(2) 同型性の制約条件 (同型な置換による辺ラベルの入れ換え) を BDD で表して (1) の BDD と結合、との手法を用いたが、これが一般の多面体に対しても適用可能であることを確認した。また、フロンティア法を適用すれば (1) を高速に実行できることを示した。
タイリングの列挙については、p4 タイリング (90度回転によるタイリング) を取り上げ、逆探索により p4 タイリング可能なポリオミノ (複数の単位正方形を辺々接着した平面図形) を列挙するアルゴリズムの設計と実装を行った。(1) 家系木の根の図形の設計、(2) 子→親のルールの設計、(3) 親→子のルールの設計と、逆探索に基づく3ステップの設計を行った。また、アルゴリズムの健全性と完全性の証明を行うことで、理論的な性能保証を与えた。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

多面体の展開図の列挙について、提案アルゴリズムが一般の多面体に適用可能であることを確認するとともに、その高速化についても確認した。また、多面体によっては辺ラベル付き展開図の個数が膨大 (たとえば 角切り二十面体の辺ラベル付き展開図は 375,291,866,372,898,816,000個) となる場合があり、この時には BDD/ZDD の作成途中の節点数が爆発的に増加すると予想される。この場合への対処のため、展開図を列挙せずに個数を数え上げる手法を検討した。
タイリングの列挙については、p4 タイリング可能なポリオミノの列挙アルゴリズムを設計し、その健全性と完全性の証明を行うことで、理論的な性能保証を与えた。また、計算機実験により既存手法よりも多くのポリオミノの列挙に成功した。さらに、過去に生成した図形を記憶しておく必要がないため、省メモリで実行できることを確認した。
以上のように、研究計画に沿って、順調に進展している。

Strategy for Future Research Activity

多面体の展開図については、展開図の同型性の排除に主眼をおき、非同型な展開図の個数 (本質的に異なる展開図の個数) を求める手法を検討する。既存手法として、行列計算により正多面体の非同型な展開図の個数を求める手法と、それを拡張して4次元正多胞体にした手法が知られている。これをさらに拡張し、任意の多面体に対し、その非同型な展開図の個数を求める手法を設計する。また、この手法を実装し、整面凸多面体 (正多面体、半正多面体など) に適用して、それぞれの非同型な展開図の個数を実際に求める。さらに、展開図の数え上げや列挙のアルゴリズムについての研究が進展するにつれて、各展開図が自己交差を持つか (展開後の面と面が重なりを持つか) を確認する必要性が認識されてきたため、これについても検討を行う。
タイリングの列挙については、p4 タイリング可能なポリオミノの列挙手法の拡張を検討する。具体的には、p3 タイリング (120度回転によるタイリング) および p6 タイリング (60度回転によるタイリング) を取り上げる。p3 タイリングではポリアモンドおよびポリヘックス、p6 タイリングではポリアモンドを生成の対象とする。ここで、ポリアモンド、ポリヘックスは、複数の単位正三角形、単位正六角形を辺々接着した平面図形である。直交格子上でポリオミノを扱った p4 タイリングと異なり、p3 タイリングおよび p6 タイリングでは、三角格子上でポリアモンドを、六角格子上でポリヘックスを扱う必要がある。これらの格子上では隣接関係が異なるため、p3, p6 タイリングに特有の性質を利用したルールを追加する必要があるかについて慎重に検討する必要がある。
テンセグリティの列挙についても、テンセグリティ構造をとり得るトポロジーを列挙するなど、検討を開始する。

Expenditure Plans for the Next FY Research Funding

該当なし

  • Research Products

    (13 results)

All 2013 2012 Other

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (10 results)

  • [Journal Article] Base location problems for base-monotone regions2013

    • Author(s)
      J. Chun, T. Horiyama, T. Ito, N. Kaothanthong, H. Ono, Y. Otachi, T. Tokuyama, R. Uehara, T. Uno
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7748 Pages: 53-64

    • DOI

      10.1007/978-3-642-36065-7_7

    • Peer Reviewed
  • [Journal Article] Automatic Multi-Stage Clock Gating Optimization Using ILP Formulation2012

    • Author(s)
      X. Man, T. Horiyama, S. Kimura
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: E95-A Pages: 1347-1358

    • DOI

      10.1587/transfun.E95.A.1347

    • Peer Reviewed
  • [Journal Article] Packing Trominoes is NP-Complete, #P-hard and ASP-Complete2012

    • Author(s)
      T. Horiyama, T. Ito, K. Nakatsuka, A. Suzuki, R. Uehara
    • Journal Title

      Proc. of the 24th Canadian Conference on Computational Geometry

      Volume: 24 Pages: 219-224

    • Peer Reviewed
  • [Presentation] The Number of Edge Unfoldings of the Archimedean Solids

    • Author(s)
      T. Horiyama, W. Shoji
    • Organizer
      5th Asian Association for Algorithms and Computation Annual Meeting
    • Place of Presentation
      Fudan University, Shanghai, P.R.China
  • [Presentation] 多面体の非同型な展開図の個数について

    • Author(s)
      堀山貴史, 庄子亘
    • Organizer
      情報処理学会, アルゴリズム研究会
    • Place of Presentation
      松山市, 愛媛大学
  • [Presentation] Packing Trominoes is NP-Complete, #P-Complete and ASP-Complete

    • Author(s)
      T. Horiyama, T. Ito, K. Nakatsuka, A. Suzuki, R. Uehara
    • Organizer
      LA Symposium
    • Place of Presentation
      宮津市, 宮津ロイヤルホテル
  • [Presentation] Packing Trominoes is NP-Complete, #P-hard and ASP-Complete

    • Author(s)
      T. Horiyama, T. Ito, K. Nakatsuka, A. Suzuki, R. Uehara
    • Organizer
      24th Canadian Conference on Computational Geometry
    • Place of Presentation
      Charlottetown, Prince Edward Island, Canada
  • [Presentation] 多面体の展開図の列挙と索引化について

    • Author(s)
      堀山貴史
    • Organizer
      学習理論における組合せ論ワークショップ
    • Place of Presentation
      福岡市, 九州大学
  • [Presentation] On the Complexity of Packing Trominoes

    • Author(s)
      T. Horiyama, T. Ito, K. Nakatsuka, A. Suzuki, R. Uehara
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      仙台市, 東北大学
  • [Presentation] Algorithms for Computing Optimal Image Segmentation using Quadtree Decomposition

    • Author(s)
      J. Chun, T. Horiyama, T. Ito, N. Kaothanthong, H. Ono, Y. Otachi, T. Tokuyama, R. Uehara, T. Uno
    • Organizer
      Thailand-Japan Joint Conference on Computational Geometry and Graphs
    • Place of Presentation
      Srinakharinwirot University, Bangkok, Thailand
  • [Presentation] Base location problems for base-monotone regions

    • Author(s)
      J. Chun, T. Horiyama, T. Ito, N. Kaothanthong, H. Ono, Y. Otachi, T. Tokuyama, R. Uehara, T. Uno
    • Organizer
      7th International Workshop on Algorithms and Computation
    • Place of Presentation
      Indian Institute of Technology, Kharagpur, India
  • [Presentation] The Number of Different Unfoldings of Polyhedra

    • Author(s)
      T. Horiyama, W. Shoji
    • Organizer
      29th European Workshop on Computational Geometry
    • Place of Presentation
      TU Braunschweig, Braunschweig, Germany
  • [Presentation] Computational Complexity of Piano-Hinged Dissections

    • Author(s)
      Z. Abel, E. D. Demaine, M. L. Demaine, T. Horiyama, R. Uehara
    • Organizer
      29th European Workshop on Computational Geometry
    • Place of Presentation
      TU Braunschweig, Braunschweig, Germany

URL: 

Published: 2014-07-24  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi