A heuristic technique for decomposing multisets of non-negative integers according to the Minkowski sum

07/31/2022
by   Luciano Margara, et al.
0

We study the following problem. Given a multiset M of non-negative integers, decide whether there exist and, in the positive case, compute two non-trivial multisets whose Minkowski sum is equal to M. The Minkowski sum of two multisets A and B is a multiset containing all possible sums of any element of A and any element of B. This problem was proved to be NP-complete when multisets are replaced by sets. This version of the problem is strictly related to the factorization of boolean polynomials that turns out to be NP-complete as well. When multisets are considered, the problem is equivalent to the factorization of polynomials with non-negative integer coefficients. The computational complexity of both these problems is still unknown. The main contribution of this paper is a heuristic technique for decomposing multisets of non-negative integers. Experimental results show that our heuristic decomposes multisets of hundreds of elements within seconds independently of the magnitude of numbers belonging to the multisets. Our heuristic can be used also for factoring polynomials in N[x]. We show that, when the degree of the polynomials gets larger, our technique is much faster than the state-of-the-art algorithms implemented in commercial software like Mathematica and MatLab.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/15/2021

On a Communication Complexity problem in Combinatorial Number Theory

The original knapsack problem is well known to be NP-complete. In a mult...
research
05/30/2022

Structure of non-negative posets of Dynkin type 𝔸_n

We study, in terms of directed graphs, partially ordered sets (posets) I...
research
09/27/2022

Solving homogeneous linear equations over polynomial semirings

For a subset B of ℝ, denote by U(B) be the semiring of (univariate) poly...
research
11/30/2015

Multi-Number CVT-XOR Arithmetic Operations in any Base System and its Significant Properties

Carry Value Transformation (CVT) is a model of discrete dynamical system...
research
07/24/2018

Zeros of Holant problems: locations and algorithms

We present fully polynomial-time (deterministic or randomised) approxima...
research
07/28/2020

DeepMP for Non-Negative Sparse Decomposition

Non-negative signals form an important class of sparse signals. Many alg...
research
07/01/2021

Almost-Orthogonal Bases for Inner Product Polynomials

In this paper, we consider low-degree polynomials of inner products betw...

Please sign up or login with your details

Forgot password? Click here to reset