Wondering: if the process for the upper part of the sandwich is the complement of the process for the lower part, why was it so much more difficult? What would go wrong if you took one of the earlier lower-sandwich processes, and complemented it in a similar way? I have to assume it's something, but what?
What goes wrong is the accuracy guarantee. Complementing gives an upper graph, but the old guarantee doesn’t establish that it’s close enough to the target graph - which is what the theorem requires…
Sniffnoy · · focus · HN ↗
zem · · focus · HN ↗
msupuka · · focus · HN ↗