Hirofumi Suzuki

E-mail : h.suzuki.lskp[at]gmail.com
日本語ページ

Profile

Affiliation

Fujitsu Laboratories LTD.

Education

  • 2010-2014: Department of Information Science, School of Engineering, Utsunomiya University (Undergraduate Course)
  • 2014-2016: Graduate School of Information Science and Technology, Hokkaido University (Master Course)
  • 2016-2019: Graduate School of Information Science and Technology, Hokkaido University (Doctral Course),
  • 2019-Present: Researcher at Fujitsu Laboratories LTD

Research Areas

  • Subset Enumeration
  • Data Structure (BDD, ZDD)
  • Discrete Optimization

Interest

  • Graph Algorithms
  • Data Structures and Algorithms

Hobby

  • Competitive Programming (TopCoder，AtCoder，ACM-ICPC)
  • Rhythm Game
  • Japanese Archery

Publications

Journal Paper

  1. Hirofumi Suzuki and Shin-ichi Minato: "Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Sep. 2018.

International Conference （Reffered）

  1. Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Keisuke Goto, Yuta Fujishige, Satoshi Hara: "Rule Mining for Correcting Classification Models", In Proc. of the 23rd IEEE International Conference on Data Mining (ICDM'23), Dec. 2023 (short paper) (to appear). [full version]
  2. Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Keisuke Goto, Yuta Fujishige, Satoshi Hara: Explainable and Local Correction of Classification Models Using Decision Trees", In Proc. of the 36th AAAI Conference on Artificial Intelligence (AAAI'22), Feb. 2022.
  3. Hirofumi Suzuki, Masakazu Ishihata and Shin-Ichi Minato: "Designing Survivable Networks with Zero-suppressed Binary Decision Diagrams," In Proc. of the 14th International Conference and Workshop on Algorithms and Computation (WALCOM), Mar. 2020.
  4. Jun Kawahara, Toshiki Saitoh, Hirofumi Suzuki and Ryo Yoshinaka: "Colorful Frontier-based Search: Implicit Enumeration of Chordal and Interval Subgraphs," In Proc. of the Special Event on Analysis of Experimental Algorithms (SEA^2 2019), June. 2019.
  5. Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato: "Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams," In Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), Dec. 2018.
  6. Takanori Maehara, Hirofumi Suzuki and Masakazu Ishihata (2017): "Exact Computation of Influence Spread by Binary Decision Diagrams," In Proc. of the 26th International World Wide Conference (WWW'17), Perth, Australia, April 3rd--7th, 2017, pp. 947--956.
  7. Jun Kawahara, Toshiki Saitoh, Hirofumi Suzuki, and Ryo Yoshinaka: "Solving the longest oneway-ticket problem and enumerating letter graphs by augmenting the two representative approaches with ZDDs," Computational Intelligence in Information Systems: In Proc. of the Computational Intelligence in Information Systems Conference (CIIS 2016), vol. 532, pp. 294-305
  8. Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato: "Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model," In Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), a Workshop session of Mathematical Modeling and Problem Solving, pp. 356-362, Jul. 2016.

International Conference （Unreffered）

Domestic （Unreffered, including Poster） [ToDo: English Title]

  1. 鈴木 浩史，後藤 啓介，岩下 洋哲，高木 拓也，大堀 耕太郎，原 聡: "ユーザーの納得感を考慮した線形モデルの重み付きLassoによる定式化と一解法," 人工知能学会第112回人工知能基本問題研究会資料, pp. 67-72, Mar. 2020.
  2. 鈴木 浩史，中野 裕太，住谷 陽輔，湊 真一，前田 理: "化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙," 情報処理学会アルゴリズム研究会, 情処研報, 2018-AL-169, No. 7, pp. 1-6, Sep. 2018.
  3. 鈴木 浩史, 石畠 正和, 湊 真一: "ZDD を用いた種々のネットワーク設計問題の解法," 2018年度人工知能学会全国大会（第32回）, 4K2OS16b03, July 2018.
  4. 鈴木浩史, 湊真一: "グラフ列挙における構築途中のZDD幅に基づく変数順序づけ法," 情報処理学会第80回全国大会, 7A-01, pp. 1-159-160. Mar. 2018.
  5. 鈴木浩史, 石畑正和， 湊真一: "フロンティア法による強連結な部分グラフの列挙," 人工知能学会第104回人工知能基本問題研究会資料, SIG-FPAI-B507, pp. 26-31, Aug. 2017.
  6. 鈴木浩史, 湊真一: "ZDDを用いた0-1多目的ナップサック問題のパレート解列挙," 情報処理学会第79回全国大会, 5A-04, Vol. 1, pp. 181-182, Mar. 2017.
  7. 鈴木浩史, 湊真一: "ZDDを用いたグラフ列挙索引化における頂点インデックスの追加," 人工知能学会第101回人工知能基本問題研究会資料, SIG-FPAI-B504, pp. 41-46, Aug. 2016.
  8. 鈴木浩史, 孫浩, 湊真一: "BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙," 2016年度人工知能学会全国大会（第30回）, 1D5-OS-02b-3in2, Jun. 2016.
  9. 井上祐馬, 鈴木浩史, 伊藤華, 湊真一: "グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス," 2016年度人工知能学会全国大会（第30回）, 1D5-OS-02b-4, Jun. 2016.
  10. 竹内文登, 鈴木浩史, 白石恒介, 安田宜仁, 湊真一: "MEET演算を用いた組合せ集合間の類似度の定義と応用," 第14回 情報科学技術フォーラム(FIT2015), F021, 第2分冊, pp. 329-330, Sep. 2015.
  11. 鈴木浩史, 孫浩, 湊真一: " ZDDの幅を制限したフロンティア法によるナンバーリンクの解探索," 情報処理学会DAシンポジウム2015 アルゴリズムデザインコンテスト ポスターセッション, Aug. 2015.
  12. 鈴木浩史, 湊真一: "頂点誘導部分グラフを列挙索引化するフロンティア法," 電子情報通信学会コンピュテーション研究会, 信学技報, vol. 115, no. 15, COMP2015-3, pp. 15-20, Apr. 2015.
  13. 鈴木浩史, 湊真一: "次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化," 電子情報通信学会2015総合大会, DS-1-7, pp. S-13-14, Mar. 2015.
  14. 安田宜仁, 鈴木浩史, 岩下洋哲, 中澤吉男, 湊 真一: "ZDDに基づくグラフ列挙ツールGraphillionを用いたナンバーリンクの解法," 情報処理学会DAシンポジウム2014 アルゴリズムデザインコンテスト ポスターセッション, Aug. 2014.

Technical Report

  1. Hirofumi Suzuki and Shin-ichi Minato (2017): "ZDD-Based Enumeration of Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems," Hokkaido University, TCS-TR-A-17-81, June, 2017

Award

  • Hirofumi Suzuki, Kazuhiro Kurita, So-ichi Tanaka (Team: tsurasa_diary, Coach: Yuma Inoue)
    2015年度 ICPC国内予選 24位（372チーム中）
  • Hirofumi Suzuki, Kazuhiro Kurita, So-ichi Tanaka (Team: tsurasa_diary, Coach: Yuma Inoue)
    2015年度 ICPC台湾大会 大学別10位（40大学中）
  • 北海道大学 大学院 情報科学研究科 研究科長賞 (2015年度) †
  • ヤマト運輸プログラミングコンテスト2019 (at AtCoder), 優勝
  • 第4回 Asprova プログラミングコンテスト (at AtCoder), 6位入賞
  • 第5回 Asprova プログラミングコンテスト (at AtCoder), 特別賞（テストの意味を実感できたで賞：暫定上位のはずがシステムテストでエラーが発覚）
  • 第6回 Asprova プログラミングコンテスト (at AtCoder), 7位入賞