死锁的检测可以通过（）图，利用（）定理来实现。