問題 Deadlock Detection | Aizu Online Judge 解法 dp[今、各スレッドでロックしている資源をあわせたものの集合] = (次にどれかのスレッドが確保する可能性のある資源の集合の集合) みたいにする。 そして最終的に $ \exists S, \exists e \in dp[S], e \s…