Interactive Proofの発展 第一部「Interactive Proofと複雑性」

2021/01/10* マルゼミ

Interactive Proofの発展
第一部「Interactive Proofと複雑性」資料

  1. Interactive Proof = nonlocalゲーム
    — Interactive Proofと確率的証明 — (pdf video)
  2. グラフの同型性 (pdf video)
  3. 頂点の置換とグラフの同型性 (pdf video)
  4. Interactive Proofから見るグラフの非同型性  (pdf video)
  5. Interactive Proof の記述能力  (pdf video)

Interactive Proofの発展
第一部「Interactive Proofと複雑性」ショートムービー

  1. Interactive Proof = nonlocalゲーム — Interactive Proofと確率的証明 —
  2. グラフの同型性
  3. 頂点の置換とグラフの同型性
  4. Interactive Proofから見るグラフの非同型性 
  5. Interactive Proof の記述能力

MaruLabo関連資料