Institute of Science and Technology Austria (ISTA ... but we somehow can't yet prove that it's easy." Graphs are used to model a wide variety of systems, such as social networks, communication ...