Min-plus matrix multiplication

Min-plus matrix multiplication, also known as distance product, is an operation on matrices.