今日の内容: 二分決定グラフの利用 (3)
Today's lecture: Using Binary Decision Diagrams (3)

• ZDD (Zero-Suppressed BDD)
• フロンティア法 (BDD/ZDD のトップダウン構築)
  / Frontier-based search (Top-down construction of BDDs/ZDDs)

今日の資料 / Materials

• Slides
  • 授業スライド (in Japanese) (PDF)
  • Slides (in English) (PDF)
• Video
  • 授業スライドの説明 1 (mp4, 369MB)
    　　ZDD (Zero-Suppressed BDD)
  • 授業スライドの説明 2 (mp4, 430MB)
    　　フロンティア法 (BDD/ZDD のトップダウン構築)
  • 説明動画の視聴には、ELMS の Google アカウントに login している必要があります。
  • 授業スライドの説明は、区切り区切りで、一旦手を止めて体を動かすなどして、 リフレッシュしながら見てください。(休憩も重要です。)

Created 2025.1.14, Takashi Horiyama