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

Approximate Computing to Cope with Imperfect Information from Growing Data Size

Research Project

Project/Area Number 25240002
Research Category

Grant-in-Aid for Scientific Research (A)

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

Principal Investigator

IWAMA KAZUO  京都大学, 情報学研究科, 教授 (50131272)

Co-Investigator(Kenkyū-buntansha) AVIS David  京都大学, 情報学研究科, 教授 (90584110)
MIYAZAKI Shuichi  京都大学, 学術情報メディアセンター, 准教授 (00303884)
TAMAKI Suguru  京都大学, 情報学研究科, 助教 (40432413)
上野 賢哉  京都大学, 白眉センター, 特定助教 (70586081)
Co-Investigator(Renkei-kenkyūsha) ITO Hiro  電気通信大学, 情報理工学研究科, 教授 (50283487)
HORIYAMA Takashi  埼玉大学, 理工学研究科, 准教授 (60314530)
YOSHIDA Yuichi  国立情報学研究所, 情報学プリンシプル研究系, 准教授 (50636967)
OKAMOTO Kazuya  京都大学, 医学部附属病院, 講師 (60565018)
SETO Kazuhisa  成蹊大学, 理工学部情報科学科, 講師 (20584056)
KAWAHARA JUN  奈良先端科学技術大学院大学, 情報科学研究科, 助教 (20572473)
Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥47,320,000 (Direct Cost: ¥36,400,000、Indirect Cost: ¥10,920,000)
Fiscal Year 2015: ¥15,210,000 (Direct Cost: ¥11,700,000、Indirect Cost: ¥3,510,000)
Fiscal Year 2014: ¥15,210,000 (Direct Cost: ¥11,700,000、Indirect Cost: ¥3,510,000)
Fiscal Year 2013: ¥16,900,000 (Direct Cost: ¥13,000,000、Indirect Cost: ¥3,900,000)
Keywordsアルゴリズム / 計算困難問題 / 情報の補填 / 数理モデル化 / 理論的性能保証
Outline of Final Research Achievements

One of the main challenge in modern algorithm design is to cope with insufficient information.
In this study, we try to construct a general framework for design of approximation algorithms that can cope with insufficient information due to rapidly growing data size.
As a result, we give design and analysis of such algorithms for various problems in several fields such as graph problems, algorithmic game theory and randomized computation theory.

Report

(4 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • Research Products

    (31 results)

All 2016 2015 2014 2013 Other

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

  • [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
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Online bin packing with (1, 1) and (2, R) bins2015

    • Author(s)
      Jing Chen, Xin Han, Kazuo Iwama, Hing-Fung Ting
    • Journal Title

      J. Comb. Optim.

      Volume: 30(2) Issue: 2 Pages: 276-298

    • DOI

      10.1007/s10878-014-9749-6

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Finding Witnesses for Stability in the Hospitals/Residents Problem2015

    • Author(s)
      Minseon Lee, Shuichi Miyazaki, and Kazuo Iwama
    • Journal Title

      Journal of Information Processing

      Volume: 23 Issue: 2 Pages: 202-209

    • DOI

      10.2197/ipsjjip.23.202

    • NAID

      130004952417

    • ISSN
      1882-6652
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] A generalization of extension complexity that captures P2015

    • Author(s)
      David Avis, Hans Raj Tiwary
    • Journal Title

      Inf. Process. Lett.

      Volume: 115(6-8) Issue: 6-8 Pages: 588-593

    • DOI

      10.1016/j.ipl.2015.02.005

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A 25/17-Approximation Algorithm for the Stable Marriage Problem with One-Sided Ties2014

    • Author(s)
      Kazuo Iwama, Shuichi Miyazaki, and Hiroki Yanagisawa
    • Journal Title

      Algorithmica

      Volume: Volume 68, Issue 3 Issue: 3 Pages: 758-775

    • DOI

      10.1007/s00453-012-9699-2

    • NAID

      120006338068

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists2013

    • Author(s)
      Takao Inoshita, Robert W. Irving, Kazuo Iwama, Shuichi Miyazaki, Takashi Nagase
    • Journal Title

      MDPI, Algorithms

      Volume: Vol. 6, Issue 2 Issue: 2 Pages: 371-382

    • DOI

      10.3390/a6020371

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Recovering strings in oracles: quantum and classic(招待論文)2013

    • Author(s)
      Kazuo Iwama, Harumichi Nishimura
    • Journal Title

      International Journal of Foundations of Computer Science

      Volume: 24 Issue: 07 Pages: 979-993

    • DOI

      10.1142/s0129054113400261

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Harmonic Algorithm for the 3D Strip Packing Problem2013

    • Author(s)
      Nikhil Bansal, Xin Han, Kazuo Iwama, Maxim Sviridenko, Guochuan Zhang
    • Journal Title

      SIAM J. Comput.

      Volume: 42(2) Issue: 2 Pages: 579-592

    • DOI

      10.1137/070691607

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Families of polytopal digraphs that do not satisfy the shelling property2013

    • Author(s)
      David Avis, Hiroyuki Miyata, Sonoko Moriyama
    • Journal Title

      Comput. Geom.

      Volume: 46(3) Issue: 3 Pages: 382-393

    • DOI

      10.1016/j.comgeo.2012.10.005

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Derandomizing HSSW Algorithm for 3-SAT2013

    • Author(s)
      Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
    • Journal Title

      Algorithmica

      Volume: 未定 Issue: 2 Pages: 112-124

    • DOI

      10.1007/s00453-012-9741-4

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A satisfiability algorithm and average-case hardness for formulas over the full binary basis2013

    • Author(s)
      Kazuhisa Seto, Suguru Tamaki
    • Journal Title

      Computational Complexity

      Volume: 22(2) Issue: 2 Pages: 245-274

    • DOI

      10.1007/s00037-013-0067-7

    • NAID

      120005474485

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2013

    • Author(s)
      Kenya Ueno
    • Journal Title

      International Journal of Foundations of Computer Science

      Volume: 24 Issue: 08 Pages: 1339-1354

    • DOI

      10.1142/s0129054113500378

    • NAID

      110007483107

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Presentation] Improved Exact Algorithms for Mildly Sparse Instances of Max SAT2015

    • Author(s)
      Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
    • Organizer
      IPEC 2015
    • Place of Presentation
      Patras, Greece
    • Year and Date
      2015-09-16
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Tight Approximation Bound for the Stable Marriage Problem with Restricted Ties2015

    • Author(s)
      Chien-Chung Huang, Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa
    • Organizer
      APPROX-RANDOM 2015
    • Place of Presentation
      Princeton, NJ, USA
    • Year and Date
      2015-08-24
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Robust Approximation of Temporal CSP2014

    • Author(s)
      Suguru Tamaki, Yuichi Yoshida
    • Organizer
      APPROX-RANDOM 2014
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2014-09-04 – 2014-09-06
    • Related Report
      2014 Annual Research Report
  • [Presentation] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction2014

    • Author(s)
      Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
    • Organizer
      SAT 2014
    • Place of Presentation
      Vienna, Austria
    • Year and Date
      2014-07-14 – 2014-07-17
    • Related Report
      2014 Annual Research Report
  • [Presentation] Read-Once Branching Programs for Tree Evaluation Problems2014

    • Author(s)
      Kazuo Iwama and Atsuki Nagao
    • Organizer
      AAAC 2014
    • Place of Presentation
      Hangzhou, China
    • Year and Date
      2014-05-17 – 2014-05-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] The Train Delivery Problem Revisited2014

    • Author(s)
      1.Jing Chen, He Guo, Xin Han and Kazuo Iwama
    • Organizer
      AAAC 2014
    • Place of Presentation
      Hangzhou, China
    • Year and Date
      2014-05-17 – 2014-05-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Parameterized testability2014

    • Author(s)
      Kazuo Iwama, Yuichi Yoshida
    • Organizer
      ITCS 2014
    • Place of Presentation
      Princeton, New Jersey
    • Related Report
      2013 Annual Research Report
  • [Presentation] Read-Once Branching Programs for Tree Evaluation Problems2014

    • Author(s)
      Kazuo Iwama, Atsuki Nagao
    • Organizer
      STACS 2014
    • Place of Presentation
      Lyon, France
    • Related Report
      2013 Annual Research Report
  • [Presentation] Online Bin Packing with (1, 1) and (2, R) Bins2013

    • Author(s)
      Jing Chen, Xin Han, Kazuo Iwama, Hing-Fung Ting
    • Organizer
      COCOA 2013
    • Place of Presentation
      Chengdu, China
    • Related Report
      2013 Annual Research Report
  • [Presentation] The Train Delivery Problem Revisited2013

    • Author(s)
      Jing Chen, He Guo, Xin Han, Kazuo Iwama
    • Organizer
      ISAAC 2013
    • Place of Presentation
      Hong Kong
    • Related Report
      2013 Annual Research Report
  • [Presentation] A Portable Parallel Implementation of the lrs Vertex Enumeration Code2013

    • Author(s)
      David Avis, Gary Roumanis
    • Organizer
      COCOA 2013
    • Place of Presentation
      Chengdu, China
    • Related Report
      2013 Annual Research Report
  • [Presentation] On the Extension Complexity of Combinatorial Polytopes2013

    • Author(s)
      David Avis, Hans Raj Tiwary
    • Organizer
      ICALP 2013
    • Place of Presentation
      Riga, Latvia
    • Related Report
      2013 Annual Research Report
  • [Book] Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I2015

    • Author(s)
      Magnus M. Halldorsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
    • Total Pages
      1105
    • Publisher
      Springer
    • Related Report
      2015 Annual Research Report
  • [Book] Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II2015

    • Author(s)
      Magnus M. Halldorsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
    • Total Pages
      712
    • Publisher
      Springer
    • Related Report
      2015 Annual Research Report
  • [Remarks] 岩間 一雄

    • URL

      http://www.lab2.kuis.kyoto-u.ac.jp/~iwama/index-j.html

    • Related Report
      2015 Annual Research Report
  • [Remarks] 岩間 一雄

    • URL

      http://www.lab2.kuis.kyoto-u.ac.jp/~iwama/index-j.html

    • Related Report
      2014 Annual Research Report
  • [Remarks] 岩間 一雄

    • URL

      http://www.lab2.kuis.kyoto-u.ac.jp/~iwama/index-j.html

    • Related Report
      2013 Annual Research Report
  • [Funded Workshop] ICALP/LICS 2015 Joint Conference2015

    • Place of Presentation
      Kyoto
    • Year and Date
      2015-07-04
    • Related Report
      2015 Annual Research Report
  • [Funded Workshop] AAAC 20152015

    • Place of Presentation
      Miyajima, Hiroshima
    • Year and Date
      2015-05-09
    • Related Report
      2015 Annual Research Report

URL: 

Published: 2013-05-15   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi