On the frontiers of polynomial computations in tropical geometry

Journal of Symbolic Computation

Volumn 41, Issue 12, 2006, Pages 1360-1375

  Theobald, Thorsten ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Computational complexity; NP hard; Polynomial time algorithms; Tropical geometry; Tropical prevarieties; Tropical varieties

Indexed keywords

EID: 33750827796     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2005.11.006     Document Type: Article

References (28)

1. Basu S., Pollack R., and Roy M.-F. Algorithms in Real Algebraic Geometry (2003), Springer-Verlag, Berlin
2. Bergman G.M. The logarithmic limit-set of an algebraic variety. Trans. Amer. Math. Soc. 157 (1971) 459-469
3. Bogart, T., Jensen, A., Speyer, D., Sturmfels, B., Thomas, R., Computing tropical varieties. J. Symbolic. Comput., in press (doi:10.1016/j.jsc.2006.02.004)
4. Develin M., and Sturmfels B. Tropical convexity. Doc. Math. 9 (2004) 1-27
5. Einsiedler, M., Kapranov, M., Lind, D., 2004. Non-archimedean amoebas and tropical varieties. math.AG/0408311
6. Einsiedler M., and Lind D. Question Stated in the Annotated Open Problem Collection of the Workshop Amoebas and Tropical Geometry (2003), American Institute of Mathematics, Palo Alto. http://www.aimath.org/WWN/amoebas/
7. Garey M.R., and Johnson D.S. Computers and Intractability: A Guide to the Theory of N P-Completeness (1979), Freeman
8. Gel'fand I.M., Kapranov M.M., and Zelevinsky A.V. Discriminants, Resultants, and Multidimensional Determinants (1994), Birkhäuser, Boston, MA
9. Grötschel M., Lovász L., and Schrijver A. Geometric Algorithms and Combinatorial Optimization. Algorithms and Combinatorics vol. 2 (1993), Springer-Verlag, Berlin
10. Huber B., and Sturmfels B. A polyhedral method for solving sparse polynomial systems. Math. Comput. 64 (1995) 1541-1555
11. Joswig M. Tropical halfspaces. In: Goodman J.E., Pach J., and Welzl E. (Eds). Combinatorial and Computational Geometry vol. 52 (2005), MSRI Publications, Cambridge University Press 409-431
12. Khachiyan L.G. Polynomial algorithms in linear programming. USSR Comput. Math. Math. Phys. 20 (1980) 53-72
13. Lee C.W. Regular triangulations of convex polytopes. Applied Geometry and Discrete Mathematics. DIMACS series Discrete Math. Theoret. Comput. Sci. vol. 4 (1991), AMS, Providence, RI 443-456
14. 2. J. Amer. Math. Soc. 18 (2005) 313-377
15. Mikhalkin G. Amoebas of algebraic varieties and tropical geometry. In: Donaldson S., Eliashberg Y., and Gromov M. (Eds). Different Faces in Geometry (2004), Kluwer, Plenum, New York 257-300
16. Pachter, L., Sturmfels, B., The mathematics of phylogenomics. SIAM Rev. (in press). math.ST/0409132
17. Papadimitriou C., and Steiglitz K. Combinatorial Optimization: Algorithms and Complexity (1982), Prentice Hall, Englewood Cliffs, NY
18. Plaisted D.A. New N P-hard and N P-complete polynomial and integer divisibility problems. Theory Comput. Sci. 31 (1984) 125-138
19. Purbhoo, K., 2004. A Nullstellensatz for amoebas (preprint). Available from http://math.berkeley.edu/~kpurbhoo/
20. Richter-Gebert J., Sturmfels B., and Theobald T. First steps in tropical geometry. In: Litvinov G.L., and Maslov V.P. (Eds). Idempotent Mathematics and Mathematical Physics. Idempotent Mathematics and Mathematical Physics, Contemporary Mathematics vol. 377 (2005), AMS, Providence, RI 289-317
21. Rojas, J.M., Stella, C.E., 2004. First steps in algorithmic fewnomial theory. math.AG/0411107
22. Schrijver A. Combinatorial Optimization. Algorithms and Combinatorics vol. 24 (2003), Springer-Verlag, Berlin
23. Speyer, D., 2004. Tropical linear spaces. math.CO/0410455
24. Speyer D., and Sturmfels B. The tropical Grassmannian. Adv. Geom. 4 (2004) 389-411
25. Speyer, D., Sturmfels, B., 2004. Tropical mathematics. Notes from the Clay Mathematics Institute Senior Scholar Lecture. math.CO/040899
26. Sturmfels B. Solving Systems of Polynomial Equations. CBMS Regional Conference Series in Math. vol. 97 (2002), AMS, Providence, RI
27. Valiant L. The complexity of computing the permanent. Theory Comput. Sci. 8 (1979) 189-201
28. Viro O. Dequantization of real algebraic geometry on logarithmic paper. Proc. European Congress of Mathematics. Barcelona, 2000, vol. I. Progr. Math. vol. 201 (2001), Birkhäuser, Basel 135-146