Conditions Analysis
Deadlock occurs if and only if the circular wait condition is not resolvable.
The circular wait condition is not resolvable when the first 3 policy conditions hold.
Therefore, the four conditions taken together constitute necessary and sufficient conditions for deadlock!