tropical_semiring (362B)
1 # Tropical semiring 2 3 The [semiring] defined with [min] and [plus] 4 5 Intuition: you want the derivation with least cost ([min]), and joint use of values means you pay for both ([plus]) 6 7 Useful for [shortest_path] in [graphs] 8 9 It is an [absorptive_semiring] 10 11 Up: [semiring_list] 12 13 See also: [mpp_minimum], [tropical], [max_plus_semiring] 14 15 Aliases: semiring tropical