巨大情報からの超高速情報抽出アルゴリズムの研究

2011 年度 研究成果報告書

• 研究課題/領域番号: 21500014
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 京都大学
• 研究代表者: 伊藤 大雄 京都大学, 大学院・情報学研究科, 准教授 (50283487)
• 研究分担者: 岩間 一雄 京都大学, 大学院・情報学研究科, 教授 (50131272)
• 研究期間 (年度): 2009 – 2011
• キーワード: アルゴリズム理論 / 定数時間アルゴリズム / グラフアルゴリズム

研究概要

データが膨大である対象をあつかうための、高速アルゴリズムとその計算量の下界値に対して研究を行った。特に、対象となるデータのうちのごく一部、定数個しか見ないで問題を解くという定数時間アルゴリズムを中心に研究し、グラフの最大独立集合や最大マッチングのサイズの近似、外平面性の検査、疎性マトロイドのランクの近似、ナップザック問題の解の近似に対して、高速な定数時間アルゴリズムを与えた。また、線形下界値を示す技法をいくつか与えた。他に、ユニットディスクグラフを描画領域でパラメータ化し、いくつかの問題に対しFPTアルゴリズムと下界値を与えた。

研究成果

• [雑誌論文] Constant-time algorithms for sparsity matroids, The 39th International Colloquium on Automata, Language and Programming(ICALP 2012) (2012)
  • 著者名/発表者名: ITO Hiro TANIGAWA Shin-ichi, YOSHIDA Yuichi
  • 雑誌名: The 39th International Colloquium on Automata, Language and Programming(ICALP 2012) 巻: (to appear)
• [雑誌論文] Constant-time approximation algorithms for the knapsack problem (2012)
  • 著者名/発表者名: ITO Hiro, KIYOSHIMA Susumu, YOSHIDA Yuichi
  • 雑誌名: LNCS 巻: #7287 ページ: 131-142
• [雑誌論文] Property testing on k-vertex connectivity of graphs (2012)
  • 著者名/発表者名: YOSHIDA Yuichi and ITO Hiro
  • 雑誌名: Algorithmica 巻: Vol.62, No.3-4 ページ: 701-712
• [雑誌論文] An Almost Optimal Algorithm for Winkler's Sorting Pairs in Bins (2012)
  • 著者名/発表者名: ITO Hiro, TERUYAMA Junichi, and YOSHIDA Yuichi
  • 雑誌名: Progress in Informatics 巻: No.9 ページ: 3-7
• [雑誌論文] KASAHARA Shoji, and KAWAHARA Jun, An online algorithm optimally self-tuning to congestion for power management problems, Proceedings of the 9th Workshop on Approximation and Online Algorithms(WAOA 2011) (2012)
  • 著者名/発表者名: Wolfgang BEIN, HATTA Naoki, Nelson HERNANDEZ-CONS, ITO Hiro
  • 雑誌名: LNCS 巻: #7164 ページ: 35-48
• [雑誌論文] KOBAYASHI Midori and NAKAMURA Gisaku, Arrangements of n points whose incident-line-numbers are at most n/2, Special Issue of JCCGG2009 (2011)
  • 著者名/発表者名: AKIYAMA Jin, ITO Hiro
  • 雑誌名: Graphs and Combinatorics 巻: Vol.27, No.3 ページ: 321-326
• [雑誌論文] PSPACE-completeness of the weighted poset game, Proceedings of the 10th International Symposium on Operations Research and Its Applications(ISORA 2011) (2011)
  • 著者名/発表者名: ITO Hiro and TAKATA Satoshi
  • 雑誌名: Lecture Notes in Operations Research 巻: #14 ページ: 89-93
• [雑誌論文] Po-Ru LOH, Shelly MANBER and Omari STEPHENS, Making polygons by simple folds and one straight cut, Proceedings of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications(CGGA 2010) (2011)
  • 著者名/発表者名: Erik D. DEMAINE, Martin L. DEMAINE, Andrea HAWKSLEY, ITO Hiro
  • 雑誌名: LNCS 巻: #7033 ページ: 27-43
• [雑誌論文] Complexity of the stamp folding problem, Proceedings of The 5th Annual International Conference on Combinatorial Optimization and Applications(COCOA 2011) (2011)
  • 著者名/発表者名: UMESATO Takuya, SAITOH Toshiki, UEHARA Ryuhei, and ITO Hiro
  • 雑誌名: LNCS 巻: #6831 ページ: 311-321
• [雑誌論文] Query-number preserving reductions and linear lower bounds for testing (2010)
  • 著者名/発表者名: YOSHIDA Yuichi and ITO Hiro
  • 雑誌名: IEICE Transactions 巻: Vol.E93-D, No.2 ページ: 233-240
• [雑誌論文] Testing k-edge-connectivity of digraphs (2010)
  • 著者名/発表者名: YOSHIDA Yuichi and ITO Hiro
  • 雑誌名: Journal of System Science and Complexity 巻: Vol.23 ページ: 91-101
• [雑誌論文] Testing outer planarity of bounded degree graphs, Proceedings of the 14th Intl. Workshop on Randomization and Computation(RANDOM 2010) (2010)
  • 著者名/発表者名: YOSHIDA Yuichi and ITO Hiro
  • 雑誌名: LNCS 巻: #6302 ページ: 642-655
• [雑誌論文] Tractability and intractability of problems on unit disk graphs parameterized by domain area, Proceedings of the 9th International Symposium on Operations Research and Its Applications(ISORA 2010) (2010)
  • 著者名/発表者名: ITO Hiro and KADOSHITA Masakazu
  • 雑誌名: Lecture Notes in Operations Research 巻: #12 ページ: 120-127
• [雑誌論文] Enumeration of isolated cliques and pseudo-cliques (2009)
  • 著者名/発表者名: ITO Hiro and IWAMA Kazuo
  • 雑誌名: ACM Transactions on Algorithms 巻: Vol.5, Issue 4 ページ: 40
• [雑誌論文] An improved constant-time approximation algorithm for maximum matchings
  • 著者名/発表者名: YOSHIDA Yuichi, YAMAMOTO Masaki, and ITO Hiro
  • 雑誌名: Proceedings of the 41st ACM Symposium on Theory of Computing(STOC 2009) ページ: 225-234
• [学会発表] 定数時間アルゴリズムとBDD, ERATO湊離散構造処理系プロジェクト (2011)
  • 著者名/発表者名: 伊藤大雄, 楠本充
  • 学会等名: 2011年度初夏のワークショップ
  • 発表場所: 北大
  • 年月日: 20110610-11
• [学会発表] TANIGAWA Shin-ichi, YOSHIDA Yuichi, Testing algorithms for(k, l)-sparsity and(k, l). edge-connected-orient ability (2011)
  • 著者名/発表者名: ITO Hiro
  • 学会等名: The 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 20110531-0603
• [学会発表] Constant-time algorithms and fundamental theorems (2011)
  • 著者名/発表者名: ITO Hiro
  • 学会等名: Colloquium, Dept. Comput. Science
  • 発表場所: Univ. Nevada, Las Vegas.
  • 年月日: 2011-10-21
• [学会発表] 定数時間アルゴリズムとその基本定理(前編)-密グラフモデルと正則性補題, ERATOセミナー (2011)
  • 著者名/発表者名: 伊藤大雄
  • 発表場所: 北大
  • 年月日: 2011-08-23
• [学会発表] An Online Algorithm Optimally Self-tuning to Congestion for Power Management Problems (2011)
  • 著者名/発表者名: W. BEIN, HATTA Naoki, ITO Hiro, KAWAHARA Jun
  • 学会等名: 信学技報電子情報通信学会コンピューテーション研究会(COMP)
  • 発表場所: 京都大学
  • 年月日: 2011-04-22
• [学会発表] ナップサック問題に対する定数時間近似アルゴリズム (2011)
  • 著者名/発表者名: 伊藤大雄, 清島奨, 吉田悠一
  • 学会等名: 信学技報電子情報通信学会コンピューテーション研究会(COMP)
  • 発表場所: 中央大学後楽園キャンパス
  • 年月日: 2011-03-09
• [学会発表] An almost optimal algorithm for Winkler's sorting pairs in bins (2010)
  • 著者名/発表者名: ITO Hiro, TERUYAMA Junichi, and YOSHIDA Yuichi
  • 学会等名: AAAC2010
  • 発表場所: 浦項(pohang),韓国
  • 年月日: 20100417-19
• [学会発表] An almost optimal algorithm for Winkler's sorting pairs in bins (2010)
  • 著者名/発表者名: ITO Hiro, TERUYAMA Junichi, and YOSHIDA Yuichi
  • 学会等名: 信学技報電子情報通信学会コンピューテーション研究会(COMP)
  • 発表場所: 九州大学西新プラザ
  • 年月日: 2010-01-25
• [学会発表] 無秩序の代償(price of anarchy)の理論への招待「アルゴリズム・サイエンスにおけるゲーム理論の新展開」 (2009)
  • 著者名/発表者名: 伊藤大雄
  • 学会等名: FIT 2009イベント企画
  • 発表場所: 東北工業大学八木山キャンパス
  • 年月日: 20090902-04
• [学会発表] Constant-time approximations using minimum value search for independent sets and matchings (2009)
  • 著者名/発表者名: YOSHIDA Yuichi, YAMAMOTO Masaki, and ITO Hiro
  • 学会等名: Constant-time approximations using minimum value search for independent sets and matchings
  • 発表場所: 中国
  • 年月日: 20090411-12
• [学会発表] 最大独立集合と最大マッチングに対する定数時間近似アルゴリズムの改善 (2009)
  • 著者名/発表者名: 吉田悠一, 山本真基, 伊藤大雄
  • 学会等名: 電子情報通信学会総合大会
  • 発表場所: 愛媛大(松山市)
  • 年月日: 20090317-20
• [学会発表] 大規模ネットワーク問題のための定数時間アルゴリズム「ネットワークと情報処理」 (2009)
  • 著者名/発表者名: 伊藤大雄
  • 学会等名: 甲南大学知的情報通信研究所シンポジウム
  • 発表場所: 甲南大学
  • 年月日: 2009-12-26
• [図書] 離散数学のすすめ (2010)
  • 著者名/発表者名: 伊藤大雄・宇野裕之
  • 出版者: 現代数学社