\345\215\222\346\245\255\347\240\224\347\251\266 2022.md
... ...
@@ -18,11 +18,14 @@
18 18
* 実用関数における二分決定図のノード数に関する研究,菊地 将太
19 19
* 変数の個数に応じた論理関数の感度の分布に関する研究,千葉 裕登
20 20
* Vitis AIを用いた機械学習推論のFPGA実装とその評価に関する研究,武藏 悠雅
21
+
22
+* Computational Complexity of Yugo Puzzle,叶 尚弥
23
+* 列挙問題に対するe-reductionを用いた困難性の証明,髙橋 智宏
21 24
* 包囲多角形の外周長最小化問題における第K最適解を求めるアルゴリズム,武田 匠
22 25
* グラフ認識問題に対するサポートベクターマシンの性能評価,田中 悠太
23 26
* Proving PSPACE-hardness of Donkey Kong Tropical Freeze,森山 未唯
24
-* 列挙問題に対するe-reductionを用いた困難性の証明,髙橋 智宏
25
-* Computational Complexity of Yugo Puzzle,叶 尚弥
27
+
28
+
26 29
27 30
28 31
# レジュメ