竹内 聖悟 | 科学技術振興機構ERATO湊離散構造処理系プロジェクト

スポンサーリンク

概要

• 竹内 聖悟の詳細を見る
• 同名の論文著者
• 科学技術振興機構ERATO湊離散構造処理系プロジェクトの論文著者

科学技術振興機構ERATO湊離散構造処理系プロジェクト | 論文

• Bipartite Permutation Graphのランダム生成と列挙
• グラフクラスと部分グラフ同型性
• ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用)
• 等間隔の折り目を持つ紙の折り畳みの計算量について
• ZDDを用いたパスの列挙とその性能評価

もっと見る

スポンサーリンク