The Einsum-Enabled Design Space for Graph Algorithms: A BFS Case Study

Toluwanimi O. Odemuyiwa, Serban D. Porumbescu, Muhammad Osama +2

We propose a principled approach to reasoning about various graph algorithm implementations. We leverage the extended general Einsum notation (EDGE) which allows us to factor compl…