我非常了解死锁的概念，但是当我遇到像下面这样的问题时，我不确定如何解决它。我可以绘制资源分配图，但我不确定如何从那里解决它。
有没有更好更正式的方法来解决这个问题？
Consider a system with five processes, P1 through P5, and five
resources, R1 through R5. Resource ownership is as follows.
• P1 holds R1 and wants R3
• P2 holds R2 and wants R1
• P3 holds R3 and wants R5
• P4 holds R5 and wants R2
• P5 holds R4 and wants R2
这个系统是不是死锁了？证明你的答案。
如果系统死锁，列出涉及的进程。