Promise problem
= Promise problem
A <promise problem> consists of disjoint sets of YES and NO instances. An algorithm or verifier must obey its correctness guarantees only on their union. Energy problems with separated thresholds are naturally <promise problems> because intermediate-energy instances require no prescribed answer.