橋本 直己 | 電気通信大学 電気通信学部 情報工学科
スポンサーリンク
概要
電気通信大学 電気通信学部 情報工学科 | 論文
- 種々の制限を加えたTree-Shellable論理関数判定問題の複雑さ
- ナンバーリンクのNP完全性と問題の列挙
- D-1-2 「ストーンヘンジ」の先手必勝性と一般化ストーンへンジのPSPACE完全性(D-1. コンピュテーション,一般セッション)
- D-1-6 OBDDを用いた画像処理アルゴリズム(D-1. コンピュテーション,一般セッション)
- 多変量閾値関数の非明示的OBDD表現