[1E2-OS-3a] AI における離散構造処理と制約充足(1)

[1E2-OS-3a-01] (OS招待講演)Sentential Deicision Diagramsとその周辺

〇西野 正彬¹ (1. NTTコミュニケーション科学基礎研究所)

キーワード：Sentential Decision Diagrams、離散構造、Binary Decision Diagrams

Sentential Decision Diagrams （SDD）は近年提案された決定グラフの一種であり，二分決定グラフ (BDD）と同等の演算性能を保持しつつ，BDDよりも簡潔な表現が可能という特徴をもつ．本講演ではSDDの紹介と，講演者らの最近の研究成果であるZero-suppressed SDD （ZSDD）や，SDDの効率的な構築方法などを紹介する．