P = {P1,P2,P3,P4} consists of all active processes in an operating system. R = {R1,R2,R3,R4} consists of single instances of distinct types of resources in the system. The resource allocation graph has the following assignment and claim edges. Assignment edges:
Which of the following statement(s) is/are CORRECT?