Glossary of graph theory terms