EQP Ben Meehan Elders quorum president Equality-constrained quadratic program Equational prover Equilibrium partitioning Exact quantum polynomial time