4 papers
Substitution for minimizing/maximizing a tropical linear (fractional) programming
L. Truffet
Tropical polyhedra seem to play a central role in static analysis of softwares. These tropical geometrical objects play also a central role in parity games especially mean payoff g…
Linear Programming Problem Solved By a Special Substitution Method
Laurent Truffet
In this paper we develop a very special substitution method for solving a general linear programming problem (LPP). Of course the substitution is a kind of elimination of variable…
A polynomial Time Algorithm to Solve The Max-atom Problem
Chams Lahlou, Laurent Truffet
In this paper we consider ()conjunctions of Max-atoms that is atoms of the form , where the offset is a real constant and are variab…
Looking for all solutions of the Max Atom Problem (MAP)
Laurent Truffet
This present paper provides the absolutely necessary corrections to the previous work entitled {\it A polynomial Time Algorithm to Solve The Max-atom Problem} (arXiv:2106.08854v1).…