English
Related papers

Related papers: New Algorithms for Solving Tropical Linear Systems

200 papers

We develop a tropical analog of the simplex algorithm for linear programming. In particular, we obtain a combinatorial algorithm to perform one tropical pivoting step, including the computation of reduced costs, in O(n(m+n)) time, where m…

Combinatorics · Mathematics 2015-07-31 Xavier Allamigeon , Pascal Benchimol , Stéphane Gaubert , Michael Joswig

We consider a discrete best approximation problem formulated in the framework of tropical algebra, which deals with the theory and applications of algebraic systems with idempotent operations. Given a set of samples of input and output of…

Numerical Analysis · Mathematics 2024-11-19 Nikolai Krivulin

We consider the tropical analogues of a particular bilevel optimization problem studied by Dempe and Franke and suggest some methods of solving these new tropical bilevel optimization problems. In particular, it is found that the algorithm…

Optimization and Control · Mathematics 2019-03-26 Sergei Sergeev , Zhengliang Liu

Tropical geometry has recently found several applications in the analysis of neural networks with piecewise linear activation functions. This paper presents a new look at the problem of tropical polynomial division and its application to…

Machine Learning · Computer Science 2023-06-28 Ioannis Kordonis , Petros Maragos

We consider constrained optimization problems defined in the tropical algebra setting on a linearly ordered, algebraically complete (radicable) idempotent semifield (a semiring with idempotent addition and invertible multiplication). The…

Optimization and Control · Mathematics 2021-10-12 Nikolai Krivulin

Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{\"o}bner bases taking into account the valuation of K. Because of the use of the valuation, the theory of tropical Gr{\"o}bner bases…

Symbolic Computation · Computer Science 2020-09-07 Yuki Ishihara , Tristan Vaccon , Kazuhiro Yokoyama

We consider discrete best approximation problems in the setting of tropical algebra, which is concerned with the theory and application of algebraic systems with idempotent operations. Given a set of input--output pairs of an unknown…

Numerical Analysis · Mathematics 2025-11-18 Nikolai Krivulin

We prove the first, even super-polynomial, lower bounds on the size of tropical (min,+) and (max,+) circuits approximating given optimization problems. Many classical dynamic programming (DP) algorithms for optimization problems are pure in…

Computational Complexity · Computer Science 2020-12-24 Stasys Jukna , Hannes Seiwert

Grigoriev and Podolskii (2018) have established a tropical analogue of the effective Nullstellensatz, showing that a system of tropical polynomial equations is solvable if and only if a linearized system obtained from a truncated Macaulay…

Combinatorics · Mathematics 2024-10-22 Marianne Akian , Antoine Béreau , Stéphane Gaubert

We introduce new discrete best approximation problems, formulated and solved in the framework of tropical algebra, which deals with semirings and semifields with idempotent addition. Given a set of samples, each consisting of the input and…

Numerical Analysis · Mathematics 2023-09-19 Nikolai Krivulin

The tropical arithmetic operations on $\mathbb{R}$ are defined by $a\oplus b=\min\{a,b\}$ and $a\otimes b=a+b$. Let $A$ be a tropical matrix and $k$ a positive integer, the problem of Tropical Matrix Factorization (TMF) asks whether there…

Combinatorics · Mathematics 2013-07-26 Yaroslav Shitov

We introduce tropical Newton-Puiseux polynomials admitting rational exponents. A resolution of a tropical hypersurface is defined by means of a tropical Newton-Puiseux polynomial. A polynomial complexity algorithm for resolubility of a…

Algebraic Geometry · Mathematics 2018-11-08 Dima Grigoriev

The main purpose of this paper is to study the NP-complete subset-sum problem, not in the usual context of time-complexity-based classification of the algorithms (exponential/polynomial), but through a new kind of algorithmic classification…

Computational Complexity · Computer Science 2018-11-20 Antonios Syreloglou

The eigenvalues of a matrix polynomial can be determined classically by solving a generalized eigenproblem for a linearized matrix pencil, for instance by writing the matrix polynomial in companion form. We introduce a general scaling…

Numerical Analysis · Mathematics 2009-12-13 Stéphane Gaubert , Meisam Sharify

A generalization of recent group-theoretic matrix multiplication algorithms to an analogue of the theory of partial matrix multiplication is presented. We demonstrate that the added flexibility of this approach can in some cases improve…

Computational Complexity · Computer Science 2009-02-17 Richard Strong Bowen , Bo Chen , Hendrik Orem , Martijn van Schaardenburg

A large family of linear, usually overdetermined, systems of partial differential equations that admit a multiplication of solutions, i.e, a bi-linear and commutative mapping on the solution space, is studied. This family of PDE's contains…

Analysis of PDEs · Mathematics 2008-03-19 Jens Jonasson

We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. It is based on Ganter's algorithm (1984) for finite closure systems.

Combinatorics · Mathematics 2022-08-05 Simon Hampe , Michael Joswig , Benjamin Schröter

Model reduction is a central topic in systems biology and dynamical systems theory, for reducing the complexity of detailed models, finding important parameters, and developing multi-scale models for instance. While perturbation theory is a…

Molecular Networks · Quantitative Biology 2014-01-27 Sylvain Soliman , Francois Fages , Ovidiu Radulescu

We show factorization of polynomials in one variable over the tropical semiring is in general NP-complete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization…

Combinatorics · Mathematics 2007-05-23 Ki Hang Kim , Fred W. Roush

A tropical (or min-plus) semiring is a set $\mathbb{Z}$ (or $\mathbb{Z \cup \{\infty\}}$) endowed with two operations: $\oplus$, which is just usual minimum, and $\odot$, which is usual addition. In tropical algebra the vector $x$ is a…

Computational Complexity · Computer Science 2012-04-23 Dima Grigoriev , Vladimir V. Podolskii