graph data_structure graph_theory discrete_mathematics combinatorics mathematical_structure computer_science binary_relation network nonlinear