Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:alsoKnownAs |
gptkb:max-plus_semiring
gptkb:min-plus_semiring |
| gptkbp:application |
gptkb:algebraic_automata_theory
scheduling shortest path algorithms |
| gptkbp:associative |
true
|
| gptkbp:commutative |
true
|
| gptkbp:containsElement |
real numbers extended with infinity
|
| gptkbp:distributive |
true
|
| gptkbp:hasNoNegativeElements |
true
|
| https://www.w3.org/2000/01/rdf-schema#label |
tropical semiring
|
| gptkbp:idempotentAddition |
true
|
| gptkbp:nameOrigin |
French mathematicians (joke about Jean-Eric Pin from the tropics)
|
| gptkbp:neutralElementAddition |
infinity (for min-plus)
|
| gptkbp:neutralElementMultiplication |
0
|
| gptkbp:noAdditiveInverse |
true
|
| gptkbp:operation1 |
addition is minimum or maximum
|
| gptkbp:operation2 |
multiplication is addition
|
| gptkbp:relatedTo |
gptkb:idempotent_semiring
semiring |
| gptkbp:usedIn |
gptkb:tropical_geometry
automata theory optimization |
| gptkbp:bfsParent |
gptkb:tropical_geometry
|
| gptkbp:bfsLayer |
6
|