Showing 1–6 of 6 results for author: Veselov, S I

A polynomial algorithm for minimizing discrete convic functions in fixed dimension

Authors: S. I. Veselov, D. V. Gribanov, N. Yu. Zolotykh, A. Yu. Chirkov

Abstract: Recently classes of conic and discrete conic functions were introduced. In this paper we use the term convic instead conic. The class of convic functions properly includes the classes of convex functions, strictly quasiconvex functions and the class of quasiconvex polynomials. On the other hand, the class of convic functions is properly included in the class of quasiconvex functions. The discrete… ▽ More Recently classes of conic and discrete conic functions were introduced. In this paper we use the term convic instead conic. The class of convic functions properly includes the classes of convex functions, strictly quasiconvex functions and the class of quasiconvex polynomials. On the other hand, the class of convic functions is properly included in the class of quasiconvex functions. The discrete convic function is a discrete analogue of the convic function. Recently the lower bound $3^{n-1}\log (2 ρ-1)$ for the number of calls to the comparison oracle needed to find the minimum of the discrete convic function defined on integer points of some $n$-dimensional ball with radius $ρ$ was obtained. But the problem of the existence of a polynomial (in $\logρ$ for fixed $n$) algorithm for minimizing such functions has remained open. In this paper, we answer positively the question of the existence of such an algorithm. Namely, we propose an algorithm for minimizing discrete convic functions that uses $2^{O(n^2 \log n)} \log ρ$ calls to the comparison oracle and has $2^{O(n^2 \log n)} \mbox{poly }(\log ρ)$ bit complexity. △ Less

Submitted 1 November, 2020; originally announced November 2020.

On the complexity of quasiconvex integer minimization problem

Authors: A. Yu. Chirkov, D. V. Gribanov, D. S. Malyshev, P. M. Pardalos, S. I. Veselov, N. Yu. Zolotykh

Abstract: In this paper, we consider the class of quasiconvex functions and its proper subclass of conic functions. The integer minimization problem of these functions is considered in the paper, assuming that an optimized function is defined by the comparison oracle. We will show that there is no a polynomial algorithm on $\log R$ to optimize quasiconvex functions in the ball of integer radius $R$ using on… ▽ More In this paper, we consider the class of quasiconvex functions and its proper subclass of conic functions. The integer minimization problem of these functions is considered in the paper, assuming that an optimized function is defined by the comparison oracle. We will show that there is no a polynomial algorithm on $\log R$ to optimize quasiconvex functions in the ball of integer radius $R$ using only the comparison oracle. On the other hand, if an optimized function is conic, then we show that there is a polynomial on $\log R$ algorithm. We also present an exponential on the dimension lower bound for the oracle complexity of the conic function integer optimization problem. Additionally, we give examples of known problems that can be polynomially reduced to the minimization problem of functions in our classes. △ Less

Submitted 7 October, 2019; v1 submitted 8 July, 2018; originally announced July 2018.

Comments: Some new proofs have been added. Some fixes are done

Journal ref: J Glob Optim 73, 761-788 (2019)

FPT-algorithms for some problems related to integer programming

Authors: D. V. Gribanov, D. S. Malyshev, P. M. Pardalos, S. I. Veselov

Abstract: In this paper, we present FPT-algorithms for special cases of the shortest lattice vector, integer linear programming, and simplex width computation problems, when matrices included in the problems' formulations are near square. The parameter is the maximum absolute value of rank minors of the corresponding matrices. Additionally, we present FPT-algorithms with respect to the same parameter for th… ▽ More In this paper, we present FPT-algorithms for special cases of the shortest lattice vector, integer linear programming, and simplex width computation problems, when matrices included in the problems' formulations are near square. The parameter is the maximum absolute value of rank minors of the corresponding matrices. Additionally, we present FPT-algorithms with respect to the same parameter for the problems, when the matrices have no singular rank sub-matrices. △ Less

Submitted 7 March, 2019; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: arXiv admin note: text overlap with arXiv:1710.00321 From author: some minor corrections has been done

Journal ref: J Comb Optim 35, 1128-1146 (2018)

Bounds for solution of linear diophantine equations

Authors: S. I. Veselov

Abstract: Given linear diophantine equation Ax=b, rank A=m. Let d be the maximum of absolute values of the mxm minors of the matrix (A | b). It is shown that if M={x : Ax=b, x nonnegative and integer} is nonempty, then there exists x=(x1,...,xn) in M, such that xi does not exceed d (i=1,2,..,n). Given linear diophantine equation Ax=b, rank A=m. Let d be the maximum of absolute values of the mxm minors of the matrix (A | b). It is shown that if M={x : Ax=b, x nonnegative and integer} is nonempty, then there exists x=(x1,...,xn) in M, such that xi does not exceed d (i=1,2,..,n). △ Less

Submitted 30 June, 2008; originally announced June 2008.

On reduction integer programs to knapsack problem

Authors: S. I. Veselov

Abstract: Let $A$ be an integral nonnegative $m\times n$ matrix, $b$ be an integral nonnegative vector. It is suggested new method for reduction of integer program $\max \{cx| Ax=b, x\ge 0, x\in\mathbf{Z}^n\}$ to knapsack problem $\max \{c'x| fAx=fb, x\ge 0, x\in\mathbf{Z}^n\}$. Let $A$ be an integral nonnegative $m\times n$ matrix, $b$ be an integral nonnegative vector. It is suggested new method for reduction of integer program $\max \{cx| Ax=b, x\ge 0, x\in\mathbf{Z}^n\}$ to knapsack problem $\max \{c'x| fAx=fb, x\ge 0, x\in\mathbf{Z}^n\}$. △ Less

Submitted 24 June, 2008; originally announced June 2008.

Integer program with bimodular matrix

Authors: S. I. Veselov, A. Ju. Chirkov

Abstract: This paper has been accepted for publication in Discrete Optimization. This paper has been accepted for publication in Discrete Optimization. △ Less

Submitted 10 December, 2008; v1 submitted 15 May, 2008; originally announced May 2008.

Comments: This paper has been withdrawn

MSC Class: 90C11