Redirecting to Glossary of graph theory