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

2008 Fiscal Year Final Research Report

Research on modeling and algorithms for network problems

Research Project

  • PDF
Project/Area Number 16092215
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

ITO Hiro  Kyoto University, 大学院・情報学研究科, 准教授 (50283487)

Co-Investigator(Kenkyū-buntansha) IWAMA Kazuo  京都大学, 大学院・情報学研究科, 教授 (50131272)
MASUZAWA Toshimitsu  大阪大学, 大学院・情報科学研究科, 教授 (50199692)
MIYAZAKI Shuichi  京都大学, 学術情報メディアセンター, 准教授 (00303884)
HORIYAMA Takashi  埼玉大学, 大学院・理工学研究科, 准教授 (60314530)
Project Period (FY) 2004 – 2007
Keywordsアルゴリズム / 情報基礎 / モデル化 / ネットワーク / 高信頼性ネットワーク
Research Abstract

グラフは接続関係を表現する抽象モデルとして有用であり, 古くから盛んに研究されている数学的対象である. 本特定領域研究では, ネットワークや計算機上での問題をグラフ問題としてモデル化し, そのアルゴリズム開発の研究を行った. その結果、密な部分グラフ発見問題, 供給点配置問題, 頂点被覆問題, 巡回セールスマン問題, 自己安定化問題, 安定マッチング問題などの様々な実用的問題について, 効率的なアルゴリズムを得ることができた.

  • Research Products

    (33 results)

All 2008 2007 2006 2005 2004 Other

All Journal Article (13 results) (of which Peer Reviewed: 13 results) Presentation (14 results) Book (5 results) Remarks (1 results)

  • [Journal Article] Stabilizing link-coloration of arbitrary networks with unbounded Byzantine faults2007

    • Author(s)
      Toshimitsu Masuzawa, Sebastien Tixeuil
    • Journal Title

      International Journal of Principles and Applications of Information Science and Technology Vol. 1, No. 1

      Pages: 1-13

    • Peer Reviewed
  • [Journal Article] Improved Approximation Results for the Stable Marriage Problem2007

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

      ACM Transactions on Algorithms vol.3, 3/30

      Pages: 1-18

    • Peer Reviewed
  • [Journal Article] Adaptive timeliness of consensus in presence of crash and timing faults2007

    • Author(s)
      Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa
    • Journal Title

      Journal of Parallel and Distributed Computing Vol. 67, No. 6

      Pages: 648-658

    • Peer Reviewed
  • [Journal Article] Self-Adaptive Mobile Agent Population Control in Dynamic Networks Based on the Single Species Population Model2007

    • Author(s)
      T. Suzuki, T. Izumi, F. Ooshita, and T. Masuzawa
    • Journal Title

      IEICE Transactions on Information and Systems vol.E90-D, no.1

      Pages: 314-324

    • Peer Reviewed
  • [Journal Article] A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems2006

    • Author(s)
      T. Izumi, and T. Masuzawa
    • Journal Title

      Information Processing Letters vol.100(issue 5)

      Pages: 199-205

    • Peer Reviewed
  • [Journal Article] Two Equivalent Measures on Weighted Hypergraphs2006

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

      Discrete Applied Mathematics vol.154/16

      Pages: 2330-2334

    • Peer Reviewed
  • [Journal Article] Density Condensation of Boolean Formulas2006

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

      Discrete Applied Mathematics vol.154/16

      Pages: 2263-2270

    • Peer Reviewed
  • [Journal Article] Condition Adaptation in Synchronous Consensus2006

    • Author(s)
      T. Izumi, and T. Masuzawa
    • Journal Title

      IEEE Transactions on Computers vol.55(issue 7)

      Pages: 843-853

    • Peer Reviewed
  • [Journal Article] Linear-State-Transition Protocols : Asynchronous Protocols with Ease of Efficiency Evaluation2006

    • Author(s)
      Y. Nakaminami, T. Masuzawa, and T. Herman
    • Journal Title

      Journal of Aerospace Computing, Information, and Communication (JACIC) vol.3, no.6

      Pages: 281-293

    • Peer Reviewed
  • [Journal Article] Efficient Methods for Determining DNA Probe Orders2006

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

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences vol.E89-A, no.5

      Pages: 1292-1298

    • Peer Reviewed
  • [Journal Article] Maximum-Cover Source-Location Problems2006

    • Author(s)
      K. Sugihara, and H. Ito
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences vol.E89-A, no.5

      Pages: 1370-1377

    • Peer Reviewed
  • [Journal Article] Single-backup-table schemes for shortest-path routing2005

    • Author(s)
      Hiro Ito, Kazuo Iwama, Yasuo Okabe, and Takuya Yoshihiro
    • Journal Title

      Theoretical Computer Science Vol. 333

      Pages: 347-353

    • Peer Reviewed
  • [Journal Article] Compact Routing with Stretch Factor of Less Than Three2005

    • Author(s)
      Iwama, K., and Kawachi, A.
    • Journal Title

      IEICE transactions on Information and Systems Vol.E88-D No.1

      Pages: 39-46

    • Peer Reviewed
  • [Presentation] Multi-Commodity Source Location Problems and Price of Greed2008

    • Author(s)
      H. Ito, M. Paterson, and K. Sugihara
    • Organizer
      WALCOM 2008
    • Place of Presentation
      Dhaka, Bangladesh
    • Year and Date
      2008-02-08
  • [Presentation] An Improved Exact Algorithm for Cubic Graph TSP2007

    • Author(s)
      K. Iwama, and T. Nakashima
    • Organizer
      COCOON 2007
    • Place of Presentation
      Alberta, Canada
    • Year and Date
      2007-07-16
  • [Presentation] Optimal moves for gossiping among mobile agents2007

    • Author(s)
      Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      SIROCCO 2007
    • Place of Presentation
      Castiglioncello, Italy
    • Year and Date
      2007-06-07
  • [Presentation] A 1.875-Approximation Algorithm for the Stable Marriage Problem2007

    • Author(s)
      K. Iwama, S. Miyazaki, and N. Yamauchi
    • Organizer
      SODA 2007
    • Place of Presentation
      Louisiana, USA
    • Year and Date
      2007-01-07
  • [Presentation] Stable Matching Problems (Invited Talk)2006

    • Author(s)
      K. Iwama
    • Organizer
      ISAAC 2006
    • Place of Presentation
      Kolkata, India
    • Year and Date
      2006-12-18
  • [Presentation] Finite-State Online Algorithms and Their Automated Competitive Analysis2006

    • Author(s)
      T. Horiyama, K. Iwama, and J. Kawahara
    • Organizer
      ISAAC 2006
    • Place of Presentation
      Kolkata, India
    • Year and Date
      2006-12-18
  • [Presentation] Classic and Quantum Network Coding (Invited Talk)2006

    • Author(s)
      K. Iwama
    • Organizer
      SWAT 2006
    • Place of Presentation
      Riga, Latvia
    • Year and Date
      2006-07-08
  • [Presentation] Transformation of Simple Graphs Preserving Cut-Size Order and Their Simpleness2005

    • Author(s)
      H. Ito
    • Organizer
      CJCDGCGT2005
    • Place of Presentation
      Xi'an, China
    • Year and Date
      2005-11-22
  • [Presentation] Self-stabilization in spite of frequent changes of networks Case study of mutual exclusion on dynamic rings2005

    • Author(s)
      Toshimitsu Masuzawa, and Hirotsugu Kakugawa
    • Organizer
      SSS 2005
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2005-10-27
  • [Presentation] Linear-Time Enumeration of Isolated Cliques2005

    • Author(s)
      H. Ito, K. Iwama, and T. Osumi
    • Organizer
      ESA 2005
    • Place of Presentation
      Mallorca, Spain
    • Year and Date
      2005-10-03
  • [Presentation] Max-stretch Reduction for Tree Spanners2005

    • Author(s)
      K. Iwama, A. Lingas, and M. Okita
    • Organizer
      WADS 2005
    • Place of Presentation
      Waterloo, Canada
    • Year and Date
      2005-08-15
  • [Presentation] Approximating Vertex Cover on Dense Graphs2005

    • Author(s)
      T. Imamura and K. Iwama
    • Organizer
      SODA 2005
    • Place of Presentation
      British Columbia, Canada
    • Year and Date
      2005-01-24
  • [Presentation] A self-stabilizing link-coloring protocol resilient to Byzantine faluts in tree networks2004

    • Author(s)
      Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa
    • Organizer
      OPODIS 2004
    • Place of Presentation
      Grenoble, France
    • Year and Date
      2004-12-17
  • [Presentation] A (2-c log N/N)-Approximation Algorithm for the Stable Marriage Problem2004

    • Author(s)
      Iwama, K., Miyazaki, S. and Okamoto, K.
    • Organizer
      SWAT 2004
    • Place of Presentation
      Humlebaek, Denmark
    • Year and Date
      2004-07-10
  • [Book] 理系への数学492号 離散数学のすすめ12 ケーキ分割問題2007

    • Author(s)
      伊藤大雄
    • Total Pages
      47-53
    • Publisher
      現代数学社
  • [Book] 理系への数学489号 離散数学のすすめ06 安定結婚問題2007

    • Author(s)
      宮崎修一
    • Total Pages
      9-54
    • Publisher
      現代数学社
  • [Book] 理系への数学485号 : 離散数学のすすめ02 最短路問題2007

    • Author(s)
      伊藤大雄
    • Total Pages
      46-51
    • Publisher
      現代数学社
  • [Book] 理系への数学484号 : 離散数学のすすめ01 離散数学へのいざない2007

    • Author(s)
      伊藤大雄
    • Total Pages
      8-14
    • Publisher
      現代数学社
  • [Book] アルゴリズム・サイエンス : 出口からの超入門2006

    • Author(s)
      岩間一雄
    • Total Pages
      197
    • Publisher
      共立出版
  • [Remarks]

    • URL

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

URL: 

Published: 2010-06-10   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi