• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2009 年度 研究成果報告書

情報補填を可能にするアルゴリズムの設計と解析

研究課題

  • PDF
研究課題/領域番号 19200001
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 情報学基礎
研究機関京都大学

研究代表者

岩間 一雄  京都大学, 情報学研究科, 教授 (50131272)

研究分担者 加藤 直樹  京都大学, 工学研究科, 教授 (40145826)
伊藤 大雄  京都大学, 情報学研究科, 准教授 (50283487)
宮崎 修一  京都大学, 学術情報メディアセンター, 准教授 (00303884)
玉置 卓  京都大学, 情報学研究科, 助教 (40432413)
連携研究者 杉原 厚吉  明治大学, 研究・知財戦略機構, 特任教授 (40144117)
徳山 豪  東北大学, 情報科学研究科, 教授 (40312631)
山下 雅史  九州大学, システム情報科学研究院, 教授 (00135419)
渡辺 治  東京工業大学, 情報理工学研究科, 教授 (80158617)
堀山 貴史  埼玉大学, 理工学研究科, 准教授 (60314530)
研究期間 (年度) 2007 – 2009
キーワードアルゴリズム理論 / 理論的性能保証
研究概要

入力情報の不完全性をいかに克服する(情報を補填する)かが現代アルゴリズムの大きな課題となっている,本研究では,そのようなアルゴリズムが有すべき性質を厳密に議論し,具体的な設計技法と評価手法を含めた体系を作り上げることを目的として,研究を行った.結果として,オンライン,ネットワーク,マッチング,確率,幾何,分散等多岐にわたる分野で効率よいアルゴリズムの開発に成功した.

  • 研究成果

    (24件)

すべて 2010 2009 2008 2007

すべて 雑誌論文 (9件) (うち査読あり 9件) 学会発表 (11件) 図書 (4件)

  • [雑誌論文] The hitting and cover times of Metropolis walks.2010

    • 著者名/発表者名
      Yoshiaki Nonaka, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita.
    • 雑誌名

      Theor. Comput. Sci. 411(16-18)

      ページ: 1889-1894

    • 査読あり
  • [雑誌論文] Average-case analysis for the MAX-2SAT problem.2010

    • 著者名/発表者名
      Osamu Watanabe, Masaki Yamamoto
    • 雑誌名

      Theor. Comput. Sci. 411(16-18)

      ページ: 1685-1697

    • 査読あり
  • [雑誌論文] Finding Most Likely Solutions.2009

    • 著者名/発表者名
      Mikael Onsjo, Osamu Watanabe
    • 雑誌名

      Theory Comput. Syst. 45(4)

      ページ: 926-942

    • 査読あり
  • [雑誌論文] Fast Enumeration Algorithms for Non-crossing Geometric Graphs.2009

    • 著者名/発表者名
      Naoki Katoh, Shin-ichi Tanigawa.
    • 雑誌名

      Discrete & Computational Geometry 42(3)

      ページ: 443-468

    • 査読あり
  • [雑誌論文] Consistent Digital Rays.2009

    • 著者名/発表者名
      Jinhee Chun, Matias Korman, Martin Nollenburg, Takeshi Tokuyama.
    • 雑誌名

      Discrete & Computational Geometry 42(3)

      ページ: 359-378

    • 査読あり
  • [雑誌論文] An improved approximation lower bound for finding almost stable maximum matchings.2009

    • 著者名/発表者名
      Koki Hamada, Kazuo Iwama, Shuichi Miyazaki
    • 雑誌名

      Inf. Process. Lett. 109(18)

      ページ: 1036-1040

    • 査読あり
  • [雑誌論文] Arc-disjoint in-trees in directed graphs.2009

    • 著者名/発表者名
      Naoyuki Kamiyama, Naoki Katoh, Atsushi Takizawa
    • 雑誌名

      Combinatorica 29(2)

      ページ: 197-214

    • 査読あり
  • [雑誌論文] Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.2009

    • 著者名/発表者名
      Samia Souissi, Xavier Defago, Masafumi Yamashita
    • 雑誌名

      TAAS 4(1)

      ページ: 27

    • 査読あり
  • [雑誌論文] Online Removable Square Packing.2008

    • 著者名/発表者名
      Xin Han, Kazuo Iwama, Guochuan Zhang
    • 雑誌名

      Theory Comput. Syst. 43(1)

      ページ: 38-55

    • 査読あり
  • [学会発表] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.2010

    • 著者名/発表者名
      K. Makino, S. Tamaki, M. Yamamoto
    • 学会等名
      13th International Conference on Theory and Applications of Satisfiability Testing
    • 発表場所
      Edinburgh, Scotland
    • 年月日
      2010-07-11
  • [学会発表] Zone Diagrams in Euclidean Spaces and in Other Normed Spaces.2010

    • 著者名/発表者名
      Akitoshi Kawamura, Jiri Matousek, Takeshi Tokuyama
    • 学会等名
      26th Annual Symposium on Computational Geometry
    • 発表場所
      Snowbird, Utah.
    • 年月日
      2010-06-15
  • [学会発表] Distance k-Sectors Exist.2010

    • 著者名/発表者名
      Keiko Imai, Akitoshi Kawamura, Jiri Matousek, Daniel Reem, Takeshi Tokuyama
    • 学会等名
      26th Annual Symposium on Computational Geometry
    • 発表場所
      Snowbird, Utah.
    • 年月日
      2010-06-15
  • [学会発表] Enumeration of Polyominoes for p4 Tiling.2009

    • 著者名/発表者名
      T. Horiyama, M. Samejima
    • 学会等名
      21st Canadian Conference on Computational Geometry
    • 発表場所
      Vancouver, Canada
    • 年月日
      2009-08-17
  • [学会発表] A proof of the molecular conjecture.2009

    • 著者名/発表者名
      Naoki Katoh, Shin-ichi Tanigawa
    • 学会等名
      25th Annual ACM Symposium on Computational Geometry
    • 発表場所
      Aarhus University, Denmark
    • 年月日
      2009-06-10
  • [学会発表] An improved constant-time approximation algorithm for maximum matchings.2009

    • 著者名/発表者名
      Yuichi Yoshida, Masaki Yamamoto, Hiro Ito.
    • 学会等名
      41st ACM Symposium on Theory of Computing
    • 発表場所
      Bethesda, Maryland
    • 年月日
      2009-05-31
  • [学会発表] Randomized Competitive Analysis for Two-Server Problems.2008

    • 著者名/発表者名
      Wolfgang W. Bein, Kazuo Iwama, Jun Kawahara
    • 学会等名
      16th Annual European Symposium on Algorithms
    • 発表場所
      Universitat Karlsruhe, Germany
    • 年月日
      2008-09-15
  • [学会発表] Property Testing on k-Vertex-Connectivity of Graphs.2008

    • 著者名/発表者名
      Yuichi Yoshida, Hiro Ito.
    • 学会等名
      35th International Colloquium on Automata, Languages and Programming
    • 発表場所
      Reykjavik, Iceland
    • 年月日
      2008-07-07
  • [学会発表] Polynomial-Time Construction of Linear Network Coding.2008

    • 著者名/発表者名
      Kazuo Iwama, Harumichi Nishimura, Mike Paterson, Rudy Raymond, Shigeru Yamashita
    • 学会等名
      35th International Colloquium on Automata, Languages and Programming
    • 発表場所
      Reykjavik, Iceland
    • 年月日
      2008-07-07
  • [学会発表] Restricted Edge Contractions in Triangulations of the Sphere with Boundary.2007

    • 著者名/発表者名
      Masaki Moriguchi, Kokichi Sugihara
    • 学会等名
      19th Canadian Conference on Computational Geometry
    • 発表場所
      Ottawa, Canada
    • 年月日
      2007-08-22
  • [学会発表] Approximation Algorithms for the Sex-Equal Stable Marriage Problem.2007

    • 著者名/発表者名
      Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa
    • 学会等名
      10th Algorithms and Data Structures Symposium
    • 発表場所
      Halifax, Nova Scotia
    • 年月日
      2007-08-15
  • [図書] Encyclopedia of Optimization: Voronoi Diagrams in Facility Location2009

    • 著者名/発表者名
      Kokichi Sugihara
    • 総ページ数
      4040-4045
    • 出版者
      Springer
  • [図書] Encyclopedia of Optimization: Combinatorial Optimization Algorithms in Resource Allocation Problems2009

    • 著者名/発表者名
      Naoki Katoh
    • 総ページ数
      382-387
    • 出版者
      Springer
  • [図書] Encyclopedia of Algorithms: Local Search Algorithms for kSAT.2008

    • 著者名/発表者名
      Kazuo Iwama
    • 総ページ数
      468-470
    • 出版者
      Springer
  • [図書] Encyclopedia of Algorithms: Stable Marriage with Ties and Incomplete Lists2008

    • 著者名/発表者名
      Kazuo Iwama, Shuichi Miyazaki
    • 総ページ数
      883-885
    • 出版者
      Springer

URL: 

公開日: 2011-06-18   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi