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

2009 Fiscal Year Final Research Report

Design and Analysis of Algorithms for Insufficient Information

Research Project

  • PDF
Project/Area Number 19200001
Research Category

Grant-in-Aid for Scientific Research (A)

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

Principal Investigator

IWAMA Kazuo  Kyoto University, 情報学研究科, 教授 (50131272)

Co-Investigator(Kenkyū-buntansha) KATOH Naoki  京都大学, 工学研究科, 教授 (40145826)
ITO Hiro  京都大学, 情報学研究科, 准教授 (50283487)
MIYAZAKI Shuichi  京都大学, 学術情報メディアセンター, 准教授 (00303884)
TAMAKI Suguru  京都大学, 情報学研究科, 助教 (40432413)
Co-Investigator(Renkei-kenkyūsha) SUGIHARA Kokichi  明治大学, 研究・知財戦略機構, 特任教授 (40144117)
TOKUYAMA Takeshi  東北大学, 情報科学研究科, 教授 (40312631)
YAMASHITA Masafumi  九州大学, システム情報科学研究院, 教授 (00135419)
WATANABE Osamu  東京工業大学, 情報理工学研究科, 教授 (80158617)
HORIYAMA Takashi  埼玉大学, 理工学研究科, 准教授 (60314530)
Project Period (FY) 2007 – 2009
Keywordsアルゴリズム理論 / 理論的性能保証
Research Abstract

One of the main challenge in modern algorithm design is to cope with insufficient information (to complement information). In this study, we rigorously discuss the desirable property of such algorithms and try to construct a framework for it including design techniques and evaluation method. As a result, we obtain efficient algorithms in various fields such as online, network, matching, randomized, geometric and distributed algorithms.

  • Research Products

    (24 results)

All 2010 2009 2008 2007

All Journal Article (9 results) (of which Peer Reviewed: 9 results) Presentation (11 results) Book (4 results)

  • [Journal Article] The hitting and cover times of Metropolis walks.2010

    • Author(s)
      Yoshiaki Nonaka, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita.
    • Journal Title

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

      Pages: 1889-1894

    • Peer Reviewed
  • [Journal Article] Average-case analysis for the MAX-2SAT problem.2010

    • Author(s)
      Osamu Watanabe, Masaki Yamamoto
    • Journal Title

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

      Pages: 1685-1697

    • Peer Reviewed
  • [Journal Article] Finding Most Likely Solutions.2009

    • Author(s)
      Mikael Onsjo, Osamu Watanabe
    • Journal Title

      Theory Comput. Syst. 45(4)

      Pages: 926-942

    • Peer Reviewed
  • [Journal Article] Fast Enumeration Algorithms for Non-crossing Geometric Graphs.2009

    • Author(s)
      Naoki Katoh, Shin-ichi Tanigawa.
    • Journal Title

      Discrete & Computational Geometry 42(3)

      Pages: 443-468

    • Peer Reviewed
  • [Journal Article] Consistent Digital Rays.2009

    • Author(s)
      Jinhee Chun, Matias Korman, Martin Nollenburg, Takeshi Tokuyama.
    • Journal Title

      Discrete & Computational Geometry 42(3)

      Pages: 359-378

    • Peer Reviewed
  • [Journal Article] An improved approximation lower bound for finding almost stable maximum matchings.2009

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

      Inf. Process. Lett. 109(18)

      Pages: 1036-1040

    • Peer Reviewed
  • [Journal Article] Arc-disjoint in-trees in directed graphs.2009

    • Author(s)
      Naoyuki Kamiyama, Naoki Katoh, Atsushi Takizawa
    • Journal Title

      Combinatorica 29(2)

      Pages: 197-214

    • Peer Reviewed
  • [Journal Article] Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.2009

    • Author(s)
      Samia Souissi, Xavier Defago, Masafumi Yamashita
    • Journal Title

      TAAS 4(1)

      Pages: 27

    • Peer Reviewed
  • [Journal Article] Online Removable Square Packing.2008

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

      Theory Comput. Syst. 43(1)

      Pages: 38-55

    • Peer Reviewed
  • [Presentation] An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.2010

    • Author(s)
      K. Makino, S. Tamaki, M. Yamamoto
    • Organizer
      13th International Conference on Theory and Applications of Satisfiability Testing
    • Place of Presentation
      Edinburgh, Scotland
    • Year and Date
      2010-07-11
  • [Presentation] Zone Diagrams in Euclidean Spaces and in Other Normed Spaces.2010

    • Author(s)
      Akitoshi Kawamura, Jiri Matousek, Takeshi Tokuyama
    • Organizer
      26th Annual Symposium on Computational Geometry
    • Place of Presentation
      Snowbird, Utah.
    • Year and Date
      2010-06-15
  • [Presentation] Distance k-Sectors Exist.2010

    • Author(s)
      Keiko Imai, Akitoshi Kawamura, Jiri Matousek, Daniel Reem, Takeshi Tokuyama
    • Organizer
      26th Annual Symposium on Computational Geometry
    • Place of Presentation
      Snowbird, Utah.
    • Year and Date
      2010-06-15
  • [Presentation] Enumeration of Polyominoes for p4 Tiling.2009

    • Author(s)
      T. Horiyama, M. Samejima
    • Organizer
      21st Canadian Conference on Computational Geometry
    • Place of Presentation
      Vancouver, Canada
    • Year and Date
      2009-08-17
  • [Presentation] A proof of the molecular conjecture.2009

    • Author(s)
      Naoki Katoh, Shin-ichi Tanigawa
    • Organizer
      25th Annual ACM Symposium on Computational Geometry
    • Place of Presentation
      Aarhus University, Denmark
    • Year and Date
      2009-06-10
  • [Presentation] An improved constant-time approximation algorithm for maximum matchings.2009

    • Author(s)
      Yuichi Yoshida, Masaki Yamamoto, Hiro Ito.
    • Organizer
      41st ACM Symposium on Theory of Computing
    • Place of Presentation
      Bethesda, Maryland
    • Year and Date
      2009-05-31
  • [Presentation] Randomized Competitive Analysis for Two-Server Problems.2008

    • Author(s)
      Wolfgang W. Bein, Kazuo Iwama, Jun Kawahara
    • Organizer
      16th Annual European Symposium on Algorithms
    • Place of Presentation
      Universitat Karlsruhe, Germany
    • Year and Date
      2008-09-15
  • [Presentation] Property Testing on k-Vertex-Connectivity of Graphs.2008

    • Author(s)
      Yuichi Yoshida, Hiro Ito.
    • Organizer
      35th International Colloquium on Automata, Languages and Programming
    • Place of Presentation
      Reykjavik, Iceland
    • Year and Date
      2008-07-07
  • [Presentation] Polynomial-Time Construction of Linear Network Coding.2008

    • Author(s)
      Kazuo Iwama, Harumichi Nishimura, Mike Paterson, Rudy Raymond, Shigeru Yamashita
    • Organizer
      35th International Colloquium on Automata, Languages and Programming
    • Place of Presentation
      Reykjavik, Iceland
    • Year and Date
      2008-07-07
  • [Presentation] Restricted Edge Contractions in Triangulations of the Sphere with Boundary.2007

    • Author(s)
      Masaki Moriguchi, Kokichi Sugihara
    • Organizer
      19th Canadian Conference on Computational Geometry
    • Place of Presentation
      Ottawa, Canada
    • Year and Date
      2007-08-22
  • [Presentation] Approximation Algorithms for the Sex-Equal Stable Marriage Problem.2007

    • Author(s)
      Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa
    • Organizer
      10th Algorithms and Data Structures Symposium
    • Place of Presentation
      Halifax, Nova Scotia
    • Year and Date
      2007-08-15
  • [Book] Encyclopedia of Optimization: Voronoi Diagrams in Facility Location2009

    • Author(s)
      Kokichi Sugihara
    • Total Pages
      4040-4045
    • Publisher
      Springer
  • [Book] Encyclopedia of Optimization: Combinatorial Optimization Algorithms in Resource Allocation Problems2009

    • Author(s)
      Naoki Katoh
    • Total Pages
      382-387
    • Publisher
      Springer
  • [Book] Encyclopedia of Algorithms: Local Search Algorithms for kSAT.2008

    • Author(s)
      Kazuo Iwama
    • Total Pages
      468-470
    • Publisher
      Springer
  • [Book] Encyclopedia of Algorithms: Stable Marriage with Ties and Incomplete Lists2008

    • Author(s)
      Kazuo Iwama, Shuichi Miyazaki
    • Total Pages
      883-885
    • Publisher
      Springer

URL: 

Published: 2011-06-18   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi