https://platoblockchain.com/plato-data/encoding-trade-offs-and-design-toolkits-in-quantum-algorithms-for-discrete-optimization-coloring-routing-scheduling-and-other-problems/