• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算

研究課題

研究課題/領域番号 25240002
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 情報学基礎理論
研究機関京都大学

研究代表者

岩間 一雄  京都大学, 情報学研究科, 教授 (50131272)

研究分担者 エイビス デイビッド (AVIS David / Avis David)  京都大学, 情報学研究科, 教授 (90584110)
宮崎 修一  京都大学, 学術情報メディアセンター, 准教授 (00303884)
玉置 卓  京都大学, 情報学研究科, 助教 (40432413)
上野 賢哉  京都大学, 白眉センター, 特定助教 (70586081)
連携研究者 伊藤 大雄  電気通信大学, 情報理工学研究科, 教授 (50283487)
堀山 貴史  埼玉大学, 理工学研究科, 准教授 (60314530)
吉田 悠一  国立情報学研究所, 情報学プリンシプル研究系, 准教授 (50636967)
岡本 和也  京都大学, 医学部附属病院, 講師 (60565018)
脊戸 和寿  成蹊大学, 理工学部情報科学科, 講師 (20584056)
川原 純  奈良先端科学技術大学院大学, 情報科学研究科, 助教 (20572473)
研究期間 (年度) 2013-04-01 – 2016-03-31
研究課題ステータス 完了 (2015年度)
配分額 *注記
47,320千円 (直接経費: 36,400千円、間接経費: 10,920千円)
2015年度: 15,210千円 (直接経費: 11,700千円、間接経費: 3,510千円)
2014年度: 15,210千円 (直接経費: 11,700千円、間接経費: 3,510千円)
2013年度: 16,900千円 (直接経費: 13,000千円、間接経費: 3,900千円)
キーワードアルゴリズム / 計算困難問題 / 情報の補填 / 数理モデル化 / 理論的性能保証
研究成果の概要

不完全情報をいかに扱うかが現代アルゴリズムの大きな課題になっている.
本研究では「データの巨大化から生じる不完全情報に対処するための近似計算における,できるだけ一般性の高いアルゴリズム設計理論の体系化」を目的として研究を行った.
結果として,グラフ問題,アルゴリズム的ゲーム理論,乱化に関する基礎理論の様々な問題において,情報の不完全性を克服できるアルゴリズムの設計と解析に成功した.

報告書

(4件)
  • 2015 実績報告書   研究成果報告書 ( PDF )
  • 2014 実績報告書
  • 2013 実績報告書
  • 研究成果

    (31件)

すべて 2016 2015 2014 2013 その他

すべて 雑誌論文 (12件) (うち国際共著 1件、 査読あり 12件、 謝辞記載あり 2件、 オープンアクセス 1件) 学会発表 (12件) (うち国際学会 2件) 図書 (2件) 備考 (3件) 学会・シンポジウム開催 (2件)

  • [雑誌論文] The Hospitals/Residents Problem with Lower Quotas2016

    • 著者名/発表者名
      Koki Hamada, Kazuo Iwama, Shuichi Miyazaki
    • 雑誌名

      Algorithmica

      巻: 74(1) 号: 1 ページ: 440-465

    • DOI

      10.1007/s00453-014-9951-z

    • NAID

      120006338070

    • 関連する報告書
      2015 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Online bin packing with (1, 1) and (2, R) bins2015

    • 著者名/発表者名
      Jing Chen, Xin Han, Kazuo Iwama, Hing-Fung Ting
    • 雑誌名

      J. Comb. Optim.

      巻: 30(2) 号: 2 ページ: 276-298

    • DOI

      10.1007/s10878-014-9749-6

    • 関連する報告書
      2015 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Finding Witnesses for Stability in the Hospitals/Residents Problem2015

    • 著者名/発表者名
      Minseon Lee, Shuichi Miyazaki, and Kazuo Iwama
    • 雑誌名

      Journal of Information Processing

      巻: 23 号: 2 ページ: 202-209

    • DOI

      10.2197/ipsjjip.23.202

    • NAID

      130004952417

    • ISSN
      1882-6652
    • 関連する報告書
      2014 実績報告書
    • 査読あり / オープンアクセス / 謝辞記載あり
  • [雑誌論文] A generalization of extension complexity that captures P2015

    • 著者名/発表者名
      David Avis, Hans Raj Tiwary
    • 雑誌名

      Inf. Process. Lett.

      巻: 115(6-8) 号: 6-8 ページ: 588-593

    • DOI

      10.1016/j.ipl.2015.02.005

    • 関連する報告書
      2014 実績報告書
    • 査読あり
  • [雑誌論文] A 25/17-Approximation Algorithm for the Stable Marriage Problem with One-Sided Ties2014

    • 著者名/発表者名
      Kazuo Iwama, Shuichi Miyazaki, and Hiroki Yanagisawa
    • 雑誌名

      Algorithmica

      巻: Volume 68, Issue 3 号: 3 ページ: 758-775

    • DOI

      10.1007/s00453-012-9699-2

    • NAID

      120006338068

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists2013

    • 著者名/発表者名
      Takao Inoshita, Robert W. Irving, Kazuo Iwama, Shuichi Miyazaki, Takashi Nagase
    • 雑誌名

      MDPI, Algorithms

      巻: Vol. 6, Issue 2 号: 2 ページ: 371-382

    • DOI

      10.3390/a6020371

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Recovering strings in oracles: quantum and classic(招待論文)2013

    • 著者名/発表者名
      Kazuo Iwama, Harumichi Nishimura
    • 雑誌名

      International Journal of Foundations of Computer Science

      巻: 24 号: 07 ページ: 979-993

    • DOI

      10.1142/s0129054113400261

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] A Harmonic Algorithm for the 3D Strip Packing Problem2013

    • 著者名/発表者名
      Nikhil Bansal, Xin Han, Kazuo Iwama, Maxim Sviridenko, Guochuan Zhang
    • 雑誌名

      SIAM J. Comput.

      巻: 42(2) 号: 2 ページ: 579-592

    • DOI

      10.1137/070691607

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Families of polytopal digraphs that do not satisfy the shelling property2013

    • 著者名/発表者名
      David Avis, Hiroyuki Miyata, Sonoko Moriyama
    • 雑誌名

      Comput. Geom.

      巻: 46(3) 号: 3 ページ: 382-393

    • DOI

      10.1016/j.comgeo.2012.10.005

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Derandomizing HSSW Algorithm for 3-SAT2013

    • 著者名/発表者名
      Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
    • 雑誌名

      Algorithmica

      巻: 未定 号: 2 ページ: 112-124

    • DOI

      10.1007/s00453-012-9741-4

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] A satisfiability algorithm and average-case hardness for formulas over the full binary basis2013

    • 著者名/発表者名
      Kazuhisa Seto, Suguru Tamaki
    • 雑誌名

      Computational Complexity

      巻: 22(2) 号: 2 ページ: 245-274

    • DOI

      10.1007/s00037-013-0067-7

    • NAID

      120005474485

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2013

    • 著者名/発表者名
      Kenya Ueno
    • 雑誌名

      International Journal of Foundations of Computer Science

      巻: 24 号: 08 ページ: 1339-1354

    • DOI

      10.1142/s0129054113500378

    • NAID

      110007483107

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [学会発表] Improved Exact Algorithms for Mildly Sparse Instances of Max SAT2015

    • 著者名/発表者名
      Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama
    • 学会等名
      IPEC 2015
    • 発表場所
      Patras, Greece
    • 年月日
      2015-09-16
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] A Tight Approximation Bound for the Stable Marriage Problem with Restricted Ties2015

    • 著者名/発表者名
      Chien-Chung Huang, Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa
    • 学会等名
      APPROX-RANDOM 2015
    • 発表場所
      Princeton, NJ, USA
    • 年月日
      2015-08-24
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] Robust Approximation of Temporal CSP2014

    • 著者名/発表者名
      Suguru Tamaki, Yuichi Yoshida
    • 学会等名
      APPROX-RANDOM 2014
    • 発表場所
      Barcelona, Spain
    • 年月日
      2014-09-04 – 2014-09-06
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction2014

    • 著者名/発表者名
      Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
    • 学会等名
      SAT 2014
    • 発表場所
      Vienna, Austria
    • 年月日
      2014-07-14 – 2014-07-17
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Read-Once Branching Programs for Tree Evaluation Problems2014

    • 著者名/発表者名
      Kazuo Iwama and Atsuki Nagao
    • 学会等名
      AAAC 2014
    • 発表場所
      Hangzhou, China
    • 年月日
      2014-05-17 – 2014-05-19
    • 関連する報告書
      2014 実績報告書
  • [学会発表] The Train Delivery Problem Revisited2014

    • 著者名/発表者名
      1.Jing Chen, He Guo, Xin Han and Kazuo Iwama
    • 学会等名
      AAAC 2014
    • 発表場所
      Hangzhou, China
    • 年月日
      2014-05-17 – 2014-05-19
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Parameterized testability2014

    • 著者名/発表者名
      Kazuo Iwama, Yuichi Yoshida
    • 学会等名
      ITCS 2014
    • 発表場所
      Princeton, New Jersey
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Read-Once Branching Programs for Tree Evaluation Problems2014

    • 著者名/発表者名
      Kazuo Iwama, Atsuki Nagao
    • 学会等名
      STACS 2014
    • 発表場所
      Lyon, France
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Online Bin Packing with (1, 1) and (2, R) Bins2013

    • 著者名/発表者名
      Jing Chen, Xin Han, Kazuo Iwama, Hing-Fung Ting
    • 学会等名
      COCOA 2013
    • 発表場所
      Chengdu, China
    • 関連する報告書
      2013 実績報告書
  • [学会発表] The Train Delivery Problem Revisited2013

    • 著者名/発表者名
      Jing Chen, He Guo, Xin Han, Kazuo Iwama
    • 学会等名
      ISAAC 2013
    • 発表場所
      Hong Kong
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A Portable Parallel Implementation of the lrs Vertex Enumeration Code2013

    • 著者名/発表者名
      David Avis, Gary Roumanis
    • 学会等名
      COCOA 2013
    • 発表場所
      Chengdu, China
    • 関連する報告書
      2013 実績報告書
  • [学会発表] On the Extension Complexity of Combinatorial Polytopes2013

    • 著者名/発表者名
      David Avis, Hans Raj Tiwary
    • 学会等名
      ICALP 2013
    • 発表場所
      Riga, Latvia
    • 関連する報告書
      2013 実績報告書
  • [図書] Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I2015

    • 著者名/発表者名
      Magnus M. Halldorsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
    • 総ページ数
      1105
    • 出版者
      Springer
    • 関連する報告書
      2015 実績報告書
  • [図書] Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II2015

    • 著者名/発表者名
      Magnus M. Halldorsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
    • 総ページ数
      712
    • 出版者
      Springer
    • 関連する報告書
      2015 実績報告書
  • [備考] 岩間 一雄

    • URL

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

    • 関連する報告書
      2015 実績報告書
  • [備考] 岩間 一雄

    • URL

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

    • 関連する報告書
      2014 実績報告書
  • [備考] 岩間 一雄

    • URL

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

    • 関連する報告書
      2013 実績報告書
  • [学会・シンポジウム開催] ICALP/LICS 2015 Joint Conference2015

    • 発表場所
      Kyoto
    • 年月日
      2015-07-04
    • 関連する報告書
      2015 実績報告書
  • [学会・シンポジウム開催] AAAC 20152015

    • 発表場所
      Miyajima, Hiroshima
    • 年月日
      2015-05-09
    • 関連する報告書
      2015 実績報告書

URL: 

公開日: 2013-05-15   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi