Changes 'optimization' to 'minimization' for the sake of specificity.
Uses F(G) to represent F(S, G, mu) more concisely.
Removes positive edges and clarifies.
Adds definitions of more reductions.
Reorders and labels subsections.