# resource-allocation graph