今日の内容: 二分決定グラフの利用 (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)
• Video
  • 授業スライドの説明 1 (mp4, 467MB)
    　　与えた組合せが解かどうかの判定
    　　線形和のコストの評価
  • 授業スライドの説明 2 (mp4, 254MB)
    　　例： ナップサック問題
  • 説明動画の視聴には、ELMS の Google アカウントに login している必要があります。
  • 授業スライドの説明は、区切り区切りで、一旦手を止めて体を動かすなどして、 リフレッシュしながら見てください。(休憩も重要です。)

補足資料 / Supplementary Materials

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

Created 2025.1.14, Takashi Horiyama