2 papers
math.CO2025
On tropical knapsack-type problems
I. M. Buchinskiy, M. V. Kotov, A. V. Treier
In this paper, we investigate the computational complexity of the knapsack problem and subset sum problem for the following tropical algebraic structures. We consider the semigroup…
math.LO2024
On equationally Noetherian predicate structures
Ivan Buchinskiy, Matvei Kotov, Alexander Treier
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.