博士・修士・学士論文

博士論文

  • 坂上 晋作, Online, Submodular, and Polynomial Optimization with Discrete Structures, Mar. 2020
  • 中畑 裕, Studies on Implicit Graph Enumeration Using Decision Diagrams, Sep. 2021

修士論文

  • 平田 峻介, 疎グラフにおけるモジュラリティ最大化問題のNP困難性証明の改良と一般化, Mar. 2019
  • 大澤 賢悟, グラフ同型に関する代表元グラフを列挙するZDDの構築法の研究, Mar. 2020
  • 加藤 剛, 万能な隣接置換操作列の構成法とその可逆論理回路設計への応用, Mar. 2021
  • 清水 亮太, 網羅的探索による最小パストランジスタ回路の設計とカタログ生成, Mar. 2021
  • 宮本 昌幸, CONGEST モデルにおける誘導部分グラフ発見問題の分散計算の研究, Mar. 2021
  • 吉村 知行, ZDD による連結ノード数の期待値計算に基づくネットワーク信頼性評価, Mar. 2021

学士論文

  • 加藤 剛, 7次対称方陣の解の数え上げ, Mar. 2019
  • 柴田 恭佑, Graph Bandwidth問題に対する量子アルゴリズムの分析, Mar. 2019
  • 馬場 瑛義, グラフの連結成分列挙における頂点重み順を考慮したZDD変数順序付け, Mar. 2019
  • 高橋 昌大, グラフの全点対間の点カット集合を全列挙する決定グラフの構築, Mar. 2020
  • 武田 大輝, 有向グラフの辺数推定に対する劣線形時間近似アルゴリズムの研究, Mar. 2020
  • 中村 烈士, ZDDを用いた限量ブール式の求解法に関する研究, Mar. 2020
  • 原口 卓也, TF-IDF評価値に基づく特徴的な頻出アイテム集合パタンの列挙手法, Mar. 2020
  • 森 順平, DAG型ブロックチェーンへの応用を想定した簡潔データ構造の設計, Mar. 2020
  • 山崎 宏紀, 選挙区割問題に対するZDDを用いた厳密解列挙アルゴリズムの改善及び近似的列挙手法の提案と評価, Mar. 2020
  • 阿部 春樹, k 辺連結部分グラフとネットワーク信頼性評価, Mar. 2021
  • 石丸 泰平, 個別戦略関数付き混雑ゲームの純粋戦略ナッシュ均衡に関する研究, Mar. 2021
  • 市野 達也, LCM-ZDD 法に基づく時分割データからのアイテム集合マイニング におけるパターン記述言語の拡張と評価, Mar. 2021
  • 内田 康太郎, 3 項値付き制約充足問題に対する M 凸的アプローチ, Mar. 2021
  • 杉野 創, 大規模文字列集合データに対する Sequence BDD の高速な構築手法とその評価, Mar. 2021
  • 高嶋 勇哉, フロンティア法による部分補サイクルグラフと部分理想グラフの列挙, Mar. 2021