Showing 1–3 of 3 results for author: Kotov, M

On tropical knapsack-type problems

Authors: I. M. Buchinskiy, M. V. Kotov, A. V. Treier

Abstract: 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 of square matrices of size $k \times k$ with non-negative entries over the max-plus algebra and the semigroup square matrices of size $k \times k$ with positive entries over the max-times algebra. We prove that the knap… ▽ More 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 of square matrices of size $k \times k$ with non-negative entries over the max-plus algebra and the semigroup square matrices of size $k \times k$ with positive entries over the max-times algebra. We prove that the knapsack problem and subset sum problem for these structures are $\textsf{NP}$-complete. We demonstrate that there are pseudo-polynomial algorithms to solve these problems. Also, we show that for the latter semigroup, there are polynomial generic algorithms to solve the knapsack problem and the subset sum problem. △ Less

Submitted 12 March, 2025; originally announced March 2025.

On equationally Noetherian predicate structures

Authors: Ivan Buchinskiy, Matvei Kotov, Alexander Treier

Abstract: In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. In this paper, we prove a criterion for a predicate structure to be equationally Noetherian. △ Less

Submitted 16 July, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 13 pages, 4 figures. Published in the journal of Groups, Complexity, Cryptology

MSC Class: 08A99; 03C05

Journal ref: journal of Groups, complexity, cryptology, Volume 16, Issue 1, Special issue in memory of Ben Fine (July 17, 2024) gcc:13872

Analysis of a certain polycyclic-group-based cryptosystem

Authors: Matvei Kotov, Alexander Ushakov

Abstract: We investigate security properties of the Anshel-Anshel-Goldfeld commutator key-establishment protocol used with certain polycyclic groups. We show that despite low success of the length based attack the protocol can be broken by a deterministic polynomial-time algorithm. We investigate security properties of the Anshel-Anshel-Goldfeld commutator key-establishment protocol used with certain polycyclic groups. We show that despite low success of the length based attack the protocol can be broken by a deterministic polynomial-time algorithm. △ Less

Submitted 20 April, 2015; originally announced April 2015.

MSC Class: 94A60; 68W30