Efficiently Searching for Frustrated Cycles in MAP Inference