diff --git a/ROADMAP.md b/ROADMAP.md index 9dbf5b5c6..2a54dc7d2 100644 --- a/ROADMAP.md +++ b/ROADMAP.md @@ -323,9 +323,8 @@ DLOGTIME-uniform AC⁰ under explicit conventions. - **Håstad's optimal MAX-E3SAT hardness** ([#886]): for `0 < ε < 1/8`, NP-hardness of distinguishing satisfiable E3-CNF formulas from those where every assignment satisfies at most - `7/8 + ε` of the clauses. This needs the reduction to MAX-E3LIN; - Raz–Holenstein parallel repetition for small-soundness Label Cover; and - the perfect-completeness reduction. + `7/8 + ε` of the clauses. This needs Raz–Holenstein parallel repetition for small-soundness + Label Cover and Håstad's separate perfect-completeness construction for MAX-E3SAT. - The FGLSS clique-hardness reduction and its amplification, retaining the exact gap and reduction runtime. - Gap and approximation-preserving reductions, APX/PTAS/FPTAS, inapproximability consequences of