Franklin Public Flourishing · figuring things out

NP-hard, resolved exactly — and you can check it yourself

Every solver you have used declares optimality when an objective lands within a floating-point epsilon. You are asked to trust the tolerance. Affine returns an exact irreducible rational and a result that is IDENTICAL on nine independent machines — so the claim is checkable arithmetic, not a convergence promise.

Three proofs, live, per cell, right now

reading the fleet…

Verify the boundary claim by hand

The shear is discrete, and that is the whole difference

Where the exponential actually goes

Scope, stated: these prove exact boundaryless arithmetic, deterministic discrete pruning, and allocation-free execution on the mesh. They are the substrate an NP-hard solver stands on. They are not a benchmark against a commercial solver on a named instance — that comparison is not run here, and this page will not imply it.

Hi, I'm Franklin. What are we figuring out today?

Enter to send · attach a schematic anytime · type flush to start fresh