Changes conditional to biconditional.
Adds plenty of details about complexity and approximability.