根据死锁定理，一个状态为死锁状态的充分条件是当且仅当该状态的资源分配图是时。