"Safe and not deadlocked???a trivial is example is a graph with" . . . .