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に持っているという話から全くついていけなくなった。