Higher-order Markov Random Fields, which can capture important properties of natural images, have become increasingly important in computer vision. While graph cuts work well for ﬁrst-order MRF’s, until recently they have rarely been effective for higherorder MRF’s. Ishikawa’s graph cut technique [1,2] shows great promise for many higher-order MRF’s. His method transforms an arbitrary higher-order MRF with binary labels into a ﬁrst-order one with the same minima. If all the terms are submodular the exact solution can be easily found; otherwise, pseudoboolean optimization techniques can produce an optimal labeling for a subset of the variables. We present a new transformation with better performance than [1,2], both theoretically and experimentally. While [1,2] transforms each higher-order term independently, we use the underlying hypergraph structure of the MRF to transform a group of terms at once. For n binary variables, each of which appears in terms with k other variables, at worst we produce n non-submodular terms, while [1,2] produces $O(nk)$. We identify a local completeness property under which our method perform even better, and show that under certain assumptions several important vision problems (including common variants of fusion moves) have this property. We show experimentally that our method produces smaller weight of non-submodular edges, and that this metric is directly related to the effectiveness of QPBO . Running on the same ﬁeld of experts dataset used in [1,2] we optimally label signiﬁcantly more variables (96% versus 80%) and converge more rapidly to a lower energy. Preliminary experiments suggest that some other higher-order MRF’s used in stereo  and segmentation  are also locally complete and would thus beneﬁt from our work.