dual.md

(max, +) dual semiring definition the dual tropical semiring T' = (R ∪ {-∞}, ⊕', ⊗') where: dual tropical addition: a ⊕' b = max(a, b) dual tropical multiplication: a ⊗' b = a + b (standard addition) | property | (max, +) | |----------|----------| | additive identity | -∞ (max(a, -∞) = a) | |…