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

新世代の計算限界-その解明と打破-

Research Project

Project/Area Number 16092101
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionKyoto University

Principal Investigator

岩間 一雄  Kyoto University, 情報学研究科, 教授 (50131272)

Co-Investigator(Kenkyū-buntansha) 伊藤 大雄  京都大学, 情報学研究科, 准教授 (50283487)
加藤 直樹  京都大学, 工学研究科, 教授 (40145826)
徳山 豪  東北大学, 情報科学研究科, 教授 (40312631)
田中 圭介  東京工業大学, 情報理工学研究科, 准教授 (20334518)
櫻井 幸一  九州大学, システム情報科学研究院, 教授 (60264066)
浅野 孝夫  中央大学, 理工学部, 教授 (90124544)
浅野 哲夫  北陸先端科学技術大学院大学, 教授 (90113133)
平田 富夫  名古屋大学, 情報科学研究科, 教授 (10144205)
Project Period (FY) 2004 – 2008
Project Status Completed (Fiscal Year 2008)
Budget Amount *help
¥107,400,000 (Direct Cost: ¥107,400,000)
Fiscal Year 2008: ¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 2007: ¥29,000,000 (Direct Cost: ¥29,000,000)
Fiscal Year 2006: ¥28,900,000 (Direct Cost: ¥28,900,000)
Fiscal Year 2005: ¥27,500,000 (Direct Cost: ¥27,500,000)
Fiscal Year 2004: ¥20,500,000 (Direct Cost: ¥20,500,000)
Keywordsアルゴリズム / 計算困難問題 / 離散システム / 数理モデル化 / 理論的性能保証 / 社会的評価基準 / 近似アルゴリズム / ランダマイズド・アルゴリズム / 離散アルゴリズム / 計算限界 / 品質保証・性能保証 / 国際研究者交流 / 多国籍 / 計算量理論 / 国際交流 / 若手の育成 / 研究の活性化 / 理論と応用の協調 / 啓発活動 / 研究者の協調
Research Abstract

近年のIT社会の大規模化と多様化によって, 従来は計算機があまり入り込まなかった分野においても, アルゴリズムが重要となってきている. また, 例えば配送計画問題をとっても, 配送コストのみではなく, 配送者の負荷の均質化や環境問題への配慮といった, 従来の評価尺度ではとらえきれない観点からの社会的要請があがっている. 本領域ではこうした状況に対処するため, 社会に役立つアルゴリズムをテーマに, 社会的評価基準のもとで数学的に保証されたアルゴリズムの開発・評価の体系化を目指している.
本領域の研究活動は平成19年度で終了した. すでに多くの研究成果が出されており, それらの多くは本領域の設定した目標を順調に達成するものである. 得られた成果をまとめ効果的に公表するため, 総括班のみ平成20年度も活動を行った. 具体的な活動は以下の通りである.
(1) 成果報告書の作成 : 総括班および研究課題別の成果をまとめた報告書を作成した. 本特定で開催した研究集会の資料も, とりまとめて記載した.
(2) 教科書の出版 : 本領域の分野の教科書を出版する(全16巻). 共立出版より6巻が刊行済みであり, 新たに1巻を刊行した.
(3) ニュースレターの発行 : 本領域の最新情報を掲載したニュースレターを発行する.
(4) ウェブサイト : 本領域の活動内容の広報として立ち上げた, ウェブサイト(http://keisan-genkai.lab2.kuis.kyoto-u.ac.jp/)の充実をはかった.

Report

(5 results)
  • 2008 Annual Research Report
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • Research Products

    (47 results)

All 2008 2007 2006 2005 Other

All Journal Article (32 results) (of which Peer Reviewed: 8 results) Presentation (6 results) Book (7 results) Remarks (2 results)

  • [Journal Article] A (2-c(1/slart (N)))-Approximation Algorithm for the Stable Marriage Problem2008

    • Author(s)
      Kazuo Iwama, Shuichi Miyazaki, Naova Yamauchi
    • Journal Title

      Algorithmica 51(3)

      Pages: 342-356

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] New Graph Calculi for Planar Non-3-Colorable Graphs2008

    • Author(s)
      Youichi Hanatani, Takashi Horiyama, Kazuo Iwama. Suguru
    • Journal Title

      IEICE Transactions 91-A(9)

      Pages: 2301-2307

    • NAID

      10026851334

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Enumerating Constrained Non-crossing Minimally Rigid Frameworks2008

    • Author(s)
      D. Avis, N. Katoh, M. Ohsaki, I. Streinu, S. Tanigawa
    • Journal Title

      Discrete & Computational Geometry 40(1)

      Pages: 31-46

    • NAID

      120001493154

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Characterizing Economic and Social Properties of Trust and Reputation Systems in P2P Environment2008

    • Author(s)
      Y. Wang, Y. Hori, K. Sakurai
    • Journal Title

      J. Comput. Sci. Technol. 23(1)

      Pages: 129140-129140

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Improved approximation results for the stable marriage problem2007

    • Author(s)
      M. M. Halldorsson, K. Iwama, S. Miyazaki, H. Yanagisawa
    • Journal Title

      ACM Transactions on Algorithms 3(3)

      Pages: 118-118

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Triangulating a convex polygon with fewer number of non-standard bars2007

    • Author(s)
      Y. Xu, W. Dai, N. Katoh, M. Ohsaki
    • Journal Title

      Theor. Comput. Sci. 389(1-2)

      Pages: 143151-143151

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On computing all abductive explanations from a propositional Horn theory2007

    • Author(s)
      T. Eiter, K. Makino
    • Journal Title

      J. ACM 54(5)

      Pages: 154-154

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Matroid representation of clique complexes2007

    • Author(s)
      K. Kashiwabara, Y. Okamoto, T. Uno
    • Journal Title

      Discrete Applied Mathematics 155(15)

      Pages: 19101929-19101929

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A 1.875-Approximation Algorithm for the Stable Marriage Problem2007

    • Author(s)
      K.Iwama, S.Miyazaki, N.Yamauchi
    • Journal Title

      Proc.18th ACM-SIAM Symposium on Discrete Algorithms SODA2007

      Pages: 288-297

    • NAID

      110006163300

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Enumerating Non-crossing Minimally Rigid Frameworks2007

    • Author(s)
      David Avis, Naoki Katoh, Makoto Ohsaki, Ileana Streinu, Shin-ichi Tanigawa
    • Journal Title

      Graph and Combinatorics (to appear)

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Multi-Bit Cryptosystems Based on Lattice Problems2007

    • Author(s)
      A.Kawachi, K.Tanaka, Keita Xagawa
    • Journal Title

      10th International Workshop on Theory and Practice in Public Key Cryptography LNCS 4450

      Pages: 315-329

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Economic-inspired truthful reputation feedback mechanism in P2P network2007

    • Author(s)
      Y.Wang, Y.Hori, K.Sakurai
    • Journal Title

      The IEEE 11th International Workshop on Future Trends of Distributed Computing Systems (to apper)

    • NAID

      110006163294

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Zone Diagrams, Existence, Uniqueness, and Algorithmic Challenge2007

    • Author(s)
      T.Asano, J.Matousek, T.Tokuyama
    • Journal Title

      Proceedings of the ACM-SIAM Symposium on Discrete Algorithms SODA2007

      Pages: 756-765

    • NAID

      110004823539

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Stable marker-particle method for the Voronoi diagram in a flow field2007

    • Author(s)
      T.Nishida, K.Sugihara, M.Kimura
    • Journal Title

      Journal of Computational and Applied Mathematics 202

      Pages: 377-391

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Two Equivalent Measures on Weighted Hypergraphs2006

    • Author(s)
      H.Ito, H.Nagamochi
    • Journal Title

      Discrete Applied Mathematics 154・16

      Pages: 2330-2334

    • Related Report
      2006 Annual Research Report
  • [Journal Article] The Distance Trisector Curve2006

    • Author(s)
      T.Asano, J.Matousek, T.Tokuyama
    • Journal Title

      Proceedings of the 38th ACM Symposium on Theory of Computing STOC 2006

      Pages: 336-343

    • Related Report
      2006 Annual Research Report
  • [Journal Article] An Improved Analysis of Goemans and Williamson's LP-relaxation for MAX SAT2006

    • Author(s)
      T.Asano
    • Journal Title

      Theoretical Computer Science 354

      Pages: 339-353

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A Systolic Algorithm for Euclidean Distance Transform2006

    • Author(s)
      M.Miyazawa, P.F.Zeng, N.Iso, T.Hirata
    • Journal Title

      Trans.of IEEE on Pattern Analysis and Machine Intelligence 28・7

      Pages: 1127-1134

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Online Allocation with Risk Information2006

    • Author(s)
      S.Harada, E.Takimoto, A.Maruoka
    • Journal Title

      IEICE Transactions on Information and Systems E89-D・8

      Pages: 2340-2347

    • Related Report
      2006 Annual Research Report
  • [Journal Article] An O(n log_2 n) algorithm for the optimal sink location problem in dynamic tree networks2006

    • Author(s)
      S.Mamada, T.Uno, K.Makino, S.Fujishige
    • Journal Title

      Discrete Applied Mathematics 154

      Pages: 2387-2401

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Linear Time Algorithm for Approximating a Curve by a Single-peaked Curve2006

    • Author(s)
      J.Chun, K.Sadakane, T.Tokuyama
    • Journal Title

      Algorithmica 44・2

      Pages: 103-115

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An Approximation Algorithm for the Pickup and Delivery Vehicle Routing Problem on Trees2006

    • Author(s)
      N.Katoh, T.Yano
    • Journal Title

      Discrete Applied Mathematics (掲載予定)

    • NAID

      120001479083

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Schemes for Encryption with Anonymity and Ring Signature2006

    • Author(s)
      R.Hayashi, K.Tanaka
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics E89-A・1

      Pages: 66-73

    • NAID

      110003486107

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An Improved Analysis of Goemans and Williamson's LP-relaxation for MAX SAT2006

    • Author(s)
      T.Asano
    • Journal Title

      Theoretical Computer Science (掲載予定)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] The Distance Trisector Curve2006

    • Author(s)
      T.Asano, J.Matousek, T.Tokuyama
    • Journal Title

      Proc.38th ACM Symposium on Theory of Computing (掲載予定)

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Apollonius Tenth Problem via Radius Adjustment and Mobius Transformation2006

    • Author(s)
      D.Kim, D.Kim, K.Sugihara
    • Journal Title

      Computer-Aided Design 38

      Pages: 14-21

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Minimum Cost Source Location Problems with Flow Requirements2006

    • Author(s)
      M.Sakashita, K.Makino, S.Fujishige
    • Journal Title

      LATIN 2006, Lecture Notes in Computer Science 3887

      Pages: 769-780

    • Related Report
      2005 Annual Research Report
  • [Journal Article] The Delayed k-Server Problem2005

    • Author(s)
      W.W.Bein, K.Iwama, L.L.Larmore, J.Noga
    • Journal Title

      Proc.15th International Symposium on Fundamentals of Computation Theory

      Pages: 281-292

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Linear-Time Enumeration of Isolated Cliques2005

    • Author(s)
      H.Ito, K.Iwama, T.Osumi
    • Journal Title

      Proc.13th Annual European Symposium on Algorithms 3669

      Pages: 119-130

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Approximation Algorithms for the Weighted Independent Set Problem2005

    • Author(s)
      A.Kako, T.Ono, T.Hirata, M.Halldorsson
    • Journal Title

      Lecture Notes in Computer Science 3787

      Pages: 341-350

    • NAID

      120006667823

    • Related Report
      2005 Annual Research Report
  • [Journal Article] On Proper Learning for Monotone Term Decision Lists from Queries2005

    • Author(s)
      E.Takimoto, N.Aizawa, A.Maruoka
    • Journal Title

      Proc.Workshop on Learning with Logics and Logics for Learning

      Pages: 45-51

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Generating Colored Trees2005

    • Author(s)
      S.Nakano, T.Uno
    • Journal Title

      Lecture Notes in Computer Science 3787

      Pages: 249-260

    • Related Report
      2005 Annual Research Report
  • [Presentation] Property Testing on k-Vertex-Connectivity of Graphs2008

    • Author(s)
      Yuichi Yoshida, Hiro Ito
    • Organizer
      ICALP 2008
    • Place of Presentation
      Iceland, regkjavik
    • Year and Date
      2008-07-09
    • Related Report
      2008 Annual Research Report
  • [Presentation] Security of Digital Signature Schemes in Weakened Random Oracle Models2008

    • Author(s)
      A. Numayama, T. Isshiki, K. Tanaka
    • Organizer
      Public Key Cryptography 2008
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2008-03-12
    • Related Report
      2007 Annual Research Report
  • [Presentation] Multi-commodity Source Location Problems and Price of Greed2008

    • Author(s)
      H. Ito, M. Paterson, K. Sugihara
    • Organizer
      WALCOM 2008
    • Place of Presentation
      Dhaka, Bangladesh
    • Year and Date
      2008-02-08
    • Related Report
      2007 Annual Research Report
  • [Presentation] New Bounds for the Nearly Equitable Edge Coloring Problem2007

    • Author(s)
      x. xie, M. Yagiura, T. Ono, T. Hirata, U. Zwick
    • Organizer
      ISAAC 2007
    • Place of Presentation
      Sendai, Japan
    • Year and Date
      2007-12-17
    • Related Report
      2007 Annual Research Report
  • [Presentation] Voronoi Diagram with Respect to Criteria on Vision Information2007

    • Author(s)
      T. Asano, N. Katoh, H. Tamaki, T. Tokuyama
    • Organizer
      ISVD 2007
    • Place of Presentation
      Wales, UK
    • Year and Date
      2007-07-09
    • Related Report
      2007 Annual Research Report
  • [Presentation] An Exponential Lower Bound on the Size of Constant-Depth Threshold Circuits with Small Energy Complexity2007

    • Author(s)
      K. Uchizawa, E. Takimoto
    • Organizer
      IEEE Conference on Computational Complexity 2007
    • Place of Presentation
      California, USA
    • Year and Date
      2007-06-13
    • Related Report
      2007 Annual Research Report
  • [Book] Encyclopedia of Algorithms2008

    • Author(s)
      Ming-Yang Kao (Ed.)
    • Total Pages
      1166
    • Publisher
      Springer
    • Related Report
      2008 Annual Research Report
  • [Book] オンラインアルゴリズムとストリームアルゴリズム(アルゴリズム・サイエンスシリーズ5数理技法編)2007

    • Author(s)
      徳山 豪
    • Total Pages
      224
    • Publisher
      共立出版
    • Related Report
      2007 Annual Research Report
  • [Book] へんな立体-脳が鍛えられる「立体だまし絵」づくり2007

    • Author(s)
      杉原 原吉
    • Total Pages
      141
    • Publisher
      誠文堂新光社
    • Related Report
      2007 Annual Research Report
  • [Book] アルゴリズム・サイエンス:出口からの超入門2006

    • Author(s)
      岩間 一雄
    • Total Pages
      183
    • Publisher
      共立出版
    • Related Report
      2006 Annual Research Report
  • [Book] アルゴリズム・サイエンス:入口からの超入門2006

    • Author(s)
      浅野哲夫
    • Total Pages
      229
    • Publisher
      共立出版
    • Related Report
      2006 Annual Research Report
  • [Book] アルゴリズム・サイエンス・シリーズ「出口からの超入門」2006

    • Author(s)
      岩間一雄
    • Publisher
      共立出版(刊行予定)
    • Related Report
      2005 Annual Research Report
  • [Book] アルゴリズム・サイエンス・シリーズ「入口からの超入門」2006

    • Author(s)
      浅野哲夫
    • Publisher
      共立出版(刊行予定)
    • Related Report
      2005 Annual Research Report
  • [Remarks]

    • URL

      http://keisan-genkai.lab2.kuis.kyoto-u.ac.jp/

    • Related Report
      2008 Annual Research Report
  • [Remarks] 新世代の計算限界Webページ

    • URL

      http://keisan-genkai.lab2.kuis.kyoto-u.ac.jp/

    • Related Report
      2007 Annual Research Report

URL: 

Published: 2004-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi