博士・修士・学士論文

博士論文

  • 坂上 晋作, Online, Submodular, and Polynomial Optimization with Discrete Structures, Mar. 2020
  • 中畑 裕, Studies on Implicit Graph Enumeration Using Decision Diagrams, Sep. 2021
  • 松尾 亮祐, Studies on Synthesis Methods for Efficient Optical Logic Circuits, Mar. 2023
  • 中村 健吾, Studies on Network Graph Analysis with Decision Diagram Structures, Mar. 2024

修士論文

  • 平田 峻介, 疎グラフにおけるモジュラリティ最大化問題のNP困難性証明の改良と一般化, Mar. 2019
  • 大澤 賢悟, グラフ同型に関する代表元グラフを列挙するZDDの構築法の研究, Mar. 2020
  • 加藤 剛, 万能な隣接置換操作列の構成法とその可逆論理回路設計への応用, Mar. 2021
  • 清水 亮太, 網羅的探索による最小パストランジスタ回路の設計とカタログ生成, Mar. 2021
  • 宮本 昌幸, CONGEST モデルにおける誘導部分グラフ発見問題の分散計算の研究, Mar. 2021
  • 吉村 知行, ZDD による連結ノード数の期待値計算に基づくネットワーク信頼性評価, Mar. 2021
  • 曽根 大雅, b-有向森遷移に対する多項式時間アルゴリズムの設計とマトロイド交叉上の組合せ遷移に関する考察, Mar. 2022
  • 高橋 昌大, 多向木上のトークンスライディング問題, Mar. 2022
  • 森 順平, Proposal for width of directed acyclic graphs and design of fixed parameter algorithms, Mar. 2022
  • 山崎 宏紀, 部分グラフ列挙問題に対する 反復的トップダウン ZDD 構築手法の研究, Mar. 2022
  • 劉 祥, ZDD-Based Algorithms for Minimum Weighted Vertex Cover Problems and Their Empirical Evaluations, Mar. 2022
  • 前田 陽平, 独立集合遷移の隣接回数最小化問題, Mar. 2023
  • 阿部 春樹, MDD によるネットワーク k 辺連結信頼性 評価と辺素パス遷移問題の求解, Mar. 2023
  • 市野 達也, 多分決定グラフを用いた変更の少ない選挙区割の列挙, Mar. 2023
  • 内田 康太郎, 非負 k-劣モジュラ緩和に関する研究, Mar. 2023
  • 周 文爍, ZDD によるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法とその評価, Mar. 2023
  • 杉野 創, 枝重み付き系列二分決定グラフによる文字列の多重集合表現とその頻出部分列マイニングへの応用, Mar. 202
  • 高嶋 勇哉, 部分理想グラフと部分順列グラフの集合を表現する ZDD の構築, Mar. 2023
  • 江本 洸海, On the Sizes of BDDs and ZDDs Representing Matroids, Mar. 2024
  • 大場 翔, 定義域指定単項二階論理式で制約された部分グラフの決定グラフによる列挙, Mar. 2024
  • 小西 岳志, 独立集合遷移問題に対する新規 ZDD 演算を用いた解法及び整数計画法による解法, Mar. 2024
  • 山岡 宙太, ZDD を用いて複数箇所の停電から復旧する最短手順を算出するアルゴリズム, Mar. 2024
  • 山田 航平, ライトニングネットワークのトポロジー分析および頑健性評価についての研究, Mar. 2024
  • 吉 浩, 0-1 整数線形計画問題の実行可能解を全列挙する ZDD の生成法とその評価, Mar. 2024
 

学士論文

  • 加藤 剛, 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
  • 江本 洸海, マトロイド判定問題に対する ZDD を用いた 解法とその評価, Mar. 2022
  • 太田 佳, 順列二分決定グラフを用いたオイラー路列挙アルゴリズムの評価とその応用, Mar. 2022
  • 大場 翔, 最短路遷移問題の ZDD を用いた解法と評価, Mar. 2022
  • 小西 岳志, 有界モデル検査による全域木遷移ソルバ実装手法の提案と評価, Mar. 2022
  • 新山 公太, 補助信号線を追加した最小の可逆論理回路の網羅的探索, Mar. 2022
  • 林 泰誠, ランクおよび非可換ランクに基づく分割行列のマッチング構造に関する考察, Mar. 2022
  • 山岡 宙太, ZDD ベースの組合せ遷移ソルバーによる 停電復旧問題へのアプローチ, Mar. 2022
  • 赤川 雄紀, A* 探索に基づく組合せ最適化問題の上位解列挙と ZDD 構築, Mar. 2023
  • 伊豆 真哉, DAG 型パス分解の性質の考察及び構成アルゴリズムの提案, Mar. 2023
  • 浦川 樹, 彩色遷移可能性が多項式時間で判定できる再彩色制約に関する研究, Mar. 2023
  • 大河原 明翔, 交通路線網における経路列挙の効率化と経路被覆への応用, Sep. 2023
  • 上田 結大, タイを含む無羨望マッチングの遷移, Mar. 2024
  • 奥田 諒平, ZDD を用いた集合分割の族の表現とその演算アルゴリズムの評価, Mar. 2024
  • 古渡 健太, コンテナ積載計画問題における重量バランスを考慮した解の ZDD による列挙, Mar. 2024
  • 宮本 照之, ZDD の区間メモ化探索法を改良した頂点被覆問題の重み制約解列挙アルゴリズム, Mar. 2024
  • 森平 隼矢, グラフ最小カットに基づく多様度最大の安定マッチング集合を求めるアルゴリズム, Mar. 2024
  • 山本 涼太, 数独の解盤面とヒント配置に対する同値類の解集合の探索と計算時間の評価, Mar. 2024