大規模な離散列挙問題に対するアルゴリズムの研究

• 研究課題/領域番号: 18680002
• 研究種目: 若手研究(A)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 東京大学
• 研究代表者: 牧野 和久 東京大学, 大学院・情報理工学系研究科, 准教授 (60294162)
• 研究期間 (年度): 2006 – 2008
• 研究課題ステータス: 完了 (2008年度)
• 配分額: 15,990千円 (直接経費: 12,300千円、間接経費: 3,690千円); 2008年度: 5,850千円 (直接経費: 4,500千円、間接経費: 1,350千円); 2007年度: 5,850千円 (直接経費: 4,500千円、間接経費: 1,350千円); 2006年度: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
• キーワード: アルゴリズム / 列挙 / ネットワーク / 信頼性 / 双対性判定 / マトロイド

研究概要

本研究では,ネットワークの信頼度設計に関連する列挙問題,および,単調論理関数の双対化問題に関連する代表的な列挙問題に対する効率的なアルゴリズムの開発に成功した.また関連するいくつかの問題が計算量的に困難であることを示した.

研究成果

• [雑誌論文] A Fast and Simple Parallel Algorithm for the Monotone Duality Problem, ICALP 2009 (2009)
  • 著者名/発表者名: E. Boros, K. Makino
  • 雑誌名: Lecture Notes in Computer Science Vol.5555 ページ: 183-194
  • 査読あり
• [雑誌論文] Output-Sensitive Algorithms for Enumerating Minimal Transversals for Some Geometric Hypergraphs (2009)
  • 著者名/発表者名: K. Elbassioni, K. Makino, I. Rauf
  • 雑誌名: ESA 2009, Lecture Notes in Computer Science Vol.5757 ページ: 143-154
  • 査読あり
• [雑誌論文] A Fast and Simple Parallel Algorithm for the Monotone Duality Problem (2009)
  • 著者名/発表者名: E.Boros, K.Makino
  • 雑誌名: ICALP 2009, Lecture Notes in computer Science 5555 ページ: 183-194
  • 査読あり
• [雑誌論文] Output-Sensitive Algorithms for Enumerating Minimal Transversals for Some Geometric Hypergraphs (2009)
  • 著者名/発表者名: Khaled Elbassioni, Kazuhisa Makino, Imran Rauf
  • 雑誌名: ESA 2009, Lecture Notes in computer Science 5757 ページ: 143-154
  • 査読あり
• [雑誌論文] Dual-bounded generating problems: Efficient and inefficient points for discrete probability distributions and sparse boxes for multidimensional data (2007)
  • 著者名/発表者名: L. Khachiyan, E. Boros, K. Elbassinoi, V. Gurvich, K. Makino
  • 雑誌名: Theoretical Computer Science Vol.379 ページ: 361-376
  • 査読あり
• [雑誌論文] Generating Minimal k-Vertex Connected Spanning Subgraphs (2007)
  • 著者名/発表者名: L. Khachiyan, K. Borys, E. Boros, K. Elbassinoi, V. Gurvich, K. Makino, G. Rudolf
  • 雑誌名: COCOON 2007, LNCS Vol.4598 ページ: 222-231
  • 査読あり
• [雑誌論文] Finding Intersections of Bichromatic Segments Defined by Points (2007)
  • 著者名/発表者名: A. Elmasry, K. Makino
  • 雑誌名: CCCG 2007 Vol.19 ページ: 269-272
  • 査読あり
• [雑誌論文] Enumerating disjunctions and conjunctions of paths and cuts in reliability theory (2007)
  • 著者名/発表者名: L. Khachiyan, E. Boros, K. Elbassioni, V. Gurvich, K. Makino
  • 雑誌名: Discrete Applied Mathematics Vol.155 ページ: 137-149
  • 査読あり
• [雑誌論文] Enumerating Spanning and Connected Subsets in Graphs and Matroids (2007)
  • 著者名/発表者名: L. Khachiyan, E. Boros, K. Borys, K. Elbassioni, V. Gurvich, K. Makino
  • 雑誌名: ESA 2006, Lecture Notes in Computer Science Vol.155 ページ: 444-455
  • 査読あり
• [雑誌論文] Dual-bounded generating problems: Efficient and inefficient points for discrete probability distributions and sparse boxes for multidimensional data. (2007)
  • 著者名/発表者名: L. Khachiyan, E. Boros, K. Elbassinoi, V. Gurvich, K. Makino
  • 雑誌名: Theoretical Computer Science 379 ページ: 361-376
  • 査読あり
• [雑誌論文] Generating Minimal k-Vertex Connected Spanning Subgraphs (2007)
  • 著者名/発表者名: L. Khachiyan, K. Borys, E. Boros, K. Elbassinoi, V. Gurvich, K. Makino, G. Rudolf
  • 雑誌名: COCOON 2007, LNCS 4598 ページ: 222-231
  • 査読あり
• [雑誌論文] Finding Intersections of Bichromatic Segments Defined by Points (2007)
  • 著者名/発表者名: A. Elmasry, K. Makino
  • 雑誌名: CCCG 2007 19 ページ: 269-272
  • 査読あり
• [雑誌論文] Enumerating disjunctions and conjunctions of paths and cuts in reliability theory (2007)
  • 著者名/発表者名: L.Khachiyan, E.Boros, K.Elbassioni, V.Gurvich, K.Makino
  • 雑誌名: Discrete Applied Mathematics 155 ページ: 137-149
• [雑誌論文] Enumerating Spanning and Connected Subsets in Graphs and Matroids (2007)
  • 著者名/発表者名: L.Khachiyan, E.Boros, K.Borys, K.Elbassioni, V.Gurvich, K.Makino
  • 雑誌名: ESA 2006, Lecture Notes in Computer Science 155 ページ: 444-455