\documentclass[12pt]{article} \usepackage{wide,me} \parindent0pt

Symmetry Breaking

Ethernet.

Shortest Paths

classical shortest paths.

Matrices

Boolean matrix multiplication

Seidel's distance algorithm for unit lengths.

This is deterministic distance algorithm.

To find paths: Witness product

Modify matrix alg: