Dimensions

trop/specs/determinant
tropical determinant definition the tropical determinant of a square matrix A in T^(n x n) is: this replaces the classical sum-of-products-with-signs by a min-of-sums: the sign vanishes because tropical addition is idempotent (no cancellation). interpretation trop_det(A) is the cost of the…

Local Graph