English
Related papers

Related papers: The MMO problem

200 papers

In this paper we investigate the parallelization of two modular algorithms. In fact, we consider the modular computation of Gr\"obner bases (resp. standard bases) and the modular computation of the associated primes of a zero-dimensional…

Commutative Algebra · Mathematics 2011-03-14 Nazeran Idrees , Gerhard Pfister , Stefan Steidel

We analyse and compare the complexity of several algorithms for computing modular polynomials. We show that an algorithm relying on floating point evaluation of modular functions and on interpolation, which has received little attention in…

Number Theory · Mathematics 2009-05-08 Andreas Enge

This paper surveys the trend of leveraging machine learning to solve mixed integer programming (MIP) problems. Theoretically, MIP is an NP-hard problem, and most of the combinatorial optimization (CO) problems can be formulated as the MIP.…

Artificial Intelligence · Computer Science 2022-03-08 Jiayi Zhang , Chang Liu , Junchi Yan , Xijun Li , Hui-Ling Zhen , Mingxuan Yuan

In this paper, we give an algorithm that finds an epsilon-approximate solution to a mixed integer quadratic programming (MIQP) problem. The algorithm runs in polynomial time if the rank of the quadratic function and the number of integer…

Optimization and Control · Mathematics 2022-11-30 Alberto Del Pia

The focus of this paper is two fold. Firstly, we present a logical approach to graph modification problems such as minimum node deletion, edge deletion, edge augmentation problems by expressing them as an expression in first order (FO)…

Logic in Computer Science · Computer Science 2017-11-09 Kona Harshita , Sounaka Mishra , Renjith. P , N. Sadagopan

In the Maximum Duo-Preservation String Mapping problem we are given two strings and wish to map the letters of the former to the letters of the latter so as to maximise the number of duos. A duo is a pair of consecutive letters that is…

Data Structures and Algorithms · Computer Science 2017-05-31 Bartłomiej Dudek , Paweł Gawrychowski , Piotr Ostropolski-Nalewaja

Let $g(X)$ be a polynomial over a finite field ${\mathbb F}_q$ with degree $o(q^{1/2})$, and let $\chi$ be the quadratic residue character. We give a polynomial time algorithm to recover $g(X)$ (up to perfect square factors) given the…

Computational Complexity · Computer Science 2026-01-13 Swastik Kopparty

Interpolation theory for complex polynomials is well understood. In the non-commutative quaternionic setting, the polynomials can be evaluated "on the left" and "on the right". If the interpolation problem involves interpolation conditions…

Classical Analysis and ODEs · Mathematics 2014-05-16 Vladimir Bolotnikov

A linear inverse problem is proposed that requires the determination of multiple unknown signal vectors. Each unknown vector passes through a different system matrix and the results are added to yield a single observation vector. Given the…

Numerical Analysis · Computer Science 2010-09-03 Adam C. Zelinski , Vivek K Goyal , Elfar Adalsteinsson

Modular composition is the problem of computing the composition of two univariate polynomials modulo a third one. For a long time, the fastest algebraic algorithm for this problem was that of Brent and Kung (1978). Recently, we improved…

Symbolic Computation · Computer Science 2026-01-27 Vincent Neiger , Bruno Salvy , Éric Schost , Gilles Villard

Submodularity is an important concept in integer and combinatorial optimization. A classical submodular set function models the utility of selecting homogenous items from a single ground set, and such selections can be represented by binary…

Optimization and Control · Mathematics 2023-04-06 Simge Küçükyavuz , Qimeng Yu

We consider polynomial equations, or systems of polynomial equations, with integer coefficients, modulo prime numbers $p$. We offer an elementary approach based on a counting method. The outcome is a weak form of the Lang-Weil lower bound…

Number Theory · Mathematics 2023-01-10 Arnaud Bodin , Pierre Dèbes , Salah Najib

The Matrix Torsion Problem (MTP) is: given a square matrix M with rational entries, decide whether two distinct powers of M are equal. It has been shown by Cassaigne and the author that the MTP reduces to the Matrix Power Problem (MPP) in…

Discrete Mathematics · Computer Science 2009-09-08 Francois Nicolas

This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials…

Number Theory · Mathematics 2010-01-21 Xavier Taixes i Ventosa , Gabor Wiese

Polynomial closure is a standard operator which is applied to a class of regular languages. In the paper, we investigate three restrictions called left (LPol), right (RPol) and mixed polynomial closure (MPol). The first two were known while…

Formal Languages and Automata Theory · Computer Science 2023-01-03 Thomas Place

Greedy sparse recovery has become a popular tool in many applications, although its complexity is still prohibitive when large sparsifying dictionaries or sensing matrices have to be exploited. In this paper, we formulate first a new class…

Signal Processing · Electrical Eng. & Systems 2022-11-01 Joan Palacios , Nuria González-Prelcic

We give an $O(N\cdot \log N\cdot 2^{O(\log^*N)})$ algorithm for multiplying two $N$-bit integers that improves the $O(N\cdot \log N\cdot \log\log N)$ algorithm by Sch\"{o}nhage-Strassen. Both these algorithms use modular arithmetic.…

Symbolic Computation · Computer Science 2008-09-19 Anindya De , Piyush P Kurur , Chandan Saha , Ramprasad Saptharishi

We investigate the computational complexity of deciding whether a given univariate integer polynomial p(x) has a factor q(x) satisfying specific additional constraints. When the only constraint imposed on q(x) is to have a degree smaller…

Computational Complexity · Computer Science 2022-10-14 Alberto Dennunzio , Enrico Formenti , Luciano Margara

We introduce a new deterministic factoring algorithm, which could be described in the cryptographically fashionable term of "factoring with hints": we show that, given the knowledge of the factorisations of $O(N^{1/3+\epsilon})$ terms…

Number Theory · Mathematics 2017-08-09 Francesco Sica

Computational molecular design requires binding arrangements that are not only energetically favorable but also chemically realizable. However, computational methods remain limited in directly recovering fragment pose pairs that can later…

Biomolecules · Quantitative Biology 2026-04-29 Jiyun Lee , You Kyoung Chung , Joonsuk Huh