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

2011 Fiscal Year Annual Research Report

建築・都市分野における計算幾何学と離散最適化

Research Project

Project/Area Number 21300003
Research InstitutionKyoto University

Principal Investigator

加藤 直樹  京都大学, 工学研究科, 教授 (40145826)

Co-Investigator(Kenkyū-buntansha) 瀧澤 重志  京都大学, 工学研究科, 助教 (40304133)
神山 直之  九州大学, マス・フォア・インダストリ研究所, 准教授 (10548134)
Keywords組合せ剛性 / Lamanの定理 / 避難計画問題 / 普遍的最速フロー
Research Abstract

避難計画問題に対する理論的なアプローチとして,本年度は,避難所の収容人数の評価や現実的な制約を加えた避難計画問題を解く際に必要となる,最も基本的な問題である最速輸送問題に対するアルゴリズムの研究を行った.具体的には最速輸送問題に対する唯一の多項式時間アルゴリズムであるHoppe and Tardosの手法の簡略化・高速化を目指した.このアルゴリズムのサブルーチンである劣モジュラ関数最小化の使用を避けることが目標達成の重要な点となるのだが,この点に関して多面体的アプローチや特殊な最小費用流の使用が,有益となるであろう知見を得ることができたが,問題の解決には至らなかった.来年度は本問題の解決および現実的な問題への適用を目指す.
また,避難計画問題に関する応用問題として,本年度はセルラーオートマタと動的ネットワークフローを融合した,建築空間スケールでの最速避難誘導モデルを構築した.この方法では,大きさ1mの単位格子で構成されるセルラーオートマタの隣接グラフとして,移動時間と辺容量がそれぞれ1の動的ネットワークを構成し,普遍的最速フローモデルを適応して求めた最速フローをパス分解することで避難誘導を行うものである.このモデルを大規模なショッピングセンターに適応することで,避難誘導を行わない場合と比較して,2割程度避難完了時間が短縮されることを確認した.
組合せ剛性理論において、冗長性のあるフレームワークの組合せ的特徴付けをおこなった。任意のk本のbarを除いても剛であるようなフレームワークを(k+1)-edge-rigidと定義し、Lamanフレームワークから最小の本数のbarを付加して2-edge-rigidのフレームワークを得ることを目的としたGarcia等のアルゴリズムの背後にある組合せ的特徴を明らかにした。また、jointの数が一定の下で、最小のbarの本数を持つ3-edge-rigidフレームワークをすべて生成するアルゴリズムを構築することに成功した。同様に、最小のbarの本数を持つ5-edge-rigidフレームワークを生成するアルゴリズムを開発したが、そのようなフレームワークをすべて生成しているかどうかについては未解決である。

Current Status of Research Progress
Current Status of Research Progress

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

Reason

最大の課題であったMolecular Conjectureの証明に成功したので、目標は十分達成していると考える。避難計画を動的ネットワークフローの枠組で高速に求める研究については、東日本大震災以降の避難計画への国民の関心が高いこともあって、より大きな規模の地域に対して適用可能なアルゴリズムの開発が求められている。このため、より一層、研究を進展させる必要が感じられる。

Strategy for Future Research Activity

組合せ剛性理論に関しては、昨年度遂行した、冗長度を有するフレームワークの生成について、panel-hingeフレームワークやbody-barフレームワークに対して拡張を進めるとともに、構造物生成を支援するソフトウエアの開発にも着手したい。また、避難計画を理論的に求める研究においては、やはり大規模ネットワークに対して適用可能できるよう、時間拡大ネットワークを用いないHoppe and Tardosのアプローチの高速実装が必要だと感じている。また、シミュレーションとの比較実験や、避難所(津波避難所)の配置の妥当性の検証、多様なシナリオの下での実験を高速におこなうための方法論についても検討をしていきたい。

  • Research Products

    (4 results)

All 2012 2011

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

  • [Journal Article] A Proof of the Molecular Conjecture2011

    • Author(s)
      Naoki Katoh, Shin-ichi Tanigawa
    • Journal Title

      Discrete and Computational Geometry

      Volume: 45 Pages: 645-700

    • DOI

      10.1007/s00454-011-9348-6

    • Peer Reviewed
  • [Presentation] 組合せ剛性理論に基づく冗長性を有する剛堅な2次元フレームワークの生成手法2012

    • Author(s)
      吉仲祐史, 加藤直樹, 神山直之
    • Organizer
      情報処理学会アルゴリズム研究会研究報告
    • Place of Presentation
      信州大学松本キャンパス旭会館
    • Year and Date
      2012-03-07
  • [Presentation] On the Edge Crossing Properties of Euclidean Minimum Weight Laman Graphs2011

    • Author(s)
      Seok-Hee Hong, Naoki Katoh, Sheung-Hung Poon and Shin-Ichi Tanigawa
    • Organizer
      The 4th Annual Meeting of the Asian Association for Algorithms and Computation
    • Place of Presentation
      HSinChu, Taiwan
    • Year and Date
      20110000
  • [Presentation] An Emergency Evacuation Planning Model using the Universally Quickest Flow2011

    • Author(s)
      A.Takizawa, M.Inoue, N.Katoh
    • Organizer
      ISORA 2011
    • Place of Presentation
      Dunhuang, China
    • Year and Date
      2011-08-28

URL: 

Published: 2013-06-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi