Min-plus semiring