//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
The author now has a Lean verified proof arxiv.org/abs/2606.03194 🤷
10d
The Membership Problem for Pedigree Polytope (M3P) asks, given $X\in\mathbb{Q}^{\binom{n}{3}}$, whether $X\in\mathrm{conv}(P_n)$, where $P_n$ is the set of all pedigrees. A pedigree is a structured en...
arxiv.org
Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem
Anuj Dawar अनुज दावर انُج داور