machine-learning gale-shapley network-flow binary-tree dynamic-programming greedy-algorithms knapsack-problem k-nearest-neighbours divide-and-conquer fastfouriertransform scheduling-problem matching-algorithm traveling-salesman-problem 3-coloring graphs-theory time-complexity-analysis min-cut-algorithm np-problems np-reduction monge-arrays