Complexity of uniqueness and local search in quadratic 0–1 programming