A Path Formulations for Traditional Methods

Mathematically, the summation satisfies Commutative Property. Note semirings differ from natural arithmetic operators in two aspects. We prove Lemma 1 by induction. In practice, for link prediction we find it only takes a very small number of iterations (e.g., Here we prove the time complexity for NBFNet and other GNN frameworks.