Let be a weighted digraph having vertices and let denote its adjacency matrix. We identify the vertices with the set . As mentioned in the previous post, the FWR algorithm is an example of dynamic programming. In the book Algebraic Statistics for Computational Biology by L. Pachter and B. Sturmfels, and the book Introduction to Tropical Geometry by D Maclagan and Sturmfels, this algorithm is described using the tropical matrix powers of . In fact, in the latter book, the corresponding section is titled “Dynamic programming”. They formulate it “tropically” as follows.
Theorem: The entry of the matrix A n-1 in row i and column j equals the length of a shortest path from vertex i to vertex j in G. (Here A n-1 denotes the n-1-st tropical power of A.)
How do you compute the tropical power of a matrix? Tropical matrix arithmetic (addition and multiplication) is the obvious extension of the addition and multiplication operations on the tropical semiring. This semiring, , is defined with the operations as follows: , . The ordinary product of two matrices takes operations (roughly the same number of additions and multiplications). The tropical product of two matrices still takes operations (but only additions and comparisons, no multiplications). Of course, ordinary powers, as well as tropical powers, can be computed using the repeated squaring algorithm. This implies that the complexity of computing the N-th (tropical) power of an matrix A is , where M is the complexity of computing the (tropical) product of two matrices.
At the current time, the complexity of ordinary matrix multiplication is best estimated by either Strassen’s algorithm (for practical use) or the Coppersmith-Winograd algorithm (for theoretically best known). The CW algorithm can multiply two matrices in time. However, the implied “big-O” constant is so large that the algorithm is not practical. Strassen’s algorithm can multiply two matrices in time.
Question: Do these complexity estimates extend to tropical matrix multiplication?
If so, then the complexity of computing the matrix A n-1 is , using Strassen’s algorithm. This is better than the estimate for the FWR algorithm mentioned in the previous post.
In fact, these observations seem so “obvious” that the fact that Sturmfels did not mention them in two different books, makes me wonder if the above question is more difficult to answer than it seems!