20/01/25 00:13:25 8d8rjqX8.net
あ、ちなみにa/b=臨界値のときも
∃S:戦略関数 ∀g f=S(g)で逃走阻止される
は正しい。
のでデッドロックを回避しないといけないという条件付けて突然逃走可能になるってことはないだろうと思う。
でもこのSはTをうまく取られるとデッドロックする。
スティルメイトの方がカッコ良かったかな？
というわけでa/b=臨界値の場合は完全に現時点でオープンです。
20/01/25 00:13:25 8d8rjqX8.net
あ、ちなみにa/b=臨界値のときも
∃S:戦略関数 ∀g f=S(g)で逃走阻止される
は正しい。
のでデッドロックを回避しないといけないという条件付けて突然逃走可能になるってことはないだろうと思う。
でもこのSはTをうまく取られるとデッドロックする。
スティルメイトの方がカッコ良かったかな？
というわけでa/b=臨界値の場合は完全に現時点でオープンです。