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

離散アルゴリズムの性能保証自動化パラダイム

Research Project

Project/Area Number 17700014
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Fundamental theory of informatics
Research InstitutionSaitama University (2007)
Kyoto University (2005-2006)

Principal Investigator

堀山 貴史  Saitama University, 理工学研究科, 准教授 (60314530)

Project Period (FY) 2005 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 2007: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2006: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2005: ¥1,300,000 (Direct Cost: ¥1,300,000)
Keywords離散アルゴリズム / 性能保証 / 計算機援用 / オークション / 競合比解析 / オンラインアルゴリズム / ナップザック問題
Research Abstract

情報化社会の大規模化と多様化は、計算機による処理能力の向上と処理対象への柔軟な適応によるところが大きい。これは、コンピュータの処理速度の向上に顕著に見られるハードウェアの進歩に加えて、ソフトウェアのアルゴリズム革新に支えられている。ここに、アルゴリズムの設計と性能保証があらゆる分野の基礎として重視されてきている。アルゴリズムの性能保証には、理論的な性能解析が必要不可欠であるが、アルゴリズム設計と同じく人手で行っており、設計者の職人芸的なセンスに依存するところが大きい。本研究の主題は、アルゴリズムの理論的性能解析に計算機を援用することにある。これにより、定型的作業の負荷を減らし、思考の抽象度を高めることによる生産性の向上が期待できる。
本年度は、アルゴリズム的ゲーム理論の立場から、オークションのアルゴリズムの性能解析に関して検討を行った。具体的には、音楽ファイルなどの複製コストが無視できるほど小さく無限供給可能な商品に対する1ラウンド秘密入札オークションを対象とし、誘因両立性を持つアルゴリズムを設計した。また、入札の最高額と最低額の比rに関する競合比解析を提案し、本アルゴリズムの競合比がln r+1となることを示した。同様の観点から既存アルゴリズムの競合比をrの関数として解析し、小さなrに関しては提案アルゴリズムの競合比が常に良いことを示した。

Report

(3 results)
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • 2005 Annual Research Report
  • Research Products

    (10 results)

All 2008 2007 2006 2005

All Journal Article (6 results) (of which Peer Reviewed: 2 results) Presentation (4 results)

  • [Journal Article] Density Condensation of Boolean Formulas Based on Covering Codes2008

    • Author(s)
      T. Horiyama, A. Sato
    • Journal Title

      Proc. of the 1st Asian Association for Algorithms and Computation Annual Meeting 1(掲載予定)

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Truthful Auctions with Limited Range of Bids2007

    • Author(s)
      T. Horiyama, K. Iwama, D. Sumita
    • Journal Title

      Proc. of the 5th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications 5

      Pages: 53-61

    • NAID

      110003206455

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Truthful Auctions with Limited Range of Bids2007

    • Author(s)
      T.Horiyama, K.Iwama, D.Sumita
    • Journal Title

      Proc.5th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications 5(掲載予定)

    • NAID

      110003206455

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Finite-State Online Algorithms and Their Automated Competitive Analysis2006

    • Author(s)
      T.Horiyama, K.Iwama, J.Kawahara
    • Journal Title

      Proc.of the 17th Annual International Symposium on Algorithms and Computation, LNCS 4288

      Pages: 71-80

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Automated Competitive Analysis of Online Problems2005

    • Author(s)
      T.Horiyama, K.Iwama, J.Kawahara
    • Journal Title

      電子情報通信学会技術研究報告 105・344

      Pages: 5-12

    • NAID

      110003499888

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Hajos Calculus on Planar Graphs2005

    • Author(s)
      Y.Hanatani, T.Horiyama, K.Iwama
    • Journal Title

      Proc. 4th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications 4

      Pages: 76-83

    • Related Report
      2005 Annual Research Report
  • [Presentation] 飛び道具を考慮した逆算法に基づく詰将棋列挙技術2008

    • Author(s)
      川原純, 蟻塚正樹, 堀山貴史, 伊藤大雄
    • Organizer
      新世代の計算限界ミニ研究集会(組合せゲーム・パズル)
    • Place of Presentation
      東京工業大学
    • Year and Date
      2008-03-07
    • Related Report
      2007 Annual Research Report
  • [Presentation] The Complexity of the Hajos Calculus on Planar Graphs2007

    • Author(s)
      Y. Hanatani, T. Horiyama, K. Iwama, S. Tamaki
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      豊橋技術科学大学
    • Year and Date
      2007-09-20
    • Related Report
      2007 Annual Research Report
  • [Presentation] The Complexity of the Hajos Calculus on Planar Graphs2007

    • Author(s)
      Y. Hanatani, T Horiyama, K. Iwama, S. Tamaki
    • Organizer
      LAシンポジウム
    • Place of Presentation
      休暇村能登千里浜
    • Year and Date
      2007-07-20
    • Related Report
      2007 Annual Research Report
  • [Presentation] 飛び道具を考慮した逆算法に基づく詰将棋列挙技術2007

    • Author(s)
      川原純, 蟻塚正樹, 堀山貴史, 伊藤大雄
    • Organizer
      電子情報通信学会総合大会
    • Place of Presentation
      早稲田大学
    • Year and Date
      2007-03-18
    • Related Report
      2007 Annual Research Report

URL: 

Published: 2005-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi