This post explains the nondeterministic and co-nondeterministic algorithms for APSP from the Carmosino et al. paper. For a similar argument for 3SUM, check out Huck’s notes. 😎

Please email me with any feedback, errors, or questions!