papa本27

• p76 「Our proof~」から読んだ

• 次回はp80「The Reduction」から

• 久々に全然わからなかった。

connpass.com

gadget続き

• Reliabilityの計算量がPSPACEになることを示そうとしている。

  • 何を問題意識に議論しているのか全くわからなかった。
  • 時系列でstep-by-stepにpolygraphが作成されていく際、
    • abortするとpolygraphにcycleを発生させてしまうトランザクションがある
      • このようなabortをEVILと言われている
        • 詳細はよくわかってません。
• 何か書き足すかも？
• p77のs1を反転させたs1‘を作り、C=E'、E=C'として接続し、s2を作る。このS2でD(D'?)がe'をwrite setに持っているという話から全くついていけなくなった。