资源分配状态S为死锁状态的充分条件是当且仅当S状态的 ___________是不可完全简化的。