האם בגרף הקצאת המשאבים הנוכחי קיים Deadlock?