coursera marathon topcoder vrp minisat knapsack-problem clustering-algorithm optimization-algorithms independent-sets graph-coloring scip discrete-optimization 2-opt travelling-salesman-problem hamiltonian-cycles fls guided-local-search graphcoloring 3-opt flp