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

• 論理回路の設計検証
  Design and verification of logic circuits
• 組合せ問題と最適化
  / Combinatorial problems and optimization
  • 与えた組合せが解かどうかの判定
    / Recognition of feasible solutions
  • 線形和のコストの評価
    / Evaluation of the linear sum of the costs
  • 例： ナップサック問題
    / Ex.: Knapsack problem

今日の資料 / Materials

• Slides
  • 授業スライド (in Japanese) (PDF)
  • Slides (in English) (PDF)

補足資料 / Supplementary Materials

• 二分決定グラフの利用 (3)
  Using Binary Decision Diagrams (3)

「大規模知識処理特論」の授業を受講していただき、ありがとうございます。 より良い授業を来年度以降にもできるよう、 授業評価のアンケートへの記入をお願いします。 (ELMS にアンケートへのリンクを用意してあります。)

後輩のため、「こういう点をこうすると、より良くなるよ」とか、 「こういう点は良かったので続けるべき」とか、ご意見をいただければと思います。

Created 2026.1.22, Takashi Horiyama