Showing 1–14 of 14 results for author: Malyshev, D

Delta-modular ILP Problems of Bounded Co-dimension, Discrepancy, and Convolution

Authors: D. Gribanov, D. Malyshev, P. M. Pardalos

Abstract: For $k, n \geq 0$, and $c \in Z^n$, we consider ILP problems \begin{gather*} \max\bigl\{ c^\top x \colon A x = b,\, x \in Z^n_{\geq 0} \bigr\}\text{ with $A \in Z^{k \times n}$, $rank(A) = k$, $b \in Z^{k}$ and} \max\bigl\{ c^\top x \colon A x \leq b,\, x \in Z^n \bigr\} \text{ with $A \in Z^{(n+k) \times n}$, $rank(A) = n$, $b \in Z^{n+k}$.} \end{gather*} The first problem is called an \emph{… ▽ More For $k, n \geq 0$, and $c \in Z^n$, we consider ILP problems \begin{gather*} \max\bigl\{ c^\top x \colon A x = b,\, x \in Z^n_{\geq 0} \bigr\}\text{ with $A \in Z^{k \times n}$, $rank(A) = k$, $b \in Z^{k}$ and} \max\bigl\{ c^\top x \colon A x \leq b,\, x \in Z^n \bigr\} \text{ with $A \in Z^{(n+k) \times n}$, $rank(A) = n$, $b \in Z^{n+k}$.} \end{gather*} The first problem is called an \emph{ILP problem in the standard form of the codimension $k$}, and the second problem is called an \emph{ILP problem in the canonical form with $n+k$ constraints.} We show that, for any sufficiently large $Δ$, both problems can be solved with $$ 2^{O(k)} \cdot (f_{k,d} \cdot Δ)^2 / 2^{Ω\bigl(\sqrt{\log(f_{k,d} \cdot Δ)}\bigr)} $$ operations, where $ f_{k,d} = \min \Bigl\{ k^{k/2}, \bigl(\log k \cdot \log (d + k)\bigr)^{k/2} \Bigr\} $, $d$ is the dimension of a corresponding polyhedron and $Δ$ is the maximum absolute value of $rank(A) \times rank(A)$ sub-determinants of $A$. As our second main result, we show that the feasibility variants of both problems can be solved with $$ 2^{O(k)} \cdot f_{k,d} \cdot Δ\cdot \log^3(f_{k,d} \cdot Δ) $$ operations. The constant $f_{k,d}$ can be replaced by other constant $g_{k,Δ} = \bigl(\log k \cdot \log (k Δ)\bigr)^{k/2}$ that depends only on $k$ and $Δ$. Additionally, we consider different partial cases with $k=0$ and $k=1$, which have interesting applications. As a result of independent interest, we propose an $n^2/2^{Ω\bigl(\sqrt{\log n}\bigr)}$-time algorithm for the tropical convolution problem on sequences, indexed by elements of a finite Abelian group of the order $n$. This result is obtained, reducing the above problem to the matrix multiplication problem on a tropical semiring and using seminal algorithm by R. Williams. △ Less

Submitted 27 May, 2024; originally announced May 2024.

A New and Faster Representation for Counting Integer Points in Parametric Polyhedra

Authors: D. Gribanov, D. Malyshev, P. Pardalos, N. Zolotykh

Abstract: In this paper, we consider the counting function $E_P(y) = |P_{y} \cap Z^{n_x}|$ for a parametric polyhedron $P_{y} = \{x \in R^{n_x} \colon A x \leq b + B y\}$, where $y \in R^{n_y}$. We give a new representation of $E_P(y)$, called a \emph{piece-wise step-polynomial with periodic coefficients}, which is a generalization of piece-wise step-polynomials and integer/rational Ehrhart's quasi-polynomi… ▽ More In this paper, we consider the counting function $E_P(y) = |P_{y} \cap Z^{n_x}|$ for a parametric polyhedron $P_{y} = \{x \in R^{n_x} \colon A x \leq b + B y\}$, where $y \in R^{n_y}$. We give a new representation of $E_P(y)$, called a \emph{piece-wise step-polynomial with periodic coefficients}, which is a generalization of piece-wise step-polynomials and integer/rational Ehrhart's quasi-polynomials. It gives the fastest way to calculate $E_P(y)$ in certain scenarios. The most important cases are the following: 1) We show that, for the parametric polyhedron $P_y$ defined by a standard-form system $A x = y,\, x \geq 0$ with a fixed number of equalities, the function $E_P(y)$ can be represented by a polynomial-time computable function. In turn, such a representation of $E_P(y)$ can be constructed by an $poly\bigl(n, \|A\|_{\infty}\bigr)$-time algorithm; 2) Assuming again that the number of equalities is fixed, we show that integer/rational Ehrhart's quasi-polynomials of a polytope can be computed by FPT-algorithms, parameterized by sub-determinants of $A$ or its elements; 3) Our representation of $E_P$ is more efficient than other known approaches, if $A$ has bounded elements, especially if it is sparse in addition. Additionally, we provide a discussion about possible applications in the area of compiler optimization. In some "natural" assumptions on a program code, our approach has the fastest complexity bounds. △ Less

Submitted 16 June, 2024; v1 submitted 20 October, 2023; originally announced October 2023.

Structured $(\min,+)$-Convolution And Its Applications For The Shortest Vector, Closest Vector, and Separable Nonlinear Knapsack Problems

Authors: D. V. Gribanov, I. A. Shumilov, D. S. Malyshev

Abstract: In this work we consider the problem of computing the $(\min, +)$-convolution of two sequences $a$ and $b$ of lengths $n$ and $m$, respectively, where $n \geq m$. We assume that $a$ is arbitrary, but $b_i = f(i)$, where $f(x) \colon [0,m) \to \mathbb{R}$ is a function with one of the following properties: 1. the linear case, when $f(x) =β+ α\cdot x$; 2. the monotone case, when… ▽ More In this work we consider the problem of computing the $(\min, +)$-convolution of two sequences $a$ and $b$ of lengths $n$ and $m$, respectively, where $n \geq m$. We assume that $a$ is arbitrary, but $b_i = f(i)$, where $f(x) \colon [0,m) \to \mathbb{R}$ is a function with one of the following properties: 1. the linear case, when $f(x) =β+ α\cdot x$; 2. the monotone case, when $f(i+1) \geq f(i)$, for any $i$; 3. the convex case, when $f(i+1) - f(i) \geq f(i) - f(i-1)$, for any $i$; 4. the concave case, when $f(i+1) - f(i) \leq f(i) - f(i-1)$, for any $i$; 5. the piece-wise linear case, when $f(x)$ consist of $p$ linear pieces; 6. the polynomial case, when $f \in \mathbb{Z}^d[x]$, for some fixed $d$. To the best of our knowledge, the cases 4-6 were not considered in literature before. We develop true sub-quadratic algorithms for them. We apply our results to the knapsack problem with a separable nonlinear objective function, shortest lattice vector, and closest lattice vector problems. △ Less

Submitted 28 September, 2022; v1 submitted 11 September, 2022; originally announced September 2022.

On a Simple Connection Between $Δ$-modular ILP and LP, and a New Bound on the Number of Integer Vertices

Authors: D. V. Gribanov, D. S. Malyshev, I. A. Shumilov

Abstract: Let $A \in Z^{m \times n}$, $rank(A) = n$, $b \in Z^m$, and $P$ be an $n$-dimensional polyhedron, induced by the system $A x \leq b$. It is a known fact that if $F$ is a $k$-face of $P$, then there exist at least $n-k$ linearly independent inequalities of the system $A x \leq b$ that become equalities on $F$. In other words, there exists a set of indices $J$, such that $|J| \geq n-k$,… ▽ More Let $A \in Z^{m \times n}$, $rank(A) = n$, $b \in Z^m$, and $P$ be an $n$-dimensional polyhedron, induced by the system $A x \leq b$. It is a known fact that if $F$ is a $k$-face of $P$, then there exist at least $n-k$ linearly independent inequalities of the system $A x \leq b$ that become equalities on $F$. In other words, there exists a set of indices $J$, such that $|J| \geq n-k$, $rank(A_{J}) = n-k$, and $$ A_{J} x - b_{J} = 0,\quad \text{for any $x \in F$}. $$ We show that a similar fact holds for the integer polyhedron $$ P_{I} = conv.hull\bigl(P \cap Z^n\bigr), $$ if we additionally suppose that $P$ is $Δ$-modular, for some $Δ\in \{1,2,\dots\}$. More precisely, if $F$ is a $k$-face of $P_{I}$, then there exists a set of indices $J$, such that $|J| \geq n-k$, $rank(A_{J}) = n-k$, and $$ A_{J} x - b_{J} \oversetΔ{=} 0,\quad \text{for any $x \in F \cap Z^n$}, $$ where $x \oversetΔ{=} y$ means that $\|x - y\|_{\infty} < Δ$. In other words, there exist at least $n-k$ linearly independent inequalities of the system $A x \leq b$ that almost become equalities on $F \cap Z^n$. When we say almost, we mean that the slacks are not greater than $Δ-1$. Using this fact, we prove the inequality $$ |vert(P_I)| \leq 2 \cdot \binom{m}{n} \cdot Δ^{n-1}, $$ for the number of vertices of $P_I$, which is better, than the state of the art bound for $Δ= O(n^2)$. △ Less

Submitted 8 November, 2022; v1 submitted 8 March, 2022; originally announced March 2022.

Faster Algorithms for Sparse ILP and Hypergraph Multi-Packing/Multi-Cover Problems

Authors: Dmitry Gribanov, Dmitry Malyshev, Nikolai Zolotykh

Abstract: In our paper, we consider the following general problems: check feasibility, count the number of feasible solutions, find an optimal solution, and count the number of optimal solutions in $P \cap Z^n$, assuming that $P$ is a polyhedron, defined by systems $A x \leq b$ or $Ax = b,\, x \geq 0$ with a sparse matrix $A$. We develop algorithms for these problems that outperform state of the art ILP and… ▽ More In our paper, we consider the following general problems: check feasibility, count the number of feasible solutions, find an optimal solution, and count the number of optimal solutions in $P \cap Z^n$, assuming that $P$ is a polyhedron, defined by systems $A x \leq b$ or $Ax = b,\, x \geq 0$ with a sparse matrix $A$. We develop algorithms for these problems that outperform state of the art ILP and counting algorithms on sparse instances with bounded elements. We use known and new methods to develop new exponential algorithms for Edge/Vertex Multi-Packing/Multi-Cover Problems on graphs and hypergraphs. This framework consists of many different problems, such as the Stable Multi-set, Vertex Multi-cover, Dominating Multi-set, Set Multi-cover, Multi-set Multi-cover, and Hypergraph Multi-matching problems, which are natural generalizations of the standard Stable Set, Vertex Cover, Dominating Set, Set Cover, and Maximal Matching problems. △ Less

Submitted 22 January, 2024; v1 submitted 22 January, 2022; originally announced January 2022.

A faster algorithm for counting the integer points number in $Δ$-modular polyhedra (corrected version)

Authors: D. V. Gribanov, D. S. Malyshev

Abstract: Let a polytope $P$ be defined by a system $A x \leq b$. We consider the problem of counting the number of integer points inside $P$, assuming that $P$ is $Δ$-modular, where the polytope $P$ is called $Δ$-modular if all the rank sub-determinants of $A$ are bounded by $Δ$ in the absolute value. We present a new FPT-algorithm, parameterized by $Δ$ and by the maximal number of vertices in $P$, where t… ▽ More Let a polytope $P$ be defined by a system $A x \leq b$. We consider the problem of counting the number of integer points inside $P$, assuming that $P$ is $Δ$-modular, where the polytope $P$ is called $Δ$-modular if all the rank sub-determinants of $A$ are bounded by $Δ$ in the absolute value. We present a new FPT-algorithm, parameterized by $Δ$ and by the maximal number of vertices in $P$, where the maximum is taken by all r.h.s. vectors $b$. We show that our algorithm is more efficient for $Δ$-modular problems than the approach of A. Barvinok et al. To this end, we do not directly compute the short rational generating function for $P \cap Z^n$, which is commonly used for the considered problem. Instead, we use the dynamic programming principle to compute its particular representation in the form of exponential series that depends on a single variable. We completely do not rely to the Barvinok's unimodular sign decomposition technique. Using our new complexity bound, we consider different special cases that may be of independent interest. For example, we give FPT-algorithms for counting the integer points number in $Δ$-modular simplices and similar polytopes that have $n + O(1)$ facets. As a special case, for any fixed $m$, we give an FPT-algorithm to count solutions of the unbounded $m$-dimensional $Δ$-modular subset-sum problem. △ Less

Submitted 8 May, 2023; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: This version of the paper contains corrections to the published version of the paper http://semr.math.nsc.ru/v19n2.html

Journal ref: Siberian Electronic Mathematical Reports, 19(2), pp. 613-626 (2022)

A study of Neural networks point source extraction on simulated Fermi/LAT Telescope images

Authors: Mariia Drozdova, Anton Broilovskiy, Andrey Ustyuzhanin, Denys Malyshev

Abstract: Astrophysical images in the GeV band are challenging to analyze due to the strong contribution of the background and foreground astrophysical diffuse emission and relatively broad point spread function of modern space-based instruments. In certain cases, even finding of point sources on the image becomes a non-trivial task. We present a method for point sources extraction using a convolution neura… ▽ More Astrophysical images in the GeV band are challenging to analyze due to the strong contribution of the background and foreground astrophysical diffuse emission and relatively broad point spread function of modern space-based instruments. In certain cases, even finding of point sources on the image becomes a non-trivial task. We present a method for point sources extraction using a convolution neural network (CNN) trained on our own artificial data set which imitates images from the Fermi Large Area Telescope. These images are raw count photon maps of 10x10 degrees covering energies from 1 to 10 GeV. We compare different CNN architectures that demonstrate accuracy increase by ~15% and reduces the inference time by at least the factor of 4 accuracy improvement with respect to a similar state of the art models. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: Accepted to Astronomische Nachrichten

On $Δ$-Modular Integer Linear Problems In The Canonical Form And Equivalent Problems

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

Abstract: Many papers in the field of integer linear programming (ILP, for short) are devoted to problems of the type $\max\{c^\top x \colon A x = b,\, x \in \mathbb{Z}^n_{\geq 0}\}$, where all the entries of $A,b,c$ are integer, parameterized by the number of rows of $A$ and $\|A\|_{\max}$. This class of problems is known under the name of ILP problems in the standard form, adding the word "bounded" if… ▽ More Many papers in the field of integer linear programming (ILP, for short) are devoted to problems of the type $\max\{c^\top x \colon A x = b,\, x \in \mathbb{Z}^n_{\geq 0}\}$, where all the entries of $A,b,c$ are integer, parameterized by the number of rows of $A$ and $\|A\|_{\max}$. This class of problems is known under the name of ILP problems in the standard form, adding the word "bounded" if $x \leq u$, for some integer vector $u$. Recently, many new sparsity, proximity, and complexity results were obtained for bounded and unbounded ILP problems in the standard form. In this paper, we consider ILP problems in the canonical form $$\max\{c^\top x \colon b_l \leq A x \leq b_r,\, x \in \mathbb{Z}^n\},$$ where $b_l$ and $b_r$ are integer vectors. We assume that the integer matrix $A$ has the rank $n$, $(n + m)$ rows, $n$ columns, and parameterize the problem by $m$ and $Δ(A)$, where $Δ(A)$ is the maximum of $n \times n$ sub-determinants of $A$, taken in the absolute value. We show that any ILP problem in the standard form can be polynomially reduced to some ILP problem in the canonical form, preserving $m$ and $Δ(A)$, but the reverse reduction is not always possible. More precisely, we define the class of generalized ILP problems in the standard form, which includes an additional group constraint, and prove the equivalence to ILP problems in the canonical form. We generalize known sparsity, proximity, and complexity bounds for ILP problems in the canonical form. Additionally, sometimes, we strengthen previously known results for ILP problems in the canonical form, and, sometimes, we give shorter proofs. Finally, we consider the special cases of $m \in \{0,1\}$. By this way, we give specialised sparsity, proximity, and complexity bounds for the problems on simplices, Knapsack problems and Subset-Sum problems. △ Less

Submitted 9 February, 2022; v1 submitted 3 February, 2020; originally announced February 2020.

Comments: J Glob Optim (2022)

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)

More results on weighted independent domination

Authors: Vadim Lozin, Dmitriy Malyshev, Raffaele Mosca, Viktor Zamaraev

Abstract: Weighted independent domination is an NP-hard graph problem, which remains computationally intractable in many restricted graph classes. In particular, the problem is NP-hard in the classes of sat-graphs and chordal graphs. We strengthen these results by showing that the problem is NP-hard in a proper subclass of the intersection of sat-graphs and chordal graphs. On the other hand, we identify two… ▽ More Weighted independent domination is an NP-hard graph problem, which remains computationally intractable in many restricted graph classes. In particular, the problem is NP-hard in the classes of sat-graphs and chordal graphs. We strengthen these results by showing that the problem is NP-hard in a proper subclass of the intersection of sat-graphs and chordal graphs. On the other hand, we identify two new classes of graphs where the problem admits polynomial-time solutions. △ Less

Submitted 21 May, 2017; v1 submitted 29 February, 2016; originally announced February 2016.

A complexity dichotomy for the dominating set problem

Authors: D. S. Malyshev

Abstract: We completely determine the complexity status of the dominating set problem for hereditary graph classes defined by forbidden induced subgraphs with at most five vertices. We completely determine the complexity status of the dominating set problem for hereditary graph classes defined by forbidden induced subgraphs with at most five vertices. △ Less

Submitted 31 May, 2015; originally announced June 2015.

MSC Class: 05C69; 05C85

The coloring problem for $\{P_5,\bar{P_5}\}$-free graphs and $\{P_5,K_p-e\}$-free graphs is polynomial

Authors: D. S. Malyshev, O. O. Lobanova

Abstract: We show that determining the chromatic number of a $\{P_5,\bar{P_5}\}$-free graph or a $\{P_5,K_p-e\}$-free graph can be done in polynomial time We show that determining the chromatic number of a $\{P_5,\bar{P_5}\}$-free graph or a $\{P_5,K_p-e\}$-free graph can be done in polynomial time △ Less

Submitted 9 March, 2015; originally announced March 2015.

MSC Class: 05C15; 05C85

The coloring problem for classes with two small obstructions

Authors: Dmitriy Malyshev

Abstract: The coloring problem is studied in the paper for graph classes defined by two small forbidden induced subgraphs. We prove some sufficient conditions for effective solvability of the problem in such classes. As their corollary we determine the computational complexity for all sets of two connected forbidden induced subgraphs with at most five vertices except 13 explicitly enumerated cases The coloring problem is studied in the paper for graph classes defined by two small forbidden induced subgraphs. We prove some sufficient conditions for effective solvability of the problem in such classes. As their corollary we determine the computational complexity for all sets of two connected forbidden induced subgraphs with at most five vertices except 13 explicitly enumerated cases △ Less

Submitted 1 July, 2013; originally announced July 2013.