Graph-theoretic concepts in computer science