Prove the owned-exit cut bound for P104 natives: ≥|W| owned exits per port-clique cut, tight on #6833's native, ruling out one-unit owned shortenings (no κ) - #6865

Prove the owned-exit cut bound for P104 natives: ≥|W| owned exits per port-clique cut, tight on #6833's native, ruling out one-unit owned shortenings (no κ)#6865

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/p104-owned-exit-cut-boundDreamingOfClouds/integer-mult-bounds:research/p104-owned-exit-cut-boundCopy head branch name to clipboard