•
Berth allocation problem •
Betweenness • Assembling an optimal
Bitcoin block. •
Boolean satisfiability problem (SAT). •
Exact cover problem. Remains NP-complete for 3-sets. Solvable in polynomial time for 2-sets (this is a
matching). •
Upward planarity testing •
Latin square completion (the problem of determining if a partially filled square can be completed) •
Maximum 2-satisfiability • Minimal
addition chains for sequences. The complexity of minimal addition chains for individual numbers is unknown. •
Modal logic S5-Satisfiability •
Pancake sorting distance problem for strings • Solubility of two-variable quadratic polynomials over the integers. Given positive integers \textstyle A,B,C, decide existence of positive integers x,y such that Ax^2+By-C=0 • By the same article (Sorting by Block Moves) •
Sparse approximation • Variations of the
Steiner tree problem. Specifically, with the discretized Euclidean metric, rectilinear metric. The problem is known to be NP-hard with the (non-discretized) Euclidean metric. ==See also==