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

Randomization technologies for algorithms taking incomplete inputs

Research Project

Project/Area Number 16H02782
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Theory of informatics
Research InstitutionKyoto University

Principal Investigator

Iwama Kazuo  京都大学, 学術情報メディアセンター, 研究員 (50131272)

Co-Investigator(Kenkyū-buntansha) 宮崎 修一  京都大学, 学術情報メディアセンター, 准教授 (00303884)
玉置 卓  京都大学, 情報学研究科, 助教 (40432413)
Project Period (FY) 2016-04-01 – 2021-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥16,120,000 (Direct Cost: ¥12,400,000、Indirect Cost: ¥3,720,000)
Fiscal Year 2020: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2019: ¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2018: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2017: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2016: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Keywordsオンラインアルゴリズム / 乱択アルゴリズム / 競合比解析 / 計算量理論 / ハノイの塔 / 空間計算量 / アルゴリズムの設計と解析 / 乱化技術 / 乱拓計算 / 平均解析 / 乱化アルゴリズム / 平均計算量 / 計算量の下限 / ソーティング
Outline of Final Research Achievements

Two keywords of this research is the insufficiency of input data and randomization to cope with that. We studied online algorithms for the car-sharing problem having drawn a lot of attention recently, and improved the previous results on the efficient resource allocation. For the spacial insufficiency of input data, we studied the property test problem that looks at only a constant-length portion of the input to obtain the property of the whole input, and figured out a strong relationship of its theory with the parameterized complexity theory, one of the most advanced fields in theoretical computer science. Our results include several others, e.g., a new formalization of the famous Tower of Hanoi Puzzle, which appeared in American Mathematical Monthly.

Academic Significance and Societal Importance of the Research Achievements

完全な入力情報が揃ってから計算を開始し正しい答えを出すという前世紀のパラダイムは完全に崩れ去っている.現在の計算機利用は我々の社会生活の隅々まで行き渡り,例えば株取引などの「経験と勘」であった世界が完全に計算機に置き換えらようとしている.こうした環境でのキーワードがまさに上記の2大テーマであり,理論的研究もその多くがそこに集中している現状である.学術的成果がただちに社会的成果に繋がりうるという意味で非常に意義のある研究分野であると信じる.

Report

(6 results)
  • 2021 Final Research Report ( PDF )
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • 2016 Annual Research Report
  • Research Products

    (12 results)

All 2022 2021 2020 2019 2018 2017 2016

All Journal Article (8 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 8 results,  Open Access: 1 results,  Acknowledgement Compliant: 2 results) Presentation (3 results) (of which Int'l Joint Research: 3 results) Book (1 results)

  • [Journal Article] Bounded Hanoi2022

    • Author(s)
      Kazuo Iwama, Mike Paterson
    • Journal Title

      The American Mathematical Monthly

      Volume: 129 Pages: 303-319

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Improved average complexity for comparison-based sorting2020

    • Author(s)
      Kazuo Iwama, Junichi Teruyama:
    • Journal Title

      Theor. Comput. Sci.

      Volume: 807 Pages: 201-219

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Read-Once Branching Programs for Tree Evaluation Problems2019

    • Author(s)
      Kazuo Iwama, Atsuki Nagao
    • Journal Title

      ACM TOCT

      Volume: 11(1) Pages: 1-12

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Small Complexity Gaps for Comparison-Based Sorting2018

    • Author(s)
      Shogo Ehara, Kazuo Iwama, Junichi Teruyama
    • Journal Title

      Adventures Between Lower Bounds and Higher Altitudes

      Volume: LNCS 11011 Pages: 280-296

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parameterized Testability2018

    • Author(s)
      Kazuo Iwama, Yuichi Yoshida
    • Journal Title

      ACM TOCT

      Volume: 9(4) Pages: 1-16

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The Hospitals/Residents Problem with Lower Quotas2016

    • Author(s)
      Koki Hamada, Kazuo Iwama, Shuichi Miyazaki
    • Journal Title

      Algorithmica

      Volume: 74(1) Issue: 1 Pages: 440-465

    • DOI

      10.1007/s00453-014-9951-z

    • NAID

      120006338070

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Quantum Query Complexity of Almost All Functions with Fixed On-Set2016

    • Author(s)
      A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita
    • Journal Title

      Computational Complexity

      Volume: 25 Issue: 4 Pages: 723-735

    • DOI

      10.1007/s00037-016-0139-6

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Approximate strip packing: Revisited2016

    • Author(s)
      Xin Han, Kazuo Iwama, Deshi Ye, Guochuan Zhang
    • Journal Title

      Inf. Comput.

      Volume: 249 Pages: 110-120

    • DOI

      10.1016/j.ic.2016.03.010

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Presentation] Tight Competitive Analyses of Online Car-Sharing Problems2021

    • Author(s)
      Ya-Chun Liang, Kuan-Yun Lai, Ho-Lin Chen, Kazuo Iwama
    • Organizer
      ISAAC 2021
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Improved Average Complexity for Comparison-Based Sorting2017

    • Author(s)
      Kazuo Iwama, Junichi Teruyama
    • Organizer
      WADS 2017
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Total Stability in Stable Matching Games2016

    • Author(s)
      Sushmita Gupta, Kazuo Iwama, Shuichi Miyazaki
    • Organizer
      SWAT 2016
    • Place of Presentation
      レイキャビック
    • Year and Date
      2016-06-22
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Book] 京都のアルゴリズム2017

    • Author(s)
      岩間一雄
    • Total Pages
      210
    • Publisher
      近代科学社
    • ISBN
      4764905477
    • Related Report
      2017 Annual Research Report

URL: 

Published: 2016-04-21   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi