エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Sentential Decision Diagram - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Sentential Decision Diagram - Qiita
本記事は「データ構造とアルゴリズム Advent Calendar 2018」16 日目の記事です(が,遅刻しました.す... 本記事は「データ構造とアルゴリズム Advent Calendar 2018」16 日目の記事です(が,遅刻しました.すみません...) 15 日目は @goonew 氏による「SLPとCDAWG,RLBWTからString Attractorsが作れることを見る」, 17 日目は @matsu7874 氏による「2次元の凸包を求めるアルゴリズムと応用について」です. はじめに Sentential Decision Diagram (SDD)1 は 2011 年に提案された論理関数を表すデータ構造です. 従来,論理関数を表すデータ構造として Binary Decision Diagram (BDD)2 が知られていましたが,SDD は BDD の一般化であり,BDD より小さく論理関数を表現できうることや,BDD で行える様々な操作が SDD でも同様に行えることがわかっています. そん